Package com.ibm.wala.analysis.exceptionanalysis

Class ExceptionAnalysis2EdgeFilter

java.lang.Object

com.ibm.wala.analysis.exceptionanalysis.ExceptionAnalysis2EdgeFilter

All Implemented Interfaces:

EdgeFilter<ISSABasicBlock>

public class ExceptionAnalysis2EdgeFilter
extends Object
implements EdgeFilter<ISSABasicBlock>

Converter to use the results of the exception analysis with an edge filter.

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
ExceptionAnalysis2EdgeFilter(ExceptionAnalysis analysis, CGNode node)

Method Summary

Modifier and Type	Method	Description
boolean	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.

Methods inherited from class java.lang.Object

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

Constructor Details

ExceptionAnalysis2EdgeFilter

public ExceptionAnalysis2EdgeFilter(ExceptionAnalysis analysis,
 CGNode node)

Method Details

hasNormalEdge

public boolean hasNormalEdge(ISSABasicBlock src,
 ISSABasicBlock dst)

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 interface EdgeFilter<ISSABasicBlock>

hasExceptionalEdge

public boolean hasExceptionalEdge(ISSABasicBlock src,
 ISSABasicBlock dst)

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 interface EdgeFilter<ISSABasicBlock>