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

Package Hierarchies:

• All Packages

Annotation Interface Hierarchy

• org.checkerframework.checker.initialization.qual.FBCBottom (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.UnderInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnknownInitialization (implements java.lang.annotation.Annotation)