jar

io.github.eisop : checker-qual

Maven & Gradle

May 09, 2023
5 usages
19 stars

Checker Qual · checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code for type-checking by the Checker Framework.

Table Of Contents

Latest Version

Download io.github.eisop : checker-qual JAR file - Latest Versions:

All Versions

Download io.github.eisop : checker-qual JAR file - All Versions:

Version Vulnerabilities Size Updated
3.34.x
3.32.x
3.28.x
3.27.x
3.26.x
3.25.x
3.24.x
3.23.x
3.22.x
3.21.x
3.0.x

View Java Class Source Code in JAR file

  1. Download JD-GUI to open JAR file and explore Java source code file (.class .java)
  2. Click menu "File → Open File..." or just drag-and-drop the JAR file in the JD-GUI window checker-qual-3.34.0-eisop1.jar file.
    Once you open a JAR file, all the java classes in the JAR file will be displayed.

org.checkerframework.common.initializedfields.qual

├─ org.checkerframework.common.initializedfields.qual.EnsuresInitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFields.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.InitializedFieldsBottom.class - [JAR]

├─ org.checkerframework.common.initializedfields.qual.PolyInitializedFields.class - [JAR]

org.checkerframework.checker.calledmethods.qual

├─ org.checkerframework.checker.calledmethods.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsBottom.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.CalledMethodsPredicate.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsIf.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethodsVarArgs.class - [JAR]

├─ org.checkerframework.checker.calledmethods.qual.RequiresCalledMethods.class - [JAR]

org.checkerframework.checker.optional.qual

├─ org.checkerframework.checker.optional.qual.MaybePresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.OptionalBottom.class - [JAR]

├─ org.checkerframework.checker.optional.qual.PolyPresent.class - [JAR]

├─ org.checkerframework.checker.optional.qual.Present.class - [JAR]

org.checkerframework.checker.propkey.qual

├─ org.checkerframework.checker.propkey.qual.PropertyKey.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class - [JAR]

├─ org.checkerframework.checker.propkey.qual.UnknownPropertyKey.class - [JAR]

org.checkerframework.checker.interning.qual

├─ org.checkerframework.checker.interning.qual.CompareToMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.EqualsMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.FindDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternMethod.class - [JAR]

├─ org.checkerframework.checker.interning.qual.Interned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.InternedDistinct.class - [JAR]

├─ org.checkerframework.checker.interning.qual.PolyInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UnknownInterned.class - [JAR]

├─ org.checkerframework.checker.interning.qual.UsesObjectEquals.class - [JAR]

org.checkerframework.checker.signedness.qual

├─ org.checkerframework.checker.signedness.qual.PolySigned.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Signed.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignedPositive.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignedPositiveFromUnsigned.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessBottom.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.SignednessGlb.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.UnknownSignedness.class - [JAR]

├─ org.checkerframework.checker.signedness.qual.Unsigned.class - [JAR]

org.checkerframework.common.util.report.qual

├─ org.checkerframework.common.util.report.qual.ReportCall.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportCreation.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportInherit.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportOverride.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportReadWrite.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportUnqualified.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportUse.class - [JAR]

├─ org.checkerframework.common.util.report.qual.ReportWrite.class - [JAR]

org.checkerframework.checker.initialization.qual

├─ org.checkerframework.checker.initialization.qual.FBCBottom.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.Initialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.NotOnlyInitialized.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnderInitialization.class - [JAR]

├─ org.checkerframework.checker.initialization.qual.UnknownInitialization.class - [JAR]

org.checkerframework.checker.formatter.qual

├─ org.checkerframework.checker.formatter.qual.ConversionCategory.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.Format.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatBottom.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.FormatMethod.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.InvalidFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.ReturnsFormat.class - [JAR]

├─ org.checkerframework.checker.formatter.qual.UnknownFormat.class - [JAR]

org.checkerframework.checker.i18nformatter.qual

├─ org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nFormatFor.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat.class - [JAR]

├─ org.checkerframework.checker.i18nformatter.qual.I18nValidFormat.class - [JAR]

org.checkerframework.checker.units.qual

├─ org.checkerframework.checker.units.qual.A.class - [JAR]

├─ org.checkerframework.checker.units.qual.Acceleration.class - [JAR]

├─ org.checkerframework.checker.units.qual.Angle.class - [JAR]

├─ org.checkerframework.checker.units.qual.Area.class - [JAR]

├─ org.checkerframework.checker.units.qual.C.class - [JAR]

├─ org.checkerframework.checker.units.qual.Current.class - [JAR]

├─ org.checkerframework.checker.units.qual.Force.class - [JAR]

├─ org.checkerframework.checker.units.qual.K.class - [JAR]

├─ org.checkerframework.checker.units.qual.Length.class - [JAR]

├─ org.checkerframework.checker.units.qual.Luminance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Mass.class - [JAR]

├─ org.checkerframework.checker.units.qual.MixedUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.N.class - [JAR]

├─ org.checkerframework.checker.units.qual.PolyUnit.class - [JAR]

├─ org.checkerframework.checker.units.qual.Prefix.class - [JAR]

├─ org.checkerframework.checker.units.qual.Speed.class - [JAR]

├─ org.checkerframework.checker.units.qual.Substance.class - [JAR]

├─ org.checkerframework.checker.units.qual.Temperature.class - [JAR]

├─ org.checkerframework.checker.units.qual.Time.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsBottom.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsMultiple.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnitsRelations.class - [JAR]

├─ org.checkerframework.checker.units.qual.UnknownUnits.class - [JAR]

├─ org.checkerframework.checker.units.qual.Volume.class - [JAR]

├─ org.checkerframework.checker.units.qual.cd.class - [JAR]

├─ org.checkerframework.checker.units.qual.degrees.class - [JAR]

├─ org.checkerframework.checker.units.qual.g.class - [JAR]

├─ org.checkerframework.checker.units.qual.h.class - [JAR]

├─ org.checkerframework.checker.units.qual.kN.class - [JAR]

├─ org.checkerframework.checker.units.qual.kg.class - [JAR]

├─ org.checkerframework.checker.units.qual.km.class - [JAR]

├─ org.checkerframework.checker.units.qual.km2.class - [JAR]

├─ org.checkerframework.checker.units.qual.km3.class - [JAR]

├─ org.checkerframework.checker.units.qual.kmPERh.class - [JAR]

├─ org.checkerframework.checker.units.qual.m.class - [JAR]

├─ org.checkerframework.checker.units.qual.m2.class - [JAR]

├─ org.checkerframework.checker.units.qual.m3.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs.class - [JAR]

├─ org.checkerframework.checker.units.qual.mPERs2.class - [JAR]

├─ org.checkerframework.checker.units.qual.min.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm2.class - [JAR]

├─ org.checkerframework.checker.units.qual.mm3.class - [JAR]

├─ org.checkerframework.checker.units.qual.mol.class - [JAR]

├─ org.checkerframework.checker.units.qual.radians.class - [JAR]

├─ org.checkerframework.checker.units.qual.s.class - [JAR]

├─ org.checkerframework.checker.units.qual.t.class - [JAR]

org.checkerframework.common.subtyping.qual

├─ org.checkerframework.common.subtyping.qual.Bottom.class - [JAR]

├─ org.checkerframework.common.subtyping.qual.Unqualified.class - [JAR]

org.checkerframework.checker.mustcall.qual

├─ org.checkerframework.checker.mustcall.qual.CreatesMustCallFor.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.InheritableMustCall.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCall.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCallAlias.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.MustCallUnknown.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.NotOwning.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.Owning.class - [JAR]

├─ org.checkerframework.checker.mustcall.qual.PolyMustCall.class - [JAR]

org.checkerframework.checker.i18n.qual

├─ org.checkerframework.checker.i18n.qual.LocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.LocalizableKeyBottom.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.Localized.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalizableKey.class - [JAR]

├─ org.checkerframework.checker.i18n.qual.UnknownLocalized.class - [JAR]

org.checkerframework.dataflow.qual

├─ org.checkerframework.dataflow.qual.Deterministic.class - [JAR]

├─ org.checkerframework.dataflow.qual.Impure.class - [JAR]

├─ org.checkerframework.dataflow.qual.Pure.class - [JAR]

├─ org.checkerframework.dataflow.qual.SideEffectFree.class - [JAR]

├─ org.checkerframework.dataflow.qual.TerminatesExecution.class - [JAR]

org.checkerframework.framework.qual

├─ org.checkerframework.framework.qual.AnnotatedFor.class - [JAR]

├─ org.checkerframework.framework.qual.CFComment.class - [JAR]

├─ org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.Covariant.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultFor.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.EnsuresQualifierIf.class - [JAR]

├─ org.checkerframework.framework.qual.FieldInvariant.class - [JAR]

├─ org.checkerframework.framework.qual.FromByteCode.class - [JAR]

├─ org.checkerframework.framework.qual.FromStubFile.class - [JAR]

├─ org.checkerframework.framework.qual.HasQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.IgnoreInWholeProgramInference.class - [JAR]

├─ org.checkerframework.framework.qual.InheritedAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.InvisibleQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.JavaExpression.class - [JAR]

├─ org.checkerframework.framework.qual.LiteralKind.class - [JAR]

├─ org.checkerframework.framework.qual.MonotonicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.NoDefaultQualifierForUse.class - [JAR]

├─ org.checkerframework.framework.qual.NoQualifierParameter.class - [JAR]

├─ org.checkerframework.framework.qual.PolymorphicQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.PostconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PreconditionAnnotation.class - [JAR]

├─ org.checkerframework.framework.qual.PurityUnqualified.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierArgument.class - [JAR]

├─ org.checkerframework.framework.qual.QualifierForLiterals.class - [JAR]

├─ org.checkerframework.framework.qual.RelevantJavaTypes.class - [JAR]

├─ org.checkerframework.framework.qual.RequiresQualifier.class - [JAR]

├─ org.checkerframework.framework.qual.StubFiles.class - [JAR]

├─ org.checkerframework.framework.qual.SubtypeOf.class - [JAR]

├─ org.checkerframework.framework.qual.TargetLocations.class - [JAR]

├─ org.checkerframework.framework.qual.TypeKind.class - [JAR]

├─ org.checkerframework.framework.qual.TypeUseLocation.class - [JAR]

├─ org.checkerframework.framework.qual.Unused.class - [JAR]

├─ org.checkerframework.framework.qual.UpperBoundFor.class - [JAR]

org.checkerframework.checker.builder.qual

├─ org.checkerframework.checker.builder.qual.CalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.NotCalledMethods.class - [JAR]

├─ org.checkerframework.checker.builder.qual.ReturnsReceiver.class - [JAR]

org.checkerframework.common.reflection.qual

├─ org.checkerframework.common.reflection.qual.ClassBound.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ClassValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.ForName.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetConstructor.class - [JAR]

├─ org.checkerframework.common.reflection.qual.GetMethod.class - [JAR]

├─ org.checkerframework.common.reflection.qual.Invoke.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodVal.class - [JAR]

├─ org.checkerframework.common.reflection.qual.MethodValBottom.class - [JAR]

├─ org.checkerframework.common.reflection.qual.NewInstance.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownClass.class - [JAR]

├─ org.checkerframework.common.reflection.qual.UnknownMethod.class - [JAR]

org.checkerframework.checker.fenum.qual

├─ org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtColorSpace.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtCursorType.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.AwtFlowLayout.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.Fenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumBottom.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumTop.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.FenumUnqualified.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.PolyFenum.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingBoxOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingCompassDirection.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingElementOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTextOrientation.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitleJustification.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingTitlePosition.class - [JAR]

├─ org.checkerframework.checker.fenum.qual.SwingVerticalOrientation.class - [JAR]

org.checkerframework.checker.lock.qual

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardSatisfied.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedBy.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByBottom.class - [JAR]

├─ org.checkerframework.checker.lock.qual.GuardedByUnknown.class - [JAR]

├─ org.checkerframework.checker.lock.qual.Holding.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockPossiblyHeld.class - [JAR]

├─ org.checkerframework.checker.lock.qual.LockingFree.class - [JAR]

├─ org.checkerframework.checker.lock.qual.MayReleaseLocks.class - [JAR]

├─ org.checkerframework.checker.lock.qual.NewObject.class - [JAR]

├─ org.checkerframework.checker.lock.qual.ReleasesNoLocks.class - [JAR]

org.checkerframework.checker.nullness.qual

├─ org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.KeyForBottom.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.MonotonicNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.NonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.Nullable.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyKeyFor.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.PolyNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.RequiresNonNull.class - [JAR]

├─ org.checkerframework.checker.nullness.qual.UnknownKeyFor.class - [JAR]

org.checkerframework.checker.regex.qual

├─ org.checkerframework.checker.regex.qual.PartialRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.PolyRegex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.Regex.class - [JAR]

├─ org.checkerframework.checker.regex.qual.RegexBottom.class - [JAR]

├─ org.checkerframework.checker.regex.qual.UnknownRegex.class - [JAR]

org.checkerframework.checker.signature.qual

├─ org.checkerframework.checker.signature.qual.ArrayWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.BinaryNameWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameAndBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrEmpty.class - [JAR]

├─ org.checkerframework.checker.signature.qual.CanonicalNameOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.ClassGetSimpleName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers.class - [JAR]

├─ org.checkerframework.checker.signature.qual.DotSeparatedIdentifiersOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FieldDescriptorWithoutPackage.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FqBinaryName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.FullyQualifiedName.class - [JAR]

├─ org.checkerframework.checker.signature.qual.Identifier.class - [JAR]

├─ org.checkerframework.checker.signature.qual.IdentifierOrPrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.InternalForm.class - [JAR]

├─ org.checkerframework.checker.signature.qual.MethodDescriptor.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PolySignature.class - [JAR]

├─ org.checkerframework.checker.signature.qual.PrimitiveType.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureBottom.class - [JAR]

├─ org.checkerframework.checker.signature.qual.SignatureUnknown.class - [JAR]

org.checkerframework.checker.tainting.qual

├─ org.checkerframework.checker.tainting.qual.PolyTainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Tainted.class - [JAR]

├─ org.checkerframework.checker.tainting.qual.Untainted.class - [JAR]

org.checkerframework.checker.index.qual

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.class - [JAR]

├─ org.checkerframework.checker.index.qual.GTENegativeOne.class - [JAR]

├─ org.checkerframework.checker.index.qual.HasSubsequence.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrHigh.class - [JAR]

├─ org.checkerframework.checker.index.qual.IndexOrLow.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTEqLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LTOMLengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LengthOf.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThan.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LessThanUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.LowerBoundUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.NegativeIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.NonNegative.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyIndex.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLength.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyLowerBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolySameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.PolyUpperBound.class - [JAR]

├─ org.checkerframework.checker.index.qual.Positive.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLen.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SameLenUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SearchIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexFor.class - [JAR]

├─ org.checkerframework.checker.index.qual.SubstringIndexUnknown.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundBottom.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundLiteral.class - [JAR]

├─ org.checkerframework.checker.index.qual.UpperBoundUnknown.class - [JAR]

org.checkerframework.common.returnsreceiver.qual

├─ org.checkerframework.common.returnsreceiver.qual.BottomThis.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.This.class - [JAR]

├─ org.checkerframework.common.returnsreceiver.qual.UnknownThis.class - [JAR]

org.checkerframework.common.aliasing.qual

├─ org.checkerframework.common.aliasing.qual.LeakedToResult.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeAliased.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.MaybeLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.NonLeaked.class - [JAR]

├─ org.checkerframework.common.aliasing.qual.Unique.class - [JAR]

org.checkerframework.common.value.qual

├─ org.checkerframework.common.value.qual.ArrayLen.class - [JAR]

├─ org.checkerframework.common.value.qual.ArrayLenRange.class - [JAR]

├─ org.checkerframework.common.value.qual.BoolVal.class - [JAR]

├─ org.checkerframework.common.value.qual.BottomVal.class - [JAR]

├─ org.checkerframework.common.value.qual.DoesNotMatchRegex.class - [JAR]

├─ org.checkerframework.common.value.qual.DoubleVal.class - [JAR]

├─ org.checkerframework.common.value.qual.EnsuresMinLenIf.class - [JAR]

├─ org.checkerframework.common.value.qual.EnumVal.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRange.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromNonNegative.class - [JAR]

├─ org.checkerframework.common.value.qual.IntRangeFromPositive.class - [JAR]

├─ org.checkerframework.common.value.qual.IntVal.class - [JAR]

├─ org.checkerframework.common.value.qual.MatchesRegex.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLen.class - [JAR]

├─ org.checkerframework.common.value.qual.MinLenFieldInvariant.class - [JAR]

├─ org.checkerframework.common.value.qual.PolyValue.class - [JAR]

├─ org.checkerframework.common.value.qual.StaticallyExecutable.class - [JAR]

├─ org.checkerframework.common.value.qual.StringVal.class - [JAR]

├─ org.checkerframework.common.value.qual.UnknownVal.class - [JAR]

org.checkerframework.checker.compilermsgs.qual

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom.class - [JAR]

├─ org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey.class - [JAR]

org.checkerframework.checker.guieffect.qual

├─ org.checkerframework.checker.guieffect.qual.AlwaysSafe.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.PolyUIType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.SafeType.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UI.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIEffect.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIPackage.class - [JAR]

├─ org.checkerframework.checker.guieffect.qual.UIType.class - [JAR]

Advertisement

Dependencies from Group

May 09, 2023
5 usages
19 stars
May 09, 2023
2 usages
19 stars
May 09, 2023
1 usages
19 stars
May 09, 2023
1 usages
19 stars
May 09, 2023
19 stars

Discover Dependencies

Jun 08, 2019
2 usages
2k stars
Jun 08, 2019
2 usages
2k stars
Jun 08, 2019
2 usages
2k stars
Oct 10, 2022
3 usages
153 stars
Oct 01, 2022
2 usages
268 stars
Apr 30, 2019
2 usages
13k stars
Apr 30, 2019
2 usages
13k stars
Apr 30, 2019
2 usages
13k stars