com.ibm.wala.ipa.cfg.exceptionpruning.filter

Class DummyFilter<Instruction>

java.lang.Object

com.ibm.wala.ipa.cfg.exceptionpruning.filter.DummyFilter<Instruction>

All Implemented Interfaces:

ExceptionFilter<Instruction>

public class DummyFilter<Instruction>
extends java.lang.Object
implements ExceptionFilter<Instruction>

Constructor Summary

Constructors

Constructor and Description
DummyFilter()

Method Summary

Modifier and Type	Method and Description
boolean	alwaysThrowsException(Instruction instruction)
java.util.Collection<FilteredException>	filteredExceptions(Instruction instruction)

Methods inherited from class java.lang.Object

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

Constructor Detail

DummyFilter

public DummyFilter()

Method Detail

alwaysThrowsException

public boolean alwaysThrowsException(Instruction instruction)

Specified by:

alwaysThrowsException in interface ExceptionFilter<Instruction>

Returns:

if the instruction does always throw an exception

filteredExceptions

public java.util.Collection<FilteredException> filteredExceptions(Instruction instruction)

Specified by:

filteredExceptions in interface ExceptionFilter<Instruction>

Returns:

a list of exceptions, which have to be filtered for the given instruction