Package org.checkerframework.checker.guieffect

Class Summary

Class	Description
Effect
Effect.EffectRange
GuiEffectChecker
GuiEffectTypeFactory	Annotated type factory for the GUI Effect Checker.
GuiEffectVisitor	Require that only UI code invokes code with the UI effect.