checker-2.1.6-sources.jar

<dependency>
	<groupId>org.checkerframework</groupId>
	<artifactId>checker</artifactId>
	<version>2.1.6</version>
	<classifier>sources</classifier>
	<type>java-source</type>
</dependency>

org.checkerframework:checker:2.1.6

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