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

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

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
ArrayOutOfBoundFilter(ArrayOutOfBoundsAnalysis analysis)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Details

ArrayOutOfBoundFilter

public ArrayOutOfBoundFilter(ArrayOutOfBoundsAnalysis analysis)

Method Details

alwaysThrowsException

public boolean alwaysThrowsException(SSAInstruction instruction)

Specified by:

alwaysThrowsException in interface ExceptionFilter<SSAInstruction>

Returns:

if the instruction does always throw an exception

filteredExceptions

public 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