org.checkerframework.dataflow.cfg.block

Class BlockImpl

java.lang.Object

org.checkerframework.dataflow.cfg.block.BlockImpl

All Implemented Interfaces:

Block

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 long	id A unique ID for this block.
protected static long	lastId The last ID that has already been used.
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)
long	getId() Returns the unique identifier of this block.
Set<Block>	getPredecessors() Returns the predecessors of this basic block.
Block.BlockType	getType() Returns the type of this basic block.
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

Field Detail

id

protected final long id

A unique ID for this block.

lastId

protected static long lastId

The last ID that has already been used.

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

getId

public long getId()

Description copied from interface: Block

Returns the unique identifier of this block.

Specified by:

getId in interface Block

Returns:

the unique identifier of this block

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)