org.checkerframework.dataflow.cfg

Class CFGBuilder.NodeHolder

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

org.checkerframework.dataflow.cfg.CFGBuilder.NodeHolder

Enclosing class:

CFGBuilder

protected static class CFGBuilder.NodeHolder
extends CFGBuilder.ExtendedNode

An extended node of type NODE.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

CFGBuilder.ExtendedNode.ExtendedNodeType

Field Summary

Fields

Modifier and Type	Field and Description
protected Node	node

Fields inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

block, terminatesExecution, type

Constructor Summary

Constructors

Constructor and Description
NodeHolder(Node node)

Method Summary

Modifier and Type	Method and Description
Node	getNode()
java.lang.String	toString()

Methods inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

getBlock, getLabel, getTerminatesExecution, getType, setBlock, setTerminatesExecution

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

node

protected Node node

Constructor Detail

NodeHolder

public NodeHolder(Node node)

Method Detail

getNode

public Node getNode()

Overrides:

getNode in class CFGBuilder.ExtendedNode

Returns:

the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE).

toString

public java.lang.String toString()

Overrides:

toString in class CFGBuilder.ExtendedNode