Hierarchy For Package org.checkerframework.common.initializedfields.qual
Annotation Interface 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)