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 java.lang.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

Constructor Summary

Constructors

Constructor and Description
TryFinallyFrame(CFGBuilder.Label finallyLabel)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

finallyLabel

protected CFGBuilder.Label finallyLabel

Constructor Detail

TryFinallyFrame

public TryFinallyFrame(CFGBuilder.Label finallyLabel)

Method Detail

possibleLabels

public boolean possibleLabels(javax.lang.model.type.TypeMirror thrown,
                              java.util.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