Class PhaseOneResult

java.lang.Object
org.checkerframework.dataflow.cfg.builder.PhaseOneResult

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

    • PhaseOneResult

      public PhaseOneResult(UnderlyingAST underlyingAST, IdentityHashMap<Tree,Set<Node>> treeToCfgNodes, IdentityHashMap<Tree,Set<Node>> treeToConvertedCfgNodes, IdentityHashMap<UnaryTree,BinaryTree> postfixTreeToCfgNodes, List<org.checkerframework.dataflow.cfg.builder.ExtendedNode> nodeList, Map<org.checkerframework.dataflow.cfg.builder.Label,Integer> bindings, Set<Integer> leaders, List<ReturnNode> returnNodes, org.checkerframework.dataflow.cfg.builder.Label regularExitLabel, org.checkerframework.dataflow.cfg.builder.Label exceptionalExitLabel, List<ClassTree> declaredClasses, List<LambdaExpressionTree> declaredLambdas, 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 Details

    • toString

      public String toString()
      Overrides:
      toString in class Object
    • nodeToString

      protected String nodeToString(org.checkerframework.dataflow.cfg.builder.ExtendedNode n)
    • toStringDebug

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