org.checkerframework.dataflow.cfg

Class CFGBuilder.ExtendedNode

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

Direct Known Subclasses:

CFGBuilder.ConditionalJump, CFGBuilder.NodeHolder, CFGBuilder.NodeWithExceptionsHolder, CFGBuilder.UnconditionalJump

Enclosing class:

CFGBuilder

protected abstract static class CFGBuilder.ExtendedNode
extends Object

An extended node can be one of several things (depending on its type):

• NODE: CFGBuilder.NodeHolder. An extended node of this type is just a wrapper for a Node (that cannot throw exceptions).
• EXCEPTION_NODE: CFGBuilder.NodeWithExceptionsHolder. A wrapper for a Node which can throw exceptions. It contains a label for every possible exception type the node might throw.
• UNCONDITIONAL_JUMP: CFGBuilder.UnconditionalJump. An unconditional jump to a label.
• TWO_TARGET_CONDITIONAL_JUMP: CFGBuilder.ConditionalJump. A conditional jump with two targets for both the 'then' and 'else' branch.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	CFGBuilder.ExtendedNode.ExtendedNodeType Extended node types (description see above).

Field Summary

Fields

Modifier and Type	Field and Description
protected BlockImpl	block The basic block this extended node belongs to (as determined in phase two).
protected boolean	terminatesExecution Does this node terminate the execution? (e.g., "System.exit()")
protected CFGBuilder.ExtendedNode.ExtendedNodeType	type Type of this node.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType type) Create a new ExtendedNode.

Method Summary

Modifier and Type	Method and Description
BlockImpl	getBlock()
CFGBuilder.Label	getLabel() Returns the label associated with this extended node (only applicable if type is CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP or CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP).
Node	getNode() Returns the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE).
boolean	getTerminatesExecution()
CFGBuilder.ExtendedNode.ExtendedNodeType	getType()
void	setBlock(BlockImpl b)
void	setTerminatesExecution(boolean terminatesExecution)
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

block

protected BlockImpl block

The basic block this extended node belongs to (as determined in phase two).

type

protected final CFGBuilder.ExtendedNode.ExtendedNodeType type

Type of this node.

terminatesExecution

protected boolean terminatesExecution

Does this node terminate the execution? (e.g., "System.exit()")

Constructor Detail

ExtendedNode

protected ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType type)

Create a new ExtendedNode.

Parameters:

type - the type of this node

Method Detail

getType

public CFGBuilder.ExtendedNode.ExtendedNodeType getType()

getTerminatesExecution

public boolean getTerminatesExecution()

setTerminatesExecution

public void setTerminatesExecution(boolean terminatesExecution)

getNode

public Node getNode()

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

Returns:

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

getLabel

public CFGBuilder.Label getLabel()

Returns the label associated with this extended node (only applicable if type is CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP or CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP).

Returns:

the label associated with this extended node (only applicable if type is CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP or CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP)

getBlock

public BlockImpl getBlock()

setBlock

public void setBlock(BlockImpl b)

toString

public String toString()

Overrides:

toString in class Object