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

Class ArrayOutOfBoundFilter

java.lang.Object

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

All Implemented Interfaces:

ExceptionFilter<SSAInstruction>

public class ArrayOutOfBoundFilter
extends java.lang.Object
implements ExceptionFilter<SSAInstruction>

Adapter for using ArrayOutOfBoundsAnalysis. This filter is filtering ArrayOutOfBoundException, which can not occur.

Constructor Summary

Constructors

Constructor and Description
ArrayOutOfBoundFilter(ArrayOutOfBoundsAnalysis analysis)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ArrayOutOfBoundFilter

public ArrayOutOfBoundFilter(ArrayOutOfBoundsAnalysis analysis)

Method Detail

alwaysThrowsException

public boolean alwaysThrowsException(SSAInstruction instruction)

Specified by:

alwaysThrowsException in interface ExceptionFilter<SSAInstruction>

Returns:

if the instruction does always throw an exception

filteredExceptions

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

Specified by:

filteredExceptions in interface ExceptionFilter<SSAInstruction>

Returns:

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