org.checkerframework.dataflow.cfg

Class CFGBuilder.TryFinallyFrame

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyFrame

All Implemented Interfaces:

CFGBuilder.TryFrame

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryFinallyFrame
extends Object
implements CFGBuilder.TryFrame

A TryFinallyFrame applies to exceptions of any type.

Field Summary

Fields

Modifier and Type	Field and Description
protected CFGBuilder.Label	finallyLabel The finally label.

Constructor Summary

Constructors

Constructor and Description
TryFinallyFrame(CFGBuilder.Label finallyLabel) Construct a TryFinallyFrame.

Method Summary

Modifier and Type	Method and Description
boolean	possibleLabels(TypeMirror thrown, Set<CFGBuilder.Label> labels) Given a type of thrown exception, add the set of possible control flow successor CFGBuilder.Labels to the argument set.
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

finallyLabel

protected final CFGBuilder.Label finallyLabel

The finally label.

Constructor Detail

TryFinallyFrame

public TryFinallyFrame(CFGBuilder.Label finallyLabel)

Construct a TryFinallyFrame.

Parameters:

finallyLabel - finally label

Method Detail

toString

public String toString()

Overrides:

toString in class Object

possibleLabels

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

Description copied from interface: CFGBuilder.TryFrame

Given a type of thrown exception, add the set of possible control flow successor CFGBuilder.Labels to the argument set. Return true if the exception is known to be caught by one of those labels and false if it may propagate still further.

Specified by:

possibleLabels in interface CFGBuilder.TryFrame