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

Methods

Modifier and Type	Method and 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 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.