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,Node> treeLookupMap, IdentityHashMap<Tree,Node> convertedTreeLookupMap, ArrayList<CFGBuilder.ExtendedNode> nodeList, Map<CFGBuilder.Label,Integer> bindings, Set<Integer> leaders, List<ReturnNode> returnNodes)

Method Summary

Modifier and Type	Method and Description
protected String	nodeToString(CFGBuilder.ExtendedNode n)
String	toString()

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,Node> treeLookupMap,
                      IdentityHashMap<Tree,Node> convertedTreeLookupMap,
                      ArrayList<CFGBuilder.ExtendedNode> nodeList,
                      Map<CFGBuilder.Label,Integer> bindings,
                      Set<Integer> leaders,
                      List<ReturnNode> returnNodes)

Method Detail

toString

public String toString()

Overrides:

toString in class Object

nodeToString

protected String nodeToString(CFGBuilder.ExtendedNode n)