FGThreads¶
-
final class
FGThreads
¶ Class used only by class FlowGraphBuilder. Holds a collection of control flow arrows that reach a same point.
Methods¶
add¶
block¶
concat¶
convergeToBlock¶
convergeToInstr¶
-
protected void
convergeToInstr
(Instruction instruction, TapList<Block> allBlocks, Unit unit, SymbolTable symbolTable, TapList<Instruction> parallelControls, boolean traceOn)¶ Makes all threads flow to a new instruction built for “tree”: Builds a new Block only when necessary (2 incoming threads…) Modifies the contents of the current threads: at the end, current FGThreads is just at the end of the Block that received “tree”.