Package 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

Description

PhaseOneResult(UnderlyingAST underlyingAST, IdentityHashMap<Tree,Set<Node>> treeToCfgNodes, IdentityHashMap<Tree,Set<Node>> treeToConvertedCfgNodes, IdentityHashMap<UnaryTree,BinaryTree> postfixTreeToCfgNodes, 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)

Create a PhaseOneResult with the given data.

Method Summary

Modifier and Type	Method	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 Details

PhaseOneResult

public PhaseOneResult(UnderlyingAST underlyingAST,
 IdentityHashMap<Tree,Set<Node>> treeToCfgNodes,
 IdentityHashMap<Tree,Set<Node>> treeToConvertedCfgNodes,
 IdentityHashMap<UnaryTree,BinaryTree> postfixTreeToCfgNodes,
 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)

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

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