Class NullPointerExceptionFilter
java.lang.Object
com.ibm.wala.ipa.cfg.exceptionpruning.filter.NullPointerExceptionFilter
- All Implemented Interfaces:
ExceptionFilter<SSAInstruction>
Adapter for
IntraproceduralNullPointerAnalysis
. This filter is filtering
NullPointerException, which can not occur.- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
alwaysThrowsException
(SSAInstruction instruction) filteredExceptions
(SSAInstruction instruction)
-
Constructor Details
-
NullPointerExceptionFilter
-
-
Method Details
-
alwaysThrowsException
- Specified by:
alwaysThrowsException
in interfaceExceptionFilter<SSAInstruction>
- Returns:
- if the instruction does always throw an exception
-
filteredExceptions
- Specified by:
filteredExceptions
in interfaceExceptionFilter<SSAInstruction>
- Returns:
- a list of exceptions, which have to be filtered for the given instruction
-