Interface ForceSites

The reads that may force the expression, and the control flow deciding what they can see.

interface ForceSites {
    binding: NodeId;
    cfg: ControlFlowGraph;
    sites: readonly NodeId[];
}

Properties

binding: NodeId

the name the deferred expression is bound to, whose binding its own writes replace

sites: readonly NodeId[]