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 java.lang.Object

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

• NODE. An extended node of this type is just a wrapper for a Node (that cannot throw exceptions).
• EXCEPTION_NODE. A wrapper for a Node which can throw exceptions. It contains a label for every possible exception type the node might throw.
• UNCONDITIONAL_JUMP. An unconditional jump to a label.
• TWO_TARGET_CONDITIONAL_JUMP. 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

Constructor and Description
ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType type)

Method Summary

Modifier and Type	Method and Description
BlockImpl	getBlock()
CFGBuilder.Label	getLabel()
Node	getNode()
boolean	getTerminatesExecution()
CFGBuilder.ExtendedNode.ExtendedNodeType	getType()
void	setBlock(BlockImpl b)
void	setTerminatesExecution(boolean terminatesExecution)
java.lang.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 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

public ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType type)

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).

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).

getBlock

public BlockImpl getBlock()

setBlock

public void setBlock(BlockImpl b)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object