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
All Methods Instance Methods Abstract Methods 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 Detail
-
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.
-
-