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

    Get the cause of a control dependency edge, i.e., the id of the vertex that causes the control dependency. If the edge is not a control dependency edge, this returns undefined.

    This is the pendant of CfgEdge#isControlDependency|isControlDependency() on a CfgEdge.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns NodeId | undefined

    See

    CfgEdge#unpackCause|unpackCause() - for a version of this function that assumes the edge is a control dependency edge and hence does not return undefined

• 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

    Get whether the control dependency edge is satisfied with a true condition or is it negated (e.g., else-branch). If the edge is not a control dependency edge, this returns undefined.

    This is the pendant of CfgEdge#isControlDependency|isControlDependency() on a CfgEdge.

    Parameters

    • this: void
    • edge: CfgEdge

    Returns "TRUE" | "FALSE" | undefined

    See

    CfgEdge#unpackWhen|unpackWhen() - for a version of this function that assumes the edge is a control dependency edge and hence does not return undefined

• isControlDependency: function

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

    Check whether the given edge is a control dependency edge.

    Parameters

    • this: void
    • edge: CfgEdge | undefined

    Returns edge is CfgControlDependencyEdge

• isFlowDependency: function

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

    Check whether the given edge is a flow dependency edge.

    Parameters

    • this: void
    • edge: CfgEdge | undefined

    Returns edge is Fd

• 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,
        controlId: NodeId,
        whenTrue: "TRUE" | "FALSE",
    ): CfgControlDependencyEdge

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

    Parameters

    • this: void
    • controlId: NodeId

      the id of the vertex that causes the control dependency

    • whenTrue: "TRUE" | "FALSE"

      whether the control dependency is satisfied with a true condition or is it negated (e.g., else-branch)

    Returns CfgControlDependencyEdge

    See

    • CfgEdge#makeCdTrue|makeCdTrue() - for a version of this function that assumes the control dependency is satisfied with a true condition
    • CfgEdge#makeCdFalse|makeCdFalse() - for a version of this function that assumes the control dependency is negated (e.g., else-branch)

• makeCdFalse: function

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

    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 CfgControlDependencyEdge

    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): CfgControlDependencyEdge

    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 CfgControlDependencyEdge

    See

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

• makeFd: function

  • makeFd(this: void): Fd

    Create a flow dependency edge.

    Parameters

    • this: void

    Returns Fd

• 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: CfgControlDependencyEdge): NodeId

    Get the cause of a control dependency edge, i.e., the id of the vertex that causes the control dependency.

    Parameters

    • this: void
    • edge: CfgControlDependencyEdge

    Returns NodeId

• unpackWhen: function

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

    Get whether the control dependency edge is satisfied with a true condition or is it negated (e.g., else-branch).

    Parameters

    • this: void
    • edge: CfgControlDependencyEdge

    Returns "TRUE" | "FALSE"