Package org.checkerframework.dataflow.cfg.builder

Class PhaseOneResult

  • public class PhaseOneResult
extends java.lang.Object
    A wrapper object to pass around the result of phase one.

    • Constructor Summary

      Constructors 
      Constructor Description
      PhaseOneResult​(UnderlyingAST underlyingAST, java.util.IdentityHashMap<com.sun.source.tree.Tree,​java.util.Set<Node>> treeToCfgNodes, java.util.IdentityHashMap<com.sun.source.tree.Tree,​java.util.Set<Node>> treeToConvertedCfgNodes, java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,​com.sun.source.tree.BinaryTree> postfixTreeToCfgNodes, java.util.List<ExtendedNode> nodeList, java.util.Map<Label,​java.lang.Integer> bindings, java.util.Set<java.lang.Integer> leaders, java.util.List<ReturnNode> returnNodes, Label regularExitLabel, Label exceptionalExitLabel, java.util.List<com.sun.source.tree.ClassTree> declaredClasses, java.util.List<com.sun.source.tree.LambdaExpressionTree> declaredLambdas, javax.lang.model.util.Types types)
      Create a PhaseOneResult with the given data.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      protected java.lang.String nodeToString​(ExtendedNode n)  
      java.lang.String toString()  
      java.lang.String toStringDebug()
      Returns a verbose string representation of this, useful for debugging.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • PhaseOneResult

        public PhaseOneResult​(UnderlyingAST underlyingAST,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,​java.util.Set<Node>> treeToCfgNodes,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,​java.util.Set<Node>> treeToConvertedCfgNodes,
                      java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,​com.sun.source.tree.BinaryTree> postfixTreeToCfgNodes,
                      java.util.List<ExtendedNode> nodeList,
                      java.util.Map<Label,​java.lang.Integer> bindings,
                      java.util.Set<java.lang.Integer> leaders,
                      java.util.List<ReturnNode> returnNodes,
                      Label regularExitLabel,
                      Label exceptionalExitLabel,
                      java.util.List<com.sun.source.tree.ClassTree> declaredClasses,
                      java.util.List<com.sun.source.tree.LambdaExpressionTree> declaredLambdas,
                      javax.lang.model.util.Types types)
        Create a PhaseOneResult with the given data.
        Parameters:
        underlyingAST - the underlying AST
        treeToCfgNodes - the tree to nodes mapping
        treeToConvertedCfgNodes - the tree to converted nodes mapping
        postfixTreeToCfgNodes - the postfix tree to nodes mapping
        nodeList - the list of nodes
        bindings - the label bindings
        leaders - the leaders
        returnNodes - the return nodes
        regularExitLabel - the regular exit labels
        exceptionalExitLabel - the exceptional exit labels
        declaredClasses - the declared classes
        declaredLambdas - the declared lambdas
        types - the javac type utilities

    • Method Detail

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object

      • nodeToString

        protected java.lang.String nodeToString​(ExtendedNode n)

      • toStringDebug

        public java.lang.String toStringDebug()
        Returns a verbose string representation of this, useful for debugging.
        Returns:
        a string representation of this