Package com.ibm.wala.dalvik.ssa
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
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
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 Detail
-
meetLocal
int 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.- 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.
-
-