Variable DeferredConst

Type Declaration

• forcedAt: function

  • forcedAt(
        this: void,
        graph: DataflowGraph,
        binding: NodeId,
        cfg: ControlFlowGraph,
        viaClosures?: boolean,
    ): readonly NodeId[]

    The reads that may be the one forcing binding: every read of it that no other read always precedes, since an earlier read would already have forced it and cached the value.

    Parameters

    • this: void
    • graph: DataflowGraph
    • binding: NodeId
    • cfg: ControlFlowGraph
    • viaClosures: boolean = false

    Returns readonly NodeId[]

• indexOf: function

  • indexOf<Info>(
        this: void,
        graph: DataflowGraph,
        idMap: AstIdMap<Info & ParentInformation>,
    ): NameIndex

    Where each name is bound and read, built once and shared by every deferred expression in the graph.

    Type Parameters

    • Info

    Parameters

    • this: void
    • graph: DataflowGraph
    • idMap: AstIdMap<Info & ParentInformation>

    Returns NameIndex

• link: function

  • link<Info>(
        this: void,
        graph: DataflowGraph,
        expr: NodeId,
        index: NameIndex,
        idMap: AstIdMap<Info & ParentInformation>,
        forces?: ForceSites,
        inCallerFrame?: boolean,
    ): void

    Links the expression rooted at expr to the bindings it may meet when it is evaluated.

    Type Parameters

    • Info

    Parameters

    • this: void
    • graph: DataflowGraph
    • expr: NodeId
    • index: NameIndex
    • idMap: AstIdMap<Info & ParentInformation>
    • Optionalforces: ForceSites
    • inCallerFrame: boolean = false

    Returns void

• publish: function

  • publish<Info>(
        this: void,
        graph: DataflowGraph,
        expr: NodeId,
        index: NameIndex,
        idMap: AstIdMap<Info & ParentInformation>,
        at: NodeId,
        sites: readonly NodeId[],
        cfg?: ControlFlowGraph<CfgVertex>,
    ): void

    Links the writes an expression performs to the uses that may observe them, for a call evaluating the expression at a point control flow can pin down (eval).

    Type Parameters

    • Info

    Parameters

    • this: void
    • graph: DataflowGraph
    • expr: NodeId
    • index: NameIndex
    • idMap: AstIdMap<Info & ParentInformation>
    • at: NodeId
    • sites: readonly NodeId[]
    • Optionalcfg: ControlFlowGraph<CfgVertex>

    Returns void