org.checkerframework.dataflow.cfg

Interface CFGBuilder.TryFrame

All Known Implementing Classes:

CFGBuilder.TryCatchFrame, CFGBuilder.TryFinallyFrame

Enclosing class:

CFGBuilder

protected static interface CFGBuilder.TryFrame

A TryFrame takes a thrown exception type and maps it to a set of possible control-flow successors.

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.

Method Detail

possibleLabels

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. Return true if the exception is known to be caught by one of those labels and false if it may propagate still further.