com.ibm.wala.dalvik.ssa

Interface AbstractIntRegisterMachine.FlowProvider

All Known Implementing Classes:

AbstractIntRegisterMachine.BasicRegisterFlowProvider

Enclosing class:

AbstractIntRegisterMachine

public static interface AbstractIntRegisterMachine.FlowProvider

Interface which defines a flow function for a basic block

Method Summary

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

Method Detail

needsNodeFlow

boolean needsNodeFlow()

needsEdgeFlow

boolean needsEdgeFlow()

flow

AbstractIntRegisterMachine.MachineState flow(AbstractIntRegisterMachine.MachineState entry,
                                             DexCFG.BasicBlock basicBlock)

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

flow

AbstractIntRegisterMachine.MachineState flow(AbstractIntRegisterMachine.MachineState entry,
                                             DexCFG.BasicBlock from,
                                             DexCFG.BasicBlock to)

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