org.checkerframework.dataflow.cfg

Class CFGBuilder.NodeWithExceptionsHolder

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder

Enclosing class:

CFGBuilder

protected static class CFGBuilder.NodeWithExceptionsHolder
extends CFGBuilder.ExtendedNode

An extended node of type EXCEPTION_NODE.

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

CFGBuilder.ExtendedNode.ExtendedNodeType

Field Summary

Fields

Modifier and Type	Field and Description
protected Map<TypeMirror,Set<CFGBuilder.Label>>	exceptions Map from exception type to labels of successors that may be reached as a result of that exception.
protected Node	node The node to hold.

Fields inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

block, terminatesExecution, type

Constructor Summary

Constructors

Constructor and Description
NodeWithExceptionsHolder(Node node, Map<TypeMirror,Set<CFGBuilder.Label>> exceptions) Construct a NodeWithExceptionsHolder for the given node and exceptions.

Method Summary

Modifier and Type	Method and Description
Map<TypeMirror,Set<CFGBuilder.Label>>	getExceptions() Get the exceptions for the node.
Node	getNode() Returns the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE).
String	toString()

Methods inherited from class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode

getBlock, getLabel, getTerminatesExecution, getType, setBlock, setTerminatesExecution

Methods inherited from class java.lang.Object

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

Field Detail

node

protected final Node node

The node to hold.

exceptions

protected final Map<TypeMirror,Set<CFGBuilder.Label>> exceptions

Map from exception type to labels of successors that may be reached as a result of that exception.

Constructor Detail

NodeWithExceptionsHolder

public NodeWithExceptionsHolder(Node node,
                                Map<TypeMirror,Set<CFGBuilder.Label>> exceptions)

Construct a NodeWithExceptionsHolder for the given node and exceptions.

Parameters:

node - the node to hold

exceptions - the exceptions to hold

Method Detail

getExceptions

public Map<TypeMirror,Set<CFGBuilder.Label>> getExceptions()

Get the exceptions for the node.

Returns:

exceptions for the node

getNode

public Node getNode()

Description copied from class: CFGBuilder.ExtendedNode

Returns the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE).

Overrides:

getNode in class CFGBuilder.ExtendedNode

Returns:

the node contained in this extended node (only applicable if the type is NODE or EXCEPTION_NODE)

toString

public String toString()

Overrides:

toString in class CFGBuilder.ExtendedNode