Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

checkers.nullness.quals
Annotation Type KeyForBottom

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value=KeyFor.class)
public @interface KeyForBottom

TODO: the bottom type for the KeyFor system.

Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT