Annotation Interface Hierarchy
- org.checkerframework.framework.qual.AnnotatedFor (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.CFComment (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.ConditionalPostconditionAnnotation (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.Covariant (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.DefaultFor (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.DefaultQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.DefaultQualifier.List (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.DefaultQualifierForUse (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.DefaultQualifierInHierarchy (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.EnsuresQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.EnsuresQualifier.List (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.EnsuresQualifierIf (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.EnsuresQualifierIf.List (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.FieldInvariant (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.FromByteCode (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.FromStubFile (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.HasQualifierParameter (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.IgnoreInWholeProgramInference (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.InheritedAnnotation (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.InvisibleQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.JavaExpression (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.MonotonicQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.NoDefaultQualifierForUse (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.NoQualifierParameter (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.PolymorphicQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.PostconditionAnnotation (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.PreconditionAnnotation (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.PurityUnqualified (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.QualifierArgument (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.QualifierForLiterals (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.RelevantJavaTypes (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.RequiresQualifier (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.RequiresQualifier.List (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.StubFiles (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.SubtypeOf (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.TargetLocations (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.Unused (implements java.lang.annotation.Annotation)
- org.checkerframework.framework.qual.UpperBoundFor (implements java.lang.annotation.Annotation)
Enum Class Hierarchy
- java.lang.Object
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)
- org.checkerframework.framework.qual.LiteralKind
- org.checkerframework.framework.qual.TypeKind
- org.checkerframework.framework.qual.TypeUseLocation
- java.lang.Enum<E> (implements java.lang.Comparable<T>, java.lang.constant.Constable, java.io.Serializable)