com.ibm.wala.ipa.cfg.exceptionpruning

Class ExceptionMatcher

java.lang.Object

com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionMatcher

public class ExceptionMatcher
extends java.lang.Object

Helper class to check if an exception is part of a set of filtered exceptions.

Method Summary

Modifier and Type	Method and Description
java.util.Set<TypeReference>	getRetainedExceptions()
static boolean	isFiltered(java.util.Collection<TypeReference> thrownExceptions, java.util.Collection<FilteredException> filteredExceptions, ClassHierarchy cha)
static java.util.Set<TypeReference>	retainedExceptions(java.util.Collection<TypeReference> thrownExceptions, java.util.Collection<FilteredException> filteredExceptions, ClassHierarchy cha) Returns all exceptions of thrownExceptions which are not filtered by filteredExceptions

Methods inherited from class java.lang.Object

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

Method Detail

isFiltered

public static boolean isFiltered(java.util.Collection<TypeReference> thrownExceptions,
                                 java.util.Collection<FilteredException> filteredExceptions,
                                 ClassHierarchy cha)

Returns:

true, iff thrownExceptions is part of filteredExceptions

retainedExceptions

public static java.util.Set<TypeReference> retainedExceptions(java.util.Collection<TypeReference> thrownExceptions,
                                                              java.util.Collection<FilteredException> filteredExceptions,
                                                              ClassHierarchy cha)

Returns all exceptions of thrownExceptions which are not filtered by filteredExceptions

Returns:

all exceptions of thrownExceptions which are not filtered by filteredExceptions

getRetainedExceptions

public java.util.Set<TypeReference> getRetainedExceptions()