| 组织ID: |
org.checkerframework |
| 项目ID: |
checker-qual |
| 版本: |
3.2.0 |
| 最后修改时间: |
2020-03-03 11:05:50 |
| 包类型: |
jar |
| 标题: |
Checker Qual |
| 描述: |
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
|
| 相关URL: |
https://checkerframework.org |
| 大小: |
199.82KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>3.2.0</version>
</dependency>
|
| Gradle引入代码: |
org.checkerframework:checker-qual:3.2.0
|
| 下载Jar包: |
|
| POM文件内容: |
<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>https://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>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 -->3.2.0<!-- /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>mernst</id>
<name>Michael Ernst</name>
<email>mernst@cs.washington.edu</email>
<url>https://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>smillst</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>
</developers>
</project>
|
| Jar包内容: |
META-INF/MANIFEST.MF
META-INF/LICENSE.txt
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom.class
org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey.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.PolyFenum.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$Conversion.class
org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException.class
org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException.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.LocalizableKeyBottom.class
org.checkerframework.checker.i18n.qual.Localized.class
org.checkerframework.checker.i18n.qual.UnknownLocalizableKey.class
org.checkerframework.checker.i18n.qual.UnknownLocalized.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil$MessageFormatParser.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil.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.index.qual.EnsuresLTLengthOf.class
org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.class
org.checkerframework.checker.index.qual.GTENegativeOne.class
org.checkerframework.checker.index.qual.HasSubsequence.class
org.checkerframework.checker.index.qual.IndexFor.class
org.checkerframework.checker.index.qual.IndexOrHigh.class
org.checkerframework.checker.index.qual.IndexOrLow.class
org.checkerframework.checker.index.qual.LTEqLengthOf.class
org.checkerframework.checker.index.qual.LTLengthOf.class
org.checkerframework.checker.index.qual.LTOMLengthOf.class
org.checkerframework.checker.index.qual.LengthOf.class
org.checkerframework.checker.index.qual.LessThan.class
org.checkerframework.checker.index.qual.LessThanBottom.class
org.checkerframework.checker.index.qual.LessThanUnknown.class
org.checkerframework.checker.index.qual.LowerBoundBottom.class
org.checkerframework.checker.index.qual.LowerBoundUnknown.class
org.checkerframework.checker.index.qual.NegativeIndexFor.class
org.checkerframework.checker.index.qual.NonNegative.class
org.checkerframework.checker.index.qual.PolyIndex.class
org.checkerframework.checker.index.qual.PolyLength.class
org.checkerframework.checker.index.qual.PolyLowerBound.class
org.checkerframework.checker.index.qual.PolySameLen.class
org.checkerframework.checker.index.qual.PolyUpperBound.class
org.checkerframework.checker.index.qual.Positive.class
org.checkerframework.checker.index.qual.SameLen.class
org.checkerframework.checker.index.qual.SameLenBottom.class
org.checkerframework.checker.index.qual.SameLenUnknown.class
org.checkerframework.checker.index.qual.SearchIndexBottom.class
org.checkerframework.checker.index.qual.SearchIndexFor.class
org.checkerframework.checker.index.qual.SearchIndexUnknown.class
org.checkerframework.checker.index.qual.SubstringIndexBottom.class
org.checkerframework.checker.index.qual.SubstringIndexFor.class
org.checkerframework.checker.index.qual.SubstringIndexUnknown.class
org.checkerframework.checker.index.qual.UpperBoundBottom.class
org.checkerframework.checker.index.qual.UpperBoundUnknown.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.InternMethod.class
org.checkerframework.checker.interning.qual.Interned.class
org.checkerframework.checker.interning.qual.InternedDistinct.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.lock.qual.EnsuresLockHeld.class
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class
org.checkerframework.checker.lock.qual.GuardSatisfied.class
org.checkerframework.checker.lock.qual.GuardedBy.class
org.checkerframework.checker.lock.qual.GuardedByBottom.class
org.checkerframework.checker.lock.qual.GuardedByUnknown.class
org.checkerframework.checker.lock.qual.Holding.class
org.checkerframework.checker.lock.qual.LockHeld.class
org.checkerframework.checker.lock.qual.LockPossiblyHeld.class
org.checkerframework.checker.lock.qual.LockingFree.class
org.checkerframework.checker.lock.qual.MayReleaseLocks.class
org.checkerframework.checker.lock.qual.ReleasesNoLocks.class
org.checkerframework.checker.nullness.NullnessUtil.class
org.checkerframework.checker.nullness.Opt.class
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class
org.checkerframework.checker.nullness.qual.EnsuresKeyFor.class
org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.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.MonotonicNonNull.class
org.checkerframework.checker.nullness.qual.NonNull.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.RequiresNonNull.class
org.checkerframework.checker.nullness.qual.UnknownKeyFor.class
org.checkerframework.checker.optional.qual.MaybePresent.class
org.checkerframework.checker.optional.qual.PolyPresent.class
org.checkerframework.checker.optional.qual.Present.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$CheckedPatternSyntaxException.class
org.checkerframework.checker.regex.RegexUtil.class
org.checkerframework.checker.regex.qual.PartialRegex.class
org.checkerframework.checker.regex.qual.PolyRegex.class
org.checkerframework.checker.regex.qual.Regex.class
org.checkerframework.checker.regex.qual.RegexBottom.class
org.checkerframework.checker.regex.qual.UnknownRegex.class
org.checkerframework.checker.signature.qual.BinaryName.class
org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage.class
org.checkerframework.checker.signature.qual.ClassGetName.class
org.checkerframework.checker.signature.qual.ClassGetSimpleName.class
org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers.class
org.checkerframework.checker.signature.qual.FieldDescriptor.class
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive.class
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitiveOrArrayInUnnamedPackage.class
org.checkerframework.checker.signature.qual.FqBinaryName.class
org.checkerframework.checker.signature.qual.FullyQualifiedName.class
org.checkerframework.checker.signature.qual.Identifier.class
org.checkerframework.checker.signature.qual.IdentifierOrArray.class
org.checkerframework.checker.signature.qual.InternalForm.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.SignatureUnknown.class
org.checkerframework.checker.signedness.SignednessUtil.class
org.checkerframework.checker.signedness.qual.PolySigned.class
org.checkerframework.checker.signedness.qual.Signed.class
org.checkerframework.checker.signedness.qual.SignedPositive.class
org.checkerframework.checker.signedness.qual.SignednessBottom.class
org.checkerframework.checker.signedness.qual.SignednessGlb.class
org.checkerframework.checker.signedness.qual.UnknownSignedness.class
org.checkerframework.checker.signedness.qual.Unsigned.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.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.ForName.class
org.checkerframework.common.reflection.qual.GetClass.class
org.checkerframework.common.reflection.qual.GetConstructor.class
org.checkerframework.common.reflection.qual.GetMethod.class
org.checkerframework.common.reflection.qual.Invoke.class
org.checkerframework.common.reflection.qual.MethodVal.class
org.checkerframework.common.reflection.qual.MethodValBottom.class
org.checkerframework.common.reflection.qual.NewInstance.class
org.checkerframework.common.reflection.qual.UnknownClass.class
org.checkerframework.common.reflection.qual.UnknownMethod.class
org.checkerframework.common.subtyping.qual.Bottom.class
org.checkerframework.common.subtyping.qual.Unqualified.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.ReportUnqualified.class
org.checkerframework.common.util.report.qual.ReportUse.class
org.checkerframework.common.util.report.qual.ReportWrite.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
无
|
查看checker-qual所有版本文件