Hierarchy For Package org.checkerframework.common.initializedfields.qual

Package Hierarchies:

• All Packages

Annotation Type Hierarchy

• org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.List (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.InitializedFields (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.PolyInitializedFields (implements java.lang.annotation.Annotation)