org.checkerframework.dataflow.cfg.block

Interface ConditionalBlock

All Superinterfaces:

Block

All Known Implementing Classes:

ConditionalBlockImpl

public interface ConditionalBlock
extends Block

Represents a conditional basic block that contains exactly one boolean Node.

Nested Class Summary

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

Block.BlockType

Method Summary

Modifier and Type	Method and Description
Store.FlowRule	getElseFlowRule() Returns the flow rule for information flowing from this block to its else successor.
Block	getElseSuccessor() Returns the entry block of the else branch.
Store.FlowRule	getThenFlowRule() Returns the flow rule for information flowing from this block to its then successor.
Block	getThenSuccessor() Returns the entry block of the then branch.
void	setElseFlowRule(Store.FlowRule rule) Set the flow rule for information flowing from this block to its else successor.
void	setThenFlowRule(Store.FlowRule rule) Set the flow rule for information flowing from this block to its then successor.

Methods inherited from interface org.checkerframework.dataflow.cfg.block.Block

getId, getPredecessors, getType

Method Detail

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

void setThenFlowRule(Store.FlowRule rule)

Set the flow rule for information flowing from this block to its then successor.

setElseFlowRule

void setElseFlowRule(Store.FlowRule rule)

Set the flow rule for information flowing from this block to its else successor.