org.checkerframework.dataflow.cfg

Class CFGBuilder.ConditionalJump

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump

Enclosing class:

CFGBuilder

protected static class CFGBuilder.ConditionalJump
extends CFGBuilder.ExtendedNode

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

Important: In the list of extended nodes, there should not be any labels that point to a conditional jump. Furthermore, the node directly ahead of any conditional jump has to be a CFGBuilder.NodeWithExceptionsHolder or CFGBuilder.NodeHolder, and the node held by that extended node is required to be of boolean type.

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	falseFlowRule The false branch flow rule.
protected CFGBuilder.Label	falseSucc The false successor label.
protected Store.FlowRule	trueFlowRule The true branch flow rule.
protected CFGBuilder.Label	trueSucc The true successor label.

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

block, terminatesExecution, type

Constructor Summary

Constructors

Constructor and Description
ConditionalJump(CFGBuilder.Label trueSucc, CFGBuilder.Label falseSucc) Construct a ConditionalJump.

Method Summary

Modifier and Type	Method and Description
CFGBuilder.Label	getElseLabel()
Store.FlowRule	getFalseFlowRule()
CFGBuilder.Label	getThenLabel()
Store.FlowRule	getTrueFlowRule()
void	setFalseFlowRule(Store.FlowRule rule)
void	setTrueFlowRule(Store.FlowRule rule)
String	toString() Produce a string representation.

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

getBlock, getLabel, getNode, getTerminatesExecution, getType, setBlock, setTerminatesExecution

Methods inherited from class java.lang.Object

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

Field Detail

trueSucc

protected final CFGBuilder.Label trueSucc

The true successor label.

falseSucc

protected final CFGBuilder.Label falseSucc

The false successor label.

trueFlowRule

protected Store.FlowRule trueFlowRule

The true branch flow rule.

falseFlowRule

protected Store.FlowRule falseFlowRule

The false branch flow rule.

Constructor Detail

ConditionalJump

public ConditionalJump(CFGBuilder.Label trueSucc,
                       CFGBuilder.Label falseSucc)

Construct a ConditionalJump.

Parameters:

trueSucc - true successor label

falseSucc - false successor label

Method Detail

getThenLabel

public CFGBuilder.Label getThenLabel()

getElseLabel

public CFGBuilder.Label getElseLabel()

getTrueFlowRule

public Store.FlowRule getTrueFlowRule()

getFalseFlowRule

public Store.FlowRule getFalseFlowRule()

setTrueFlowRule

public void setTrueFlowRule(Store.FlowRule rule)

setFalseFlowRule

public void setFalseFlowRule(Store.FlowRule rule)

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)