public static interface AbstractIntStackMachine.FlowProvider
Modifier and Type | Method and 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() |
boolean needsNodeFlow()
boolean needsEdgeFlow()
AbstractIntStackMachine.MachineState flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock basicBlock)
AbstractIntStackMachine.MachineState flow(AbstractIntStackMachine.MachineState entry, ShrikeCFG.BasicBlock from, ShrikeCFG.BasicBlock to)