| 组织ID: |
org.checkerframework |
| 项目ID: |
checker-qual |
| 版本: |
2.5.8 |
| 最后修改时间: |
2018-12-12 17:27:29 |
| 包类型: |
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 |
| 大小: |
189.36KB |
|
|
| Maven引入代码: |
<dependency>
<groupId>org.checkerframework</groupId>
<artifactId>checker-qual</artifactId>
<version>2.5.8</version>
</dependency>
|
| Gradle引入代码: |
org.checkerframework:checker-qual:2.5.8
|
| 下载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 -->2.5.8<!-- /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
org.checkerframework.dataflow.qual.Pure$Kind.class
org.checkerframework.dataflow.qual.TerminatesExecution.class
org.checkerframework.dataflow.qual.SideEffectFree.class
org.checkerframework.dataflow.qual.Pure.class
org.checkerframework.dataflow.qual.Deterministic.class
org.checkerframework.framework.util.PurityUnqualified.class
org.checkerframework.framework.qual.InvisibleQualifier.class
org.checkerframework.framework.qual.QualifierArgument.class
org.checkerframework.framework.qual.DefaultQualifierInHierarchyInUncheckedCode.class
org.checkerframework.framework.qual.ImplicitFor.class
org.checkerframework.framework.qual.Unused.class
org.checkerframework.framework.qual.RequiresQualifiers.class
org.checkerframework.framework.qual.MonotonicQualifier.class
org.checkerframework.framework.qual.EnsuresQualifierIf.class
org.checkerframework.framework.qual.PreconditionAnnotation.class
org.checkerframework.framework.qual.InheritedAnnotation.class
org.checkerframework.framework.qual.RequiresQualifier.class
org.checkerframework.framework.qual.EnsuresQualifiersIf.class
org.checkerframework.framework.qual.EnsuresQualifier.class
org.checkerframework.framework.qual.DefaultInUncheckedCodeFor.class
org.checkerframework.framework.qual.RelevantJavaTypes.class
org.checkerframework.framework.qual.TargetLocations.class
org.checkerframework.framework.qual.JavaExpression.class
org.checkerframework.framework.qual.FromStubFile.class
org.checkerframework.framework.qual.LiteralKind.class
org.checkerframework.framework.qual.DefaultFor.class
org.checkerframework.framework.qual.TypeUseLocation.class
org.checkerframework.framework.qual.PolyAll.class
org.checkerframework.framework.qual.SubtypeOf.class
org.checkerframework.framework.qual.PostconditionAnnotation.class
org.checkerframework.framework.qual.Covariant.class
org.checkerframework.framework.qual.PolymorphicQualifier.class
org.checkerframework.framework.qual.IgnoreInWholeProgramInference.class
org.checkerframework.framework.qual.FromByteCode.class
org.checkerframework.framework.qual.ConditionalPostconditionAnnotation.class
org.checkerframework.framework.qual.TypeKind.class
org.checkerframework.framework.qual.DefaultQualifierInHierarchy.class
org.checkerframework.framework.qual.StubFiles.class
org.checkerframework.framework.qual.EnsuresQualifiers.class
org.checkerframework.framework.qual.FieldInvariant.class
org.checkerframework.framework.qual.DefaultQualifiers.class
org.checkerframework.framework.qual.AnnotatedFor.class
org.checkerframework.framework.qual.DefaultQualifier.class
org.checkerframework.common.subtyping.qual.Bottom.class
org.checkerframework.common.subtyping.qual.Unqualified.class
org.checkerframework.common.value.qual.IntVal.class
org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne.class
org.checkerframework.common.value.qual.MinLen.class
org.checkerframework.common.value.qual.IntRangeFromNonNegative.class
org.checkerframework.common.value.qual.BottomVal.class
org.checkerframework.common.value.qual.StaticallyExecutable.class
org.checkerframework.common.value.qual.DoubleVal.class
org.checkerframework.common.value.qual.EnsuresMinLenIf.class
org.checkerframework.common.value.qual.IntRange.class
org.checkerframework.common.value.qual.ArrayLen.class
org.checkerframework.common.value.qual.MinLenFieldInvariant.class
org.checkerframework.common.value.qual.UnknownVal.class
org.checkerframework.common.value.qual.BoolVal.class
org.checkerframework.common.value.qual.ArrayLenRange.class
org.checkerframework.common.value.qual.PolyValue.class
org.checkerframework.common.value.qual.StringVal.class
org.checkerframework.common.value.qual.IntRangeFromPositive.class
org.checkerframework.common.util.report.qual.ReportUse.class
org.checkerframework.common.util.report.qual.ReportWrite.class
org.checkerframework.common.util.report.qual.ReportInherit.class
org.checkerframework.common.util.report.qual.ReportReadWrite.class
org.checkerframework.common.util.report.qual.ReportCreation.class
org.checkerframework.common.util.report.qual.ReportUnqualified.class
org.checkerframework.common.util.report.qual.ReportOverride.class
org.checkerframework.common.util.report.qual.ReportCall.class
org.checkerframework.common.aliasing.qual.Unique.class
org.checkerframework.common.aliasing.qual.LeakedToResult.class
org.checkerframework.common.aliasing.qual.MaybeLeaked.class
org.checkerframework.common.aliasing.qual.MaybeAliased.class
org.checkerframework.common.aliasing.qual.NonLeaked.class
org.checkerframework.common.reflection.qual.ClassBound.class
org.checkerframework.common.reflection.qual.MethodValBottom.class
org.checkerframework.common.reflection.qual.MethodVal.class
org.checkerframework.common.reflection.qual.GetMethod.class
org.checkerframework.common.reflection.qual.NewInstance.class
org.checkerframework.common.reflection.qual.ForName.class
org.checkerframework.common.reflection.qual.GetConstructor.class
org.checkerframework.common.reflection.qual.Invoke.class
org.checkerframework.common.reflection.qual.ClassVal.class
org.checkerframework.common.reflection.qual.UnknownMethod.class
org.checkerframework.common.reflection.qual.UnknownClass.class
org.checkerframework.common.reflection.qual.GetClass.class
org.checkerframework.common.reflection.qual.ClassValBottom.class
org.checkerframework.checker.signature.qual.SignatureUnknown.class
org.checkerframework.checker.signature.qual.Identifier.class
org.checkerframework.checker.signature.qual.PolySignature.class
org.checkerframework.checker.signature.qual.IdentifierOrArray.class
org.checkerframework.checker.signature.qual.ClassGetName.class
org.checkerframework.checker.signature.qual.DotSeparatedIdentifiers.class
org.checkerframework.checker.signature.qual.BinaryNameInUnnamedPackage.class
org.checkerframework.checker.signature.qual.BinaryName.class
org.checkerframework.checker.signature.qual.InternalForm.class
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitiveOrArrayInUnnamedPackage.class
org.checkerframework.checker.signature.qual.SignatureBottom.class
org.checkerframework.checker.signature.qual.FieldDescriptor.class
org.checkerframework.checker.signature.qual.MethodDescriptor.class
org.checkerframework.checker.signature.qual.FieldDescriptorForPrimitive.class
org.checkerframework.checker.signature.qual.ClassGetSimpleName.class
org.checkerframework.checker.signature.qual.FullyQualifiedName.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil$MessageFormatParser.class
org.checkerframework.checker.i18nformatter.I18nFormatUtil$I18nConversion.class
org.checkerframework.checker.i18nformatter.qual.I18nFormatBottom.class
org.checkerframework.checker.i18nformatter.qual.I18nFormat.class
org.checkerframework.checker.i18nformatter.qual.I18nValidFormat.class
org.checkerframework.checker.i18nformatter.qual.I18nFormatFor.class
org.checkerframework.checker.i18nformatter.qual.I18nChecksFormat.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.I18nConversionCategory.class
org.checkerframework.checker.signedness.SignednessUtil.class
org.checkerframework.checker.signedness.qual.Unsigned.class
org.checkerframework.checker.signedness.qual.UnknownSignedness.class
org.checkerframework.checker.signedness.qual.SignednessBottom.class
org.checkerframework.checker.signedness.qual.Signed.class
org.checkerframework.checker.signedness.qual.PolySignedness.class
org.checkerframework.checker.signedness.qual.Constant.class
org.checkerframework.checker.formatter.FormatUtil$IllegalFormatConversionCategoryException.class
org.checkerframework.checker.formatter.FormatUtil.class
org.checkerframework.checker.formatter.FormatUtil$ExcessiveOrMissingFormatArgumentException.class
org.checkerframework.checker.formatter.FormatUtil$Conversion.class
org.checkerframework.checker.formatter.qual.Format.class
org.checkerframework.checker.formatter.qual.ReturnsFormat.class
org.checkerframework.checker.formatter.qual.UnknownFormat.class
org.checkerframework.checker.formatter.qual.ConversionCategory.class
org.checkerframework.checker.formatter.qual.FormatMethod.class
org.checkerframework.checker.formatter.qual.FormatBottom.class
org.checkerframework.checker.formatter.qual.InvalidFormat.class
org.checkerframework.checker.nullness.NullnessUtil.class
org.checkerframework.checker.nullness.Opt.class
org.checkerframework.checker.nullness.qual.NonRaw.class
org.checkerframework.checker.nullness.qual.UnknownKeyFor.class
org.checkerframework.checker.nullness.qual.EnsuresNonNullIf.class
org.checkerframework.checker.nullness.qual.Nullable.class
org.checkerframework.checker.nullness.qual.NonNull.class
org.checkerframework.checker.nullness.qual.MonotonicNonNull.class
org.checkerframework.checker.nullness.qual.Raw.class
org.checkerframework.checker.nullness.qual.PolyKeyFor.class
org.checkerframework.checker.nullness.qual.EnsuresKeyFor.class
org.checkerframework.checker.nullness.qual.EnsuresNonNull.class
org.checkerframework.checker.nullness.qual.RequiresNonNull.class
org.checkerframework.checker.nullness.qual.AssertNonNullIfNonNull.class
org.checkerframework.checker.nullness.qual.KeyForBottom.class
org.checkerframework.checker.nullness.qual.KeyFor.class
org.checkerframework.checker.nullness.qual.EnsuresKeyForIf.class
org.checkerframework.checker.nullness.qual.PolyRaw.class
org.checkerframework.checker.nullness.qual.PolyNull.class
org.checkerframework.checker.tainting.qual.Tainted.class
org.checkerframework.checker.tainting.qual.Untainted.class
org.checkerframework.checker.tainting.qual.PolyTainted.class
org.checkerframework.checker.i18n.qual.LocalizableKeyBottom.class
org.checkerframework.checker.i18n.qual.UnknownLocalized.class
org.checkerframework.checker.i18n.qual.Localized.class
org.checkerframework.checker.i18n.qual.LocalizableKey.class
org.checkerframework.checker.i18n.qual.UnknownLocalizableKey.class
org.checkerframework.checker.propkey.qual.UnknownPropertyKey.class
org.checkerframework.checker.propkey.qual.PropertyKey.class
org.checkerframework.checker.propkey.qual.PropertyKeyBottom.class
org.checkerframework.checker.units.UnitsTools.class
org.checkerframework.checker.units.qual.PolyUnit.class
org.checkerframework.checker.units.qual.degrees.class
org.checkerframework.checker.units.qual.MixedUnits.class
org.checkerframework.checker.units.qual.UnknownUnits.class
org.checkerframework.checker.units.qual.km2.class
org.checkerframework.checker.units.qual.Mass.class
org.checkerframework.checker.units.qual.mm.class
org.checkerframework.checker.units.qual.h.class
org.checkerframework.checker.units.qual.Angle.class
org.checkerframework.checker.units.qual.min.class
org.checkerframework.checker.units.qual.UnitsRelations.class
org.checkerframework.checker.units.qual.Substance.class
org.checkerframework.checker.units.qual.Temperature.class
org.checkerframework.checker.units.qual.Area.class
org.checkerframework.checker.units.qual.radians.class
org.checkerframework.checker.units.qual.UnitsBottom.class
org.checkerframework.checker.units.qual.Speed.class
org.checkerframework.checker.units.qual.m.class
org.checkerframework.checker.units.qual.Current.class
org.checkerframework.checker.units.qual.mol.class
org.checkerframework.checker.units.qual.cd.class
org.checkerframework.checker.units.qual.K.class
org.checkerframework.checker.units.qual.s.class
org.checkerframework.checker.units.qual.mm2.class
org.checkerframework.checker.units.qual.km.class
org.checkerframework.checker.units.qual.Luminance.class
org.checkerframework.checker.units.qual.Length.class
org.checkerframework.checker.units.qual.A.class
org.checkerframework.checker.units.qual.Acceleration.class
org.checkerframework.checker.units.qual.mPERs2.class
org.checkerframework.checker.units.qual.C.class
org.checkerframework.checker.units.qual.g.class
org.checkerframework.checker.units.qual.Prefix.class
org.checkerframework.checker.units.qual.kg.class
org.checkerframework.checker.units.qual.mPERs.class
org.checkerframework.checker.units.qual.m2.class
org.checkerframework.checker.units.qual.kmPERh.class
org.checkerframework.checker.units.qual.UnitsMultiple.class
org.checkerframework.checker.units.qual.Time.class
org.checkerframework.checker.lock.qual.LockHeld.class
org.checkerframework.checker.lock.qual.GuardSatisfied.class
org.checkerframework.checker.lock.qual.LockingFree.class
org.checkerframework.checker.lock.qual.EnsuresLockHeldIf.class
org.checkerframework.checker.lock.qual.ReleasesNoLocks.class
org.checkerframework.checker.lock.qual.GuardedBy.class
org.checkerframework.checker.lock.qual.MayReleaseLocks.class
org.checkerframework.checker.lock.qual.GuardedByUnknown.class
org.checkerframework.checker.lock.qual.GuardedByBottom.class
org.checkerframework.checker.lock.qual.EnsuresLockHeld.class
org.checkerframework.checker.lock.qual.LockPossiblyHeld.class
org.checkerframework.checker.lock.qual.Holding.class
org.checkerframework.checker.compilermsgs.qual.UnknownCompilerMessageKey.class
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKey.class
org.checkerframework.checker.compilermsgs.qual.CompilerMessageKeyBottom.class
org.checkerframework.checker.regex.RegexUtil$CheckedPatternSyntaxException.class
org.checkerframework.checker.regex.RegexUtil.class
org.checkerframework.checker.regex.qual.PolyRegex.class
org.checkerframework.checker.regex.qual.RegexBottom.class
org.checkerframework.checker.regex.qual.Regex.class
org.checkerframework.checker.regex.qual.PartialRegex.class
org.checkerframework.checker.regex.qual.UnknownRegex.class
org.checkerframework.checker.optional.qual.PolyPresent.class
org.checkerframework.checker.optional.qual.Present.class
org.checkerframework.checker.optional.qual.MaybePresent.class
org.checkerframework.checker.index.qual.SearchIndexFor.class
org.checkerframework.checker.index.qual.LowerBoundBottom.class
org.checkerframework.checker.index.qual.LessThanUnknown.class
org.checkerframework.checker.index.qual.LTEqLengthOf.class
org.checkerframework.checker.index.qual.EnsuresLTLengthOf.class
org.checkerframework.checker.index.qual.SameLen.class
org.checkerframework.checker.index.qual.SameLenBottom.class
org.checkerframework.checker.index.qual.PolyIndex.class
org.checkerframework.checker.index.qual.IndexOrHigh.class
org.checkerframework.checker.index.qual.SubstringIndexBottom.class
org.checkerframework.checker.index.qual.EnsuresLTLengthOfIf.class
org.checkerframework.checker.index.qual.IndexOrLow.class
org.checkerframework.checker.index.qual.LessThan.class
org.checkerframework.checker.index.qual.UpperBoundUnknown.class
org.checkerframework.checker.index.qual.PolySameLen.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)
|
| 依赖Jar: |
无
|
查看checker-qual所有版本文件