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 java.lang.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 node.
protected static long	lastId The last ID that has already been used.
protected java.util.Set<BlockImpl>	predecessors The set of predecessors.
protected Block.BlockType	type The type of this basic block.

Constructor Summary

Constructors

Constructor and Description
BlockImpl(Block.BlockType type)

Method Summary

Modifier and Type	Method and Description
void	addPredecessor(BlockImpl pred)
long	getId()
java.util.Set<BlockImpl>	getPredecessors()
Block.BlockType	getType()
void	removePredecessor(BlockImpl pred)

Methods inherited from class java.lang.Object

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

Field Detail

id

protected final long id

A unique ID for this node.

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 java.util.Set<BlockImpl> predecessors

The set of predecessors.

Constructor Detail

BlockImpl

public BlockImpl(Block.BlockType type)

Method Detail

getId

public long getId()

Specified by:

getId in interface Block

Returns:

the unique identifier of this block

getType

public Block.BlockType getType()

Specified by:

getType in interface Block

Returns:

the type of this basic block

getPredecessors

public java.util.Set<BlockImpl> getPredecessors()

Returns:

the list of predecessors of this basic block

addPredecessor

public void addPredecessor(BlockImpl pred)

removePredecessor

public void removePredecessor(BlockImpl pred)