Package org.checkerframework.checker.guieffect.qual

Annotation Type UIPackage

  • @Documented
@Retention(RUNTIME)
@Target(PACKAGE)
public @interface UIPackage
    Package annotation to make all classes within a package @UIType.
    See the Checker Framework Manual:
    GUI Effect Checker