org.checkerframework.dataflow.cfg.builder

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 Summary

Constructors

Constructor and Description

PhaseOneResult(UnderlyingAST underlyingAST, IdentityHashMap<Tree,Set<Node>> treeLookupMap, IdentityHashMap<Tree,Set<Node>> convertedTreeLookupMap, IdentityHashMap<UnaryTree,BinaryTree> postfixLookupMap, ArrayList<ExtendedNode> nodeList, Map<Label,Integer> bindings, Set<Integer> leaders, List<ReturnNode> returnNodes, Label regularExitLabel, Label exceptionalExitLabel, List<ClassTree> declaredClasses, List<LambdaExpressionTree> declaredLambdas)

Method Summary

Modifier and Type	Method and Description
protected String	nodeToString(ExtendedNode n)
String	toString()
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,
                      IdentityHashMap<Tree,Set<Node>> treeLookupMap,
                      IdentityHashMap<Tree,Set<Node>> convertedTreeLookupMap,
                      IdentityHashMap<UnaryTree,BinaryTree> postfixLookupMap,
                      ArrayList<ExtendedNode> nodeList,
                      Map<Label,Integer> bindings,
                      Set<Integer> leaders,
                      List<ReturnNode> returnNodes,
                      Label regularExitLabel,
                      Label exceptionalExitLabel,
                      List<ClassTree> declaredClasses,
                      List<LambdaExpressionTree> declaredLambdas)

Method Detail

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