Package com.ibm.wala.dalvik.ssa

Interface AbstractIntRegisterMachine.Meeter

Enclosing class:
AbstractIntRegisterMachine
protected static interface AbstractIntRegisterMachine.Meeter
A Meeter object provides the dataflow logic needed to meet the abstract machine state for a dataflow meet.

  • Method Summary

    Modifier and Type
    Method
    Description
    int
    meetLocal(int n, int[] rhs, DexCFG.BasicBlock bb)
    Return the integer that represents the meet of a particular local at the entry to a basic block.

  • Method Details

    • meetLocal

      int meetLocal(int n, int[] rhs, DexCFG.BasicBlock bb)
      Return the integer that represents the meet of a particular local at the entry to a basic block.
      Parameters:
      n - The number of the local
      rhs - The values to meet
      bb - The basic block at whose entry this meet occurs
      Returns:
      The value of local n after the meet.