Package org.checkerframework.checker.guieffect

Class Summary

Class	Description
Effect	An effect -- either UIEffect, PolyUIEffect, or SafeEffect.
Effect.EffectRange
GuiEffectChecker	The GUI Effect Checker.
GuiEffectTypeFactory	Annotated type factory for the GUI Effect Checker.
GuiEffectVisitor	Require that only UI code invokes code with the UI effect.