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
protected CFGBuilder.Label	falseSucc
protected Store.FlowRule	trueFlowRule
protected CFGBuilder.Label	trueSucc

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)

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

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

falseSucc

protected CFGBuilder.Label falseSucc

trueFlowRule

protected Store.FlowRule trueFlowRule

falseFlowRule

protected Store.FlowRule falseFlowRule

Constructor Detail

ConditionalJump

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

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

Overrides:

toString in class CFGBuilder.ExtendedNode