Package org.checkerframework.checker.guieffect

package org.checkerframework.checker.guieffect

Related Packages

Package	Description
org.checkerframework.checker.guieffect.qual

Classes

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.