Interface ConditionalBlock
 All Superinterfaces:
Block
,org.plumelib.util.UniqueId
 All Known Implementing Classes:
ConditionalBlockImpl
Represents a conditional basic block.

Nested Class Summary
Nested classes/interfaces inherited from interface org.checkerframework.dataflow.cfg.block.Block
Block.BlockType

Method Summary
Modifier and TypeMethodDescriptionReturns the flow rule for information flowing from this block to its else successor.Returns the entry block of the else branch.Returns the flow rule for information flowing from this block to its then successor.Returns the entry block of the then branch.void
Set the flow rule for information flowing from this block to its else successor.void
Set the flow rule for information flowing from this block to its then successor.Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block
getLastNode, getNodes, getPredecessors, getSuccessors, getType
Methods inherited from interface org.plumelib.util.UniqueId
getClassAndUid, getUid

Method Details

getThenSuccessor
Block getThenSuccessor()Returns the entry block of the then branch. Returns:
 the entry block of the then branch

getElseSuccessor
Block getElseSuccessor()Returns the entry block of the else branch. Returns:
 the entry block of the else branch

getThenFlowRule
Store.FlowRule getThenFlowRule()Returns the flow rule for information flowing from this block to its then successor. Returns:
 the flow rule for information flowing from this block to its then successor

getElseFlowRule
Store.FlowRule getElseFlowRule()Returns the flow rule for information flowing from this block to its else successor. Returns:
 the flow rule for information flowing from this block to its else successor

setThenFlowRule
Set the flow rule for information flowing from this block to its then successor. Parameters:
rule
 the new flow rule for information flowing from this block to its then successor

setElseFlowRule
Set the flow rule for information flowing from this block to its else successor. Parameters:
rule
 the new flow rule for information flowing from this block to its else successor
