登录注册

Jar文件详情内容

checker-2.11.0-sources.jar

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

组织ID:	org.checkerframework
项目ID:	checker
版本:	2.11.0
最后修改时间:	2019-09-17 01:29:45
包类型:	java-source (源码)
大小:	1.29MB

Maven引入代码:	`<dependency> <groupId>org.checkerframework</groupId> <artifactId>checker</artifactId> <version>2.11.0</version> <classifier>sources</classifier> <type>java-source</type> </dependency>`
Gradle引入代码:	`org.checkerframework:checker:2.11.0`
下载Jar包:	checker-2.11.0-sources.jar
Jar包内容:	展开复制 META-INF/MANIFEST.MF org/checkerframework/checker/signature/SignatureAnnotatedTypeFactory.java org/checkerframework/checker/signature/SignatureChecker.java org/checkerframework/checker/signature/qual/DotSeparatedIdentifiers.java org/checkerframework/checker/signature/qual/BinaryName.java org/checkerframework/checker/signature/qual/FullyQualifiedName.java org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitive.java org/checkerframework/checker/signature/qual/MethodDescriptor.java org/checkerframework/checker/signature/qual/FieldDescriptorForPrimitiveOrArrayInUnnamedPackage.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/FqBinaryName.java org/checkerframework/checker/signature/qual/FieldDescriptor.java org/checkerframework/checker/signature/qual/ClassGetName.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/I18nFormatterTransfer.java org/checkerframework/checker/i18nformatter/I18nFormatUtil.java org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java org/checkerframework/checker/i18nformatter/I18nFormatterAnnotatedTypeFactory.java org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java org/checkerframework/checker/i18nformatter/I18nFormatterChecker.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/SignednessVisitor.java org/checkerframework/checker/signedness/SignednessUtil.java org/checkerframework/checker/signedness/SignednessChecker.java org/checkerframework/checker/signedness/SignednessUtilExtra.java org/checkerframework/checker/signedness/qual/PolySigned.java org/checkerframework/checker/signedness/qual/SignednessBottom.java org/checkerframework/checker/signedness/qual/Unsigned.java org/checkerframework/checker/signedness/qual/SignednessGlb.java org/checkerframework/checker/signedness/qual/Signed.java org/checkerframework/checker/signedness/qual/UnknownSignedness.java org/checkerframework/checker/signedness/qual/SignedPositive.java org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java org/checkerframework/checker/formatter/FormatterAnnotatedTypeFactory.java org/checkerframework/checker/formatter/FormatterVisitor.java org/checkerframework/checker/formatter/FormatterChecker.java org/checkerframework/checker/formatter/FormatterTreeUtil.java org/checkerframework/checker/formatter/FormatterTransfer.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/KeyForAnnotatedTypeFactory.java org/checkerframework/checker/nullness/NullnessStore.java org/checkerframework/checker/nullness/KeyForTransfer.java org/checkerframework/checker/nullness/NullnessChecker.java org/checkerframework/checker/nullness/KeyForAnalysis.java org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java org/checkerframework/checker/nullness/NullnessAnnotatedTypeFormatter.java org/checkerframework/checker/nullness/KeyForStore.java org/checkerframework/checker/nullness/NullnessTransfer.java org/checkerframework/checker/nullness/CollectionToArrayHeuristics.java org/checkerframework/checker/nullness/SystemGetPropertyHandler.java org/checkerframework/checker/nullness/KeyForValue.java org/checkerframework/checker/nullness/KeyForSubchecker.java org/checkerframework/checker/nullness/NullnessUtil.java org/checkerframework/checker/nullness/KeyForPropagator.java org/checkerframework/checker/nullness/NullnessVisitor.java org/checkerframework/checker/nullness/KeyForPropagationTreeAnnotator.java org/checkerframework/checker/nullness/Opt.java org/checkerframework/checker/nullness/NullnessValue.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/RequiresNonNull.java org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.java org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.java org/checkerframework/checker/nullness/qual/EnsuresKeyFor.java org/checkerframework/checker/nullness/qual/MonotonicNonNull.java org/checkerframework/checker/nullness/qual/KeyForBottom.java org/checkerframework/checker/nullness/qual/EnsuresKeyForIf.java org/checkerframework/checker/nullness/qual/PolyNull.java org/checkerframework/checker/nullness/qual/PolyKeyFor.java org/checkerframework/checker/nullness/qual/Nullable.java org/checkerframework/checker/nullness/NullnessAnalysis.java org/checkerframework/checker/tainting/TaintingChecker.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/I18nAnnotatedTypeFactory.java org/checkerframework/checker/i18n/LocalizableKeyAnnotatedTypeFactory.java org/checkerframework/checker/i18n/LocalizableKeyChecker.java org/checkerframework/checker/i18n/I18nChecker.java org/checkerframework/checker/i18n/I18nSubchecker.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/PropertyKeyAnnotatedTypeFactory.java org/checkerframework/checker/propkey/PropertyKeyChecker.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/UnitsChecker.java org/checkerframework/checker/units/UnitsAnnotatedTypeFactory.java org/checkerframework/checker/units/UnitsAnnotationClassLoader.java org/checkerframework/checker/units/UnitsRelationsTools.java org/checkerframework/checker/units/UnitsRelations.java org/checkerframework/checker/units/UnitsTools.java org/checkerframework/checker/units/UnitsAnnotatedTypeFormatter.java org/checkerframework/checker/units/UnitsVisitor.java org/checkerframework/checker/units/UnitsRelationsDefault.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/LockChecker.java org/checkerframework/checker/lock/LockTransfer.java org/checkerframework/checker/lock/LockVisitor.java org/checkerframework/checker/lock/LockAnnotatedTypeFactory.java org/checkerframework/checker/lock/LockAnalysis.java org/checkerframework/checker/lock/LockStore.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/lock/LockTreeAnnotator.java org/checkerframework/checker/compilermsgs/CompilerMessagesAnnotatedTypeFactory.java org/checkerframework/checker/compilermsgs/CompilerMessagesChecker.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/compilermsgs/qual/package-info.java org/checkerframework/checker/regex/RegexChecker.java org/checkerframework/checker/regex/RegexVisitor.java org/checkerframework/checker/regex/RegexUtil.java org/checkerframework/checker/regex/RegexAnnotatedTypeFactory.java org/checkerframework/checker/regex/RegexTransfer.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/OptionalChecker.java org/checkerframework/checker/optional/OptionalVisitor.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/OffsetDependentTypesHelper.java org/checkerframework/checker/index/IndexAbstractTransfer.java org/checkerframework/checker/index/inequality/LessThanAnnotatedTypeFactory.java org/checkerframework/checker/index/inequality/LessThanVisitor.java org/checkerframework/checker/index/inequality/LessThanTransfer.java org/checkerframework/checker/index/inequality/LessThanChecker.java org/checkerframework/checker/index/substringindex/SubstringIndexAnnotatedTypeFactory.java org/checkerframework/checker/index/substringindex/SubstringIndexChecker.java org/checkerframework/checker/index/searchindex/SearchIndexTransfer.java org/checkerframework/checker/index/searchindex/SearchIndexAnnotatedTypeFactory.java org/checkerframework/checker/index/searchindex/SearchIndexChecker.java org/checkerframework/checker/index/IndexUtil.java org/checkerframework/checker/index/lowerbound/LowerBoundChecker.java org/checkerframework/checker/index/lowerbound/LowerBoundVisitor.java org/checkerframework/checker/index/lowerbound/LowerBoundTransfer.java org/checkerframework/checker/index/lowerbound/LowerBoundAnnotatedTypeFactory.java org/checkerframework/checker/index/IndexMethodIdentifier.java org/checkerframework/checker/index/IndexChecker.java org/checkerframework/checker/index/IndexRefinementInfo.java org/checkerframework/checker/index/Subsequence.java org/checkerframework/checker/index/upperbound/OffsetEquation.java org/checkerframework/checker/index/upperbound/UpperBoundAnnotatedTypeFactory.java org/checkerframework/checker/index/upperbound/UpperBoundChecker.java org/checkerframework/checker/index/upperbound/UpperBoundTransfer.java org/checkerframework/checker/index/upperbound/UBQualifier.java org/checkerframework/checker/index/upperbound/UpperBoundVisitor.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/HasSubsequence.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 org/checkerframework/checker/index/qual/SearchIndexUnknown.java org/checkerframework/checker/index/qual/SameLen.java org/checkerframework/checker/index/qual/LengthOf.java org/checkerframework/checker/index/qual/SearchIndexFor.java org/checkerframework/checker/index/qual/LTEqLengthOf.java org/checkerframework/checker/index/qual/SubstringIndexBottom.java org/checkerframework/checker/index/qual/LessThan.java org/checkerframework/checker/index/qual/LessThanUnknown.java org/checkerframework/checker/index/qual/SameLenBottom.java org/checkerframework/checker/index/qual/UpperBoundUnknown.java org/checkerframework/checker/index/qual/LowerBoundUnknown.java org/checkerframework/checker/index/qual/SubstringIndexFor.java org/checkerframework/checker/index/qual/SubstringIndexUnknown.java org/checkerframework/checker/index/qual/SameLenUnknown.java org/checkerframework/checker/index/qual/PolyUpperBound.java org/checkerframework/checker/index/qual/UpperBoundBottom.java org/checkerframework/checker/index/qual/PolyLength.java org/checkerframework/checker/index/qual/Positive.java org/checkerframework/checker/index/qual/NonNegative.java org/checkerframework/checker/index/samelen/SameLenAnnotatedTypeFactory.java org/checkerframework/checker/index/samelen/SameLenChecker.java org/checkerframework/checker/index/samelen/SameLenVisitor.java org/checkerframework/checker/index/samelen/SameLenTransfer.java org/checkerframework/checker/interning/InterningAnnotatedTypeFactory.java org/checkerframework/checker/interning/InterningVisitor.java org/checkerframework/checker/interning/package-info.java org/checkerframework/checker/interning/InterningChecker.java org/checkerframework/checker/interning/qual/InternMethod.java org/checkerframework/checker/interning/qual/PolyInterned.java org/checkerframework/checker/interning/qual/UnknownInterned.java org/checkerframework/checker/interning/qual/UsesObjectEquals.java org/checkerframework/checker/interning/qual/InternedDistinct.java org/checkerframework/checker/interning/qual/Interned.java org/checkerframework/checker/guieffect/GuiEffectChecker.java org/checkerframework/checker/guieffect/Effect.java org/checkerframework/checker/guieffect/GuiEffectVisitor.java org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java org/checkerframework/checker/guieffect/qual/UIType.java org/checkerframework/checker/guieffect/qual/UIEffect.java org/checkerframework/checker/guieffect/qual/UIPackage.java org/checkerframework/checker/guieffect/qual/PolyUIType.java org/checkerframework/checker/guieffect/qual/PolyUIEffect.java org/checkerframework/checker/guieffect/qual/UI.java org/checkerframework/checker/guieffect/qual/AlwaysSafe.java org/checkerframework/checker/guieffect/qual/SafeEffect.java org/checkerframework/checker/guieffect/qual/SafeType.java org/checkerframework/checker/guieffect/qual/PolyUI.java org/checkerframework/checker/initialization/InitializationChecker.java org/checkerframework/checker/initialization/InitializationTransfer.java org/checkerframework/checker/initialization/InitializationStore.java org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java org/checkerframework/checker/initialization/qual/UnderInitialization.java org/checkerframework/checker/initialization/qual/FBCBottom.java org/checkerframework/checker/initialization/qual/NotOnlyInitialized.java org/checkerframework/checker/initialization/qual/UnknownInitialization.java org/checkerframework/checker/initialization/qual/Initialized.java org/checkerframework/checker/initialization/InitializationVisitor.java org/checkerframework/checker/fenum/FenumAnnotatedTypeFactory.java org/checkerframework/checker/fenum/FenumVisitor.java org/checkerframework/checker/fenum/FenumChecker.java org/checkerframework/checker/fenum/package-info.java org/checkerframework/checker/fenum/qual/SwingTextOrientation.java org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.java org/checkerframework/checker/fenum/qual/Fenum.java org/checkerframework/checker/fenum/qual/AwtFlowLayout.java org/checkerframework/checker/fenum/qual/AwtCursorType.java org/checkerframework/checker/fenum/qual/SwingTitlePosition.java org/checkerframework/checker/fenum/qual/FenumTop.java org/checkerframework/checker/fenum/qual/FenumUnqualified.java org/checkerframework/checker/fenum/qual/SwingTitleJustification.java org/checkerframework/checker/fenum/qual/SwingElementOrientation.java org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.java org/checkerframework/checker/fenum/qual/FenumBottom.java org/checkerframework/checker/fenum/qual/SwingBoxOrientation.java org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.java org/checkerframework/checker/fenum/qual/PolyFenum.java org/checkerframework/checker/fenum/qual/AwtColorSpace.java org/checkerframework/checker/fenum/qual/SwingCompassDirection.java org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.java org/jmlspecs/annotation/Pure.java org/checkerframework/framework/source/SourceVisitor.java org/checkerframework/framework/source/SourceChecker.java org/checkerframework/framework/source/Result.java org/checkerframework/framework/source/SupportedOptions.java org/checkerframework/framework/source/SupportedLintOptions.java org/checkerframework/framework/source/SuppressWarningsKeys.java org/checkerframework/framework/source/package-info.java org/checkerframework/framework/source/AggregateChecker.java org/checkerframework/framework/type/TypeHierarchy.java org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java org/checkerframework/framework/type/TypeFromTree.java org/checkerframework/framework/type/VisitorState.java org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java org/checkerframework/framework/type/TypeFromMemberVisitor.java org/checkerframework/framework/type/AnnotatedTypeFactory.java org/checkerframework/framework/type/TypesIntoElements.java org/checkerframework/framework/type/AnnotatedTypeParameterBounds.java org/checkerframework/framework/type/SyntheticArrays.java org/checkerframework/framework/type/AnnotatedTypeReplacer.java org/checkerframework/framework/type/TypeFromClassVisitor.java org/checkerframework/framework/type/poly/QualifierPolymorphism.java org/checkerframework/framework/type/poly/DefaultQualifierPolymorphism.java org/checkerframework/framework/type/poly/AbstractQualifierPolymorphism.java org/checkerframework/framework/type/DefaultInferredTypesApplier.java org/checkerframework/framework/type/BoundsInitializer.java org/checkerframework/framework/type/AnnotationClassLoader.java org/checkerframework/framework/type/StructuralEqualityComparer.java org/checkerframework/framework/type/EqualityAtmComparer.java org/checkerframework/framework/type/AsSuperVisitor.java org/checkerframework/framework/type/AnnotatedTypeMirror.java org/checkerframework/framework/type/QualifierUpperBounds.java org/checkerframework/framework/type/AnnotatedTypeCopier.java org/checkerframework/framework/type/HashcodeAtmVisitor.java org/checkerframework/framework/type/AnnotatedTypeFormatter.java org/checkerframework/framework/type/typeannotator/PropagationTypeAnnotator.java org/checkerframework/framework/type/typeannotator/ListTypeAnnotator.java org/checkerframework/framework/type/typeannotator/IrrelevantTypeAnnotator.java org/checkerframework/framework/type/typeannotator/DefaultForTypeAnnotator.java org/checkerframework/framework/type/typeannotator/DefaultQualifierForUseTypeAnnotator.java org/checkerframework/framework/type/typeannotator/TypeAnnotator.java org/checkerframework/framework/type/DeclarationsIntoElements.java org/checkerframework/framework/type/TypeVariableSubstitutor.java org/checkerframework/framework/type/TypeFromTreeVisitor.java org/checkerframework/framework/type/DefaultTypeHierarchy.java org/checkerframework/framework/type/treeannotator/LiteralTreeAnnotator.java org/checkerframework/framework/type/treeannotator/ListTreeAnnotator.java org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java org/checkerframework/framework/type/treeannotator/TreeAnnotator.java org/checkerframework/framework/type/treeannotator/DebugListTreeAnnotator.java org/checkerframework/framework/type/package-info.java org/checkerframework/framework/type/QualifierHierarchy.java org/checkerframework/framework/type/SubtypeVisitHistory.java org/checkerframework/framework/type/visitor/EquivalentAtmComboScanner.java org/checkerframework/framework/type/visitor/AnnotatedTypeComparer.java org/checkerframework/framework/type/visitor/AnnotatedTypeMerger.java org/checkerframework/framework/type/visitor/AnnotatedTypeVisitor.java org/checkerframework/framework/type/visitor/AtmComboVisitor.java org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeVisitor.java org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeScanner.java org/checkerframework/framework/type/visitor/AbstractAtmComboVisitor.java org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java org/checkerframework/framework/type/TypeFromExpressionVisitor.java org/checkerframework/framework/type/SupertypeFinder.java org/checkerframework/framework/type/ElementAnnotationApplier.java org/checkerframework/framework/stub/AddAnnotatedFor.java org/checkerframework/framework/stub/JarEntryStubResource.java org/checkerframework/framework/stub/StubResource.java org/checkerframework/framework/stub/FileStubResource.java org/checkerframework/framework/stub/StubGenerator.java org/checkerframework/framework/stub/StubUtil.java org/checkerframework/framework/stub/StubParser.java org/checkerframework/framework/stub/ToIndexFileConverter.java org/checkerframework/framework/util/AtmLubVisitor.java org/checkerframework/framework/util/CFContext.java org/checkerframework/framework/util/AtmCombo.java org/checkerframework/framework/util/AnnotationMirrorMap.java org/checkerframework/framework/util/GraphQualifierHierarchy.java org/checkerframework/framework/util/AnnotationMirrorSet.java org/checkerframework/framework/util/PurityChecker.java org/checkerframework/framework/util/typeinference/constraint/AFReducer.java org/checkerframework/framework/util/typeinference/constraint/TIsU.java org/checkerframework/framework/util/typeinference/constraint/TSubU.java org/checkerframework/framework/util/typeinference/constraint/AFConstraint.java org/checkerframework/framework/util/typeinference/constraint/FIsAReducer.java org/checkerframework/framework/util/typeinference/constraint/TSuperU.java org/checkerframework/framework/util/typeinference/constraint/TUConstraint.java org/checkerframework/framework/util/typeinference/constraint/A2F.java org/checkerframework/framework/util/typeinference/constraint/FIsA.java org/checkerframework/framework/util/typeinference/constraint/A2FReducer.java org/checkerframework/framework/util/typeinference/constraint/F2A.java org/checkerframework/framework/util/typeinference/constraint/F2AReducer.java org/checkerframework/framework/util/typeinference/constraint/AFReducingVisitor.java org/checkerframework/framework/util/typeinference/DefaultTypeArgumentInference.java org/checkerframework/framework/util/typeinference/TypeArgumentInference.java org/checkerframework/framework/util/typeinference/GlbUtil.java org/checkerframework/framework/util/typeinference/TypeArgInferenceUtil.java org/checkerframework/framework/util/typeinference/solver/EqualitiesSolver.java org/checkerframework/framework/util/typeinference/solver/SubtypesSolver.java org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java org/checkerframework/framework/util/typeinference/solver/InferredValue.java org/checkerframework/framework/util/typeinference/solver/InferenceResult.java org/checkerframework/framework/util/typeinference/solver/TargetConstraints.java org/checkerframework/framework/util/typeinference/solver/ConstraintMap.java org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java org/checkerframework/framework/util/PurityUnqualified.java org/checkerframework/framework/util/DefaultAnnotationFormatter.java org/checkerframework/framework/util/TypeArgumentMapper.java org/checkerframework/framework/util/AnnotatedTypes.java org/checkerframework/framework/util/CheckerMain.java org/checkerframework/framework/util/MultiGraphQualifierHierarchy.java org/checkerframework/framework/util/AnnotationFormatter.java org/checkerframework/framework/util/BaseContext.java org/checkerframework/framework/util/dependenttypes/DependentTypesError.java org/checkerframework/framework/util/dependenttypes/DependentTypesTreeAnnotator.java org/checkerframework/framework/util/dependenttypes/DependentTypesHelper.java org/checkerframework/framework/util/defaults/Default.java org/checkerframework/framework/util/defaults/DefaultSet.java org/checkerframework/framework/util/defaults/QualifierDefaults.java org/checkerframework/framework/util/ExecUtil.java org/checkerframework/framework/util/element/ParamApplier.java org/checkerframework/framework/util/element/MethodApplier.java org/checkerframework/framework/util/element/IndexedElementAnnotationApplier.java org/checkerframework/framework/util/element/SuperTypeApplier.java org/checkerframework/framework/util/element/TypeParamElementAnnotationApplier.java org/checkerframework/framework/util/element/TypeDeclarationApplier.java org/checkerframework/framework/util/element/TypeVarUseApplier.java org/checkerframework/framework/util/element/VariableApplier.java org/checkerframework/framework/util/element/TargetedElementAnnotationApplier.java org/checkerframework/framework/util/element/ClassTypeParamApplier.java org/checkerframework/framework/util/element/ElementAnnotationUtil.java org/checkerframework/framework/util/element/MethodTypeParamApplier.java org/checkerframework/framework/util/Heuristics.java org/checkerframework/framework/util/FlowExpressionParseUtil.java org/checkerframework/framework/util/CheckerDevelMain.java org/checkerframework/framework/util/FieldInvariants.java org/checkerframework/framework/util/ContractsUtils.java org/checkerframework/framework/util/TreePathCacher.java org/checkerframework/framework/util/OptionConfiguration.java org/checkerframework/framework/util/PurityAnnotatedTypeFactory.java org/checkerframework/framework/flow/CFAbstractValue.java org/checkerframework/framework/flow/CFAnalysis.java org/checkerframework/framework/flow/CFTreeBuilder.java org/checkerframework/framework/flow/CFAbstractTransfer.java org/checkerframework/framework/flow/CFAbstractStore.java org/checkerframework/framework/flow/CFValue.java org/checkerframework/framework/flow/CFStore.java org/checkerframework/framework/flow/CFAbstractAnalysis.java org/checkerframework/framework/flow/CFCFGBuilder.java org/checkerframework/framework/flow/CFTransfer.java org/checkerframework/framework/flow/package-info.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/CFComment.java org/checkerframework/framework/qual/NoDefaultQualifierForUse.java org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.java org/checkerframework/framework/qual/QualifierForLiterals.java org/checkerframework/framework/qual/DefaultQualifierForUse.java org/checkerframework/framework/qual/DefaultQualifiers.java org/checkerframework/framework/qual/EnsuresQualifier.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/UpperBoundFor.java org/checkerframework/framework/qual/InvisibleQualifier.java org/checkerframework/framework/qual/FromStubFile.java org/checkerframework/common/subtyping/SubtypingAnnotationClassLoader.java org/checkerframework/common/subtyping/SubtypingAnnotatedTypeFactory.java org/checkerframework/common/subtyping/qual/Unqualified.java org/checkerframework/common/subtyping/qual/Bottom.java org/checkerframework/common/subtyping/SubtypingChecker.java org/checkerframework/common/value/ValueTransfer.java org/checkerframework/common/value/util/FloatMath.java org/checkerframework/common/value/util/ShortMath.java org/checkerframework/common/value/util/NumberMath.java org/checkerframework/common/value/util/ByteMath.java org/checkerframework/common/value/util/NumberUtils.java org/checkerframework/common/value/util/Range.java org/checkerframework/common/value/util/IntegerMath.java org/checkerframework/common/value/util/LongMath.java org/checkerframework/common/value/util/DoubleMath.java org/checkerframework/common/value/ValueChecker.java org/checkerframework/common/value/ReflectiveEvaluator.java org/checkerframework/common/value/ValueAnnotatedTypeFactory.java org/checkerframework/common/value/ValueCheckerUtils.java org/checkerframework/common/value/ValueMethodIdentifier.java org/checkerframework/common/value/ValueVisitor.java org/checkerframework/common/value/RangeOrListOfValues.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/wholeprograminference/WholeProgramInferenceScenes.java org/checkerframework/common/wholeprograminference/AnnotationConverter.java org/checkerframework/common/wholeprograminference/WholeProgramInference.java org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesHelper.java org/checkerframework/common/util/debug/SignaturePrinter.java org/checkerframework/common/util/debug/TypeOutputtingChecker.java org/checkerframework/common/util/debug/TreePrinter.java org/checkerframework/common/util/debug/TreeDebug.java org/checkerframework/common/util/debug/EmptyProcessor.java org/checkerframework/common/util/count/AnnotationStatistics.java org/checkerframework/common/util/count/JavaCodeStatistics.java org/checkerframework/common/util/TypeVisualizer.java org/checkerframework/common/util/report/ReportChecker.java org/checkerframework/common/util/report/ReportVisitor.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/AliasingVisitor.java org/checkerframework/common/aliasing/AliasingChecker.java org/checkerframework/common/aliasing/AliasingTransfer.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/aliasing/AliasingAnnotatedTypeFactory.java org/checkerframework/common/reflection/MethodValAnnotatedTypeFactory.java org/checkerframework/common/reflection/MethodValVisitor.java org/checkerframework/common/reflection/ClassValAnnotatedTypeFactory.java org/checkerframework/common/reflection/DefaultReflectionResolver.java org/checkerframework/common/reflection/ClassValVisitor.java org/checkerframework/common/reflection/MethodValChecker.java org/checkerframework/common/reflection/ReflectionResolver.java org/checkerframework/common/reflection/ClassValChecker.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 #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	无