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 S1


@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(Top.class) @UpperBoundFor(types=java.lang.String.class) @DefaultFor(types=java.lang.String.class) public @interface S1