登录注册

Jar文件详情内容

checker-qual-2.5.0-sources.jar

所在目录：/org/checkerframework/checker-qual/2.5.0 查看checker-qual所有版本文件

组织ID:	org.checkerframework
项目ID:	checker-qual
版本:	2.5.0
最后修改时间:	2018-07-27 14:58:51
包类型:	java-source (源码)
大小:	218.19KB

Maven引入代码:	`<dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> <version>2.5.0</version> <classifier>sources</classifier> <type>java-source</type> </dependency>`
Gradle引入代码:	`org.checkerframework:checker-qual:2.5.0`
下载Jar包:	checker-qual-2.5.0-sources.jar
Jar包内容:	展开复制 META-INF/MANIFEST.MF org/checkerframework/dataflow/qual/TerminatesExecution.java org/checkerframework/dataflow/qual/Deterministic.java org/checkerframework/dataflow/qual/SideEffectFree.java org/checkerframework/dataflow/qual/Pure.java org/checkerframework/framework/util/PurityUnqualified.java org/checkerframework/framework/qual/PolyAll.java org/checkerframework/framework/qual/EnsuresQualifiers.java org/checkerframework/framework/qual/RelevantJavaTypes.java org/checkerframework/framework/qual/PostconditionAnnotation.java org/checkerframework/framework/qual/TypeKind.java org/checkerframework/framework/qual/IgnoreInWholeProgramInference.java org/checkerframework/framework/qual/SubtypeOf.java org/checkerframework/framework/qual/MonotonicQualifier.java org/checkerframework/framework/qual/RequiresQualifiers.java org/checkerframework/framework/qual/EnsuresQualifierIf.java org/checkerframework/framework/qual/DefaultQualifierInHierarchy.java org/checkerframework/framework/qual/DefaultQualifier.java org/checkerframework/framework/qual/JavaExpression.java org/checkerframework/framework/qual/AnnotatedFor.java org/checkerframework/framework/qual/TypeUseLocation.java org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.java org/checkerframework/framework/qual/EnsuresQualifiersIf.java org/checkerframework/framework/qual/StubFiles.java org/checkerframework/framework/qual/PreconditionAnnotation.java org/checkerframework/framework/qual/Unused.java org/checkerframework/framework/qual/LiteralKind.java org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.java org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.java org/checkerframework/framework/qual/Unqualified.java org/checkerframework/framework/qual/DefaultQualifiers.java org/checkerframework/framework/qual/EnsuresQualifier.java org/checkerframework/framework/qual/ImplicitFor.java org/checkerframework/framework/qual/Bottom.java org/checkerframework/framework/qual/FieldInvariant.java org/checkerframework/framework/qual/FromByteCode.java org/checkerframework/framework/qual/QualifierArgument.java org/checkerframework/framework/qual/InheritedAnnotation.java org/checkerframework/framework/qual/Covariant.java org/checkerframework/framework/qual/RequiresQualifier.java org/checkerframework/framework/qual/PolymorphicQualifier.java org/checkerframework/framework/qual/TargetLocations.java org/checkerframework/framework/qual/package-info.java org/checkerframework/framework/qual/DefaultFor.java org/checkerframework/framework/qual/InvisibleQualifier.java org/checkerframework/framework/qual/FromStubFile.java org/checkerframework/common/value/qual/IntRangeFromNonNegative.java org/checkerframework/common/value/qual/StaticallyExecutable.java org/checkerframework/common/value/qual/BoolVal.java org/checkerframework/common/value/qual/ArrayLenRange.java org/checkerframework/common/value/qual/IntVal.java org/checkerframework/common/value/qual/IntRange.java org/checkerframework/common/value/qual/ArrayLen.java org/checkerframework/common/value/qual/EnsuresMinLenIf.java org/checkerframework/common/value/qual/StringVal.java org/checkerframework/common/value/qual/DoubleVal.java org/checkerframework/common/value/qual/IntRangeFromPositive.java org/checkerframework/common/value/qual/BottomVal.java org/checkerframework/common/value/qual/PolyValue.java org/checkerframework/common/value/qual/UnknownVal.java org/checkerframework/common/value/qual/MinLenFieldInvariant.java org/checkerframework/common/value/qual/IntRangeFromGTENegativeOne.java org/checkerframework/common/value/qual/MinLen.java org/checkerframework/common/util/report/qual/ReportCall.java org/checkerframework/common/util/report/qual/ReportOverride.java org/checkerframework/common/util/report/qual/ReportUse.java org/checkerframework/common/util/report/qual/ReportWrite.java org/checkerframework/common/util/report/qual/ReportCreation.java org/checkerframework/common/util/report/qual/ReportInherit.java org/checkerframework/common/util/report/qual/ReportUnqualified.java org/checkerframework/common/util/report/qual/ReportReadWrite.java org/checkerframework/common/aliasing/qual/MaybeLeaked.java org/checkerframework/common/aliasing/qual/Unique.java org/checkerframework/common/aliasing/qual/NonLeaked.java org/checkerframework/common/aliasing/qual/LeakedToResult.java org/checkerframework/common/aliasing/qual/MaybeAliased.java org/checkerframework/common/reflection/qual/MethodVal.java org/checkerframework/common/reflection/qual/Invoke.java org/checkerframework/common/reflection/qual/ClassBound.java org/checkerframework/common/reflection/qual/NewInstance.java org/checkerframework/common/reflection/qual/ClassVal.java org/checkerframework/common/reflection/qual/GetConstructor.java org/checkerframework/common/reflection/qual/ClassValBottom.java org/checkerframework/common/reflection/qual/ForName.java org/checkerframework/common/reflection/qual/GetClass.java org/checkerframework/common/reflection/qual/MethodValBottom.java org/checkerframework/common/reflection/qual/GetMethod.java org/checkerframework/common/reflection/qual/UnknownClass.java org/checkerframework/common/reflection/qual/UnknownMethod.java org/checkerframework/checker/signature/qual/BinaryName.java org/checkerframework/checker/signature/qual/InternalFormForNonArray.java org/checkerframework/checker/signature/qual/FullyQualifiedName.java org/checkerframework/checker/signature/qual/MethodDescriptor.java org/checkerframework/checker/signature/qual/FieldDescriptorForArray.java org/checkerframework/checker/signature/qual/SourceNameForNonInner.java org/checkerframework/checker/signature/qual/SignatureBottom.java org/checkerframework/checker/signature/qual/IdentifierOrArray.java org/checkerframework/checker/signature/qual/PolySignature.java org/checkerframework/checker/signature/qual/SignatureUnknown.java org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.java org/checkerframework/checker/signature/qual/FieldDescriptor.java org/checkerframework/checker/signature/qual/BinaryNameForNonArrayInUnnamedPackage.java org/checkerframework/checker/signature/qual/ClassGetName.java org/checkerframework/checker/signature/qual/SourceNameForNonArrayNonInner.java org/checkerframework/checker/signature/qual/BinaryNameForNonArray.java org/checkerframework/checker/signature/qual/InternalForm.java org/checkerframework/checker/signature/qual/ClassGetSimpleName.java org/checkerframework/checker/signature/qual/Identifier.java org/checkerframework/checker/i18nformatter/I18nFormatUtil.java org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.java org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.java org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java org/checkerframework/checker/i18nformatter/qual/I18nFormat.java org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.java org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.java org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.java org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.java org/checkerframework/checker/signedness/SignednessUtil.java org/checkerframework/checker/signedness/qual/SignednessBottom.java org/checkerframework/checker/signedness/qual/Unsigned.java org/checkerframework/checker/signedness/qual/Constant.java org/checkerframework/checker/signedness/qual/Signed.java org/checkerframework/checker/signedness/qual/UnknownSignedness.java org/checkerframework/checker/signedness/qual/PolySignedness.java org/checkerframework/checker/formatter/FormatUtil.java org/checkerframework/checker/formatter/qual/Format.java org/checkerframework/checker/formatter/qual/ReturnsFormat.java org/checkerframework/checker/formatter/qual/InvalidFormat.java org/checkerframework/checker/formatter/qual/FormatBottom.java org/checkerframework/checker/formatter/qual/ConversionCategory.java org/checkerframework/checker/formatter/qual/FormatMethod.java org/checkerframework/checker/formatter/qual/UnknownFormat.java org/checkerframework/checker/nullness/NullnessUtil.java org/checkerframework/checker/nullness/Opt.java org/checkerframework/checker/nullness/qual/NonNull.java org/checkerframework/checker/nullness/qual/KeyFor.java org/checkerframework/checker/nullness/qual/EnsuresNonNull.java org/checkerframework/checker/nullness/qual/UnknownKeyFor.java org/checkerframework/checker/nullness/qual/NonRaw.java org/checkerframework/checker/nullness/qual/RequiresNonNull.java org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.java org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.java org/checkerframework/checker/nullness/qual/MonotonicNonNull.java org/checkerframework/checker/nullness/qual/KeyForBottom.java org/checkerframework/checker/nullness/qual/PolyRaw.java org/checkerframework/checker/nullness/qual/PolyNull.java org/checkerframework/checker/nullness/qual/Raw.java org/checkerframework/checker/nullness/qual/PolyKeyFor.java org/checkerframework/checker/nullness/qual/Nullable.java org/checkerframework/checker/tainting/qual/PolyTainted.java org/checkerframework/checker/tainting/qual/Untainted.java org/checkerframework/checker/tainting/qual/Tainted.java org/checkerframework/checker/i18n/qual/UnknownLocalized.java org/checkerframework/checker/i18n/qual/UnknownLocalizableKey.java org/checkerframework/checker/i18n/qual/LocalizableKeyBottom.java org/checkerframework/checker/i18n/qual/LocalizableKey.java org/checkerframework/checker/i18n/qual/Localized.java org/checkerframework/checker/propkey/qual/PropertyKeyBottom.java org/checkerframework/checker/propkey/qual/PropertyKey.java org/checkerframework/checker/propkey/qual/UnknownPropertyKey.java org/checkerframework/checker/units/UnitsTools.java org/checkerframework/checker/units/qual/mm.java org/checkerframework/checker/units/qual/Length.java org/checkerframework/checker/units/qual/s.java org/checkerframework/checker/units/qual/Angle.java org/checkerframework/checker/units/qual/Temperature.java org/checkerframework/checker/units/qual/UnitsRelations.java org/checkerframework/checker/units/qual/Speed.java org/checkerframework/checker/units/qual/Mass.java org/checkerframework/checker/units/qual/Luminance.java org/checkerframework/checker/units/qual/K.java org/checkerframework/checker/units/qual/kg.java org/checkerframework/checker/units/qual/UnitsBottom.java org/checkerframework/checker/units/qual/mPERs2.java org/checkerframework/checker/units/qual/kmPERh.java org/checkerframework/checker/units/qual/PolyUnit.java org/checkerframework/checker/units/qual/Acceleration.java org/checkerframework/checker/units/qual/UnitsMultiple.java org/checkerframework/checker/units/qual/min.java org/checkerframework/checker/units/qual/g.java org/checkerframework/checker/units/qual/cd.java org/checkerframework/checker/units/qual/h.java org/checkerframework/checker/units/qual/Current.java org/checkerframework/checker/units/qual/C.java org/checkerframework/checker/units/qual/m2.java org/checkerframework/checker/units/qual/MixedUnits.java org/checkerframework/checker/units/qual/mPERs.java org/checkerframework/checker/units/qual/km.java org/checkerframework/checker/units/qual/Substance.java org/checkerframework/checker/units/qual/radians.java org/checkerframework/checker/units/qual/mol.java org/checkerframework/checker/units/qual/Prefix.java org/checkerframework/checker/units/qual/UnknownUnits.java org/checkerframework/checker/units/qual/mm2.java org/checkerframework/checker/units/qual/Time.java org/checkerframework/checker/units/qual/Area.java org/checkerframework/checker/units/qual/degrees.java org/checkerframework/checker/units/qual/A.java org/checkerframework/checker/units/qual/m.java org/checkerframework/checker/units/qual/km2.java org/checkerframework/checker/lock/qual/GuardedByUnknown.java org/checkerframework/checker/lock/qual/Holding.java org/checkerframework/checker/lock/qual/EnsuresLockHeld.java org/checkerframework/checker/lock/qual/LockingFree.java org/checkerframework/checker/lock/qual/MayReleaseLocks.java org/checkerframework/checker/lock/qual/GuardSatisfied.java org/checkerframework/checker/lock/qual/GuardedBy.java org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java org/checkerframework/checker/lock/qual/LockHeld.java org/checkerframework/checker/lock/qual/PolyGuardedBy.java org/checkerframework/checker/lock/qual/ReleasesNoLocks.java org/checkerframework/checker/lock/qual/GuardedByBottom.java org/checkerframework/checker/lock/qual/LockPossiblyHeld.java org/checkerframework/checker/compilermsgs/qual/CompilerMessageKeyBottom.java org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.java org/checkerframework/checker/compilermsgs/qual/UnknownCompilerMessageKey.java org/checkerframework/checker/regex/RegexUtil.java org/checkerframework/checker/regex/qual/UnknownRegex.java org/checkerframework/checker/regex/qual/PolyRegex.java org/checkerframework/checker/regex/qual/RegexBottom.java org/checkerframework/checker/regex/qual/Regex.java org/checkerframework/checker/regex/qual/PartialRegex.java org/checkerframework/checker/optional/qual/PolyPresent.java org/checkerframework/checker/optional/qual/MaybePresent.java org/checkerframework/checker/optional/qual/Present.java org/checkerframework/checker/index/qual/PolyLowerBound.java org/checkerframework/checker/index/qual/LTOMLengthOf.java org/checkerframework/checker/index/qual/IndexOrHigh.java org/checkerframework/checker/index/qual/SearchIndexBottom.java org/checkerframework/checker/index/qual/LowerBoundBottom.java org/checkerframework/checker/index/qual/IndexFor.java org/checkerframework/checker/index/qual/GTENegativeOne.java org/checkerframework/checker/index/qual/LTLengthOf.java org/checkerframework/checker/index/qual/LessThanBottom.java org/checkerframework/checker/index/qual/EnsuresLTLengthOfIf.java org/checkerframework/checker/index/qual/NegativeIndexFor.java org/checkerframework/checker/index/qual/PolyIndex.java org/checkerframework/checker/index/qual/PolySameLen.java org/checkerframework/checker/index/qual/EnsuresLTLengthOf.java org/checkerframework/checker/index/qual/IndexOrLow.java #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	无