Package com.ibm.wala.ipa.cfg.exceptionpruning

Class ExceptionFilter2EdgeFilter<Block extends ISSABasicBlock>

java.lang.Object

com.ibm.wala.ipa.cfg.exceptionpruning.ExceptionFilter2EdgeFilter<Block>

All Implemented Interfaces:

EdgeFilter<Block>

public class ExceptionFilter2EdgeFilter<Block extends ISSABasicBlock>
extends Object
implements EdgeFilter<Block>

This class converts an exception filter to an edge filter.

Author:

Stephan Gocht <stephan@gobro.de>

Constructor Summary

Constructors

Constructor	Description
ExceptionFilter2EdgeFilter(ExceptionFilter<SSAInstruction> filter, ClassHierarchy cha, ControlFlowGraph<SSAInstruction,Block> cfg)

Method Summary

Modifier and Type	Method	Description
boolean	hasExceptionalEdge(Block src, Block 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(Block src, Block 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

ExceptionFilter2EdgeFilter

public ExceptionFilter2EdgeFilter(ExceptionFilter<SSAInstruction> filter,
 ClassHierarchy cha,
 ControlFlowGraph<SSAInstruction,Block> cfg)

Method Details

hasExceptionalEdge

public boolean hasExceptionalEdge(Block src,
 Block 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<Block extends ISSABasicBlock>

hasNormalEdge

public boolean hasNormalEdge(Block src,
 Block 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<Block extends ISSABasicBlock>