protected static interface AbstractIntStackMachine.Meeter
Modifier and Type | Method and 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.
|
int meetStack(int slot, int[] rhs, ShrikeCFG.BasicBlock bb)
slot
- The stack slot to meetrhs
- The values to meetbb
- The basic block at whose entry this meet occursint meetStackAtCatchBlock(ShrikeCFG.BasicBlock bb)
bb
- The basic block at whose entry this meet occursint meetLocal(int n, int[] rhs, ShrikeCFG.BasicBlock bb)
n
- The number of the localrhs
- The values to meetbb
- The basic block at whose entry this meet occurs