Package 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 Object
implements ExceptionFilter<Instruction>

Constructor Summary

Constructors

Constructor	Description
DummyFilter()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

DummyFilter

public DummyFilter()

Method Details

alwaysThrowsException

public boolean alwaysThrowsException(Instruction instruction)

Specified by:

alwaysThrowsException in interface ExceptionFilter<Instruction>

Returns:

if the instruction does always throw an exception

filteredExceptions

public 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