Package org.checkerframework.checker.guieffect.qual

Annotation Type PolyUIEffect

  • @Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD,FIELD})
public @interface PolyUIEffect
    Annotation for the polymorphic effect on methods, or on field accesses.
    See the Checker Framework Manual:
    GUI Effect Checker, Qualifier polymorphism