Variable QuotedConst

Type Declaration

• capturedBy: function

  • capturedBy(this: void, graph: DataflowGraph, id: NodeId): readonly NodeId[]

    The expressions a capturing call holds on to.

    Parameters

    • this: void
    • graph: DataflowGraph
    • id: NodeId

    Returns readonly NodeId[]

• ReadonlyevaluateIn: <Info>(
      this: void,
      graph: DataflowGraph,
      expr: NodeId,
      environment: REnvironmentInformation,
      idMap: AstIdMap<Info & ParentInformation>,
  ) => readonly IdentifierReference[]

  Links every name in expr against environment and hands back what stays unresolved.

• evaluationDependencies: function

  • evaluationDependencies(this: void, graph: DataflowGraph, id: NodeId): NodeId[]

    What id within captured code needs to run at all: the capturing call and every call evaluating it (eval, body(f) <- quote(...)).

    Parameters

    • this: void
    • graph: DataflowGraph
    • id: NodeId

    Returns NodeId[]

• finalize: function

  • finalize<Info>(
        this: void,
        graph: DataflowGraph,
        environment: REnvironmentInformation,
        idMap: AstIdMap<Info & ParentInformation>,
        controlFlow: () => ControlFlowGraph<CfgVertex> | undefined,
    ): void

    The finishing pass over a complete graph: it settles what a call really evaluates, which the call itself could not know.

    Type Parameters

    • Info

    Parameters

    • this: void
    • graph: DataflowGraph
    • environment: REnvironmentInformation
    • idMap: AstIdMap<Info & ParentInformation>
    • controlFlow: () => ControlFlowGraph<CfgVertex> | undefined

    Returns void

• sourcesOf: function

  • sourcesOf(
        this: void,
        graph: DataflowGraph,
        id: NodeId,
    ): readonly CapturedExpression[]

    Every expression the value at id may hold, with the call that captured it. Several is normal.

    Parameters

    • this: void
    • graph: DataflowGraph
    • id: NodeId

    Returns readonly CapturedExpression[]