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<com.sun.source.tree.Tree,Set<Node>> treeToCfgNodes, IdentityHashMap<com.sun.source.tree.Tree,Set<Node>> treeToConvertedCfgNodes, IdentityHashMap<com.sun.source.tree.UnaryTree,com.sun.source.tree.BinaryTree> postfixTreeToCfgNodes, ArrayList<ExtendedNode> nodeList, Map<Label,Integer> bindings, Set<Integer> leaders, List<ReturnNode> returnNodes, Label regularExitLabel, Label exceptionalExitLabel, List<com.sun.source.tree.ClassTree> declaredClasses, List<com.sun.source.tree.LambdaExpressionTree> declaredLambdas)
Method Details
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Object
- nodeToString
  
  protected String nodeToString(ExtendedNode n)
- toStringDebug
  
  public String toStringDebug()
  
  Returns a verbose string representation of this, useful for debugging.
  
  Returns:
  
  a string representation of this

Class PhaseOneResult

Constructor Summary