Fix init complete scope

metaborg · May 24, 2024 · f1b638b · f1b638b
1 parent f464c85
commit f1b638b
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 3 deletions.
diff --git a/scopegraphs/src/completeness/future.rs b/scopegraphs/src/completeness/future.rs
@@ -43,6 +43,13 @@ impl<LABEL: Hash + Eq + Label + Copy, DATA> Completeness<LABEL, DATA>
         self.explicit_close.cmpl_new_scope(inner_scope_graph, scope)
     }
 
+    fn cmpl_new_complete_scope(&self, _: &InnerScopeGraph<LABEL, DATA>, _: Scope) {
+        <FutureCompleteness<LABEL> as CriticalEdgeBasedCompleteness<LABEL, DATA>>::init_scope_with(
+            self,
+            HashSet::new(), // init with empty label set to prevent extension
+        )
+    }
+
     type NewEdgeResult = <ExplicitClose<LABEL> as Completeness<LABEL, DATA>>::NewEdgeResult;
 
     fn cmpl_new_edge(

diff --git a/scopegraphs/src/completeness/mod.rs b/scopegraphs/src/completeness/mod.rs
@@ -17,6 +17,7 @@
 //!   queries return a [`Future`](std::future::Future) that resolves when all scopes related to the query are closed.
 
 mod future;
+
 pub use future::*;
 
 mod critical_edge;
@@ -68,9 +69,7 @@ pub trait Completeness<LABEL, DATA>: Sealed {
         &self,
         inner_scope_graph: &InnerScopeGraph<LABEL, DATA>,
         scope: Scope,
-    ) {
-        self.cmpl_new_scope(inner_scope_graph, scope)
-    }
+    );
 
     type NewEdgeResult;
     fn cmpl_new_edge(

diff --git a/scopegraphs/src/completeness/unchecked.rs b/scopegraphs/src/completeness/unchecked.rs
@@ -26,6 +26,14 @@ impl UncheckedCompleteness {
 impl<LABEL: Hash + Eq, DATA> Completeness<LABEL, DATA> for UncheckedCompleteness {
     fn cmpl_new_scope(&self, _: &InnerScopeGraph<LABEL, DATA>, _: Scope) {}
 
+    fn cmpl_new_complete_scope(
+        &self,
+        inner_scope_graph: &InnerScopeGraph<LABEL, DATA>,
+        scope: Scope,
+    ) {
+        self.cmpl_new_scope(inner_scope_graph, scope)
+    }
+
     type NewEdgeResult = ();
 
     fn cmpl_new_edge(