com.ibm.wala.ipa.cfg.exceptionpruning

Interface ExceptionFilter<Instruction>

All Known Implementing Classes:

ArrayOutOfBoundFilter, CombinedExceptionFilter, DummyFilter, IgnoreExceptionsFilter, NullPointerExceptionFilter

public interface ExceptionFilter<Instruction>

To filter exceptions you can implement this interface and use it in combination with ExceptionFilter2EdgeFilter. For more Details see package-info.

Method Summary

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

Method Detail

alwaysThrowsException

boolean alwaysThrowsException(Instruction instruction)

Returns:

if the instruction does always throw an exception

filteredExceptions

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

Returns:

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