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.
Author:
Juergen Graf <graf@kit.edu>

  • Constructor Summary

    Constructors
    Constructor
    Description
    NegativeGraphFilter(Graph<T> deleted)
     

  • Method Summary

    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.

    Methods inherited from class java.lang.Object

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

  • Constructor Details

    • NegativeGraphFilter

      public NegativeGraphFilter(Graph<T> deleted)

  • Method Details

    • 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 interface EdgeFilter<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 interface EdgeFilter<T extends IBasicBlock<?>>