Hierarchy For All Packages

Package Hierarchies:

• org.checkerframework.checker.builder.qual,
• org.checkerframework.checker.calledmethods.qual,
• org.checkerframework.checker.compilermsgs.qual,
• org.checkerframework.checker.fenum.qual,
• org.checkerframework.checker.formatter.qual,
• org.checkerframework.checker.guieffect.qual,
• org.checkerframework.checker.i18n.qual,
• org.checkerframework.checker.i18nformatter.qual,
• org.checkerframework.checker.index.qual,
• org.checkerframework.checker.initialization.qual,
• org.checkerframework.checker.interning.qual,
• org.checkerframework.checker.lock.qual,
• org.checkerframework.checker.mustcall.qual,
• org.checkerframework.checker.nullness.qual,
• org.checkerframework.checker.optional.qual,
• org.checkerframework.checker.propkey.qual,
• org.checkerframework.checker.regex.qual,
• org.checkerframework.checker.signature.qual,
• org.checkerframework.checker.signedness.qual,
• org.checkerframework.checker.tainting.qual,
• org.checkerframework.checker.units.qual,
• org.checkerframework.common.aliasing.qual,
• org.checkerframework.common.initializedfields.qual,
• org.checkerframework.common.reflection.qual,
• org.checkerframework.common.returnsreceiver.qual,
• org.checkerframework.common.subtyping.qual,
• org.checkerframework.common.util.report.qual,
• org.checkerframework.common.value.qual,
• org.checkerframework.dataflow.qual,
• org.checkerframework.framework.qual

Annotation Type Hierarchy

• org.checkerframework.dataflow.qual.TerminatesExecution (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.Deterministic (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.SideEffectFree (implements java.lang.annotation.Annotation)
• org.checkerframework.dataflow.qual.Pure (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.RelevantJavaTypes (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PostconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.NoQualifierParameter (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.IgnoreInWholeProgramInference (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.SubtypeOf (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PurityUnqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.MonotonicQualifier (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.DefaultQualifierInHierarchy (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.JavaExpression (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.AnnotatedFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.ConditionalPostconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.StubFiles (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.HasQualifierParameter (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.PreconditionAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.Unused (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.CFComment (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.NoDefaultQualifierForUse (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.QualifierForLiterals (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultQualifierForUse (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.FieldInvariant (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.FromByteCode (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.QualifierArgument (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.InheritedAnnotation (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.Covariant (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.PolymorphicQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.TargetLocations (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.DefaultFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.UpperBoundFor (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.InvisibleQualifier (implements java.lang.annotation.Annotation)
• org.checkerframework.framework.qual.FromStubFile (implements java.lang.annotation.Annotation)
• org.checkerframework.common.subtyping.qual.Unqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.common.subtyping.qual.Bottom (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.IntRangeFromNonNegative (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.StaticallyExecutable (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.BoolVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.ArrayLenRange (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.MatchesRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.IntVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.IntRange (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.ArrayLen (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.EnsuresMinLenIf (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.EnsuresMinLenIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.EnumVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.StringVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.DoubleVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.IntRangeFromPositive (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.BottomVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.PolyValue (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.UnknownVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.MinLenFieldInvariant (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne (implements java.lang.annotation.Annotation)
• org.checkerframework.common.value.qual.MinLen (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportCall (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportOverride (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportUse (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportWrite (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportCreation (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportInherit (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportUnqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.common.util.report.qual.ReportReadWrite (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.InitializedFields (implements java.lang.annotation.Annotation)
• 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.PolyInitializedFields (implements java.lang.annotation.Annotation)
• org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.common.aliasing.qual.MaybeLeaked (implements java.lang.annotation.Annotation)
• org.checkerframework.common.aliasing.qual.Unique (implements java.lang.annotation.Annotation)
• org.checkerframework.common.aliasing.qual.NonLeaked (implements java.lang.annotation.Annotation)
• org.checkerframework.common.aliasing.qual.LeakedToResult (implements java.lang.annotation.Annotation)
• org.checkerframework.common.aliasing.qual.MaybeAliased (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.MethodVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.Invoke (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.ClassBound (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.NewInstance (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.ClassVal (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.GetConstructor (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.ClassValBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.ForName (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.GetClass (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.MethodValBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.GetMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.UnknownClass (implements java.lang.annotation.Annotation)
• org.checkerframework.common.reflection.qual.UnknownMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.common.returnsreceiver.qual.BottomThis (implements java.lang.annotation.Annotation)
• org.checkerframework.common.returnsreceiver.qual.UnknownThis (implements java.lang.annotation.Annotation)
• org.checkerframework.common.returnsreceiver.qual.This (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FullyQualifiedName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.MethodDescriptor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.ArrayWithoutPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.CanonicalName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.SignatureBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.PolySignature (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.SignatureUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.PrimitiveType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FqBinaryName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.FieldDescriptor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.ClassGetName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.InternalForm (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.ClassGetSimpleName (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signature.qual.Identifier (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nValidFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18nformatter.qual.I18nFormatFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.PolySigned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.SignednessBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.Unsigned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.SignednessGlb (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.Signed (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.UnknownSignedness (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.SignedPositive (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.Format (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.ReturnsFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.InvalidFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.FormatBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.FormatMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.formatter.qual.UnknownFormat (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.MustCall (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.CreatesMustCallFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.CreatesMustCallFor.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.MustCallAlias (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.NotOwning (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.MustCallUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.Owning (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.PolyMustCall (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.mustcall.qual.InheritableMustCall (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.NonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.KeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNull.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.UnknownKeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.RequiresNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.RequiresNonNull.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNullIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresKeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresKeyFor.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.MonotonicNonNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.KeyForBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresKeyForIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.PolyNull (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.PolyKeyFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.nullness.qual.Nullable (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.PolyTainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Untainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.tainting.qual.Tainted (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.UnknownLocalized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.UnknownLocalizableKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.LocalizableKeyBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.LocalizableKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.i18n.qual.Localized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.PropertyKeyBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.PropertyKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.propkey.qual.UnknownPropertyKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.calledmethods.qual.CalledMethods (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.builder.qual.ReturnsReceiver (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.builder.qual.NotCalledMethods (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.builder.qual.CalledMethods (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mm (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Length (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.m3 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.s (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Angle (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Temperature (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.N (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsRelations (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Speed (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Mass (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Luminance (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.K (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.kg (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mm3 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mPERs2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.kmPERh (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.PolyUnit (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Acceleration (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnitsMultiple (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.min (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.g (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.cd (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.h (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Current (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.C (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Force (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.m2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.MixedUnits (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mPERs (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.km (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Substance (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.kN (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Volume (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.radians (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mol (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.t (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.UnknownUnits (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.mm2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.km3 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Time (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.Area (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.degrees (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.A (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.m (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.units.qual.km2 (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.GuardedByUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.Holding (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.EnsuresLockHeld (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.EnsuresLockHeld.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.LockingFree (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.MayReleaseLocks (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.GuardSatisfied (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.GuardedBy (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.NewObject (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.EnsuresLockHeldIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.LockHeld (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.ReleasesNoLocks (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.GuardedByBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.lock.qual.LockPossiblyHeld (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.UnknownRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.PolyRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.RegexBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.Regex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.regex.qual.PartialRegex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.optional.qual.PolyPresent (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.optional.qual.MaybePresent (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.optional.qual.OptionalBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.optional.qual.Present (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.PolyLowerBound (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LTOMLengthOf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.IndexOrHigh (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SearchIndexBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LowerBoundBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.IndexFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.HasSubsequence (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.GTENegativeOne (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LTLengthOf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LessThanBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.NegativeIndexFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.UpperBoundLiteral (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.PolyIndex (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.PolySameLen (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.EnsuresLTLengthOf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.EnsuresLTLengthOf.List (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.IndexOrLow (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SearchIndexUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SameLen (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LengthOf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SearchIndexFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LTEqLengthOf (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SubstringIndexBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LessThan (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LessThanUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SameLenBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.UpperBoundUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.LowerBoundUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SubstringIndexFor (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SubstringIndexUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.SameLenUnknown (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.PolyUpperBound (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.UpperBoundBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.PolyLength (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.Positive (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.index.qual.NonNegative (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.InternMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.PolyInterned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.UnknownInterned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.UsesObjectEquals (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.CompareToMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.InternedDistinct (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.FindDistinct (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.Interned (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.interning.qual.EqualsMethod (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UIPackage (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUIType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUIEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.UI (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.AlwaysSafe (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.SafeEffect (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.SafeType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.guieffect.qual.PolyUI (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnderInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.FBCBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.NotOnlyInitialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.UnknownInitialization (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.initialization.qual.Initialized (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTextOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingVerticalOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.Fenum (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtFlowLayout (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtCursorType (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTitlePosition (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumTop (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumUnqualified (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingTitleJustification (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingElementOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.FenumBottom (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingBoxOrientation (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.PolyFenum (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.AwtColorSpace (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingCompassDirection (implements java.lang.annotation.Annotation)
• org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation (implements java.lang.annotation.Annotation)

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • org.checkerframework.dataflow.qual.Pure.Kind
    • org.checkerframework.framework.qual.TypeKind
    • org.checkerframework.framework.qual.TypeUseLocation
    • org.checkerframework.framework.qual.LiteralKind
    • org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
    • org.checkerframework.checker.formatter.qual.ConversionCategory
    • org.checkerframework.checker.units.qual.Prefix