Package com.ibm.wala.analysis.stackMachine

Interface AbstractIntStackMachine.FlowProvider

All Known Implementing Classes:

AbstractIntStackMachine.BasicStackFlowProvider

Enclosing class:

AbstractIntStackMachine

public static interface AbstractIntStackMachine.FlowProvider

Interface which defines a flow function for a basic block

Method Summary

Modifier and Type	Method	Description
AbstractIntStackMachine.MachineState	flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock basicBlock)	Compute the MachineState at the exit of a basic block, given a MachineState at the block's entry.
AbstractIntStackMachine.MachineState	flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock from, ShrikeCFG.BasicBlock to)	Compute the MachineState at the end of an edge, given a MachineState at the edges's entry.
boolean	needsEdgeFlow()
boolean	needsNodeFlow()

Method Details

needsNodeFlow

boolean needsNodeFlow()

needsEdgeFlow

boolean needsEdgeFlow()

flow

AbstractIntStackMachine.MachineState flow(AbstractIntStackMachine.MachineState entry,
 ShrikeCFG.BasicBlock basicBlock)

Compute the MachineState at the exit of a basic block, given a MachineState at the block's entry.

flow

AbstractIntStackMachine.MachineState flow(AbstractIntStackMachine.MachineState entry,
 ShrikeCFG.BasicBlock from,
 ShrikeCFG.BasicBlock to)

Compute the MachineState at the end of an edge, given a MachineState at the edges's entry.