Method add_down_context

atomic-core/src/apply/workspace.rs:442–444

Add a down-context position (successor). Down-context vertices are the successors where new content will be inserted before.

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

    /// Down-context vertices are the successors where new content will be
    /// inserted before.
    pub fn add_down_context(&mut self, pos: Position<NodeId>) {
        self.successors.push(pos);
    }

    /// Add a resolved predecessor vertex for the current insertion.
    pub fn add_up_context_vertex(&mut self, node: GraphNode<NodeId>) {