org.checkerframework.dataflow.cfg

Class CFGBuilder.TryCatchFrame

java.lang.Object

org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame

All Implemented Interfaces:

CFGBuilder.TryFrame

Enclosing class:

CFGBuilder

protected static class CFGBuilder.TryCatchFrame
extends java.lang.Object
implements CFGBuilder.TryFrame

A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with specific types.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<Pair<javax.lang.model.type.TypeMirror,CFGBuilder.Label>>	catchLabels An ordered list of pairs because catch blocks are ordered.
protected javax.lang.model.util.Types	types

Constructor Summary

Constructors

Constructor and Description
TryCatchFrame(javax.lang.model.util.Types types, java.util.List<Pair<javax.lang.model.type.TypeMirror,CFGBuilder.Label>> catchLabels)

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

types

protected javax.lang.model.util.Types types

catchLabels

protected java.util.List<Pair<javax.lang.model.type.TypeMirror,CFGBuilder.Label>> catchLabels

An ordered list of pairs because catch blocks are ordered.

Constructor Detail

TryCatchFrame

public TryCatchFrame(javax.lang.model.util.Types types,
                     java.util.List<Pair<javax.lang.model.type.TypeMirror,CFGBuilder.Label>> catchLabels)

Method Detail

possibleLabels

public 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.

Specified by:

possibleLabels in interface CFGBuilder.TryFrame