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. For a documentation of the fields see 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<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)

Method Summary

Modifier and Type	Method and Description
protected String	nodeToString(org.checkerframework.dataflow.cfg.builder.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<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)

Method Detail

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