Package com.ibm.wala.cfg.exc.intra
Class NegativeGraphFilter<T extends IBasicBlock<?>>
- java.lang.Object
-
- com.ibm.wala.cfg.exc.intra.NegativeGraphFilter<T>
-
- All Implemented Interfaces:
EdgeFilter<T>
public class NegativeGraphFilter<T extends IBasicBlock<?>> extends Object implements EdgeFilter<T>
An EdgeFilter that ignores all edges contained in a given graph. This ca be used to subtract a subgraph from its main graph.
-
-
Constructor Summary
Constructors Constructor Description NegativeGraphFilter(Graph<T> deleted)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasExceptionalEdge(T src, T 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(T src, T 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.
-
-
-
Method Detail
-
hasExceptionalEdge
public boolean hasExceptionalEdge(T src, T 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 interfaceEdgeFilter<T extends IBasicBlock<?>>
-
hasNormalEdge
public boolean hasNormalEdge(T src, T 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 interfaceEdgeFilter<T extends IBasicBlock<?>>
-
-