Variable CfgVertex

CfgVertex: {
    equal(this: void, a: CfgVertex, b: CfgVertex): boolean;
    fromExitId(this: void, exitId: NodeId): NodeId;
    getBasicBlockElements(
        this: void,
        vertex: CfgBasicBlockVertex,
    ): readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[];
    getCallTargets(
        this: void,
        vertex: CfgVertex | undefined,
    ): Set<NodeId> | undefined;
    getChildren(
        this: void,
        vertex: CfgVertex | undefined,
    ): NodeId[] | undefined;
    getEnd(this: void, vertex: CfgVertex | undefined): NodeId[] | undefined;
    getId<T extends CfgVertex | undefined>(
        this: void,
        vertex: T,
    ): T extends undefined ? NodeId | undefined : NodeId;
    getMid(this: void, vertex: CfgVertex): NodeId[] | undefined;
    getRootId(this: void, vertex: CfgVertex): NodeId;
    getType(this: void, vertex: CfgVertex): CfgVertexType;
    isBlock(
        this: void,
        vertex: CfgVertex | undefined,
    ): vertex is CfgBasicBlockVertex;
    isExpression(
        this: void,
        vertex: CfgVertex | undefined,
    ): vertex is CfgExpressionVertex;
    isMarker(
        this: void,
        vertex: CfgVertex | undefined,
    ): vertex is CfgMarkerVertex;
    isStatement(
        this: void,
        vertex: CfgVertex | undefined,
    ): vertex is CfgStatementVertex;
    makeBlock(
        this: void,
        id: NodeId,
        elems: readonly (
            CfgStatementVertex
            | CfgExpressionVertex
            | CfgMarkerVertex
        )[],
    ): CfgBasicBlockVertex;
    makeExitMarker(this: void, id: NodeId): CfgMarkerVertex;
    makeExpression(
        this: void,
        id: NodeId,
        children?: {
            callTargets?: Set<NodeId>;
            children?: NodeId[];
            end?: NodeId[];
            mid?: NodeId[];
        },
    ): CfgExpressionVertex;
    makeExpressionWithEnd(
        this: void,
        id: NodeId,
        children?: {
            callTargets?: Set<NodeId>;
            children?: NodeId[];
            mid?: NodeId[];
        },
    ): CfgExpressionVertex;
    makeExprOrStm(
        this: void,
        id: NodeId,
        type: Statement | Expression,
        __namedParameters?: {
            callTargets?: Set<NodeId>;
            children?: NodeId[];
            end?: NodeId[];
            mid?: NodeId[];
        },
    ): CfgStatementVertex
    | CfgExpressionVertex;
    makeMarker(this: void, id: NodeId, rootId: NodeId): CfgMarkerVertex;
    makeStatement(
        this: void,
        id: NodeId,
        children?: {
            callTargets?: Set<NodeId>;
            children?: NodeId[];
            end?: NodeId[];
            mid?: NodeId[];
        },
    ): CfgStatementVertex;
    makeStatementWithEnd(
        this: void,
        id: NodeId,
        children?: {
            callTargets?: Set<NodeId>;
            children?: NodeId[];
            mid?: NodeId[];
        },
    ): CfgStatementVertex;
    mapCallTargets(
        this: void,
        vertex: CfgStatementVertex | CfgExpressionVertex,
        mapFn: (targets: Set<NodeId> | undefined) => Set<NodeId>,
    ): void;
    setBasicBlockElements(
        this: void,
        vertex: CfgBasicBlockVertex,
        elems: readonly (
            CfgStatementVertex
            | CfgExpressionVertex
            | CfgMarkerVertex
        )[],
    ): void;
    setCallTargets(
        this: void,
        vertex: CfgStatementVertex | CfgExpressionVertex,
        callTargets: Set<NodeId>,
    ): void;
    setEnd(
        this: void,
        vertex: CfgStatementVertex | CfgExpressionVertex,
        endMarkers: NodeId[] | undefined,
    ): void;
    setMid(
        this: void,
        vertex: CfgStatementVertex | CfgExpressionVertex,
        midMarkers: NodeId[] | undefined,
    ): void;
    toBasicBlockId<Id extends NodeId>(this: void, id: Id): `bb-${Id}`;
    toExitId<Id extends NodeId>(this: void, id: Id): `${Id}-e`;
    typeToString(this: void, type: CfgVertexType): string;
    unpackRootId(this: void, vertex: CfgMarkerVertex): NodeId;
}

Helper object for CfgVertex - a vertex in the ControlFlowGraph that may have markers attached to it (e.g., for function calls).

Type Declaration

equal: function
- equal(this: void, a: CfgVertex, b: CfgVertex): boolean
  Check whether two vertices are equal, i.e., they have the same type, id, and if they are basic block vertices, they also have the same elements in the same order.
  Parameters
  - this: void
  - a: CfgVertex
  - b: CfgVertex
  Returns boolean
  - Defined in src/control-flow/control-flow-graph.ts:267
fromExitId: function
- fromExitId(this: void, exitId: NodeId): NodeId
  Converts the given id from a canonical end marker lift to the original id (i.e., it removes '-end' as a suffix if it is present).
  Parameters
  - this: void
  - exitId: NodeId
  Returns NodeId
  See
  CfgVertex#toExitId|toExitId() - for a way to convert the given id to a canonical end marker lift (i.e., it adds '-end' as a suffix)
  - Defined in src/control-flow/control-flow-graph.ts:375
getBasicBlockElements: function
- getBasicBlockElements(
  this: void,
  vertex: CfgBasicBlockVertex,
  ): readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[]
  Get the elements of a basic block vertex, i.e., the vertices that are part of this block, only connected by FDs, vertices should never occur in multiple bbs.
  Parameters
  - this: void
  - vertex: CfgBasicBlockVertex
  Returns readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[]
  See
  
  CfgVertex#isBlock|isBlock() - for a way to check whether a vertex is a basic block vertex before trying to get the elements
  
  CfgVertex#setBasicBlockElements|setBasicBlockElements() - for a way to set the elements of a basic block vertex
  - Defined in src/control-flow/control-flow-graph.ts:301
getCallTargets: function
- getCallTargets(
  this: void,
  vertex: CfgVertex | undefined,
  ): Set<NodeId> | undefined
  Get the call targets of a statement or expression vertex, which links all targets of this call.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns Set<NodeId> | undefined
  - Defined in src/control-flow/control-flow-graph.ts:385
getChildren: function
- getChildren(this: void, vertex: CfgVertex | undefined): NodeId[] | undefined
  Get the children of a statement or expression vertex, i.e., the child nodes attached to this one.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns NodeId[] | undefined
  - Defined in src/control-flow/control-flow-graph.ts:417
getEnd: function
- getEnd(this: void, vertex: CfgVertex | undefined): NodeId[] | undefined
  Get the ids of the mid-markers attached to this vertex, which should directly relate to the AST nodes of the mid markers.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns NodeId[] | undefined
  See
  
  CfgVertex#getMid|getMid() - for a way to get the ids of the mid-markers attached to this vertex
  
  CfgVertex#setEnd|setEnd() - for a way to set the ids of the end-markers attached to this vertex
  - Defined in src/control-flow/control-flow-graph.ts:318
getId: function
- getId<T extends CfgVertex | undefined>(
  this: void,
  vertex: T,
  ): T extends undefined ? NodeId | undefined : NodeId
  Get the id of the given vertex, which should directly relate to the AST node.
  Type Parameters
  - T extends CfgVertex | undefined
  Parameters
  - this: void
  - vertex: T
  Returns T extends undefined ? NodeId | undefined : NodeId
  Example
  const vertex: CfgVertex = CfgVertex.makeExpr('node-1') console.log(CfgVertex.getId(vertex)); // Output: 'node-1'
  See
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex
  
  CfgVertex#getRootId|getRootId() - for a way to get the root id of a vertex
  - Defined in src/control-flow/control-flow-graph.ts:261
getMid: function
- getMid(this: void, vertex: CfgVertex): NodeId[] | undefined
  Get the ids of the mid-markers attached to this vertex, which should directly relate to the AST nodes of the mid markers.
  Parameters
  - this: void
  - vertex: CfgVertex
  Returns NodeId[] | undefined
  - Defined in src/control-flow/control-flow-graph.ts:339
getRootId: function
- getRootId(this: void, vertex: CfgVertex): NodeId
  Get the root id of a vertex, i.e., the id of the AST node it corresponds to. For normal vertices, this is the same as the id of the vertex itself, for end marker vertices, this is the root id stored in the vertex.
  Parameters
  - this: void
  - vertex: CfgVertex
  Returns NodeId
  See
  CfgVertex#unpackRoot|unpackRoot() - for a way to unpack the root id of a marker vertex
  - Defined in src/control-flow/control-flow-graph.ts:286
getType: function
- getType(this: void, vertex: CfgVertex): CfgVertexType
  Get the type of the given vertex.
  Parameters
  - this: void
  - vertex: CfgVertex
  Returns CfgVertexType
  Example
  const vertex: CfgVertex = CfgVertex.makeExpr('node-1') console.log(CfgVertex.getType(vertex)); // Output: CfgVertexType.Expression
  See
  
  CfgVertex#isExpression|isExpression(), CfgVertex#isStatement|isStatement(), CfgVertex#isMarker|isMarker(), CfgVertex#isBlock|isBlock() - for ways to check the type of a vertex against a specific type instead of getting the type and checking it against a specific type
  
  CfgVertex#getId|getId() - for a way to get the id of a vertex
  
  CfgVertex#typeToString|typeToString() - for a way to convert the type of a vertex to a string for easier debugging and visualization
  - Defined in src/control-flow/control-flow-graph.ts:229
isBlock: function
- isBlock(
  this: void,
  vertex: CfgVertex | undefined,
  ): vertex is CfgBasicBlockVertex
  Check whether the given vertex is a basic block vertex.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns vertex is CfgBasicBlockVertex
  See
  
  CfgVertex#makeBlock|makeBlock() - for a way to create basic block vertices
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex instead of checking against a given type
  - Defined in src/control-flow/control-flow-graph.ts:215
isExpression: function
- isExpression(
  this: void,
  vertex: CfgVertex | undefined,
  ): vertex is CfgExpressionVertex
  Check whether the given vertex is an expression vertex.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns vertex is CfgExpressionVertex
  See
  
  CfgVertex#makeExpression|makeExpression() - for a way to create expression vertices
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex instead of checking against a given type
  - Defined in src/control-flow/control-flow-graph.ts:191
isMarker: function
- isMarker(this: void, vertex: CfgVertex | undefined): vertex is CfgMarkerVertex
  Check whether the given vertex is an end marker vertex.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns vertex is CfgMarkerVertex
  See
  
  CfgVertex#makeMarker|makeMarker() - for a way to create end marker vertices
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex instead of checking against a given type
  - Defined in src/control-flow/control-flow-graph.ts:207
isStatement: function
- isStatement(
  this: void,
  vertex: CfgVertex | undefined,
  ): vertex is CfgStatementVertex
  Check whether the given vertex is a statement vertex.
  Parameters
  - this: void
  - vertex: CfgVertex | undefined
  Returns vertex is CfgStatementVertex
  See
  
  CfgVertex#makeStatement|makeStatement() - for a way to create statement vertices
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex instead of checking against a given type
  - Defined in src/control-flow/control-flow-graph.ts:199
makeBlock: function
- makeBlock(
      this: void,
      id: NodeId,
      elems: readonly (
          CfgStatementVertex
          | CfgExpressionVertex
          | CfgMarkerVertex
      )[],
  ): CfgBasicBlockVertex
  Create a new basic block vertex with the given id, elements, children, and call targets.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - elems: readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[]
    the vertices that are part of this block, only connected by FDs, vertices should never occur in multiple bbs
  Returns CfgBasicBlockVertex
  See
  CfgVertex#isBlock|isBlock() - for a way to check whether a vertex is a basic block vertex
  - Defined in src/control-flow/control-flow-graph.ts:183
makeExitMarker: function
- makeExitMarker(this: void, id: NodeId): CfgMarkerVertex
  A convenience function to create a new marker vertex with a canonical id (CfgVertex#toExitId|toExitId()) based on the given id and the given id as root id.
  Parameters
  - this: void
  - id: NodeId
  Returns CfgMarkerVertex
  See
  CfgVertex#makeMarker|makeMarker() - for a way to create end marker vertices with a custom id
  - Defined in src/control-flow/control-flow-graph.ts:174
makeExpression: function
- makeExpression(
      this: void,
      id: NodeId,
      children?: {
          callTargets?: Set<NodeId>;
          children?: NodeId[];
          end?: NodeId[];
          mid?: NodeId[];
      },
  ): CfgExpressionVertex
  Create a new expression vertex with the given id, children, call targets, and markers.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - children: {
        callTargets?: Set<NodeId>;
        children?: NodeId[];
        end?: NodeId[];
        mid?: NodeId[];
    } = {}
    child nodes attached to this one
  Returns CfgExpressionVertex
  See
  CfgVertex#isExpression|isExpression() - for a way to check whether a vertex is an expression vertex
  - Defined in src/control-flow/control-flow-graph.ts:87
makeExpressionWithEnd: function
- makeExpressionWithEnd(
      this: void,
      id: NodeId,
      children?: {
          callTargets?: Set<NodeId>;
          children?: NodeId[];
          mid?: NodeId[];
      },
  ): CfgExpressionVertex
  A convenience function to create a new expression vertex with a canonical end marker (CfgVertex#toExitId|toExitId()) based on the given id and the given id as root id for the end marker.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - children: { callTargets?: Set<NodeId>; children?: NodeId[]; mid?: NodeId[] } = {}
    child nodes attached to this one
  Returns CfgExpressionVertex
  See
  
  CfgVertex#makeExpression|makeExpression() - for a way to create expression vertices with a custom end marker
  
  CfgVertex#makeExitMarker|makeExitMarker() - for a helper function to create end marker vertices with a canonical id#
  
  CfgVertex#toExitId|toExitId() - for a way to convert the given id to a canonical end marker id
  - Defined in src/control-flow/control-flow-graph.ts:107
makeExprOrStm: function
- makeExprOrStm(
      this: void,
      id: NodeId,
      type: Statement | Expression,
      __namedParameters?: {
          callTargets?: Set<NodeId>;
          children?: NodeId[];
          end?: NodeId[];
          mid?: NodeId[];
      },
  ): CfgStatementVertex
  | CfgExpressionVertex
  A convenience function to create a new vertex which is either a statement or an expression.
  Parameters
  - this: void
  - id: NodeId
  - type: Statement | Expression
  - __namedParameters: {
        callTargets?: Set<NodeId>;
        children?: NodeId[];
        end?: NodeId[];
        mid?: NodeId[];
    } = {}
  Returns CfgStatementVertex | CfgExpressionVertex
  - Defined in src/control-flow/control-flow-graph.ts:145
makeMarker: function
- makeMarker(this: void, id: NodeId, rootId: NodeId): CfgMarkerVertex
  Create a new marker vertex with the given id, root id, children, and call targets.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - rootId: NodeId
    the id of the AST node this end marker corresponds to
  Returns CfgMarkerVertex
  See
  
  CfgVertex#isMarker|isMarker() - for a way to check whether a vertex is an end marker vertex
  
  CfgVertex#getRootId|getRootId() - for a way to get the root id of an end marker vertex
  
  CfgVertex#makeExitMarker|makeExitMarker() - for a helper function to create end marker vertices with a canonical id
  - Defined in src/control-flow/control-flow-graph.ts:163
makeStatement: function
- makeStatement(
      this: void,
      id: NodeId,
      children?: {
          callTargets?: Set<NodeId>;
          children?: NodeId[];
          end?: NodeId[];
          mid?: NodeId[];
      },
  ): CfgStatementVertex
  Create a new statement vertex with the given id, children, call targets, and markers.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - children: {
        callTargets?: Set<NodeId>;
        children?: NodeId[];
        end?: NodeId[];
        mid?: NodeId[];
    } = {}
    child nodes attached to this one
  Returns CfgStatementVertex
  See
  CfgVertex#isStatement|isStatement() - for a way to check whether a vertex is a statement vertex
  - Defined in src/control-flow/control-flow-graph.ts:132
makeStatementWithEnd: function
- makeStatementWithEnd(
      this: void,
      id: NodeId,
      children?: {
          callTargets?: Set<NodeId>;
          children?: NodeId[];
          mid?: NodeId[];
      },
  ): CfgStatementVertex
  A convenience function to create a new statement vertex with a canonical end marker (CfgVertex#toExitId|toExitId()) based on the given id and the given id as root id for the end marker.
  Parameters
  - this: void
  - id: NodeId
    the id of the vertex, which should directly relate to the AST node
  - children: { callTargets?: Set<NodeId>; children?: NodeId[]; mid?: NodeId[] } = {}
    child nodes attached to this one
  Returns CfgStatementVertex
  See
  
  CfgVertex#makeExpression|makeExpression() - for a way to create expression vertices with a custom end marker
  
  CfgVertex#makeExitMarker|makeExitMarker() - for a helper function to create end marker vertices with a canonical id#
  
  CfgVertex#toExitId|toExitId() - for a way to convert the given id to a canonical end marker id
  - Defined in src/control-flow/control-flow-graph.ts:120
mapCallTargets: function
- mapCallTargets(
      this: void,
      vertex: CfgStatementVertex | CfgExpressionVertex,
      mapFn: (targets: Set<NodeId> | undefined) => Set<NodeId>,
  ): void
  Map the call targets of a statement or expression vertex, which links all targets of this call, to new call targets using the given mapping function.
  Parameters
  - this: void
  - vertex: CfgStatementVertex | CfgExpressionVertex
  - mapFn: (targets: Set<NodeId> | undefined) => Set<NodeId>
  Returns void
  See
  
  CfgVertex#getCallTargets|getCallTargets() - for a way to get the call targets of a statement or expression vertex
  
  CfgVertex#setCallTargets|setCallTargets() - for a way to set the call targets of a statement or expression vertex to new call targets
  - Defined in src/control-flow/control-flow-graph.ts:409
setBasicBlockElements: function
- setBasicBlockElements(
      this: void,
      vertex: CfgBasicBlockVertex,
      elems: readonly (
          CfgStatementVertex
          | CfgExpressionVertex
          | CfgMarkerVertex
      )[],
  ): void
  Sets in-place Set the elements of a basic block vertex, i.e., the vertices that are part of this block, only connected by FDs, vertices should never occur in multiple bbs.
  Parameters
  - this: void
  - vertex: CfgBasicBlockVertex
  - elems: readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[]
  Returns void
  See
  
  CfgVertex#isBlock|isBlock() - for a way to check whether a vertex is a basic block vertex before trying to set the elements
  
  CfgVertex#getBasicBlockElements|getBasicBlockElements() - for a way to get the elements of a basic block vertex
  - Defined in src/control-flow/control-flow-graph.ts:310
setCallTargets: function
- setCallTargets(
      this: void,
      vertex: CfgStatementVertex | CfgExpressionVertex,
      callTargets: Set<NodeId>,
  ): void
  Sets in-place Set the call targets of a statement or expression vertex, which links all targets of this call.
  Parameters
  - this: void
  - vertex: CfgStatementVertex | CfgExpressionVertex
  - callTargets: Set<NodeId>
  Returns void
  See
  
  CfgVertex#getCallTargets|getCallTargets() - for a way to get the call targets of a statement or expression vertex
  
  CfgVertex#mapCallTargets|mapCallTargets() - for a way to map the call targets of a statement or expression vertex to new call targets
  - Defined in src/control-flow/control-flow-graph.ts:401
setEnd: function
- setEnd(
      this: void,
      vertex: CfgStatementVertex | CfgExpressionVertex,
      endMarkers: NodeId[] | undefined,
  ): void
  Sets in-place Set the ids of the end-markers attached to this vertex, which should directly relate to the AST nodes of the end markers.
  Parameters
  - this: void
  - vertex: CfgStatementVertex | CfgExpressionVertex
  - endMarkers: NodeId[] | undefined
  Returns void
  See
  CfgVertex#getEnd|getEnd() - for a way to get the ids of the end-markers attached to this vertex
  - Defined in src/control-flow/control-flow-graph.ts:333
setMid: function
- setMid(
      this: void,
      vertex: CfgStatementVertex | CfgExpressionVertex,
      midMarkers: NodeId[] | undefined,
  ): void
  Sets in-place Set the ids of the mid-markers attached to this vertex, which should directly relate to the AST nodes of the mid markers.
  Parameters
  - this: void
  - vertex: CfgStatementVertex | CfgExpressionVertex
  - midMarkers: NodeId[] | undefined
  Returns void
  See
  
  CfgVertex#getMid|getMid() - for a way to get the ids of the mid-markers attached to this vertex
  
  CfgVertex#setEnd|setEnd() - for a way to set the ids of the end-markers attached to this vertex
  - Defined in src/control-flow/control-flow-graph.ts:355
toBasicBlockId: function
- toBasicBlockId<Id extends NodeId>(this: void, id: Id): `bb-${Id}`
  Converts the given id to a, canonical, basic block lift (i.e., it adds 'bb-' as a prefix).
  Type Parameters
  - Id extends NodeId
  Parameters
  - this: void
  - id: Id
  Returns `bb-${Id}`
  - Defined in src/control-flow/control-flow-graph.ts:361
toExitId: function
- toExitId<Id extends NodeId>(this: void, id: Id): `${Id}-e`
  Converts the given id to a canonical, end marker lift (i.e., it adds '-end' as a suffix).
  Type Parameters
  - Id extends NodeId
  Parameters
  - this: void
  - id: Id
  Returns `${Id}-e`
  See
  CfgVertex#fromExitId|fromExitId() - for a way to convert the given id from a canonical end marker lift to the original id (i.e., it removes '-end' as a suffix if it is present)
  - Defined in src/control-flow/control-flow-graph.ts:368
typeToString: function
- typeToString(this: void, type: CfgVertexType): string
  Convert the given vertex type to a string for easier debugging and visualization.
  Parameters
  - this: void
  - type: CfgVertexType
  Returns string
  See
  
  CfgVertexType - for the possible vertex types
  
  CfgVertex#getType|getType() - for a way to get the type of a vertex and convert it to a string
  - Defined in src/control-flow/control-flow-graph.ts:237
unpackRootId: function
- unpackRootId(this: void, vertex: CfgMarkerVertex): NodeId
  Unpack the root id of a marker vertex, i.e., get the root id stored in the vertex or derive it from the canonical id if it is not explicitly stored.
  Parameters
  - this: void
  - vertex: CfgMarkerVertex
  Returns NodeId
  See
  CfgVertex#getRootId|getRootId() - for a way to get the root id of a vertex, which uses this function for marker vertices
  - Defined in src/control-flow/control-flow-graph.ts:293

Variable CfgVertex

Type Declaration

equal: function

Parameters

Returns boolean

fromExitId: function

Parameters

Returns NodeId

See

getBasicBlockElements: function

Parameters

Returns readonly (CfgStatementVertex | CfgExpressionVertex | CfgMarkerVertex)[]

See

getCallTargets: function

Parameters

Returns Set<NodeId> | undefined

getChildren: function

Parameters

Returns NodeId[] | undefined

getEnd: function

Parameters

Returns NodeId[] | undefined

See

getId: function

Type Parameters

Parameters

Returns T extends undefined ? NodeId | undefined : NodeId

Example

See

getMid: function

Parameters

Returns NodeId[] | undefined

getRootId: function

Parameters

Returns NodeId

See

getType: function

Parameters

Returns CfgVertexType

Example

See

isBlock: function

Parameters

Returns vertex is CfgBasicBlockVertex

See

isExpression: function

Parameters

Returns vertex is CfgExpressionVertex

See

isMarker: function

Parameters

Returns vertex is CfgMarkerVertex

See

isStatement: function

Parameters

Returns vertex is CfgStatementVertex

See

makeBlock: function

Parameters

Returns CfgBasicBlockVertex

See

makeExitMarker: function

Parameters

Returns CfgMarkerVertex

See

makeExpression: function

Parameters

Returns CfgExpressionVertex

See

makeExpressionWithEnd: function

Parameters

Returns CfgExpressionVertex

See

makeExprOrStm: function

Parameters

Returns CfgStatementVertex | CfgExpressionVertex

makeMarker: function

Parameters

Returns CfgMarkerVertex

See