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 TypeMethodDescriptionflow
(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 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
boolean
-
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.
-