com.ibm.wala.analysis.stackMachine
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

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 meet

rhs - The values to meet

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