Hierarchy For Package org.checkerframework.framework.qual

Package Hierarchies:

• All Packages

Annotation Type Hierarchy

• org.checkerframework.framework.qual.ConditionalPostconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultQualifiers (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PolymorphicQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.IgnoreInWholeProgramInference (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.EnsuresQualifiersIf (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.FieldInvariant (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.MonotonicQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.AnnotatedFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.RelevantJavaTypes (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultInUncheckedCodeFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.SubtypeOf (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.EnsuresQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.InvisibleQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.RequiresQualifiers (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.InheritedAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.StubFiles (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.Covariant (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.Unused (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PostconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultQualifierInHierarchy (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.EnsuresQualifierIf (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.ImplicitFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.FromStubFile (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PreconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.TargetLocations (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.EnsuresQualifiers (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.JavaExpression (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.FromByteCode (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.QualifierArgument (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PolyAll (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.RequiresQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultQualifier (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.checkerframework.framework.qual.LiteralKind
    • org.checkerframework.framework.qual.TypeKind
    • org.checkerframework.framework.qual.TypeUseLocation