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 Store.FlowRule	flowRule The flow rule for this edge.
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.
UnconditionalJump(CFGBuilder.Label jumpTarget, Store.FlowRule flowRule) Construct an UnconditionalJump, specifying its flow rule.

Method Summary

Modifier and Type	Method and Description
Store.FlowRule	getFlowRule() Returns the flow rule for this edge.
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.

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.

flowRule

protected final Store.FlowRule flowRule

The flow rule for this edge.

Constructor Detail

UnconditionalJump

public UnconditionalJump(CFGBuilder.Label jumpTarget)

Construct an UnconditionalJump.

Parameters:

jumpTarget - the jump target label

UnconditionalJump

public UnconditionalJump(CFGBuilder.Label jumpTarget,
                         Store.FlowRule flowRule)

Construct an UnconditionalJump, specifying its flow rule.

Parameters:

jumpTarget - the jump target label

flowRule - the flow rule for this edge

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)

getFlowRule

public Store.FlowRule getFlowRule()

Returns the flow rule for this edge.

Returns:

the flow rule for this edge

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)

toStringDebug

public String toStringDebug()

Description copied from class: CFGBuilder.ExtendedNode

Returns a verbose string representation of this, useful for debugging.

Specified by:

toStringDebug in class CFGBuilder.ExtendedNode

Returns:

a string representation of this