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 java.lang.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, java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.Set<Node>> treeLookupMap, java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.Set<Node>> convertedTreeLookupMap, java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode> unaryAssignNodeLookupMap, java.util.ArrayList<CFGBuilder.ExtendedNode> nodeList, java.util.Map<CFGBuilder.Label,java.lang.Integer> bindings, java.util.Set<java.lang.Integer> leaders, java.util.List<ReturnNode> returnNodes, CFGBuilder.Label regularExitLabel, CFGBuilder.Label exceptionalExitLabel, java.util.List<com.sun.source.tree.ClassTree> declaredClasses, java.util.List<com.sun.source.tree.LambdaExpressionTree> declaredLambdas)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	nodeToString(CFGBuilder.ExtendedNode n)
java.lang.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,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.Set<Node>> treeLookupMap,
                      java.util.IdentityHashMap<com.sun.source.tree.Tree,java.util.Set<Node>> convertedTreeLookupMap,
                      java.util.IdentityHashMap<com.sun.source.tree.UnaryTree,AssignmentNode> unaryAssignNodeLookupMap,
                      java.util.ArrayList<CFGBuilder.ExtendedNode> nodeList,
                      java.util.Map<CFGBuilder.Label,java.lang.Integer> bindings,
                      java.util.Set<java.lang.Integer> leaders,
                      java.util.List<ReturnNode> returnNodes,
                      CFGBuilder.Label regularExitLabel,
                      CFGBuilder.Label exceptionalExitLabel,
                      java.util.List<com.sun.source.tree.ClassTree> declaredClasses,
                      java.util.List<com.sun.source.tree.LambdaExpressionTree> declaredLambdas)

Method Detail

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

nodeToString

protected java.lang.String nodeToString(CFGBuilder.ExtendedNode n)