Skip navigation links
  • Overview
  • Package
  • Class
  • Tree
  • Deprecated
  • Index
  • Help
  • Summary:

    • Field
    • Required
    • Optional
  • Detail:

    • Field
    • Element
  • Summary: 
  • Field | 
  • Required | 
  • Optional
  • Detail: 
  • Field | 
  • Element
SEARCH
Package org.checkerframework.framework.testchecker.typedeclbounds.quals

Annotation Interface S2


@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(Top.class) @UpperBoundFor(typeKinds=BOOLEAN) @DefaultFor(typeKinds=BOOLEAN) public @interface S2