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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addPredecessor(BlockImpl pred)
java.util.Set<Block>	getPredecessors()	Returns the predecessors of this basic block.
Block.BlockType	getType()	Returns the type of this basic block.
long	getUid()
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 java.util.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)

Specified by:

getUid in interface org.plumelib.util.UniqueId

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 java.util.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)