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
All Methods Instance Methods Abstract Methods 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 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 meetrhs
- The values to meetbb
- 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 localrhs
- The values to meetbb
- The basic block at whose entry this meet occurs- Returns:
- The value of local n after the meet.
-
-