Class ExceptionAnalysis2EdgeFilter
java.lang.Object
com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis2EdgeFilter
- All Implemented Interfaces:
EdgeFilter<ISSABasicBlock>
Converter to use the results of the exception analysis with an edge filter.
- Author:
- Stephan Gocht
<stephan@gobro.de>
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
hasExceptionalEdge
(ISSABasicBlock src, ISSABasicBlock dst) This method must return true if and only if an exceptional edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG.boolean
hasNormalEdge
(ISSABasicBlock src, ISSABasicBlock dst) This method must return true if and only if a normal edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG.
-
Constructor Details
-
ExceptionAnalysis2EdgeFilter
-
-
Method Details
-
hasNormalEdge
Description copied from interface:EdgeFilter
This method must return true if and only if a normal edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG. Note that this must _must_ return false for any normal edge that is not in the original CFG.- Specified by:
hasNormalEdge
in interfaceEdgeFilter<ISSABasicBlock>
-
hasExceptionalEdge
Description copied from interface:EdgeFilter
This method must return true if and only if an exceptional edge from src to dst exists in the original CFG and should be kept for the pruned version of that CFG. Note that this must _must_ return false for any exceptional edge that is not in the original CFG.- Specified by:
hasExceptionalEdge
in interfaceEdgeFilter<ISSABasicBlock>
-