登录注册

Jar文件详情内容

checker-qual-2.1.0-sources.jar

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

组织ID:	org.checkerframework
项目ID:	checker-qual
版本:	2.1.0
最后修改时间:	2018-09-10 18:31:43
包类型:	java-source (源码)
大小:	1.51MB

Maven引入代码:	`<dependency> <groupId>org.checkerframework</groupId> <artifactId>checker-qual</artifactId> <version>2.1.0</version> <classifier>sources</classifier> <type>java-source</type> </dependency>`
Gradle引入代码:	`org.checkerframework:checker-qual:2.1.0`
下载Jar包:	checker-qual-2.1.0-sources.jar
Jar包内容:	展开复制 META-INF/MANIFEST.MF checker/examples/GradleExamples/GradleJava7Example/src/main/java/org/checkerframework/example/GradleExample.java checker/examples/GradleExamples/GradleJava8Example/src/main/java/org/checkerframework/example/GradleExample.java checker/examples/MavenExample/src/main/java/org/checkerframework/example/MavenExample.java checker/src/README checker/src/android/annotation/NonNull.java checker/src/android/annotation/Nullable.java checker/src/android/support/annotation/NonNull.java checker/src/android/support/annotation/Nullable.java checker/src/com/sun/istack/internal/Interned.java checker/src/com/sun/istack/internal/NotNull.java checker/src/com/sun/istack/internal/Nullable.java checker/src/edu/umd/cs/findbugs/annotations/CheckForNull.java checker/src/edu/umd/cs/findbugs/annotations/NonNull.java checker/src/edu/umd/cs/findbugs/annotations/Nullable.java checker/src/edu/umd/cs/findbugs/annotations/UnknownNullness.java checker/src/javax/annotation/CheckForNull.java checker/src/javax/annotation/Nonnull.java checker/src/javax/annotation/Nullable.java checker/src/javax/annotation/concurrent/GuardedBy.java checker/src/javax/annotation/meta/When.java checker/src/javax/validation/constraints/NotNull.java checker/src/lombok/NonNull.java checker/src/net/jcip/annotations/GuardedBy.java checker/src/org/checkerframework/checker/compilermsgs/CompilerMessagesAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/compilermsgs/CompilerMessagesChecker.java checker/src/org/checkerframework/checker/compilermsgs/messages.properties checker/src/org/checkerframework/checker/compilermsgs/qual/CompilerMessageKey.java checker/src/org/checkerframework/checker/experimental/regex_qual/Regex.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexAnnotationConverter.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexCheckerAdapter.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexQualChecker.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexQualifiedTransfer.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexQualifiedTypeFactory.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexQualifierHierarchy.java checker/src/org/checkerframework/checker/experimental/regex_qual/RegexTypecheckVisitor.java checker/src/org/checkerframework/checker/experimental/regex_qual/apache-xerces.astub checker/src/org/checkerframework/checker/experimental/regex_qual/jdk.astub checker/src/org/checkerframework/checker/experimental/regex_qual/messages.properties checker/src/org/checkerframework/checker/experimental/tainting_qual/Tainting.java checker/src/org/checkerframework/checker/experimental/tainting_qual/TaintingAnnotationConverter.java checker/src/org/checkerframework/checker/experimental/tainting_qual/TaintingChecker.java checker/src/org/checkerframework/checker/experimental/tainting_qual/TaintingCheckerAdapter.java checker/src/org/checkerframework/checker/experimental/tainting_qual/TaintingQualifiedTypeFactory.java checker/src/org/checkerframework/checker/experimental/tainting_qual/TaintingQualifierHierarchy.java checker/src/org/checkerframework/checker/experimental/tainting_qual/jdk.astub checker/src/org/checkerframework/checker/experimental/tainting_qual/qual/PolyTainted.java checker/src/org/checkerframework/checker/experimental/tainting_qual/qual/Tainted.java checker/src/org/checkerframework/checker/experimental/tainting_qual/qual/Untainted.java checker/src/org/checkerframework/checker/fenum/FenumAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/fenum/FenumChecker.java checker/src/org/checkerframework/checker/fenum/FenumVisitor.java checker/src/org/checkerframework/checker/fenum/jdk.astub checker/src/org/checkerframework/checker/fenum/jdnc.astub checker/src/org/checkerframework/checker/fenum/messages.properties checker/src/org/checkerframework/checker/fenum/qual/AwtAlphaCompositingRule.java checker/src/org/checkerframework/checker/fenum/qual/AwtColorSpace.java checker/src/org/checkerframework/checker/fenum/qual/AwtCursorType.java checker/src/org/checkerframework/checker/fenum/qual/AwtFlowLayout.java checker/src/org/checkerframework/checker/fenum/qual/Fenum.java checker/src/org/checkerframework/checker/fenum/qual/FenumBottom.java checker/src/org/checkerframework/checker/fenum/qual/FenumTop.java checker/src/org/checkerframework/checker/fenum/qual/FenumUnqualified.java checker/src/org/checkerframework/checker/fenum/qual/SwingBoxOrientation.java checker/src/org/checkerframework/checker/fenum/qual/SwingCompassDirection.java checker/src/org/checkerframework/checker/fenum/qual/SwingElementOrientation.java checker/src/org/checkerframework/checker/fenum/qual/SwingHorizontalOrientation.java checker/src/org/checkerframework/checker/fenum/qual/SwingSplitPaneOrientation.java checker/src/org/checkerframework/checker/fenum/qual/SwingTextOrientation.java checker/src/org/checkerframework/checker/fenum/qual/SwingTitleJustification.java checker/src/org/checkerframework/checker/fenum/qual/SwingTitlePosition.java checker/src/org/checkerframework/checker/fenum/qual/SwingVerticalOrientation.java checker/src/org/checkerframework/checker/formatter/FormatUtil.java checker/src/org/checkerframework/checker/formatter/FormatterAnalysis.java checker/src/org/checkerframework/checker/formatter/FormatterAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/formatter/FormatterChecker.java checker/src/org/checkerframework/checker/formatter/FormatterTransfer.java checker/src/org/checkerframework/checker/formatter/FormatterTreeUtil.java checker/src/org/checkerframework/checker/formatter/FormatterVisitor.java checker/src/org/checkerframework/checker/formatter/jdk.astub checker/src/org/checkerframework/checker/formatter/messages.properties checker/src/org/checkerframework/checker/formatter/qual/ConversionCategory.java checker/src/org/checkerframework/checker/formatter/qual/Format.java checker/src/org/checkerframework/checker/formatter/qual/FormatBottom.java checker/src/org/checkerframework/checker/formatter/qual/FormatMethod.java checker/src/org/checkerframework/checker/formatter/qual/InvalidFormat.java checker/src/org/checkerframework/checker/formatter/qual/ReturnsFormat.java checker/src/org/checkerframework/checker/formatter/qual/UnknownFormat.java checker/src/org/checkerframework/checker/guieffect/Effect.java checker/src/org/checkerframework/checker/guieffect/GuiEffectChecker.java checker/src/org/checkerframework/checker/guieffect/GuiEffectTypeFactory.java checker/src/org/checkerframework/checker/guieffect/GuiEffectVisitor.java checker/src/org/checkerframework/checker/guieffect/jdk.astub checker/src/org/checkerframework/checker/guieffect/messages.properties checker/src/org/checkerframework/checker/guieffect/org-eclipse.astub checker/src/org/checkerframework/checker/guieffect/org-osgi.astub checker/src/org/checkerframework/checker/guieffect/org-swtchart.astub checker/src/org/checkerframework/checker/guieffect/qual/AlwaysSafe.java checker/src/org/checkerframework/checker/guieffect/qual/PolyUI.java checker/src/org/checkerframework/checker/guieffect/qual/PolyUIEffect.java checker/src/org/checkerframework/checker/guieffect/qual/PolyUIType.java checker/src/org/checkerframework/checker/guieffect/qual/SafeEffect.java checker/src/org/checkerframework/checker/guieffect/qual/SafeType.java checker/src/org/checkerframework/checker/guieffect/qual/UI.java checker/src/org/checkerframework/checker/guieffect/qual/UIEffect.java checker/src/org/checkerframework/checker/guieffect/qual/UIPackage.java checker/src/org/checkerframework/checker/guieffect/qual/UIType.java checker/src/org/checkerframework/checker/i18n/I18nAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/i18n/I18nChecker.java checker/src/org/checkerframework/checker/i18n/I18nSubchecker.java checker/src/org/checkerframework/checker/i18n/LocalizableKeyAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/i18n/LocalizableKeyChecker.java checker/src/org/checkerframework/checker/i18n/jdk.astub checker/src/org/checkerframework/checker/i18n/qual/LocalizableKey.java checker/src/org/checkerframework/checker/i18n/qual/Localized.java checker/src/org/checkerframework/checker/i18n/qual/UnknownLocalized.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatUtil.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterAnalysis.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterChecker.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterTransfer.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterTreeUtil.java checker/src/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java checker/src/org/checkerframework/checker/i18nformatter/jdk.astub checker/src/org/checkerframework/checker/i18nformatter/messages.properties checker/src/org/checkerframework/checker/i18nformatter/qual/I18nChecksFormat.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nConversionCategory.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nFormat.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nFormatBottom.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nFormatFor.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nInvalidFormat.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nMakeFormat.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nUnknownFormat.java checker/src/org/checkerframework/checker/i18nformatter/qual/I18nValidFormat.java checker/src/org/checkerframework/checker/i18nformatter/unittests/I18nConversionCategoryTest.java checker/src/org/checkerframework/checker/i18nformatter/unittests/I18nHasFormatTest.java checker/src/org/checkerframework/checker/initialization/InitializationAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/initialization/InitializationChecker.java checker/src/org/checkerframework/checker/initialization/InitializationStore.java checker/src/org/checkerframework/checker/initialization/InitializationTransfer.java checker/src/org/checkerframework/checker/initialization/InitializationVisitor.java checker/src/org/checkerframework/checker/initialization/messages.properties checker/src/org/checkerframework/checker/initialization/qual/FBCBottom.java checker/src/org/checkerframework/checker/initialization/qual/Initialized.java checker/src/org/checkerframework/checker/initialization/qual/NotOnlyInitialized.java checker/src/org/checkerframework/checker/initialization/qual/UnderInitialization.java checker/src/org/checkerframework/checker/initialization/qual/UnknownInitialization.java checker/src/org/checkerframework/checker/interning/InterningAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/interning/InterningChecker.java checker/src/org/checkerframework/checker/interning/InterningVisitor.java checker/src/org/checkerframework/checker/interning/apache-bcel.astub checker/src/org/checkerframework/checker/interning/com-sun.astub checker/src/org/checkerframework/checker/interning/jdk.astub checker/src/org/checkerframework/checker/interning/messages.properties checker/src/org/checkerframework/checker/interning/org-jcp.astub checker/src/org/checkerframework/checker/interning/org-xml.astub checker/src/org/checkerframework/checker/interning/package-info.java checker/src/org/checkerframework/checker/interning/qual/Interned.java checker/src/org/checkerframework/checker/interning/qual/PolyInterned.java checker/src/org/checkerframework/checker/interning/qual/UnknownInterned.java checker/src/org/checkerframework/checker/interning/qual/UsesObjectEquals.java checker/src/org/checkerframework/checker/interning/sun.astub checker/src/org/checkerframework/checker/linear/LinearAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/linear/LinearChecker.java checker/src/org/checkerframework/checker/linear/LinearVisitor.java checker/src/org/checkerframework/checker/linear/messages.properties checker/src/org/checkerframework/checker/linear/qual/Linear.java checker/src/org/checkerframework/checker/linear/qual/Normal.java checker/src/org/checkerframework/checker/linear/qual/Unusable.java checker/src/org/checkerframework/checker/lock/LockAnalysis.java checker/src/org/checkerframework/checker/lock/LockAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/lock/LockChecker.java checker/src/org/checkerframework/checker/lock/LockStore.java checker/src/org/checkerframework/checker/lock/LockTransfer.java checker/src/org/checkerframework/checker/lock/LockTreeAnnotator.java checker/src/org/checkerframework/checker/lock/LockVisitor.java checker/src/org/checkerframework/checker/lock/messages.properties checker/src/org/checkerframework/checker/lock/qual/EnsuresLockHeld.java checker/src/org/checkerframework/checker/lock/qual/EnsuresLockHeldIf.java checker/src/org/checkerframework/checker/lock/qual/GuardSatisfied.java checker/src/org/checkerframework/checker/lock/qual/GuardedBy.java checker/src/org/checkerframework/checker/lock/qual/GuardedByBottom.java checker/src/org/checkerframework/checker/lock/qual/GuardedByUnknown.java checker/src/org/checkerframework/checker/lock/qual/Holding.java checker/src/org/checkerframework/checker/lock/qual/LockHeld.java checker/src/org/checkerframework/checker/lock/qual/LockPossiblyHeld.java checker/src/org/checkerframework/checker/lock/qual/LockingFree.java checker/src/org/checkerframework/checker/lock/qual/MayReleaseLocks.java checker/src/org/checkerframework/checker/lock/qual/PolyGuardedBy.java checker/src/org/checkerframework/checker/lock/qual/ReleasesNoLocks.java checker/src/org/checkerframework/checker/nullness/AbstractNullnessChecker.java checker/src/org/checkerframework/checker/nullness/CollectionToArrayHeuristics.java checker/src/org/checkerframework/checker/nullness/KeyForAnalysis.java checker/src/org/checkerframework/checker/nullness/KeyForAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/nullness/KeyForPropagationTreeAnnotator.java checker/src/org/checkerframework/checker/nullness/KeyForPropagator.java checker/src/org/checkerframework/checker/nullness/KeyForSubchecker.java checker/src/org/checkerframework/checker/nullness/KeyForTransfer.java checker/src/org/checkerframework/checker/nullness/KeyForVisitor.java checker/src/org/checkerframework/checker/nullness/NullnessAnalysis.java checker/src/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFormatter.java checker/src/org/checkerframework/checker/nullness/NullnessChecker.java checker/src/org/checkerframework/checker/nullness/NullnessRawnessChecker.java checker/src/org/checkerframework/checker/nullness/NullnessStore.java checker/src/org/checkerframework/checker/nullness/NullnessTransfer.java checker/src/org/checkerframework/checker/nullness/NullnessUtils.java checker/src/org/checkerframework/checker/nullness/NullnessValue.java checker/src/org/checkerframework/checker/nullness/NullnessVisitor.java checker/src/org/checkerframework/checker/nullness/SystemGetPropertyHandler.java checker/src/org/checkerframework/checker/nullness/astubs/apache-bcel.astub checker/src/org/checkerframework/checker/nullness/compatqual/KeyForDecl.java checker/src/org/checkerframework/checker/nullness/compatqual/KeyForType.java checker/src/org/checkerframework/checker/nullness/compatqual/MonotonicNonNullDecl.java checker/src/org/checkerframework/checker/nullness/compatqual/MonotonicNonNullType.java checker/src/org/checkerframework/checker/nullness/compatqual/NonNullDecl.java checker/src/org/checkerframework/checker/nullness/compatqual/NonNullType.java checker/src/org/checkerframework/checker/nullness/compatqual/NullableDecl.java checker/src/org/checkerframework/checker/nullness/compatqual/NullableType.java checker/src/org/checkerframework/checker/nullness/compatqual/PolyNullDecl.java checker/src/org/checkerframework/checker/nullness/compatqual/PolyNullType.java checker/src/org/checkerframework/checker/nullness/messages.properties checker/src/org/checkerframework/checker/nullness/qual/AssertNonNullIfNonNull.java checker/src/org/checkerframework/checker/nullness/qual/Covariant.java checker/src/org/checkerframework/checker/nullness/qual/EnsuresNonNull.java checker/src/org/checkerframework/checker/nullness/qual/EnsuresNonNullIf.java checker/src/org/checkerframework/checker/nullness/qual/KeyFor.java checker/src/org/checkerframework/checker/nullness/qual/KeyForBottom.java checker/src/org/checkerframework/checker/nullness/qual/LazyNonNull.java checker/src/org/checkerframework/checker/nullness/qual/MonotonicNonNull.java checker/src/org/checkerframework/checker/nullness/qual/NonNull.java checker/src/org/checkerframework/checker/nullness/qual/NonRaw.java checker/src/org/checkerframework/checker/nullness/qual/Nullable.java checker/src/org/checkerframework/checker/nullness/qual/PolyKeyFor.java checker/src/org/checkerframework/checker/nullness/qual/PolyNull.java checker/src/org/checkerframework/checker/nullness/qual/PolyRaw.java checker/src/org/checkerframework/checker/nullness/qual/Raw.java checker/src/org/checkerframework/checker/nullness/qual/RequiresNonNull.java checker/src/org/checkerframework/checker/nullness/qual/UnknownKeyFor.java checker/src/org/checkerframework/checker/propkey/PropertyKeyAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/propkey/PropertyKeyChecker.java checker/src/org/checkerframework/checker/propkey/jdk.astub checker/src/org/checkerframework/checker/propkey/qual/PropertyKey.java checker/src/org/checkerframework/checker/propkey/qual/PropertyKeyBottom.java checker/src/org/checkerframework/checker/propkey/qual/UnknownPropertyKey.java checker/src/org/checkerframework/checker/regex/RegexAnnotationConverter.java checker/src/org/checkerframework/checker/regex/RegexChecker.java checker/src/org/checkerframework/checker/regex/RegexQualPolyChecker.java checker/src/org/checkerframework/checker/regex/RegexQualifiedTransfer.java checker/src/org/checkerframework/checker/regex/RegexQualifiedTypeFactory.java checker/src/org/checkerframework/checker/regex/RegexTypecheckVisitor.java checker/src/org/checkerframework/checker/regex/RegexUtil.java checker/src/org/checkerframework/checker/regex/apache-xerces.astub checker/src/org/checkerframework/checker/regex/classic/RegexAnalysis.java checker/src/org/checkerframework/checker/regex/classic/RegexClassicAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/regex/classic/RegexClassicChecker.java checker/src/org/checkerframework/checker/regex/classic/RegexClassicVisitor.java checker/src/org/checkerframework/checker/regex/classic/RegexTransfer.java checker/src/org/checkerframework/checker/regex/classic/apache-xerces.astub checker/src/org/checkerframework/checker/regex/classic/jdk.astub checker/src/org/checkerframework/checker/regex/classic/messages.properties checker/src/org/checkerframework/checker/regex/classic/qual/PartialRegex.java checker/src/org/checkerframework/checker/regex/classic/qual/PolyRegex.java checker/src/org/checkerframework/checker/regex/classic/qual/RegexBottom.java checker/src/org/checkerframework/checker/regex/classic/qual/UnknownRegex.java checker/src/org/checkerframework/checker/regex/jdk.astub checker/src/org/checkerframework/checker/regex/messages.properties checker/src/org/checkerframework/checker/regex/qual/ClassRegexParam.java checker/src/org/checkerframework/checker/regex/qual/MethodRegexParam.java checker/src/org/checkerframework/checker/regex/qual/MultiClassRegexParam.java checker/src/org/checkerframework/checker/regex/qual/MultiMethodRegexParam.java checker/src/org/checkerframework/checker/regex/qual/MultiPolyRegex.java checker/src/org/checkerframework/checker/regex/qual/MultiRegex.java checker/src/org/checkerframework/checker/regex/qual/MultiVar.java checker/src/org/checkerframework/checker/regex/qual/MultiWild.java checker/src/org/checkerframework/checker/regex/qual/PolyRegex.java checker/src/org/checkerframework/checker/regex/qual/Regex.java checker/src/org/checkerframework/checker/regex/qual/Var.java checker/src/org/checkerframework/checker/regex/qual/Wild.java checker/src/org/checkerframework/checker/signature/SignatureAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/signature/SignatureChecker.java checker/src/org/checkerframework/checker/signature/apache-bcel.astub checker/src/org/checkerframework/checker/signature/jdk.astub checker/src/org/checkerframework/checker/signature/qual/BinaryName.java checker/src/org/checkerframework/checker/signature/qual/BinaryNameForNonArray.java checker/src/org/checkerframework/checker/signature/qual/BinaryNameForNonArrayInUnnamedPackage.java checker/src/org/checkerframework/checker/signature/qual/BinaryNameInUnnamedPackage.java checker/src/org/checkerframework/checker/signature/qual/ClassGetName.java checker/src/org/checkerframework/checker/signature/qual/ClassGetSimpleName.java checker/src/org/checkerframework/checker/signature/qual/FieldDescriptor.java checker/src/org/checkerframework/checker/signature/qual/FieldDescriptorForArray.java checker/src/org/checkerframework/checker/signature/qual/FullyQualifiedName.java checker/src/org/checkerframework/checker/signature/qual/Identifier.java checker/src/org/checkerframework/checker/signature/qual/IdentifierOrArray.java checker/src/org/checkerframework/checker/signature/qual/InternalForm.java checker/src/org/checkerframework/checker/signature/qual/MethodDescriptor.java checker/src/org/checkerframework/checker/signature/qual/PolySignature.java checker/src/org/checkerframework/checker/signature/qual/SignatureBottom.java checker/src/org/checkerframework/checker/signature/qual/SignatureUnknown.java checker/src/org/checkerframework/checker/signature/qual/SourceNameForNonArrayNonInner.java checker/src/org/checkerframework/checker/signature/qual/SourceNameForNonInner.java checker/src/org/checkerframework/checker/signedness/SignednessAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/signedness/SignednessChecker.java checker/src/org/checkerframework/checker/signedness/SignednessUtil.java checker/src/org/checkerframework/checker/signedness/SignednessVisitor.java checker/src/org/checkerframework/checker/signedness/jdk.astub checker/src/org/checkerframework/checker/signedness/messages.properties checker/src/org/checkerframework/checker/signedness/qual/Constant.java checker/src/org/checkerframework/checker/signedness/qual/Signed.java checker/src/org/checkerframework/checker/signedness/qual/SignednessBottom.java checker/src/org/checkerframework/checker/signedness/qual/UnknownSignedness.java checker/src/org/checkerframework/checker/signedness/qual/Unsigned.java checker/src/org/checkerframework/checker/tainting/Tainting.java checker/src/org/checkerframework/checker/tainting/TaintingAnnotationConverter.java checker/src/org/checkerframework/checker/tainting/TaintingChecker.java checker/src/org/checkerframework/checker/tainting/TaintingQualChecker.java checker/src/org/checkerframework/checker/tainting/TaintingQualifiedTypeFactory.java checker/src/org/checkerframework/checker/tainting/TaintingQualifierHierarchy.java checker/src/org/checkerframework/checker/tainting/classic/TaintingClassicAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/tainting/classic/TaintingClassicChecker.java checker/src/org/checkerframework/checker/tainting/classic/jdk.astub checker/src/org/checkerframework/checker/tainting/classic/qual/PolyTainted.java checker/src/org/checkerframework/checker/tainting/classic/qual/Tainted.java checker/src/org/checkerframework/checker/tainting/classic/qual/Untainted.java checker/src/org/checkerframework/checker/tainting/jdk.astub checker/src/org/checkerframework/checker/tainting/qual/ClassTaintingParam.java checker/src/org/checkerframework/checker/tainting/qual/MethodTaintingParam.java checker/src/org/checkerframework/checker/tainting/qual/MultiClassTaintingParam.java checker/src/org/checkerframework/checker/tainting/qual/MultiMethodTaintingParam.java checker/src/org/checkerframework/checker/tainting/qual/MultiPolyTainted.java checker/src/org/checkerframework/checker/tainting/qual/MultiTainted.java checker/src/org/checkerframework/checker/tainting/qual/MultiUntainted.java checker/src/org/checkerframework/checker/tainting/qual/MultiVar.java checker/src/org/checkerframework/checker/tainting/qual/MultiWild.java checker/src/org/checkerframework/checker/tainting/qual/PolyTainted.java checker/src/org/checkerframework/checker/tainting/qual/Tainted.java checker/src/org/checkerframework/checker/tainting/qual/Untainted.java checker/src/org/checkerframework/checker/tainting/qual/Var.java checker/src/org/checkerframework/checker/tainting/qual/Wild.java checker/src/org/checkerframework/checker/units/UnitsAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/units/UnitsAnnotatedTypeFormatter.java checker/src/org/checkerframework/checker/units/UnitsAnnotationClassLoader.java checker/src/org/checkerframework/checker/units/UnitsChecker.java checker/src/org/checkerframework/checker/units/UnitsRelations.java checker/src/org/checkerframework/checker/units/UnitsRelationsDefault.java checker/src/org/checkerframework/checker/units/UnitsRelationsTools.java checker/src/org/checkerframework/checker/units/UnitsTools.java checker/src/org/checkerframework/checker/units/UnitsVisitor.java checker/src/org/checkerframework/checker/units/qual/A.java checker/src/org/checkerframework/checker/units/qual/Acceleration.java checker/src/org/checkerframework/checker/units/qual/Angle.java checker/src/org/checkerframework/checker/units/qual/Area.java checker/src/org/checkerframework/checker/units/qual/C.java checker/src/org/checkerframework/checker/units/qual/Current.java checker/src/org/checkerframework/checker/units/qual/K.java checker/src/org/checkerframework/checker/units/qual/Length.java checker/src/org/checkerframework/checker/units/qual/Luminance.java checker/src/org/checkerframework/checker/units/qual/Mass.java checker/src/org/checkerframework/checker/units/qual/MixedUnits.java checker/src/org/checkerframework/checker/units/qual/PolyUnit.java checker/src/org/checkerframework/checker/units/qual/Prefix.java checker/src/org/checkerframework/checker/units/qual/README checker/src/org/checkerframework/checker/units/qual/Speed.java checker/src/org/checkerframework/checker/units/qual/Substance.java checker/src/org/checkerframework/checker/units/qual/Temperature.java checker/src/org/checkerframework/checker/units/qual/Time.java checker/src/org/checkerframework/checker/units/qual/UnitsBottom.java checker/src/org/checkerframework/checker/units/qual/UnitsMultiple.java checker/src/org/checkerframework/checker/units/qual/UnitsRelations.java checker/src/org/checkerframework/checker/units/qual/UnknownUnits.java checker/src/org/checkerframework/checker/units/qual/cd.java checker/src/org/checkerframework/checker/units/qual/degrees.java checker/src/org/checkerframework/checker/units/qual/g.java checker/src/org/checkerframework/checker/units/qual/h.java checker/src/org/checkerframework/checker/units/qual/kg.java checker/src/org/checkerframework/checker/units/qual/km.java checker/src/org/checkerframework/checker/units/qual/km2.java checker/src/org/checkerframework/checker/units/qual/kmPERh.java checker/src/org/checkerframework/checker/units/qual/m.java checker/src/org/checkerframework/checker/units/qual/m2.java checker/src/org/checkerframework/checker/units/qual/mPERs.java checker/src/org/checkerframework/checker/units/qual/mPERs2.java checker/src/org/checkerframework/checker/units/qual/min.java checker/src/org/checkerframework/checker/units/qual/mm.java checker/src/org/checkerframework/checker/units/qual/mm2.java checker/src/org/checkerframework/checker/units/qual/mol.java checker/src/org/checkerframework/checker/units/qual/radians.java checker/src/org/checkerframework/checker/units/qual/s.java checker/src/org/eclipse/jdt/annotation/NonNull.java checker/src/org/eclipse/jdt/annotation/Nullable.java checker/src/org/eclipse/jgit/annotations/NonNull.java checker/src/org/eclipse/jgit/annotations/Nullable.java checker/src/org/jetbrains/annotations/NotNull.java checker/src/org/jetbrains/annotations/Nullable.java checker/src/org/jmlspecs/annotation/NonNull.java checker/src/org/jmlspecs/annotation/Nullable.java checker/src/org/jmlspecs/annotation/README checker/src/org/netbeans/api/annotations/common/CheckForNull.java checker/src/org/netbeans/api/annotations/common/NonNull.java checker/src/org/netbeans/api/annotations/common/NullAllowed.java checker/src/org/netbeans/api/annotations/common/NullUnknown.java dataflow/src/org/checkerframework/dataflow/analysis/AbstractValue.java dataflow/src/org/checkerframework/dataflow/analysis/Analysis.java dataflow/src/org/checkerframework/dataflow/analysis/AnalysisResult.java dataflow/src/org/checkerframework/dataflow/analysis/ConditionalTransferResult.java dataflow/src/org/checkerframework/dataflow/analysis/FlowExpressions.java dataflow/src/org/checkerframework/dataflow/analysis/RegularTransferResult.java dataflow/src/org/checkerframework/dataflow/analysis/Store.java dataflow/src/org/checkerframework/dataflow/analysis/TransferFunction.java dataflow/src/org/checkerframework/dataflow/analysis/TransferInput.java dataflow/src/org/checkerframework/dataflow/analysis/TransferResult.java dataflow/src/org/checkerframework/dataflow/cfg/CFGBuilder.java dataflow/src/org/checkerframework/dataflow/cfg/CFGVisualizer.java dataflow/src/org/checkerframework/dataflow/cfg/ControlFlowGraph.java dataflow/src/org/checkerframework/dataflow/cfg/DOTCFGVisualizer.java dataflow/src/org/checkerframework/dataflow/cfg/JavaSource2CFGDOT.java dataflow/src/org/checkerframework/dataflow/cfg/UnderlyingAST.java dataflow/src/org/checkerframework/dataflow/cfg/block/Block.java dataflow/src/org/checkerframework/dataflow/cfg/block/BlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/block/ConditionalBlock.java dataflow/src/org/checkerframework/dataflow/cfg/block/ConditionalBlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/block/ExceptionBlock.java dataflow/src/org/checkerframework/dataflow/cfg/block/ExceptionBlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/block/RegularBlock.java dataflow/src/org/checkerframework/dataflow/cfg/block/RegularBlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlock.java dataflow/src/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/block/SpecialBlock.java dataflow/src/org/checkerframework/dataflow/cfg/block/SpecialBlockImpl.java dataflow/src/org/checkerframework/dataflow/cfg/node/AbstractNodeVisitor.java dataflow/src/org/checkerframework/dataflow/cfg/node/ArrayAccessNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ArrayCreationNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ArrayTypeNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/AssertionErrorNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/AssignmentContext.java dataflow/src/org/checkerframework/dataflow/cfg/node/AssignmentNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/BitwiseAndNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/BitwiseComplementNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/BitwiseOrNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/BitwiseXorNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/BooleanLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/CaseNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/CharacterLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ClassNameNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ConditionalAndNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ConditionalNotNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ConditionalOrNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/DoubleLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/EqualToNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ExplicitThisLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/FieldAccessNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/FloatLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/FloatingDivisionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/FloatingRemainderNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/FunctionalInterfaceNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/GreaterThanNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/GreaterThanOrEqualNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ImplicitThisLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/InstanceOfNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/IntegerDivisionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/IntegerLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/IntegerRemainderNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/LeftShiftNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/LessThanNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/LessThanOrEqualNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/LocalVariableNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/LongLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/MarkerNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/MethodAccessNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/MethodInvocationNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NarrowingConversionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/Node.java dataflow/src/org/checkerframework/dataflow/cfg/node/NodeVisitor.java dataflow/src/org/checkerframework/dataflow/cfg/node/NotEqualNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NullChkNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NullLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NumericalAdditionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NumericalMinusNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NumericalMultiplicationNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NumericalPlusNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/NumericalSubtractionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ObjectCreationNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/PackageNameNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ParameterizedTypeNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/PrimitiveTypeNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ReturnNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ShortLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/SignedRightShiftNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/StringConcatenateAssignmentNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/StringConcatenateNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/StringConversionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/StringLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/SuperNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/SynchronizedNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/TernaryExpressionNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ThisLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ThrowNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/TypeCastNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/UnsignedRightShiftNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/ValueLiteralNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/VariableDeclarationNode.java dataflow/src/org/checkerframework/dataflow/cfg/node/WideningConversionNode.java dataflow/src/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java dataflow/src/org/checkerframework/dataflow/constantpropagation/Constant.java dataflow/src/org/checkerframework/dataflow/constantpropagation/ConstantPropagationStore.java dataflow/src/org/checkerframework/dataflow/constantpropagation/ConstantPropagationTransfer.java dataflow/src/org/checkerframework/dataflow/qual/Deterministic.java dataflow/src/org/checkerframework/dataflow/qual/Pure.java dataflow/src/org/checkerframework/dataflow/qual/SideEffectFree.java dataflow/src/org/checkerframework/dataflow/qual/TerminatesExecution.java dataflow/src/org/checkerframework/dataflow/util/HashCodeUtils.java dataflow/src/org/checkerframework/dataflow/util/MostlySingleton.java dataflow/src/org/checkerframework/dataflow/util/NodeUtils.java dataflow/src/org/checkerframework/dataflow/util/PurityChecker.java dataflow/src/org/checkerframework/dataflow/util/PurityUtils.java framework/src/org/checkerframework/common/aliasing/AliasingAnnotatedTypeFactory.java framework/src/org/checkerframework/common/aliasing/AliasingChecker.java framework/src/org/checkerframework/common/aliasing/AliasingTransfer.java framework/src/org/checkerframework/common/aliasing/AliasingVisitor.java framework/src/org/checkerframework/common/aliasing/android.astub framework/src/org/checkerframework/common/aliasing/messages.properties framework/src/org/checkerframework/common/aliasing/qual/LeakedToResult.java framework/src/org/checkerframework/common/aliasing/qual/MaybeAliased.java framework/src/org/checkerframework/common/aliasing/qual/MaybeLeaked.java framework/src/org/checkerframework/common/aliasing/qual/NonLeaked.java framework/src/org/checkerframework/common/aliasing/qual/Unique.java framework/src/org/checkerframework/common/basetype/BaseAnnotatedTypeFactory.java framework/src/org/checkerframework/common/basetype/BaseTypeChecker.java framework/src/org/checkerframework/common/basetype/BaseTypeContext.java framework/src/org/checkerframework/common/basetype/BaseTypeValidator.java framework/src/org/checkerframework/common/basetype/BaseTypeVisitor.java framework/src/org/checkerframework/common/basetype/TypeValidator.java framework/src/org/checkerframework/common/basetype/flow.astub framework/src/org/checkerframework/common/basetype/messages.properties framework/src/org/checkerframework/common/basetype/package-info.java framework/src/org/checkerframework/common/reflection/ClassValAnnotatedTypeFactory.java framework/src/org/checkerframework/common/reflection/ClassValChecker.java framework/src/org/checkerframework/common/reflection/ClassValVisitor.java framework/src/org/checkerframework/common/reflection/DefaultReflectionResolver.java framework/src/org/checkerframework/common/reflection/MethodValAnnotatedTypeFactory.java framework/src/org/checkerframework/common/reflection/MethodValChecker.java framework/src/org/checkerframework/common/reflection/MethodValVisitor.java framework/src/org/checkerframework/common/reflection/ReflectionResolver.java framework/src/org/checkerframework/common/reflection/messages.properties framework/src/org/checkerframework/common/reflection/qual/ClassBound.java framework/src/org/checkerframework/common/reflection/qual/ClassVal.java framework/src/org/checkerframework/common/reflection/qual/ClassValBottom.java framework/src/org/checkerframework/common/reflection/qual/ForName.java framework/src/org/checkerframework/common/reflection/qual/GetClass.java framework/src/org/checkerframework/common/reflection/qual/GetConstructor.java framework/src/org/checkerframework/common/reflection/qual/GetMethod.java framework/src/org/checkerframework/common/reflection/qual/Invoke.java framework/src/org/checkerframework/common/reflection/qual/MethodVal.java framework/src/org/checkerframework/common/reflection/qual/MethodValBottom.java framework/src/org/checkerframework/common/reflection/qual/NewInstance.java framework/src/org/checkerframework/common/reflection/qual/UnknownClass.java framework/src/org/checkerframework/common/reflection/qual/UnknownMethod.java framework/src/org/checkerframework/common/reflection/reflection.astub framework/src/org/checkerframework/common/subtyping/SubtypingAnnotatedTypeFactory.java framework/src/org/checkerframework/common/subtyping/SubtypingChecker.java framework/src/org/checkerframework/common/util/TypeVisualizer.java framework/src/org/checkerframework/common/util/count/AnnotationsCounter.java framework/src/org/checkerframework/common/util/count/Locations.java framework/src/org/checkerframework/common/util/debug/EmptyProcessor.java framework/src/org/checkerframework/common/util/debug/SignaturePrinter.java framework/src/org/checkerframework/common/util/debug/TreeDebug.java framework/src/org/checkerframework/common/util/debug/TreePrinter.java framework/src/org/checkerframework/common/util/debug/TypeOutputtingChecker.java framework/src/org/checkerframework/common/util/report/README framework/src/org/checkerframework/common/util/report/ReportChecker.java framework/src/org/checkerframework/common/util/report/ReportVisitor.java framework/src/org/checkerframework/common/util/report/messages.properties framework/src/org/checkerframework/common/util/report/qual/ReportCall.java framework/src/org/checkerframework/common/util/report/qual/ReportCreation.java framework/src/org/checkerframework/common/util/report/qual/ReportInherit.java framework/src/org/checkerframework/common/util/report/qual/ReportOverride.java framework/src/org/checkerframework/common/util/report/qual/ReportReadWrite.java framework/src/org/checkerframework/common/util/report/qual/ReportUnqualified.java framework/src/org/checkerframework/common/util/report/qual/ReportUse.java framework/src/org/checkerframework/common/util/report/qual/ReportWrite.java framework/src/org/checkerframework/common/value/Operators.java framework/src/org/checkerframework/common/value/ReflectiveEvalutator.java framework/src/org/checkerframework/common/value/ValueAnnotatedTypeFactory.java framework/src/org/checkerframework/common/value/ValueChecker.java framework/src/org/checkerframework/common/value/ValueCheckerUtils.java framework/src/org/checkerframework/common/value/ValueTransfer.java framework/src/org/checkerframework/common/value/ValueVisitor.java framework/src/org/checkerframework/common/value/messages.properties framework/src/org/checkerframework/common/value/qual/ArrayLen.java framework/src/org/checkerframework/common/value/qual/BoolVal.java framework/src/org/checkerframework/common/value/qual/BottomVal.java framework/src/org/checkerframework/common/value/qual/DoubleVal.java framework/src/org/checkerframework/common/value/qual/IntVal.java framework/src/org/checkerframework/common/value/qual/StaticallyExecutable.java framework/src/org/checkerframework/common/value/qual/StringVal.java framework/src/org/checkerframework/common/value/qual/UnknownVal.java framework/src/org/checkerframework/common/value/statically-executable.astub framework/src/org/checkerframework/common/value/util/ByteMath.java framework/src/org/checkerframework/common/value/util/DoubleMath.java framework/src/org/checkerframework/common/value/util/FloatMath.java framework/src/org/checkerframework/common/value/util/IntegerMath.java framework/src/org/checkerframework/common/value/util/LongMath.java framework/src/org/checkerframework/common/value/util/NumberMath.java framework/src/org/checkerframework/common/value/util/NumberUtils.java framework/src/org/checkerframework/common/value/util/ShortMath.java framework/src/org/checkerframework/common/wholeprograminference/AnnotationConverter.java framework/src/org/checkerframework/common/wholeprograminference/WholeProgramInference.java framework/src/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenes.java framework/src/org/checkerframework/common/wholeprograminference/WholeProgramInferenceScenesHelper.java framework/src/org/checkerframework/framework/flow/CFAbstractAnalysis.java framework/src/org/checkerframework/framework/flow/CFAbstractStore.java framework/src/org/checkerframework/framework/flow/CFAbstractTransfer.java framework/src/org/checkerframework/framework/flow/CFAbstractValue.java framework/src/org/checkerframework/framework/flow/CFAnalysis.java framework/src/org/checkerframework/framework/flow/CFCFGBuilder.java framework/src/org/checkerframework/framework/flow/CFStore.java framework/src/org/checkerframework/framework/flow/CFTransfer.java framework/src/org/checkerframework/framework/flow/CFTreeBuilder.java framework/src/org/checkerframework/framework/flow/CFValue.java framework/src/org/checkerframework/framework/flow/package-info.java framework/src/org/checkerframework/framework/flow/util/LubTypeVariableAnnotator.java framework/src/org/checkerframework/framework/qual/AnnotatedFor.java framework/src/org/checkerframework/framework/qual/Bottom.java framework/src/org/checkerframework/framework/qual/ConditionalPostconditionAnnotation.java framework/src/org/checkerframework/framework/qual/DefaultFor.java framework/src/org/checkerframework/framework/qual/DefaultInUncheckedCodeFor.java framework/src/org/checkerframework/framework/qual/DefaultQualifier.java framework/src/org/checkerframework/framework/qual/DefaultQualifierInHierarchy.java framework/src/org/checkerframework/framework/qual/DefaultQualifierInHierarchyInUncheckedCode.java framework/src/org/checkerframework/framework/qual/DefaultQualifiers.java framework/src/org/checkerframework/framework/qual/Dependent.java framework/src/org/checkerframework/framework/qual/EnsuresQualifier.java framework/src/org/checkerframework/framework/qual/EnsuresQualifierIf.java framework/src/org/checkerframework/framework/qual/EnsuresQualifiers.java framework/src/org/checkerframework/framework/qual/EnsuresQualifiersIf.java framework/src/org/checkerframework/framework/qual/FieldIsExpression.java framework/src/org/checkerframework/framework/qual/FromByteCode.java framework/src/org/checkerframework/framework/qual/FromStubFile.java framework/src/org/checkerframework/framework/qual/IgnoreInWholeProgramInference.java framework/src/org/checkerframework/framework/qual/ImplicitFor.java framework/src/org/checkerframework/framework/qual/InheritedAnnotation.java framework/src/org/checkerframework/framework/qual/InvisibleQualifier.java framework/src/org/checkerframework/framework/qual/LiteralKind.java framework/src/org/checkerframework/framework/qual/MonotonicQualifier.java framework/src/org/checkerframework/framework/qual/PolyAll.java framework/src/org/checkerframework/framework/qual/PolymorphicQualifier.java framework/src/org/checkerframework/framework/qual/PostconditionAnnotation.java framework/src/org/checkerframework/framework/qual/PreconditionAnnotation.java framework/src/org/checkerframework/framework/qual/RequiresQualifier.java framework/src/org/checkerframework/framework/qual/RequiresQualifiers.java framework/src/org/checkerframework/framework/qual/StubFiles.java framework/src/org/checkerframework/framework/qual/SubtypeOf.java framework/src/org/checkerframework/framework/qual/TargetLocations.java framework/src/org/checkerframework/framework/qual/TypeUseLocation.java framework/src/org/checkerframework/framework/qual/Unqualified.java framework/src/org/checkerframework/framework/qual/Unused.java framework/src/org/checkerframework/framework/qual/package-info.java framework/src/org/checkerframework/framework/source/AggregateChecker.java framework/src/org/checkerframework/framework/source/Result.java framework/src/org/checkerframework/framework/source/SourceChecker.java framework/src/org/checkerframework/framework/source/SourceVisitor.java framework/src/org/checkerframework/framework/source/SupportedLintOptions.java framework/src/org/checkerframework/framework/source/SupportedOptions.java framework/src/org/checkerframework/framework/source/SuppressWarningsKeys.java framework/src/org/checkerframework/framework/source/messages.properties framework/src/org/checkerframework/framework/source/package-info.java framework/src/org/checkerframework/framework/stub/AddAnnotatedFor.java framework/src/org/checkerframework/framework/stub/FileStubResource.java framework/src/org/checkerframework/framework/stub/JarEntryStubResource.java framework/src/org/checkerframework/framework/stub/StubGenerator.java framework/src/org/checkerframework/framework/stub/StubParser.java framework/src/org/checkerframework/framework/stub/StubResource.java framework/src/org/checkerframework/framework/stub/StubUtil.java framework/src/org/checkerframework/framework/stub/ToIndexFileConverter.java framework/src/org/checkerframework/framework/test/CheckerFrameworkTest.java framework/src/org/checkerframework/framework/test/CompilationResult.java framework/src/org/checkerframework/framework/test/ImmutableTestConfiguration.java framework/src/org/checkerframework/framework/test/SimpleOptionMap.java framework/src/org/checkerframework/framework/test/TestConfiguration.java framework/src/org/checkerframework/framework/test/TestConfigurationBuilder.java framework/src/org/checkerframework/framework/test/TestSuite.java framework/src/org/checkerframework/framework/test/TestUtilities.java framework/src/org/checkerframework/framework/test/TypecheckExecutor.java framework/src/org/checkerframework/framework/test/TypecheckResult.java framework/src/org/checkerframework/framework/test/diagnostics/DiagnosticKind.java framework/src/org/checkerframework/framework/test/diagnostics/JavaDiagnosticReader.java framework/src/org/checkerframework/framework/test/diagnostics/TestDiagnostic.java framework/src/org/checkerframework/framework/test/diagnostics/TestDiagnosticLine.java framework/src/org/checkerframework/framework/test/diagnostics/TestDiagnosticUtils.java framework/src/org/checkerframework/framework/type/AnnotatedTypeCopier.java framework/src/org/checkerframework/framework/type/AnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/AnnotatedTypeFormatter.java framework/src/org/checkerframework/framework/type/AnnotatedTypeMirror.java framework/src/org/checkerframework/framework/type/AnnotatedTypeParameterBounds.java framework/src/org/checkerframework/framework/type/AnnotatedTypeReplacer.java framework/src/org/checkerframework/framework/type/AnnotationClassLoader.java framework/src/org/checkerframework/framework/type/AsSuperVisitor.java framework/src/org/checkerframework/framework/type/BoundsInitializer.java framework/src/org/checkerframework/framework/type/DeclarationsIntoElements.java framework/src/org/checkerframework/framework/type/DefaultAnnotatedTypeFormatter.java framework/src/org/checkerframework/framework/type/DefaultInferredTypesApplier.java framework/src/org/checkerframework/framework/type/DefaultRawnessComparer.java framework/src/org/checkerframework/framework/type/DefaultTypeHierarchy.java framework/src/org/checkerframework/framework/type/ElementAnnotationApplier.java framework/src/org/checkerframework/framework/type/EqualityAtmComparer.java framework/src/org/checkerframework/framework/type/GeneralAnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/HashcodeAtmVisitor.java framework/src/org/checkerframework/framework/type/QualifierHierarchy.java framework/src/org/checkerframework/framework/type/StructuralEqualityComparer.java framework/src/org/checkerframework/framework/type/SupertypeFinder.java framework/src/org/checkerframework/framework/type/SyntheticArrays.java framework/src/org/checkerframework/framework/type/TypeFromClassVisitor.java framework/src/org/checkerframework/framework/type/TypeFromExpressionVisitor.java framework/src/org/checkerframework/framework/type/TypeFromMemberVisitor.java framework/src/org/checkerframework/framework/type/TypeFromTree.java framework/src/org/checkerframework/framework/type/TypeFromTreeVisitor.java framework/src/org/checkerframework/framework/type/TypeFromTypeTreeVisitor.java framework/src/org/checkerframework/framework/type/TypeHierarchy.java framework/src/org/checkerframework/framework/type/TypeVariableSubstitutor.java framework/src/org/checkerframework/framework/type/TypesIntoElements.java framework/src/org/checkerframework/framework/type/VisitorState.java framework/src/org/checkerframework/framework/type/package-info.java framework/src/org/checkerframework/framework/type/treeannotator/DebugListTreeAnnotator.java framework/src/org/checkerframework/framework/type/treeannotator/ImplicitsTreeAnnotator.java framework/src/org/checkerframework/framework/type/treeannotator/ListTreeAnnotator.java framework/src/org/checkerframework/framework/type/treeannotator/PropagationTreeAnnotator.java framework/src/org/checkerframework/framework/type/treeannotator/TreeAnnotator.java framework/src/org/checkerframework/framework/type/typeannotator/ImplicitsTypeAnnotator.java framework/src/org/checkerframework/framework/type/typeannotator/ListTypeAnnotator.java framework/src/org/checkerframework/framework/type/typeannotator/PropagationTypeAnnotator.java framework/src/org/checkerframework/framework/type/typeannotator/TypeAnnotator.java framework/src/org/checkerframework/framework/type/visitor/AbstractAtmComboVisitor.java framework/src/org/checkerframework/framework/type/visitor/AnnotatedTypeComparer.java framework/src/org/checkerframework/framework/type/visitor/AnnotatedTypeMerger.java framework/src/org/checkerframework/framework/type/visitor/AnnotatedTypeScanner.java framework/src/org/checkerframework/framework/type/visitor/AnnotatedTypeVisitor.java framework/src/org/checkerframework/framework/type/visitor/AtmComboVisitor.java framework/src/org/checkerframework/framework/type/visitor/EquivalentAtmComboScanner.java framework/src/org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeScanner.java framework/src/org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeVisitor.java framework/src/org/checkerframework/framework/type/visitor/VisitHistory.java framework/src/org/checkerframework/framework/util/AnnotatedTypes.java framework/src/org/checkerframework/framework/util/AnnotationBuilder.java framework/src/org/checkerframework/framework/util/AnnotationFormatter.java framework/src/org/checkerframework/framework/util/AtmCombo.java framework/src/org/checkerframework/framework/util/BaseContext.java framework/src/org/checkerframework/framework/util/CFContext.java framework/src/org/checkerframework/framework/util/CheckerDevelMain.java framework/src/org/checkerframework/framework/util/CheckerMain.java framework/src/org/checkerframework/framework/util/ComboLog.java framework/src/org/checkerframework/framework/util/ContractsUtils.java framework/src/org/checkerframework/framework/util/DefaultAnnotationFormatter.java framework/src/org/checkerframework/framework/util/DependentTypes.java framework/src/org/checkerframework/framework/util/ExecUtil.java framework/src/org/checkerframework/framework/util/FlowExpressionParseUtil.java framework/src/org/checkerframework/framework/util/GraphQualifierHierarchy.java framework/src/org/checkerframework/framework/util/Heuristics.java framework/src/org/checkerframework/framework/util/MultiGraphQualifierHierarchy.java framework/src/org/checkerframework/framework/util/OptionConfiguration.java framework/src/org/checkerframework/framework/util/PluginUtil.java framework/src/org/checkerframework/framework/util/PurityAnnotatedTypeFactory.java framework/src/org/checkerframework/framework/util/PurityChecker.java framework/src/org/checkerframework/framework/util/PurityUnqualified.java framework/src/org/checkerframework/framework/util/QualifierPolymorphism.java framework/src/org/checkerframework/framework/util/TreePathCacher.java framework/src/org/checkerframework/framework/util/TypeArgumentMapper.java framework/src/org/checkerframework/framework/util/defaults/Default.java framework/src/org/checkerframework/framework/util/defaults/DefaultSet.java framework/src/org/checkerframework/framework/util/defaults/QualifierDefaults.java framework/src/org/checkerframework/framework/util/element/ClassTypeParamApplier.java framework/src/org/checkerframework/framework/util/element/ElementAnnotationUtil.java framework/src/org/checkerframework/framework/util/element/IndexedElementAnnotationApplier.java framework/src/org/checkerframework/framework/util/element/MethodApplier.java framework/src/org/checkerframework/framework/util/element/MethodTypeParamApplier.java framework/src/org/checkerframework/framework/util/element/ParamApplier.java framework/src/org/checkerframework/framework/util/element/SuperTypeApplier.java framework/src/org/checkerframework/framework/util/element/TargetedElementAnnotationApplier.java framework/src/org/checkerframework/framework/util/element/TypeDeclarationApplier.java framework/src/org/checkerframework/framework/util/element/TypeParamElementAnnotationApplier.java framework/src/org/checkerframework/framework/util/element/TypeVarUseApplier.java framework/src/org/checkerframework/framework/util/element/VariableApplier.java framework/src/org/checkerframework/framework/util/typeinference/DefaultTypeArgumentInference.java framework/src/org/checkerframework/framework/util/typeinference/GlbUtil.java framework/src/org/checkerframework/framework/util/typeinference/TypeArgInferenceUtil.java framework/src/org/checkerframework/framework/util/typeinference/TypeArgumentInference.java framework/src/org/checkerframework/framework/util/typeinference/constraint/A2F.java framework/src/org/checkerframework/framework/util/typeinference/constraint/A2FReducer.java framework/src/org/checkerframework/framework/util/typeinference/constraint/AFConstraint.java framework/src/org/checkerframework/framework/util/typeinference/constraint/AFReducer.java framework/src/org/checkerframework/framework/util/typeinference/constraint/AFReducingVisitor.java framework/src/org/checkerframework/framework/util/typeinference/constraint/F2A.java framework/src/org/checkerframework/framework/util/typeinference/constraint/F2AReducer.java framework/src/org/checkerframework/framework/util/typeinference/constraint/FIsA.java framework/src/org/checkerframework/framework/util/typeinference/constraint/FIsAReducer.java framework/src/org/checkerframework/framework/util/typeinference/constraint/TIsU.java framework/src/org/checkerframework/framework/util/typeinference/constraint/TSubU.java framework/src/org/checkerframework/framework/util/typeinference/constraint/TSuperU.java framework/src/org/checkerframework/framework/util/typeinference/constraint/TUConstraint.java framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMap.java framework/src/org/checkerframework/framework/util/typeinference/solver/ConstraintMapBuilder.java framework/src/org/checkerframework/framework/util/typeinference/solver/EqualitiesSolver.java framework/src/org/checkerframework/framework/util/typeinference/solver/InferenceResult.java framework/src/org/checkerframework/framework/util/typeinference/solver/InferredValue.java framework/src/org/checkerframework/framework/util/typeinference/solver/SubtypesSolver.java framework/src/org/checkerframework/framework/util/typeinference/solver/SupertypesSolver.java framework/src/org/checkerframework/framework/util/typeinference/solver/TargetConstraints.java framework/src/org/checkerframework/qualframework/base/AdapterQualifiedTypes.java framework/src/org/checkerframework/qualframework/base/AnnotationConverter.java framework/src/org/checkerframework/qualframework/base/Checker.java framework/src/org/checkerframework/qualframework/base/CheckerAdapter.java framework/src/org/checkerframework/qualframework/base/DefaultQualifiedTypeFactory.java framework/src/org/checkerframework/qualframework/base/DefaultTypeHierarchy.java framework/src/org/checkerframework/qualframework/base/QualifiedTypeFactory.java framework/src/org/checkerframework/qualframework/base/QualifiedTypeFactoryAdapter.java framework/src/org/checkerframework/qualframework/base/QualifiedTypeMirror.java framework/src/org/checkerframework/qualframework/base/QualifiedTypeParameterBounds.java framework/src/org/checkerframework/qualframework/base/QualifiedTypeVisitor.java #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	无