登录注册

Jar文件详情内容

checker-1.8.0-sources.jar

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

组织ID:	org.checkerframework
项目ID:	checker
版本:	1.8.0
最后修改时间:	2019-10-12 09:35:33
包类型:	java-source (源码)
大小:	1.00MB

Maven引入代码:	`<dependency> <groupId>org.checkerframework</groupId> <artifactId>checker</artifactId> <version>1.8.0</version> <classifier>sources</classifier> <type>java-source</type> </dependency>`
Gradle引入代码:	`org.checkerframework:checker:1.8.0`
下载Jar包:	checker-1.8.0-sources.jar
Jar包内容:	展开复制 META-INF/MANIFEST.MF checker/src/README checker/src/com/sun/istack/Interned.java checker/src/com/sun/istack/NotNull.java checker/src/com/sun/istack/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/meta/When.java checker/src/javax/validation/constraints/NotNull.java checker/src/net/jcip/annotations/GuardedBy.java checker/src/net/jcip/annotations/Immutable.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/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/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/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/FormatterQualifierHierarchy.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/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/igj/IGJAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/igj/IGJBottom.java checker/src/org/checkerframework/checker/igj/IGJChecker.java checker/src/org/checkerframework/checker/igj/IGJVisitor.java checker/src/org/checkerframework/checker/igj/package-info.java checker/src/org/checkerframework/checker/igj/qual/Assignable.java checker/src/org/checkerframework/checker/igj/qual/AssignsFields.java checker/src/org/checkerframework/checker/igj/qual/I.java checker/src/org/checkerframework/checker/igj/qual/Immutable.java checker/src/org/checkerframework/checker/igj/qual/Mutable.java checker/src/org/checkerframework/checker/igj/qual/ReadOnly.java checker/src/org/checkerframework/checker/igj/qual/package-info.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/jdk.astub checker/src/org/checkerframework/checker/interning/messages.properties 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/javari/JavariAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/javari/JavariChecker.java checker/src/org/checkerframework/checker/javari/JavariVisitor.java checker/src/org/checkerframework/checker/javari/messages.properties checker/src/org/checkerframework/checker/javari/package-info.java checker/src/org/checkerframework/checker/javari/qual/Assignable.java checker/src/org/checkerframework/checker/javari/qual/Mutable.java checker/src/org/checkerframework/checker/javari/qual/PolyRead.java checker/src/org/checkerframework/checker/javari/qual/QReadOnly.java checker/src/org/checkerframework/checker/javari/qual/ReadOnly.java checker/src/org/checkerframework/checker/javari/qual/ThisMutable.java 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/LockAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/lock/LockChecker.java checker/src/org/checkerframework/checker/lock/LockVisitor.java checker/src/org/checkerframework/checker/lock/messages.properties 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/GuardedByTop.java checker/src/org/checkerframework/checker/lock/qual/Holding.java checker/src/org/checkerframework/checker/nullness/AbstractNullnessChecker.java checker/src/org/checkerframework/checker/nullness/AbstractNullnessFbcChecker.java checker/src/org/checkerframework/checker/nullness/AbstractNullnessRawnessChecker.java checker/src/org/checkerframework/checker/nullness/CollectionToArrayHeuristics.java checker/src/org/checkerframework/checker/nullness/KeyForAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/nullness/KeyForSubchecker.java checker/src/org/checkerframework/checker/nullness/KeyForVisitor.java checker/src/org/checkerframework/checker/nullness/MapGetHeuristics.java checker/src/org/checkerframework/checker/nullness/NullnessAnalysis.java checker/src/org/checkerframework/checker/nullness/NullnessAnnotatedTypeFactory.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/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/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/oigj/ImmutabilityAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/oigj/ImmutabilitySubchecker.java checker/src/org/checkerframework/checker/oigj/ImmutabilityVisitor.java checker/src/org/checkerframework/checker/oigj/OIGJChecker.java checker/src/org/checkerframework/checker/oigj/OIGJMutabilityBottom.java checker/src/org/checkerframework/checker/oigj/OwnershipAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/oigj/OwnershipSubchecker.java checker/src/org/checkerframework/checker/oigj/OwnershipVisitor.java checker/src/org/checkerframework/checker/oigj/package-info.java checker/src/org/checkerframework/checker/oigj/qual/Assignable.java checker/src/org/checkerframework/checker/oigj/qual/AssignsFields.java checker/src/org/checkerframework/checker/oigj/qual/Dominator.java checker/src/org/checkerframework/checker/oigj/qual/I.java checker/src/org/checkerframework/checker/oigj/qual/Immutable.java checker/src/org/checkerframework/checker/oigj/qual/Modifier.java checker/src/org/checkerframework/checker/oigj/qual/Mutable.java checker/src/org/checkerframework/checker/oigj/qual/O.java checker/src/org/checkerframework/checker/oigj/qual/ReadOnly.java checker/src/org/checkerframework/checker/oigj/qual/WildCard.java checker/src/org/checkerframework/checker/oigj/qual/World.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/RegexAnalysis.java checker/src/org/checkerframework/checker/regex/RegexAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/regex/RegexChecker.java checker/src/org/checkerframework/checker/regex/RegexTransfer.java checker/src/org/checkerframework/checker/regex/RegexUtil.java checker/src/org/checkerframework/checker/regex/RegexVisitor.java checker/src/org/checkerframework/checker/regex/jdk.astub checker/src/org/checkerframework/checker/regex/messages.properties checker/src/org/checkerframework/checker/regex/qual/PartialRegex.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/RegexBottom.java checker/src/org/checkerframework/checker/regex/qual/UnknownRegex.java checker/src/org/checkerframework/checker/signature/SignatureAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/signature/SignatureChecker.java 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/ClassGetName.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/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/SourceName.java checker/src/org/checkerframework/checker/signature/qual/SourceNameForNonArray.java checker/src/org/checkerframework/checker/signature/qual/UnannotatedString.java checker/src/org/checkerframework/checker/tainting/TaintingAnnotatedTypeFactory.java checker/src/org/checkerframework/checker/tainting/TaintingChecker.java checker/src/org/checkerframework/checker/tainting/jdk.astub 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/units/UnitsAnnotatedTypeFactory.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/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/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/jetbrains/annotations/NotNull.java checker/src/org/jetbrains/annotations/Nullable.java checker/src/org/jmlspecs/annotation/Immutable.java checker/src/org/jmlspecs/annotation/NonNull.java checker/src/org/jmlspecs/annotation/Nullable.java checker/src/org/jmlspecs/annotation/README checker/src/org/jmlspecs/annotation/Readonly.java 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/CFGDOTVisualizer.java dataflow/src/org/checkerframework/dataflow/cfg/ControlFlowGraph.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/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/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/NodeUtils.java dataflow/src/org/checkerframework/dataflow/util/PurityChecker.java dataflow/src/org/checkerframework/dataflow/util/PurityUtils.java framework/src/org/checkerframework/common/basetype/BaseAnnotatedTypeFactory.java framework/src/org/checkerframework/common/basetype/BaseTypeChecker.java framework/src/org/checkerframework/common/basetype/BaseTypeValidator.java framework/src/org/checkerframework/common/basetype/BaseTypeVisitor.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/DefaultReflectionResolver.java framework/src/org/checkerframework/common/reflection/MethodValAnnotatedTypeFactory.java framework/src/org/checkerframework/common/reflection/ReflectionResolutionAnnotatedTypeFactory.java framework/src/org/checkerframework/common/reflection/ReflectionResolver.java 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/MethodVal.java framework/src/org/checkerframework/common/reflection/qual/MethodValBottom.java framework/src/org/checkerframework/common/reflection/qual/UnknownClass.java framework/src/org/checkerframework/common/reflection/qual/UnknownMethod.java framework/src/org/checkerframework/common/subtyping/SubtypingAnnotatedTypeFactory.java framework/src/org/checkerframework/common/subtyping/SubtypingChecker.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/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/ValueAnnotatedTypeFactory.java framework/src/org/checkerframework/common/value/ValueChecker.java framework/src/org/checkerframework/common/value/ValueVisitor.java framework/src/org/checkerframework/common/value/jdk.astub framework/src/org/checkerframework/common/value/messages.properties framework/src/org/checkerframework/common/value/qual/Analyzable.java 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/ByteVal.java framework/src/org/checkerframework/common/value/qual/CharVal.java framework/src/org/checkerframework/common/value/qual/DoubleVal.java framework/src/org/checkerframework/common/value/qual/FloatVal.java framework/src/org/checkerframework/common/value/qual/IntVal.java framework/src/org/checkerframework/common/value/qual/LongVal.java framework/src/org/checkerframework/common/value/qual/ShortVal.java framework/src/org/checkerframework/common/value/qual/StringVal.java framework/src/org/checkerframework/common/value/qual/UnknownVal.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/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/DefaultLocation.java framework/src/org/checkerframework/framework/qual/DefaultQualifier.java framework/src/org/checkerframework/framework/qual/DefaultQualifierInHierarchy.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/FromByteCode.java framework/src/org/checkerframework/framework/qual/FromStubFile.java framework/src/org/checkerframework/framework/qual/ImplicitFor.java framework/src/org/checkerframework/framework/qual/InvisibleQualifier.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/TypeQualifier.java framework/src/org/checkerframework/framework/qual/TypeQualifiers.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/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/test/CheckerParameterized.java framework/src/org/checkerframework/framework/test/CheckerTest.java framework/src/org/checkerframework/framework/test/ParameterizedCheckerTest.java framework/src/org/checkerframework/framework/test/TestInput.java framework/src/org/checkerframework/framework/test/TestRun.java framework/src/org/checkerframework/framework/test/TestUtilities.java framework/src/org/checkerframework/framework/type/AnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/AnnotatedTypeMirror.java framework/src/org/checkerframework/framework/type/GeneralAnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java framework/src/org/checkerframework/framework/type/QualifierHierarchy.java framework/src/org/checkerframework/framework/type/TreeAnnotator.java framework/src/org/checkerframework/framework/type/TypeAnnotator.java framework/src/org/checkerframework/framework/type/TypeFromElement.java framework/src/org/checkerframework/framework/type/TypeFromTree.java framework/src/org/checkerframework/framework/type/TypeHierarchy.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/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/SimpleAnnotatedTypeScanner.java framework/src/org/checkerframework/framework/type/visitor/SimpleAnnotatedTypeVisitor.java framework/src/org/checkerframework/framework/util/AnnotatedTypes.java framework/src/org/checkerframework/framework/util/AnnotationBuilder.java framework/src/org/checkerframework/framework/util/CheckerDevelMain.java framework/src/org/checkerframework/framework/util/CheckerMain.java framework/src/org/checkerframework/framework/util/ContractsUtils.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 #内容未全部加载，请点击展开加载全部代码(NowJava.com)
依赖Jar:	无