Package 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
All Methods Instance Methods Abstract Methods Modifier and Type Method 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.
-
-