You can download checker-qual-1.9.4.jar in this page.
GNU General Public License, version 2 (GPL2), with the classpath exception
checker-qual-1.9.4.jar file has the following types.
META-INF/MANIFEST.MF org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class org.checkerframework.checker.experimental.tainting_qual.qual.PolyTainted.class org.checkerframework.checker.experimental.tainting_qual.qual.Tainted.class org.checkerframework.checker.experimental.tainting_qual.qual.Untainted.class org.checkerframework.checker.fenum.qual.AwtAlphaCompositingRule.class org.checkerframework.checker.fenum.qual.AwtColorSpace.class org.checkerframework.checker.fenum.qual.AwtCursorType.class org.checkerframework.checker.fenum.qual.AwtFlowLayout.class org.checkerframework.checker.fenum.qual.Fenum.class org.checkerframework.checker.fenum.qual.FenumBottom.class org.checkerframework.checker.fenum.qual.FenumTop.class org.checkerframework.checker.fenum.qual.FenumUnqualified.class org.checkerframework.checker.fenum.qual.SwingBoxOrientation.class org.checkerframework.checker.fenum.qual.SwingCompassDirection.class org.checkerframework.checker.fenum.qual.SwingElementOrientation.class org.checkerframework.checker.fenum.qual.SwingHorizontalOrientation.class org.checkerframework.checker.fenum.qual.SwingSplitPaneOrientation.class org.checkerframework.checker.fenum.qual.SwingTextOrientation.class org.checkerframework.checker.fenum.qual.SwingTitleJustification.class org.checkerframework.checker.fenum.qual.SwingTitlePosition.class org.checkerframework.checker.fenum.qual.SwingVerticalOrientation.class org.checkerframework.checker.formatter.FormatUtil.class org.checkerframework.checker.formatter.qual.ConversionCategory.class org.checkerframework.checker.formatter.qual.Format.class org.checkerframework.checker.formatter.qual.FormatBottom.class org.checkerframework.checker.formatter.qual.FormatMethod.class org.checkerframework.checker.formatter.qual.InvalidFormat.class org.checkerframework.checker.formatter.qual.ReturnsFormat.class org.checkerframework.checker.formatter.qual.UnknownFormat.class org.checkerframework.checker.guieffect.qual.AlwaysSafe.class org.checkerframework.checker.guieffect.qual.PolyUI.class org.checkerframework.checker.guieffect.qual.PolyUIEffect.class org.checkerframework.checker.guieffect.qual.PolyUIType.class org.checkerframework.checker.guieffect.qual.SafeEffect.class org.checkerframework.checker.guieffect.qual.SafeType.class org.checkerframework.checker.guieffect.qual.UI.class org.checkerframework.checker.guieffect.qual.UIEffect.class org.checkerframework.checker.guieffect.qual.UIPackage.class org.checkerframework.checker.guieffect.qual.UIType.class org.checkerframework.checker.i18n.qual.LocalizableKey.class org.checkerframework.checker.i18n.qual.Localized.class org.checkerframework.checker.i18n.qual.UnknownLocalized.class org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat.class org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory.class org.checkerframework.checker.i18nformatter.qual.I18nFormat.class org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom.class org.checkerframework.checker.i18nformatter.qual.I18nFormatFor.class org.checkerframework.checker.i18nformatter.qual.I18nInvalidFormat.class org.checkerframework.checker.i18nformatter.qual.I18nMakeFormat.class org.checkerframework.checker.i18nformatter.qual.I18nUnknownFormat.class org.checkerframework.checker.i18nformatter.qual.I18nValidFormat.class org.checkerframework.checker.igj.qual.Assignable.class org.checkerframework.checker.igj.qual.AssignsFields.class org.checkerframework.checker.igj.qual.I.class org.checkerframework.checker.igj.qual.Immutable.class org.checkerframework.checker.igj.qual.Mutable.class org.checkerframework.checker.igj.qual.ReadOnly.class org.checkerframework.checker.initialization.qual.FBCBottom.class org.checkerframework.checker.initialization.qual.Initialized.class org.checkerframework.checker.initialization.qual.NotOnlyInitialized.class org.checkerframework.checker.initialization.qual.UnderInitialization.class org.checkerframework.checker.initialization.qual.UnknownInitialization.class org.checkerframework.checker.interning.qual.Interned.class org.checkerframework.checker.interning.qual.PolyInterned.class org.checkerframework.checker.interning.qual.UnknownInterned.class org.checkerframework.checker.interning.qual.UsesObjectEquals.class org.checkerframework.checker.javari.qual.Assignable.class org.checkerframework.checker.javari.qual.Mutable.class org.checkerframework.checker.javari.qual.PolyRead.class org.checkerframework.checker.javari.qual.QReadOnly.class org.checkerframework.checker.javari.qual.ReadOnly.class org.checkerframework.checker.javari.qual.ThisMutable.class org.checkerframework.checker.linear.qual.Linear.class org.checkerframework.checker.linear.qual.Normal.class org.checkerframework.checker.linear.qual.Unusable.class org.checkerframework.checker.lock.qual.EnsuresLockHeld.class org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class org.checkerframework.checker.lock.qual.GuardedBy.class org.checkerframework.checker.lock.qual.Holding.class org.checkerframework.checker.lock.qual.HoldingOnEntry.class org.checkerframework.checker.lock.qual.LockHeld.class org.checkerframework.checker.lock.qual.LockPossiblyHeld.class org.checkerframework.checker.nullness.NullnessUtils.class org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class org.checkerframework.checker.nullness.qual.Covariant.class org.checkerframework.checker.nullness.qual.EnsuresNonNull.class org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class org.checkerframework.checker.nullness.qual.KeyFor.class org.checkerframework.checker.nullness.qual.KeyForBottom.class org.checkerframework.checker.nullness.qual.LazyNonNull.class org.checkerframework.checker.nullness.qual.MonotonicNonNull.class org.checkerframework.checker.nullness.qual.NonNull.class org.checkerframework.checker.nullness.qual.NonRaw.class org.checkerframework.checker.nullness.qual.Nullable.class org.checkerframework.checker.nullness.qual.PolyKeyFor.class org.checkerframework.checker.nullness.qual.PolyNull.class org.checkerframework.checker.nullness.qual.PolyRaw.class org.checkerframework.checker.nullness.qual.Raw.class org.checkerframework.checker.nullness.qual.RequiresNonNull.class org.checkerframework.checker.nullness.qual.UnknownKeyFor.class org.checkerframework.checker.oigj.qual.Assignable.class org.checkerframework.checker.oigj.qual.AssignsFields.class org.checkerframework.checker.oigj.qual.Dominator.class org.checkerframework.checker.oigj.qual.I.class org.checkerframework.checker.oigj.qual.Immutable.class org.checkerframework.checker.oigj.qual.Modifier.class org.checkerframework.checker.oigj.qual.Mutable.class org.checkerframework.checker.oigj.qual.O.class org.checkerframework.checker.oigj.qual.ReadOnly.class org.checkerframework.checker.oigj.qual.WildCard.class org.checkerframework.checker.oigj.qual.World.class org.checkerframework.checker.propkey.qual.PropertyKey.class org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class org.checkerframework.checker.propkey.qual.UnknownPropertyKey.class org.checkerframework.checker.regex.RegexUtil.class org.checkerframework.checker.regex.classic.qual.PartialRegex.class org.checkerframework.checker.regex.classic.qual.PolyRegex.class org.checkerframework.checker.regex.classic.qual.RegexBottom.class org.checkerframework.checker.regex.classic.qual.UnknownRegex.class org.checkerframework.checker.regex.qual.ClassRegexParam.class org.checkerframework.checker.regex.qual.MethodRegexParam.class org.checkerframework.checker.regex.qual.MultiClassRegexParam.class org.checkerframework.checker.regex.qual.MultiMethodRegexParam.class org.checkerframework.checker.regex.qual.MultiPolyRegex.class org.checkerframework.checker.regex.qual.MultiRegex.class org.checkerframework.checker.regex.qual.MultiVar.class org.checkerframework.checker.regex.qual.MultiWild.class org.checkerframework.checker.regex.qual.PolyRegex.class org.checkerframework.checker.regex.qual.Regex.class org.checkerframework.checker.regex.qual.Var.class org.checkerframework.checker.regex.qual.Wild.class org.checkerframework.checker.signature.qual.BinaryName.class org.checkerframework.checker.signature.qual.BinaryNameForNonArray.class org.checkerframework.checker.signature.qual.ClassGetName.class org.checkerframework.checker.signature.qual.FieldDescriptor.class org.checkerframework.checker.signature.qual.FieldDescriptorForArray.class org.checkerframework.checker.signature.qual.FullyQualifiedName.class org.checkerframework.checker.signature.qual.MethodDescriptor.class org.checkerframework.checker.signature.qual.PolySignature.class org.checkerframework.checker.signature.qual.SignatureBottom.class org.checkerframework.checker.signature.qual.SourceName.class org.checkerframework.checker.signature.qual.SourceNameForNonArray.class org.checkerframework.checker.signature.qual.UnannotatedString.class org.checkerframework.checker.tainting.classic.qual.PolyTainted.class org.checkerframework.checker.tainting.classic.qual.Tainted.class org.checkerframework.checker.tainting.classic.qual.Untainted.class org.checkerframework.checker.tainting.qual.ClassTaintingParam.class org.checkerframework.checker.tainting.qual.MethodTaintingParam.class org.checkerframework.checker.tainting.qual.MultiClassTaintingParam.class org.checkerframework.checker.tainting.qual.MultiMethodTaintingParam.class org.checkerframework.checker.tainting.qual.MultiPolyTainted.class org.checkerframework.checker.tainting.qual.MultiTainted.class org.checkerframework.checker.tainting.qual.MultiUntainted.class org.checkerframework.checker.tainting.qual.MultiVar.class org.checkerframework.checker.tainting.qual.MultiWild.class org.checkerframework.checker.tainting.qual.PolyTainted.class org.checkerframework.checker.tainting.qual.Tainted.class org.checkerframework.checker.tainting.qual.Untainted.class org.checkerframework.checker.tainting.qual.Var.class org.checkerframework.checker.tainting.qual.Wild.class org.checkerframework.checker.units.UnitsTools.class org.checkerframework.checker.units.qual.A.class org.checkerframework.checker.units.qual.Acceleration.class org.checkerframework.checker.units.qual.Angle.class org.checkerframework.checker.units.qual.Area.class org.checkerframework.checker.units.qual.C.class org.checkerframework.checker.units.qual.Current.class org.checkerframework.checker.units.qual.K.class org.checkerframework.checker.units.qual.Length.class org.checkerframework.checker.units.qual.Luminance.class org.checkerframework.checker.units.qual.Mass.class org.checkerframework.checker.units.qual.MixedUnits.class org.checkerframework.checker.units.qual.PolyUnit.class org.checkerframework.checker.units.qual.Prefix.class org.checkerframework.checker.units.qual.Speed.class org.checkerframework.checker.units.qual.Substance.class org.checkerframework.checker.units.qual.Temperature.class org.checkerframework.checker.units.qual.Time.class org.checkerframework.checker.units.qual.UnitsBottom.class org.checkerframework.checker.units.qual.UnitsMultiple.class org.checkerframework.checker.units.qual.UnitsRelations.class org.checkerframework.checker.units.qual.UnknownUnits.class org.checkerframework.checker.units.qual.cd.class org.checkerframework.checker.units.qual.degrees.class org.checkerframework.checker.units.qual.g.class org.checkerframework.checker.units.qual.h.class org.checkerframework.checker.units.qual.kg.class org.checkerframework.checker.units.qual.km.class org.checkerframework.checker.units.qual.km2.class org.checkerframework.checker.units.qual.kmPERh.class org.checkerframework.checker.units.qual.m.class org.checkerframework.checker.units.qual.m2.class org.checkerframework.checker.units.qual.mPERs.class org.checkerframework.checker.units.qual.mPERs2.class org.checkerframework.checker.units.qual.min.class org.checkerframework.checker.units.qual.mm.class org.checkerframework.checker.units.qual.mm2.class org.checkerframework.checker.units.qual.mol.class org.checkerframework.checker.units.qual.radians.class org.checkerframework.checker.units.qual.s.class org.checkerframework.common.aliasing.qual.LeakedToResult.class org.checkerframework.common.aliasing.qual.MaybeAliased.class org.checkerframework.common.aliasing.qual.MaybeLeaked.class org.checkerframework.common.aliasing.qual.NonLeaked.class org.checkerframework.common.aliasing.qual.Unique.class org.checkerframework.common.reflection.qual.ClassBound.class org.checkerframework.common.reflection.qual.ClassVal.class org.checkerframework.common.reflection.qual.ClassValBottom.class org.checkerframework.common.reflection.qual.MethodVal.class org.checkerframework.common.reflection.qual.MethodValBottom.class org.checkerframework.common.reflection.qual.UnknownClass.class org.checkerframework.common.reflection.qual.UnknownMethod.class org.checkerframework.common.util.report.qual.ReportCall.class org.checkerframework.common.util.report.qual.ReportCreation.class org.checkerframework.common.util.report.qual.ReportInherit.class org.checkerframework.common.util.report.qual.ReportOverride.class org.checkerframework.common.util.report.qual.ReportReadWrite.class org.checkerframework.common.util.report.qual.ReportUse.class org.checkerframework.common.util.report.qual.ReportWrite.class org.checkerframework.common.value.qual.ArrayLen.class org.checkerframework.common.value.qual.BoolVal.class org.checkerframework.common.value.qual.BottomVal.class org.checkerframework.common.value.qual.DoubleVal.class org.checkerframework.common.value.qual.IntVal.class org.checkerframework.common.value.qual.StaticallyExecutable.class org.checkerframework.common.value.qual.StringVal.class org.checkerframework.common.value.qual.UnknownVal.class org.checkerframework.dataflow.qual.Deterministic.class org.checkerframework.dataflow.qual.LockingFree.class org.checkerframework.dataflow.qual.Pure.class org.checkerframework.dataflow.qual.SideEffectFree.class org.checkerframework.dataflow.qual.TerminatesExecution.class org.checkerframework.framework.qual.AnnotatedFor.class org.checkerframework.framework.qual.Bottom.class org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class org.checkerframework.framework.qual.DefaultFor.class org.checkerframework.framework.qual.DefaultForUnannotatedCode.class org.checkerframework.framework.qual.DefaultLocation.class org.checkerframework.framework.qual.DefaultQualifier.class org.checkerframework.framework.qual.DefaultQualifierForUnannotatedCode.class org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class org.checkerframework.framework.qual.DefaultQualifiers.class org.checkerframework.framework.qual.Dependent.class org.checkerframework.framework.qual.EnsuresQualifier.class org.checkerframework.framework.qual.EnsuresQualifierIf.class org.checkerframework.framework.qual.EnsuresQualifiers.class org.checkerframework.framework.qual.EnsuresQualifiersIf.class org.checkerframework.framework.qual.FieldIsExpression.class org.checkerframework.framework.qual.FromByteCode.class org.checkerframework.framework.qual.FromStubFile.class org.checkerframework.framework.qual.ImplicitFor.class org.checkerframework.framework.qual.InheritedAnnotation.class org.checkerframework.framework.qual.InvisibleQualifier.class org.checkerframework.framework.qual.MonotonicQualifier.class org.checkerframework.framework.qual.PolyAll.class org.checkerframework.framework.qual.PolymorphicQualifier.class org.checkerframework.framework.qual.PostconditionAnnotation.class org.checkerframework.framework.qual.PreconditionAnnotation.class org.checkerframework.framework.qual.RequiresQualifier.class org.checkerframework.framework.qual.RequiresQualifiers.class org.checkerframework.framework.qual.StubFiles.class org.checkerframework.framework.qual.SubtypeOf.class org.checkerframework.framework.qual.TypeQualifier.class org.checkerframework.framework.qual.TypeQualifiers.class org.checkerframework.framework.qual.Unqualified.class org.checkerframework.framework.qual.Unused.class org.checkerframework.qualframework.poly.qual.Wildcard.class
checker-qual-1.9.4.pom file content.
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
<modelVersion>4.0.0</modelVersion>
<packaging>jar</packaging>
<name>Checker Qual</name>
<url>http://checkerframework.org</url>
<description>
Checker Qual is the set of annotations (qualifiers) and supporting classes
used by the Checker Framework to type check Java source code. Please
see artifact:
org.checkerframework:checker
</description>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<licenses>
<license>
<name>GNU General Public License, version 2 (GPL2), with the classpath exception</name>
<url>http://www.gnu.org/software/classpath/license.html</url>
<distribution>repo</distribution>
</license>
<license>
<name>The MIT License</name>
<url>http://opensource.org/licenses/MIT</url>
<distribution>repo</distribution>
</license>
</licenses>
<!-- The comments in the version number are used to do a text substitution. Don't remove them.
See checker-framework/bin/poms/updateVersion.sh -->
<version><!-- checker-framework-version -->1.9.4<!-- /checker-framework-version --></version>
<scm>
<url>https://github.com/typetools/checker-framework.git</url>
<connection>https://github.com/typetools/checker-framework.git</connection>
</scm>
<developers>
<developer>
<id>Michael Ernst <mernst@cs.washington.edu></id>
<name>Michael Ernst</name>
<email>mernst@cs.washington.edu</email>
<url>http://homes.cs.washington.edu/~mernst/</url>
<organization>University of Washington</organization>
<organizationUrl>https://www.cs.washington.edu/</organizationUrl>
</developer>
<developer>
<id>wmdietl</id>
<name>Werner M. Dietl</name>
<email>wdietl@uwaterloo.ca</email>
<organization>University of Waterloo</organization>
<organizationUrl>http://uwaterloo.ca/</organizationUrl>
</developer>
<developer>
<id>Suzanne Millstein <smillst@cs.washington.edu></id>
<name>Suzanne Millstein</name>
<email>smillst@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>David McArthur <mcarthur@cs.washington.edu<</id>
<name>David McArthur</name>
<email>mcarthur@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Javier Thaine <jthaine@cs.washington.edu<</id>
<name>David McArthur</name>
<email>jthaine@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>Dan Brown <dbro@cs.washington.edu<</id>
<name>Dan Brown</name>
<email>dbro@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
<developer>
<id>jonathangburke@gmail.com</id>
<name>Jonathan G. Burke</name>
<email>jburke@cs.washington.edu</email>
<organization>University of Washington PLSE Group</organization>
<organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>
</developer>
</developers>
</project>
<dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> <version>1.9.4</version> </dependency>
If you think the following checker-qual-1.9.4.jar downloaded from Maven central repository is inappropriate, such as containing malicious code/tools or violating the copyright, please email , thanks.
Download checker-qual-1.9.4.jar file