Method add_missing_up_context

atomic-core/src/apply/workspace.rs:593–596

Record a missing up-context position.

(&mut self, pos: Position<NodeId>)

    /// Record a missing up-context position.
    pub fn add_missing_up_context(&mut self, pos: Position<NodeId>) {
        self.missing_contexts
            .push(MissingContext::predecessors(pos));
    }

    /// Record a missing down-context position.
    pub fn add_missing_down_context(&mut self, pos: Position<NodeId>) {