A plain vertex in the ControlFlowGraph. Please use CfgSimpleVertex to refer to all potential vertex types within the graph.

interface CfgStatementVertex {
    callTargets?: Set<NodeId>;
    children?: NodeId[];
    end?: NodeId[];
    id: NodeId;
    mid?: NodeId[];
    type: Statement;
    [key: string]: unknown;
}

Hierarchy (View Summary)

Indexable

  • [key: string]: unknown

Hierarchy-Diagram

UML class diagram of CfgStatementVertex

Properties

callTargets?: Set<NodeId>

if the vertex calls a function, this links all targets of this call

children?: NodeId[]

child nodes attached to this one

end?: NodeId[]

end-markers linked to this statement

id: NodeId

the id of the vertex, for non-blocks this should directly relate to the AST node

mid?: NodeId[]

mid-markers linked to this statement

type: Statement

the type of the vertex