Class VectorKillFlowFunction

java.lang.Object
com.ibm.wala.dataflow.IFDS.VectorKillFlowFunction
All Implemented Interfaces:
IFlowFunction, IReversibleFlowFunction, IUnaryFlowFunction

public class VectorKillFlowFunction extends Object implements IReversibleFlowFunction
A function which kills a vector of incoming dataflow facts
  • Method Details

    • getTargets

      public IntSet getTargets(int i)
      Specified by:
      getTargets in interface IUnaryFlowFunction
      Returns:
      set of d2 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none
    • getSources

      public IntSet getSources(int i)
      Specified by:
      getSources in interface IReversibleFlowFunction
      Returns:
      set of d1 such that (d1,d2) is an edge in this distributive function's graph representation, or null if there are none
    • make

      public static VectorKillFlowFunction make(IntSet kill)
      Parameters:
      kill - the intset of facts which should be killed by a function
      Returns:
      an instance of a flow function which kills these facts
    • toString

      public String toString()
      Overrides:
      toString in class Object