Class Class<D, S>

Type Parameters

Hierarchy (view full)

Accessors

adjacentEdges adjacentNodes ancestors cfgOutgoers children data degree degreeWithoutLoops descendants function graph id incomers indegree indegreeWithoutLoops isChild isParent isRemoved jp outdegree outdegreeWithoutLoops outgoers parent predecessors scratchData successors

Methods

as bfs dfs edgesFrom edgesTo edgesWith expect init is remove restore search setAsEntryNode switch toCollection toCy tryAs

Accessors

adjacentEdges

  • get adjacentEdges(): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges that are adjacent to this node.

adjacentNodes

  • get adjacentNodes(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The nodes that are adjacent to this node.

ancestors

  • get ancestors(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The ancestors (parents, parents' parents, etc.) of this node.

cfgOutgoers

  • get cfgOutgoers(): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The non-fake ControlFlowEdge | ControlFlowEdges that go from this node to another node. These are the possible control flow paths that can potentially be taken from this node at runtime.

children

  • get children(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The children of this node.

data

  • get data(): D

  • Use the data object for JSON serializable data. For temporary or non-serializable data, use BaseNode.Class.scratchData.

    Returns D

    the data object associated with this node.

degree

  • get degree(): number

  • Returns the number of edges connected to this node. Loop edges are counted twice.

    Returns number

    the degree of this node.

degreeWithoutLoops

  • get degreeWithoutLoops(): number

  • Returns the number of edges connected to this node. Loop edges are not counted.

    Returns number

    the degree of this node, excluding loop edges.

descendants

  • get descendants(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The descendants (children, children's children, etc.) of this node.

function

  • get function(): Class<Data, ScratchData>

  • Returns Class<Data, ScratchData>

    The FunctionNode that this node belongs to.

graph

  • get graph(): Class<Data, ScratchData>

  • Returns Class<Data, ScratchData>

    the graph that this node is a part of.

id

  • get id(): string

  • Returns string

    the unique identifier of this node.

incomers

  • get incomers(): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges that connect to this node.

indegree

  • get indegree(): number

  • Returns the number of edges that are directed towards this node.

    Returns number

    the indegree of this node.

indegreeWithoutLoops

  • get indegreeWithoutLoops(): number

  • Returns the number of edges that are directed towards this node. Loop edges are not counted.

    Returns number

    the indegree of this node, excluding loop edges.

isChild

  • get isChild(): boolean

  • Returns boolean

    whether this node is a child node.

isParent

  • get isParent(): boolean

  • Returns boolean

    whether this node is a parent node.

isRemoved

  • get isRemoved(): boolean

  • Returns boolean

    whether this node has been removed from the graph.

jp

outdegree

  • get outdegree(): number

  • Returns the number of edges that are directed away from this node.

    Returns number

    the outdegree of this node.

outdegreeWithoutLoops

  • get outdegreeWithoutLoops(): number

  • Returns the number of edges that are directed away from this node. Loop edges are not counted.

    Returns number

    the outdegree of this node, excluding loop edges.

outgoers

  • get outgoers(): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges that connect from this node.

parent

  • get parent(): undefined | Class<Data, ScratchData>

  • Returns undefined | Class<Data, ScratchData>

    the parent node of this node.

  • set parent(node): void

  • Changes the parent node of this node.

    Parameters

    • node: undefined | Class<Data, ScratchData>

      The new parent node. If undefined, the node becomes orphan.

    Returns void

predecessors

  • get predecessors(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The predecessors of this node. This repeatedly follows the sources of incoming edges.

scratchData

  • get scratchData(): S

  • Use the scratch data object for temporary or non-serializable data. For JSON serializable data, use BaseEdge.Class.data.

    The scratch data is stored under the Graph.scratchNamespace | @specs-feup/flow namespace.

    Returns S

    the scratch data object associated with this node.

successors

  • get successors(): NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Returns NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The successors of this node. This repeatedly follows the targets of outgoing edges.

Methods

as

  • as<N2>(NodeType): N2

  • Changes the functionality class of the current node. This is only possible if the data and scratch data are compatible with the new class. To assert that, use BaseNode.Class.is.

    Type Parameters

    • N2 extends Class<D, S>

    Parameters

    • NodeType: {
          Class: Class<D, S, N2>;
      }

      The node type to change the functionality class into.

      • Class: Class<D, S, N2>

    Returns N2

    The same node, wrapped in the new functionality class.

bfs

  • bfs(propagate?): Generator<SearchVisit, any, any>

  • Parameters

    • Optionalpropagate: ((edge: Class<Data, ScratchData>) => boolean)
        • (edge): boolean

        • Parameters

          • edge: Class<Data, ScratchData>

          Returns boolean

    Returns Generator<SearchVisit, any, any>

dfs

  • dfs(propagate?): Generator<SearchVisit, any, any>

  • Parameters

    • Optionalpropagate: ((edge: Class<Data, ScratchData>) => boolean)
        • (edge): boolean

        • Parameters

          • edge: Class<Data, ScratchData>

          Returns boolean

    Returns Generator<SearchVisit, any, any>

edgesFrom

  • edgesFrom(nodes): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Retrieves the edges from the given nodes to this node.

    Parameters

    • nodes: Class<Data, ScratchData> | NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

      The node or collection of nodes to check for edges connected with this node.

    Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges from the given nodes to this node.

edgesTo

  • edgesTo(nodes): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Retrieves the edges from this node to the given nodes.

    Parameters

    • nodes: Class<Data, ScratchData> | NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

      The node or collection of nodes to check for edges connected with this node.

    Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges from this node to the given nodes.

edgesWith

  • edgesWith(nodes): EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

  • Retrieves the edges that connect this node with the given nodes. Direction is not considered.

    Parameters

    • nodes: Class<Data, ScratchData> | NodeCollection<Class<Data, ScratchData>, Data, ScratchData>

      The node or collection of nodes to check for edges connected with this node.

    Returns EdgeCollection<Class<Data, ScratchData>, Data, ScratchData>

    The edges that connect this node with the given nodes.

expect

  • expect<D2, S2, N2>(NodeType, message?): N2

  • Changes the functionality class of the current node. Should only be used when it is known (but not statically provable) that the node is compatible with the new class. If not, an error will be thrown.

    It is bad practice to try and catch the error thrown by this function. For such cases, combine BaseNode.Class.is with BaseNode.Class.as, or use BaseNode.Class.switch instead.

    Type Parameters

    • D2 extends Data
    • S2 extends ScratchData
    • N2 extends Class<D2, S2>

    Parameters

    • NodeType: Node<D2, S2, N2>

      The node type to change the functionality class into.

    • Optionalmessage: string

      The message to throw if the node is not compatible with the type.

    Returns N2

    The node, wrapped in the new functionality class.

    Throws

    LaraFlowError if the node is not compatible with the type. This error should be seen as a logic error and not catched.

init

  • init<D2, S2>(builder): Class<D2, S2>

  • Initializes the node with the information of a builder. This is effectively extends the type of the node to include the data and scratch data of the builder.

    The same node may simultaneously be of multiple types, as long as the data and scratch data are compatible with the types. The builder methods may overwrite data and scratch data fields with names that collide with its type's fields.

    Type Parameters

    • D2 extends Data
    • S2 extends ScratchData

    Parameters

    • builder: Builder<D2, S2, D, S>

      The builder to use to initialize the node.

    Returns Class<D2, S2>

    The same node, with the data and scratch data of the builder. The node is downcasted to BaseNode.Class because the builder may overwrite the data and scratch data fields, invalidating the current type.

is

  • is<D2, S2, N2>(NodeType): this is Class<D2, S2>

  • Checks if this node's data and scratch data are compatible with a specific type. This is effectively a type guard function.

    Type Parameters

    • D2 extends Data
    • S2 extends ScratchData
    • N2 extends Class<D2, S2>

    Parameters

    • NodeType: Node<D2, S2, N2>

      The node type to check compatibility with.

    Returns this is Class<D2, S2>

    Whether the node is compatible with the given type.

remove

  • remove(): void

  • Removes this node from the graph.

    Returns void

restore

  • restore(): void

  • Restores this node if it has been removed. See BaseNode.Class.remove.

    Returns void

search

  • search<V>(algorithm): Generator<V, any, any>

  • Type Parameters

    • V extends SearchVisit

    Parameters

    Returns Generator<V, any, any>

setAsEntryNode

  • setAsEntryNode(): this

  • Sets this node as the FunctionNode.Data.cfgEntryNode | entry node of the function it belongs to.

    Returns this

    itself, for method chaining.

switch

  • switch(...cases): void

  • Checks if the type of the node is compatible with several types, calling a callback for the first match. See Node.Case for the syntax of each case.

    For a default case, match with BaseNode, which will always be compatible with any node type.

    Parameters

    • Rest...cases: {
          callback: ((g: any) => void);
          NodeType: Node<any, any, any>;
      }[]

      The cases to match against.

    Returns void

toCollection

  • toCollection(): NodeCollection<ClavaControlFlowNode.Class<D, S>, D, S>

  • Returns NodeCollection<ClavaControlFlowNode.Class<D, S>, D, S>

    A collection containing only this node.

toCy

  • toCy(): NodeSingular

  • Returns NodeSingular

    the underlying cytoscape node object.

tryAs

  • tryAs<D2, S2, N2>(NodeType): undefined | N2

  • Tries to change the functionality class of the current node. If the node is not compatible with the new class, undefined is returned.

    Type Parameters

    • D2 extends Data
    • S2 extends ScratchData
    • N2 extends Class<D2, S2>

    Parameters

    • NodeType: Node<D2, S2, N2>

      The node type to change the functionality class into.

    Returns undefined | N2

    The node, wrapped in the new functionality class, or undefined if the node is not compatible with the type.

    Example

    if (node === undefined || !node.is(ControlFlowNode)) {
        return undefined;
    }
    return node.as(ControlFlowNode);

    Can be simplified to:

    return node?.tryAs(ControlFlowNode);

Settings

Member Visibility

On This Page

Accessors
Methods