Variable CfgEdge

Type Declaration

• equals: function

  • equals(this: void, a: CfgEdge, b: CfgEdge): boolean

    Check whether two edges are equal.

    Parameters

    • this: void
    • a: CfgEdge
    • b: CfgEdge

    Returns boolean

• getCause: function

  • getCause(this: void, edge: CfgEdge): NodeId | undefined

    The id of the vertex that causes the control dependency, undefined if edge is not one.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns NodeId | undefined

    See

    CfgEdge#unpackCause|unpackCause() - the same, assuming edge is already known to be a control dependency

• getType: function

  • getType(this: void, edge: CfgEdge): CfgEdgeType

    Get the type of the given edge.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns CfgEdgeType

    See

    CfgEdge#isOfType|isOfType() - for a version of this function that checks whether the edge is of a given type

• getWhen: function

  • getWhen(this: void, edge: CfgEdge): "TRUE" | "FALSE" | undefined

    Whether the control dependency edge is satisfied with a true condition or is negated (e.g., else-branch), undefined if edge is not one.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns "TRUE" | "FALSE" | undefined

    See

    CfgEdge#unpackWhen|unpackWhen() - the same, assuming edge is already known to be a control dependency

• isControlDependency: function

  • isControlDependency(
        this: void,
        edge: CfgEdge | undefined,
    ): edge is ControlDependency

    Check whether the given edge is a control dependency edge.

    Parameters

    • this: void
    • edge: CfgEdge | undefined

    Returns edge is ControlDependency

• isFlowDependency: function

  • isFlowDependency(this: void, edge: CfgEdge | undefined): edge is Flow

    Check whether the given edge is a flow dependency edge.

    Parameters

    • this: void
    • edge: CfgEdge | undefined

    Returns edge is Flow

• isOfType: function

  • isOfType(this: void, edge: CfgEdge, type: CfgEdgeType): boolean

    Check whether the given edge is of the given type.

    Parameters

    • this: void
    • edge: CfgEdge
    • type: CfgEdgeType

    Returns boolean

    See

    CfgEdge#getType|getType() - for a version of this function that returns the type of the edge instead of checking against a given type

• makeCd: function

  • makeCd(this: void, cd: ControlDependency): ControlDependency

    Create a control dependency edge from the given control dependency, which is what the edge is.

    Parameters

    • this: void
    • cd: ControlDependency

      the decision the edge follows, i.e. the vertex that causes it and the outcome it takes

    Returns ControlDependency

    See

    • CfgEdge#makeCdTrue|makeCdTrue() - to build one for a true condition from the causing id alone
    • CfgEdge#makeCdFalse|makeCdFalse() - to build one for a negated condition (e.g., else-branch)

• makeCdFalse: function

  • makeCdFalse(this: void, controlId: NodeId): ControlDependency

    Create a control dependency edge with the given cause and a negated condition (e.g., else-branch).

    Parameters

    • this: void
    • controlId: NodeId

      the id of the vertex that causes the control dependency

    Returns ControlDependency

    See

    CfgEdge#makeCd|makeCd() - for a version of this function that allows to specify the condition as well

• makeCdTrue: function

  • makeCdTrue(this: void, controlId: NodeId): ControlDependency

    Create a control dependency edge with the given cause and a true condition.

    Parameters

    • this: void
    • controlId: NodeId

      the id of the vertex that causes the control dependency

    Returns ControlDependency

    See

    CfgEdge#makeCd|makeCd() - for a version of this function that allows to specify the condition as well

• makeFd: function

  • makeFd(this: void): Flow

    Create a flow dependency edge.

    Parameters

    • this: void

    Returns Flow

• Readonlyname: "CfgEdge"

• toString: function

  • toString(this: void, edge: CfgEdge): string

    Provide a string representation of the given edge, including its details (e.g., cause and condition for control dependency edges), e.g., for debugging or visualization purposes.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns string

    See

    CfgEdge#typeToString|typeToString() - for a version of this function that only includes the type of the edge

• typeToString: function

  • typeToString(this: void, edge: CfgEdge): string

    Provide a string representation of the given edge, e.g., for debugging or visualization purposes.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns string

    See

    CfgEdge#toString|toString() - for a version of this function that also includes the details of the edge (e.g., cause and condition for control dependency edges)

• unpackCause: function

  • unpackCause(this: void, edge: ControlDependency): NodeId

    Parameters

    • this: void
    • edge: ControlDependency

    Returns NodeId

    See

    CfgEdge#getCause|getCause() - the same, without assuming edge is a control dependency

• unpackWhen: function

  • unpackWhen(this: void, edge: ControlDependency): "TRUE" | "FALSE"

    Parameters

    • this: void
    • edge: ControlDependency

    Returns "TRUE" | "FALSE"

    See

    CfgEdge#getWhen|getWhen() - the same, without assuming edge is a control dependency