protected static class CFGBuilder.UnconditionalJump extends CFGBuilder.ExtendedNode
CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP
.CFGBuilder.ExtendedNode.ExtendedNodeType
Modifier and Type | Field and Description |
---|---|
protected CFGBuilder.Label |
jumpTarget
The jump target label.
|
block, terminatesExecution, type
Constructor and Description |
---|
UnconditionalJump(CFGBuilder.Label jumpTarget)
Construct an UnconditionalJump.
|
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.
|
String |
toStringDebug()
Returns a verbose string representation of this, useful for debugging.
|
getBlock, getNode, getTerminatesExecution, getType, setBlock, setTerminatesExecution
protected final CFGBuilder.Label jumpTarget
public UnconditionalJump(CFGBuilder.Label jumpTarget)
jumpTarget
- the jump target labelpublic CFGBuilder.Label getLabel()
CFGBuilder.ExtendedNode
CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP
or CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP
).getLabel
in class CFGBuilder.ExtendedNode
CFGBuilder.ExtendedNode.ExtendedNodeType.CONDITIONAL_JUMP
or CFGBuilder.ExtendedNode.ExtendedNodeType.UNCONDITIONAL_JUMP
)public String toString()
toString
in class CFGBuilder.ExtendedNode
CFGBuilder.PhaseOneResult.nodeToString(org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode)
public String toStringDebug()
CFGBuilder.ExtendedNode