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