org.checkerframework.dataflow.cfg.block

Class SingleSuccessorBlockImpl

java.lang.Object

org.checkerframework.dataflow.cfg.block.BlockImpl

org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl

All Implemented Interfaces:

Block, SingleSuccessorBlock

Direct Known Subclasses:

ExceptionBlockImpl, RegularBlockImpl, SpecialBlockImpl

public abstract class SingleSuccessorBlockImpl
extends BlockImpl
implements SingleSuccessorBlock

Implementation of a non-special basic block.

Author:

Stefan Heule

Nested Class Summary

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

Block.BlockType

Field Summary

Fields

Modifier and Type	Field and Description
protected Store.FlowRule	flowRule The rule below say that EACH store at the end of a single successor block flow to the corresponding store of the successor.
protected @Nullable BlockImpl	successor Internal representation of the successor.

Fields inherited from class org.checkerframework.dataflow.cfg.block.BlockImpl

id, lastId, predecessors, type

Constructor Summary

Constructors

Constructor and Description
SingleSuccessorBlockImpl()

Method Summary

Modifier and Type	Method and Description
Store.FlowRule	getFlowRule()
@Nullable Block	getSuccessor()
void	setFlowRule(Store.FlowRule rule) Set the flow rule for information flowing from this block to its successor.
void	setSuccessor(BlockImpl successor) Set a basic block as the successor of this block.

Methods inherited from class org.checkerframework.dataflow.cfg.block.BlockImpl

addPredecessor, getId, getPredecessors, getType, removePredecessor

Methods inherited from class java.lang.Object

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

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

getId, getType

Field Detail

successor

protected @Nullable BlockImpl successor

Internal representation of the successor.

flowRule

protected Store.FlowRule flowRule

The rule below say that EACH store at the end of a single successor block flow to the corresponding store of the successor.

Constructor Detail

SingleSuccessorBlockImpl

public SingleSuccessorBlockImpl()

Method Detail

getSuccessor

public @Nullable Block getSuccessor()

Specified by:

getSuccessor in interface SingleSuccessorBlock

Returns:

the non-exceptional successor block, or null if there is no successor.

setSuccessor

public void setSuccessor(BlockImpl successor)

Set a basic block as the successor of this block.

getFlowRule

public Store.FlowRule getFlowRule()

Specified by:

getFlowRule in interface SingleSuccessorBlock

Returns:

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

setFlowRule

public void setFlowRule(Store.FlowRule rule)

Description copied from interface: SingleSuccessorBlock

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

Specified by:

setFlowRule in interface SingleSuccessorBlock