org.checkerframework.dataflow.cfg

Class CFGBuilder.UnconditionalJump

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

org.checkerframework.dataflow.cfg.CFGBuilder.UnconditionalJump

Enclosing class:

CFGBuilder

protected static class CFGBuilder.UnconditionalJump
extends CFGBuilder.ExtendedNode

An extended node of type CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP.

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 CFGBuilder.Label	jumpTarget The jump target label.

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

block, terminatesExecution, type

Constructor Summary

Constructors

Constructor and Description
UnconditionalJump(CFGBuilder.Label jumpTarget) Construct an UnconditionalJump.

Method Summary

Modifier and Type	Method and Description
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).
String	toString() Produce a string representation.

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

getBlock, getNode, getTerminatesExecution, getType, setBlock, setTerminatesExecution

Methods inherited from class java.lang.Object

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

Field Detail

jumpTarget

protected final CFGBuilder.Label jumpTarget

The jump target label.

Constructor Detail

UnconditionalJump

public UnconditionalJump(CFGBuilder.Label jumpTarget)

Construct an UnconditionalJump.

Parameters:

jumpTarget - the jump target label

Method Detail

getLabel

public CFGBuilder.Label getLabel()

Description copied from class: CFGBuilder.ExtendedNode

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

Overrides:

getLabel in class CFGBuilder.ExtendedNode

Returns:

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

toString

public String toString()

Produce a string representation.

Overrides:

toString in class CFGBuilder.ExtendedNode

Returns:

a string representation

See Also:

CFGBuilder.PhaseOneResult.nodeToString(org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode)