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 java.lang.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
protected java.util.ArrayDeque<CFGBuilder.TryFrame>	frames

Constructor Summary

Constructors

Constructor and Description
TryStack(CFGBuilder.Label exitLabel)

Method Summary

Modifier and Type	Method and Description
void	popFrame()
java.util.Set<CFGBuilder.Label>	possibleLabels(javax.lang.model.type.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)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

exitLabel

protected CFGBuilder.Label exitLabel

frames

protected java.util.ArrayDeque<CFGBuilder.TryFrame> frames

Constructor Detail

TryStack

public TryStack(CFGBuilder.Label exitLabel)

Method Detail

pushFrame

public void pushFrame(CFGBuilder.TryFrame frame)

popFrame

public void popFrame()

possibleLabels

public java.util.Set<CFGBuilder.Label> possibleLabels(javax.lang.model.type.TypeMirror thrown)

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object