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

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

block, terminatesExecution, type

Constructor Summary

Constructors

Constructor and Description
UnconditionalJump(CFGBuilder.Label jumpTarget)

Method Summary

Modifier and Type	Method and Description
CFGBuilder.Label	getLabel()
java.lang.String	toString()

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 CFGBuilder.Label jumpTarget

Constructor Detail

UnconditionalJump

public UnconditionalJump(CFGBuilder.Label jumpTarget)

Method Detail

getLabel

public CFGBuilder.Label getLabel()

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 java.lang.String toString()

Overrides:

toString in class CFGBuilder.ExtendedNode