dataflow-1.8.10.jar

<dependency>
	<groupId>org.checkerframework</groupId>
	<artifactId>dataflow</artifactId>
	<version>1.8.10</version>
</dependency>

org.checkerframework:dataflow:1.8.10

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"

         xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">


    <modelVersion>4.0.0</modelVersion>

    <packaging>jar</packaging>


    <name>Dataflow</name>

    <url>http://checkerframework.org</url>

    <description>

        Dataflow is a dataflow framework based on the javac compiler.

    </description>


    <groupId>org.checkerframework</groupId>

    <artifactId>dataflow</artifactId>


    <licenses>

        <license>

            <name>GNU General Public License, version 2 (GPL2), with the classpath exception</name>

            <url>http://www.gnu.org/software/classpath/license.html</url>

            <distribution>repo</distribution>

        </license>


        <license>

            <name>The MIT License</name>

            <url>http://opensource.org/licenses/MIT</url>

            <distribution>repo</distribution>

        </license>

    </licenses>


    <dependencies>

        <dependency>

            <groupId>org.checkerframework</groupId>

            <artifactId>javacutil</artifactId>

            <version><!-- checker-framework-version -->1.8.10<!-- /checker-framework-version --></version>

            <type>jar</type>

        </dependency>

    </dependencies>


    <!-- The comments in the version number are used to do a text substitution. Don't remove them.

         See checker-framework/bin/poms/updateVersion.sh -->

    <version><!-- checker-framework-version -->1.8.10<!-- /checker-framework-version --></version>


    <scm>

        <url>https://code.google.com/p/checker-framework/</url>

        <connection>https://code.google.com/p/checker-framework/</connection>

    </scm>


    <developers>


        <developer>

            <id>Michael Ernst &lt;mernst@cs.washington.edu&gt;</id>

            <name>Michael Ernst</name>

            <email>mernst@cs.washington.edu</email>

            <url>http://homes.cs.washington.edu/~mernst/</url>

            <organization>University of Washington</organization>

            <organizationUrl>https://www.cs.washington.edu/</organizationUrl>

        </developer>


        <developer>

            <id>wmdietl</id>

            <name>Werner M. Dietl</name>

            <email>wdietl@uwaterloo.ca</email>

            <organization>University of Waterloo</organization>

            <organizationUrl>http://uwaterloo.ca/</organizationUrl>

        </developer>


        <developer>

            <id>Suzanne Millstein  &lt;smillst@cs.washington.edu&gt;</id>

            <name>Suzanne Millstein</name>

            <email>smillst@cs.washington.edu</email>

            <organization>University of Washington PLSE Group</organization>

            <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>

        </developer>


        <developer>

            <id>David McArthur &lt;mcarthur@cs.washington.edu&lt;</id>

            <name>David McArthur</name>

            <email>mcarthur@cs.washington.edu</email>

            <organization>University of Washington PLSE Group</organization>

            <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>

        </developer>


        <developer>

            <id>Javier Thaine &lt;jthaine@cs.washington.edu&lt;</id>

            <name>David McArthur</name>

            <email>jthaine@cs.washington.edu</email>

            <organization>University of Washington PLSE Group</organization>

            <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>

        </developer>


        <developer>

            <id>Dan Brown &lt;dbro@cs.washington.edu&lt;</id>

            <name>Dan Brown</name>

            <email>dbro@cs.washington.edu</email>

            <organization>University of Washington PLSE Group</organization>

            <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>

        </developer>


        <developer>

            <id>jonathangburke@gmail.com</id>

            <name>Jonathan G. Burke</name>

            <email>jburke@cs.washington.edu</email>

            <organization>University of Washington PLSE Group</organization>

            <organizationUrl>https://www.cs.washington.edu/research/plse/</organizationUrl>

        </developer>


    </developers>


</project>

META-INF/MANIFEST.MF
org.checkerframework.dataflow.analysis.AbstractValue.class
org.checkerframework.dataflow.analysis.Analysis$1.class
org.checkerframework.dataflow.analysis.Analysis$Worklist$DFOComparator.class
org.checkerframework.dataflow.analysis.Analysis$Worklist.class
org.checkerframework.dataflow.analysis.Analysis.class
org.checkerframework.dataflow.analysis.AnalysisResult$1.class
org.checkerframework.dataflow.analysis.AnalysisResult.class
org.checkerframework.dataflow.analysis.ConditionalTransferResult.class
org.checkerframework.dataflow.analysis.FlowExpressions$ArrayAccess.class
org.checkerframework.dataflow.analysis.FlowExpressions$ClassName.class
org.checkerframework.dataflow.analysis.FlowExpressions$FieldAccess.class
org.checkerframework.dataflow.analysis.FlowExpressions$LocalVariable.class
org.checkerframework.dataflow.analysis.FlowExpressions$PureMethodCall.class
org.checkerframework.dataflow.analysis.FlowExpressions$Receiver.class
org.checkerframework.dataflow.analysis.FlowExpressions$ThisReference.class
org.checkerframework.dataflow.analysis.FlowExpressions$Unknown.class
org.checkerframework.dataflow.analysis.FlowExpressions$ValueLiteral.class
org.checkerframework.dataflow.analysis.FlowExpressions.class
org.checkerframework.dataflow.analysis.RegularTransferResult.class
org.checkerframework.dataflow.analysis.Store$FlowRule.class
org.checkerframework.dataflow.analysis.Store$Kind.class
org.checkerframework.dataflow.analysis.Store.class
org.checkerframework.dataflow.analysis.TransferFunction.class
org.checkerframework.dataflow.analysis.TransferInput.class
org.checkerframework.dataflow.analysis.TransferResult.class
org.checkerframework.dataflow.cfg.CFGBuilder$1.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne$1.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne$SwitchBuilder.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseOne.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$1.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$2.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$3.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$4.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree$PredecessorHolder.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseThree.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo$1.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo$2.class
org.checkerframework.dataflow.cfg.CFGBuilder$CFGTranslationPhaseTwo.class
org.checkerframework.dataflow.cfg.CFGBuilder$ConditionalJump.class
org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode$ExtendedNodeType.class
org.checkerframework.dataflow.cfg.CFGBuilder$ExtendedNode.class
org.checkerframework.dataflow.cfg.CFGBuilder$Label.class
org.checkerframework.dataflow.cfg.CFGBuilder$NodeHolder.class
org.checkerframework.dataflow.cfg.CFGBuilder$NodeWithExceptionsHolder.class
org.checkerframework.dataflow.cfg.CFGBuilder$PhaseOneResult.class
org.checkerframework.dataflow.cfg.CFGBuilder$TreeInfo.class
org.checkerframework.dataflow.cfg.CFGBuilder$TryCatchFrame.class
org.checkerframework.dataflow.cfg.CFGBuilder$TryFinallyFrame.class
org.checkerframework.dataflow.cfg.CFGBuilder$TryFrame.class
org.checkerframework.dataflow.cfg.CFGBuilder$TryStack.class
org.checkerframework.dataflow.cfg.CFGBuilder$Tuple.class
org.checkerframework.dataflow.cfg.CFGBuilder$UnconditionalJump.class
org.checkerframework.dataflow.cfg.CFGBuilder.class
org.checkerframework.dataflow.cfg.CFGDOTVisualizer$1.class
org.checkerframework.dataflow.cfg.CFGDOTVisualizer.class
org.checkerframework.dataflow.cfg.ControlFlowGraph.class
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1$1.class
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$1.class
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$2.class
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT$3.class
org.checkerframework.dataflow.cfg.JavaSource2CFGDOT.class
org.checkerframework.dataflow.cfg.UnderlyingAST$CFGLambda.class
org.checkerframework.dataflow.cfg.UnderlyingAST$CFGMethod.class
org.checkerframework.dataflow.cfg.UnderlyingAST$CFGStatement.class
org.checkerframework.dataflow.cfg.UnderlyingAST$Kind.class
org.checkerframework.dataflow.cfg.UnderlyingAST.class
org.checkerframework.dataflow.cfg.block.Block$BlockType.class
org.checkerframework.dataflow.cfg.block.Block.class
org.checkerframework.dataflow.cfg.block.BlockImpl.class
org.checkerframework.dataflow.cfg.block.ConditionalBlock.class
org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl.class
org.checkerframework.dataflow.cfg.block.ExceptionBlock.class
org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl.class
org.checkerframework.dataflow.cfg.block.RegularBlock.class
org.checkerframework.dataflow.cfg.block.RegularBlockImpl.class
org.checkerframework.dataflow.cfg.block.SingleSuccessorBlock.class
org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl.class
org.checkerframework.dataflow.cfg.block.SpecialBlock$SpecialBlockType.class
org.checkerframework.dataflow.cfg.block.SpecialBlock.class
org.checkerframework.dataflow.cfg.block.SpecialBlockImpl.class
org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor.class
org.checkerframework.dataflow.cfg.node.ArrayAccessNode.class
org.checkerframework.dataflow.cfg.node.ArrayCreationNode.class
org.checkerframework.dataflow.cfg.node.ArrayTypeNode.class
org.checkerframework.dataflow.cfg.node.AssertionErrorNode.class
org.checkerframework.dataflow.cfg.node.AssignmentContext$AssignmentLhsContext.class
org.checkerframework.dataflow.cfg.node.AssignmentContext$LambdaReturnContext.class
org.checkerframework.dataflow.cfg.node.AssignmentContext$MethodParameterContext.class
org.checkerframework.dataflow.cfg.node.AssignmentContext$MethodReturnContext.class
org.checkerframework.dataflow.cfg.node.AssignmentContext.class
org.checkerframework.dataflow.cfg.node.AssignmentNode.class
org.checkerframework.dataflow.cfg.node.BitwiseAndNode.class
org.checkerframework.dataflow.cfg.node.BitwiseComplementNode.class
org.checkerframework.dataflow.cfg.node.BitwiseOrNode.class
org.checkerframework.dataflow.cfg.node.BitwiseXorNode.class
org.checkerframework.dataflow.cfg.node.BooleanLiteralNode.class
org.checkerframework.dataflow.cfg.node.CaseNode.class
org.checkerframework.dataflow.cfg.node.CharacterLiteralNode.class
org.checkerframework.dataflow.cfg.node.ClassNameNode.class
org.checkerframework.dataflow.cfg.node.ConditionalAndNode.class
org.checkerframework.dataflow.cfg.node.ConditionalNotNode.class
org.checkerframework.dataflow.cfg.node.ConditionalOrNode.class
org.checkerframework.dataflow.cfg.node.DoubleLiteralNode.class
org.checkerframework.dataflow.cfg.node.EqualToNode.class
org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode.class
org.checkerframework.dataflow.cfg.node.FieldAccessNode.class
org.checkerframework.dataflow.cfg.node.FloatLiteralNode.class
org.checkerframework.dataflow.cfg.node.FloatingDivisionNode.class
org.checkerframework.dataflow.cfg.node.FloatingRemainderNode.class
org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode.class
org.checkerframework.dataflow.cfg.node.GreaterThanNode.class
org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode.class
org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode.class
org.checkerframework.dataflow.cfg.node.InstanceOfNode.class
org.checkerframework.dataflow.cfg.node.IntegerDivisionNode.class
org.checkerframework.dataflow.cfg.node.IntegerLiteralNode.class
org.checkerframework.dataflow.cfg.node.IntegerRemainderNode.class
org.checkerframework.dataflow.cfg.node.LeftShiftNode.class
org.checkerframework.dataflow.cfg.node.LessThanNode.class
org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode.class
org.checkerframework.dataflow.cfg.node.LocalVariableNode.class
org.checkerframework.dataflow.cfg.node.LongLiteralNode.class
org.checkerframework.dataflow.cfg.node.MarkerNode.class
org.checkerframework.dataflow.cfg.node.MethodAccessNode.class
org.checkerframework.dataflow.cfg.node.MethodInvocationNode.class
org.checkerframework.dataflow.cfg.node.NarrowingConversionNode.class
org.checkerframework.dataflow.cfg.node.Node.class
org.checkerframework.dataflow.cfg.node.NodeVisitor.class
org.checkerframework.dataflow.cfg.node.NotEqualNode.class
org.checkerframework.dataflow.cfg.node.NullChkNode.class
org.checkerframework.dataflow.cfg.node.NullLiteralNode.class
org.checkerframework.dataflow.cfg.node.NumericalAdditionNode.class
org.checkerframework.dataflow.cfg.node.NumericalMinusNode.class
org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode.class
org.checkerframework.dataflow.cfg.node.NumericalPlusNode.class
org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode.class
org.checkerframework.dataflow.cfg.node.ObjectCreationNode.class
org.checkerframework.dataflow.cfg.node.PackageNameNode.class
org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode.class
org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode.class
org.checkerframework.dataflow.cfg.node.ReturnNode.class
org.checkerframework.dataflow.cfg.node.ShortLiteralNode.class
org.checkerframework.dataflow.cfg.node.SignedRightShiftNode.class
#内容未全部加载，请点击展开加载全部代码(NowJava.com)