org.checkerframework.dataflow.cfg.block

Class BlockImpl

java.lang.Object

org.checkerframework.dataflow.cfg.block.BlockImpl

All Implemented Interfaces:

Block, org.plumelib.util.UniqueId

Direct Known Subclasses:

ConditionalBlockImpl, SingleSuccessorBlockImpl

public abstract class BlockImpl
extends Object
implements Block

Base class of the Block implementation hierarchy.

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 Set<BlockImpl>	predecessors The set of predecessors.
protected Block.BlockType	type The type of this basic block.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	BlockImpl(Block.BlockType type) Create a new BlockImpl.

Method Summary

Modifier and Type	Method and Description
void	addPredecessor(BlockImpl pred)
Set<Block>	getPredecessors() Returns the predecessors of this basic block.
Block.BlockType	getType() Returns the type of this basic block.
long	getUid() Returns the unique ID of this object.
void	removePredecessor(BlockImpl pred)

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

getLastNode, getNodes, getSuccessors

Methods inherited from interface org.plumelib.util.UniqueId

getClassAndUid

Field Detail

type

protected final Block.BlockType type

The type of this basic block.

predecessors

protected final Set<BlockImpl> predecessors

The set of predecessors.

Constructor Detail

BlockImpl

protected BlockImpl(Block.BlockType type)

Create a new BlockImpl.

Parameters:

type - the type of this basic block

Method Detail

getUid

public long getUid(@UnknownInitialization BlockImpl this)

Returns the unique ID of this object.

Specified by:

getUid in interface org.plumelib.util.UniqueId

Returns:

the unique ID of this object

getType

public Block.BlockType getType()

Description copied from interface: Block

Returns the type of this basic block.

Specified by:

getType in interface Block

Returns:

the type of this basic block

getPredecessors

public Set<Block> getPredecessors()

Description copied from interface: Block

Returns the predecessors of this basic block.

Specified by:

getPredecessors in interface Block

Returns:

the predecessors of this basic block

addPredecessor

public void addPredecessor(BlockImpl pred)

removePredecessor

public void removePredecessor(BlockImpl pred)