From 9a317e56f8a6126583f7d0c431bf878d9b1fe7b1 Mon Sep 17 00:00:00 2001 From: JSDurand Date: Sat, 8 Jul 2023 12:30:21 +0800 Subject: Finished the Emacs binding. Now the binding part is finished. What remains is a bug encountered when planting a fragment to the forest which intersects a packed node, which would lead to invalid forests. This will also cause problem when planting a packed fragment, but until now my testing grammars do not produce packed fragments, so this problem is not encountered yet. I am still figuring out efficient ways to solve this problem. --- graph/src/builder.rs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'graph/src/builder.rs') diff --git a/graph/src/builder.rs b/graph/src/builder.rs index c5f9252..1278e26 100644 --- a/graph/src/builder.rs +++ b/graph/src/builder.rs @@ -82,6 +82,11 @@ pub trait BuilderMut { /// Add an edge from the source to the target. fn add_edge(&mut self, source: usize, target: usize, label: Self::Label) -> Result<(), Error>; + /// Append another graph to this builder. + fn append(&mut self, _other: Self::Graph) { + unimplemented!() + } + /// Set the label of an existing node to a new label. fn set_label(&mut self, node_id: usize, label: Self::Label) -> Result<(), Error>; -- cgit v1.2.3-18-g5258