org.checkerframework.dataflow.cfg.block

Class ExceptionBlockImpl

java.lang.Object

org.checkerframework.dataflow.cfg.block.BlockImpl

org.checkerframework.dataflow.cfg.block.SingleSuccessorBlockImpl

org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl

All Implemented Interfaces:

Block, ExceptionBlock, SingleSuccessorBlock

public class ExceptionBlockImpl
extends SingleSuccessorBlockImpl
implements ExceptionBlock

Base class of the Block implementation hierarchy.

Author:

Stefan Heule

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 java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>>	exceptionalSuccessors Set of exceptional successors.
protected Node	node The node of this block.

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

flowRule, successor

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

id, lastId, predecessors, type

Constructor Summary

Constructors

Constructor and Description
ExceptionBlockImpl()

Method Summary

Modifier and Type	Method and Description
void	addExceptionalSuccessor(BlockImpl b, javax.lang.model.type.TypeMirror cause) Add an exceptional successor.
java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>>	getExceptionalSuccessors()
Node	getNode()
void	setNode(Node c) Set the node.
java.lang.String	toString()

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

getFlowRule, getSuccessor, setFlowRule, setSuccessor

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

addPredecessor, getId, getPredecessors, getType, 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.SingleSuccessorBlock

getFlowRule, getSuccessor, setFlowRule

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

getId, getType

Field Detail

exceptionalSuccessors

protected java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>> exceptionalSuccessors

Set of exceptional successors.

node

protected Node node

The node of this block.

Constructor Detail

ExceptionBlockImpl

public ExceptionBlockImpl()

Method Detail

setNode

public void setNode(Node c)

Set the node.

getNode

public Node getNode()

Specified by:

getNode in interface ExceptionBlock

Returns:

the node of this block

addExceptionalSuccessor

public void addExceptionalSuccessor(BlockImpl b,
                                    javax.lang.model.type.TypeMirror cause)

Add an exceptional successor.

getExceptionalSuccessors

public java.util.Map<javax.lang.model.type.TypeMirror,java.util.Set<Block>> getExceptionalSuccessors()

Specified by:

getExceptionalSuccessors in interface ExceptionBlock

Returns:

the list of exceptional successor blocks as an unmodifiable map

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object