Class ExceptionMatcher

java.lang.Object

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

public class ExceptionMatcher
extends Object

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

Author:

Stephan Gocht <stephan@gobro.de>

Method Summary

Modifier and Type	Method	Description
Set<TypeReference>	getRetainedExceptions()
static boolean	isFiltered(Collection<TypeReference> thrownExceptions, Collection<FilteredException> filteredExceptions, ClassHierarchy cha)
static Set<TypeReference>	retainedExceptions(Collection<TypeReference> thrownExceptions, 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 Details

isFiltered

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

Returns:

true, iff thrownExceptions is part of filteredExceptions

retainedExceptions

public static Set<TypeReference> retainedExceptions(Collection<TypeReference> thrownExceptions,
 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 Set<TypeReference> getRetainedExceptions()