Interface CfgBasicBlockVertex

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

interface CfgBasicBlockVertex {
    callTargets?: Set<NodeId>;
    children?: NodeId[];
    elems: readonly (
        | CfgStatementVertex
        | CfgExpressionVertex
        | CfgMidMarkerVertex
        | CfgEndMarkerVertex
    )[];
    id: NodeId;
    type: Block;
    [key: string]: unknown;
}

Hierarchy (View Summary)

CfgBaseVertex
- CfgBasicBlockVertex

Indexable

[key: string]: unknown

Hierarchy-Diagram

UML class diagram of CfgBasicBlockVertex

Index

Properties

callTargets? children? elems id type

Properties

`Optional`callTargets

callTargets?: Set<NodeId>

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

`Optional`children

children?: NodeId[]

child nodes attached to this one

elems

elems: readonly (
    | CfgStatementVertex
    | CfgExpressionVertex
    | CfgMidMarkerVertex
    | CfgEndMarkerVertex
)[]

The vertices that are part of this block, only connected by FDs, vertices should never occur in multiple bbs

id

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

type

type: Block

the type of the vertex