Package org.checkerframework.dataflow.cfg.block

Class SpecialBlockImpl

java.lang.Object

org.checkerframework.dataflow.cfg.block.BlockImpl

org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl

org.checkerframework.dataflow.cfg.block.SpecialBlockImpl

All Implemented Interfaces:

Block, SingleSuccessorBlock, SpecialBlock, org.plumelib.util.UniqueId

public class SpecialBlockImpl
extends SingleSuccessorBlockImpl
implements SpecialBlock

The implementation of a SpecialBlock.

Nested Class Summary

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

Block.BlockType

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

SpecialBlock.SpecialBlockType

Field Summary

Fields

Modifier and Type	Field	Description
protected SpecialBlock.SpecialBlockType	specialType	The type of this special basic block.

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

flowRule, successor

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

predecessors, type

Constructor Summary

Constructors

Constructor	Description
SpecialBlockImpl(SpecialBlock.SpecialBlockType type)

Method Summary

Modifier and Type	Method	Description
@Nullable Node	getLastNode()	Returns the last node of this block, or null if none.
java.util.List<Node>	getNodes()	Returns the nodes contained within this basic block.
SpecialBlock.SpecialBlockType	getSpecialType()	Returns the type of this special basic block.
java.lang.String	toString()

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

getFlowRule, getSuccessor, getSuccessors, setFlowRule, setSuccessor

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

addPredecessor, getPredecessors, getType, getUid, removePredecessor

Methods inherited from class java.lang.Object

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

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

getPredecessors, getSuccessors, getType

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

getFlowRule, getSuccessor, setFlowRule

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid, getUid

Field Detail

specialType

protected final SpecialBlock.SpecialBlockType specialType

The type of this special basic block.

Constructor Detail

SpecialBlockImpl

public SpecialBlockImpl(SpecialBlock.SpecialBlockType type)

Method Detail

getSpecialType

public SpecialBlock.SpecialBlockType getSpecialType()

Description copied from interface: SpecialBlock

Returns the type of this special basic block.

Specified by:

getSpecialType in interface SpecialBlock

Returns:

the type of this special basic block

getNodes

public java.util.List<Node> getNodes()

Returns the nodes contained within this basic block. The list may be empty.

The following invariant holds.

 forall n in getNodes() :: n.getBlock() == this
 

This implementation returns an empty list.

Specified by:

getNodes in interface Block

Returns:

the nodes contained within this basic block

getLastNode

public @Nullable Node getLastNode()

Description copied from interface: Block

Returns the last node of this block, or null if none.

Specified by:

getLastNode in interface Block

Returns:

the last node of this block or null

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object