org.checkerframework.dataflow.cfg

Class CFGBuilder.TryStack

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.TryStack

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryStack
extends Object

An exception stack represents the set of all try-catch blocks in effect at a given point in a program. It maps an exception type to a set of Labels and it maps a block exit (via return or fall-through) to a single Label.

Field Summary

Fields

Modifier and Type	Field and Description
protected CFGBuilder.Label	exitLabel The exit label.
protected ArrayDeque<CFGBuilder.TryFrame>	frames The try frames.

Constructor Summary

Constructors

Constructor and Description
TryStack(CFGBuilder.Label exitLabel) Construct a TryStack.

Method Summary

Modifier and Type	Method and Description
void	popFrame() Pop a frame.
Set<CFGBuilder.Label>	possibleLabels(TypeMirror thrown) Returns the set of possible CFGBuilder.Labels where control may transfer when an exception of the given type is thrown.
void	pushFrame(CFGBuilder.TryFrame frame) Push a new frame.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

exitLabel

protected final CFGBuilder.Label exitLabel

The exit label.

frames

protected final ArrayDeque<CFGBuilder.TryFrame> frames

The try frames.

Constructor Detail

TryStack

public TryStack(CFGBuilder.Label exitLabel)

Construct a TryStack.

Parameters:

exitLabel - exit label

Method Detail

pushFrame

public void pushFrame(CFGBuilder.TryFrame frame)

Push a new frame.

Parameters:

frame - the frame to push

popFrame

public void popFrame()

Pop a frame.

possibleLabels

public Set<CFGBuilder.Label> possibleLabels(TypeMirror thrown)

Returns the set of possible CFGBuilder.Labels where control may transfer when an exception of the given type is thrown.

toString

public String toString()

Overrides:

toString in class Object