Hierarchy For Package org.checkerframework.checker.initialization.qual

Package Hierarchies:

• All Packages

Annotation Type Hierarchy

• org.checkerframework.checker.initialization.qual.FBCBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.HoldsForDefaultValue (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.Initialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.NotOnlyInitialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.PolyInitialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnderInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnknownInitialization (implements java.lang.annotation.Annotation)