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.

Author:

Stefan Heule

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()
Block	getElseSuccessor()
Store.FlowRule	getThenFlowRule()
Block	getThenSuccessor()
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, getType

Method Detail

getThenSuccessor

Block getThenSuccessor()

Returns:

The entry block of the then branch.

getElseSuccessor

Block getElseSuccessor()

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.

getElseFlowRule

Store.FlowRule getElseFlowRule()

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.