Interface IMergeFunction

public interface IMergeFunction
Special case: if supportsMerge(), then the problem is not really IFDS anymore. (TODO: rename it?). Instead, we perform a merge operation before propagating at every program point. This way, we can implement standard interprocedural dataflow and ESP-style property simulation, and various other things.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    merge(IntSet x, int j)
     

  • Method Details

    • merge

      int merge(IntSet x, int j)
      Parameters:
      x - set of factoid numbers that previously have been established to hold at a program point
      j - a new factoid number which has been discovered to hold at a program point
      Returns:
      the factoid number z which should actually be propagated, based on a merge of the new fact j into the old state represented by x. return -1 if no fact should be propagated.