org.checkerframework.dataflow.cfg

Class CFGBuilder.PhaseOneResult

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.PhaseOneResult

Enclosing class:

CFGBuilder

protected static class CFGBuilder.PhaseOneResult
extends Object

A wrapper object to pass around the result of phase one. For a documentation of the fields see CFGBuilder.CFGTranslationPhaseOne.

Constructor Summary

Constructors

Constructor and Description

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

Method Summary

Modifier and Type	Method and Description
protected String	nodeToString(CFGBuilder.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,AssignmentNode> unaryAssignNodeLookupMap,
                      ArrayList<CFGBuilder.ExtendedNode> nodeList,
                      Map<CFGBuilder.Label,Integer> bindings,
                      Set<Integer> leaders,
                      List<ReturnNode> returnNodes,
                      CFGBuilder.Label regularExitLabel,
                      CFGBuilder.Label exceptionalExitLabel,
                      List<ClassTree> declaredClasses,
                      List<LambdaExpressionTree> declaredLambdas)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

nodeToString

protected String nodeToString(CFGBuilder.ExtendedNode n)

toStringDebug

public String toStringDebug()

Returns a verbose string representation of this, useful for debugging.

Returns:

a string representation of this