type: the type of the vertex, either a statement or an expression
id: the id of the vertex, which directly relates to the AST node and to the vertex of the same id in the DataflowGraph
children: child nodes attached to this one
callTargets: if the vertex calls a function, this links all targets of this call
The control flow is modeled in post-order: a construct's own vertex is where its operands join again,
which is why there are no separate marker vertices to close an if or a loop.
A vertex in the ControlFlowGraph.
type: the type of the vertex, either a statement or an expressionid: the id of the vertex, which directly relates to the AST node and to the vertex of the same id in the DataflowGraphchildren: child nodes attached to this onecallTargets: if the vertex calls a function, this links all targets of this callThe control flow is modeled in post-order: a construct's own vertex is where its operands join again, which is why there are no separate marker vertices to close an
ifor a loop.