Interface AbstractIntStackMachine.Meeter

Enclosing class:
AbstractIntStackMachine
protected static interface AbstractIntStackMachine.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, ShrikeCFG.BasicBlock bb)
    Return the integer that represents the meet of a particular local at the entry to a basic block.
    int
    meetStack(int slot, int[] rhs, ShrikeCFG.BasicBlock bb)
    Return the integer that represents the meet of a particular stack slot at the entry to a basic block.
    int
    meetStackAtCatchBlock(ShrikeCFG.BasicBlock bb)
    Return the integer that represents stack slot 0 after a meet at the entry to a catch block.

  • Method Details

    • meetStack

      int meetStack(int slot, int[] rhs, ShrikeCFG.BasicBlock bb)
      Return the integer that represents the meet of a particular stack slot at the entry to a basic block.
      Parameters:
      slot - The stack slot to meet
      rhs - The values to meet
      bb - The basic block at whose entry this meet occurs
      Returns:
      The value result of the meet

    • meetStackAtCatchBlock

      int meetStackAtCatchBlock(ShrikeCFG.BasicBlock bb)
      Return the integer that represents stack slot 0 after a meet at the entry to a catch block.
      Parameters:
      bb - The basic block at whose entry this meet occurs
      Returns:
      The value of stack slot 0 after the meet

    • meetLocal

      int meetLocal(int n, int[] rhs, ShrikeCFG.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.