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 Detail

      • 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.