Class VectorGenFlowFunction

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

public class VectorGenFlowFunction extends Object implements IReversibleFlowFunction
A function which gens a vector of outgoing 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 VectorGenFlowFunction make(IntSet gen)
      Parameters:
      gen - the intset of facts which should be gen'ed by a function
      Returns:
      an instance of a flow function which gens these facts
    • toString

      public String toString()
      Overrides:
      toString in class Object