Add vhdl_lang --dump-unresolved

Author: kraigher

vhdl_lang/src/analysis/root.rs

@@ -331,6 +331,10 @@ impl DesignRoot {
         FindAllReferences::search(self, ent)
     }
 
+    pub fn find_all_unresolved(&self) -> (usize, Vec<SrcPos>) {
+        FindAllUnresolved::search(self)
+    }
+
     #[cfg(test)]
     pub fn find_all_references_pos(&self, decl_pos: &SrcPos) -> Vec<SrcPos> {
         if let Some(ent) = ItemAtCursor::search(self, decl_pos.source(), decl_pos.start()) {

vhdl_lang/src/ast/search.rs

@@ -1471,3 +1471,29 @@ impl std::fmt::Display for FoundDeclaration<'_> {
         }
     }
 }
+
+pub struct FindAllUnresolved {
+    pub count: usize,
+    pub unresolved: Vec<SrcPos>,
+}
+
+impl Searcher for FindAllUnresolved {
+    fn search_pos_with_ref(&mut self, pos: &SrcPos, reference: &Reference) -> SearchState {
+        self.count += 1;
+        if reference.is_none() {
+            self.unresolved.push(pos.clone());
+        }
+        NotFinished
+    }
+}
+
+impl FindAllUnresolved {
+    pub fn search(searchable: &impl Search) -> (usize, Vec<SrcPos>) {
+        let mut searcher = Self {
+            count: 0,
+            unresolved: Default::default(),
+        };
+        let _ = searchable.search(&mut searcher);
+        (searcher.count, searcher.unresolved)
+    }
+}

vhdl_lang/src/main.rs

@@ -29,6 +29,11 @@ struct Args {
     /// Config file in TOML format containing libraries and settings
     #[arg(short, long)]
     config: String,
+
+    /// Dump items that are not resolved into an unique reference
+    /// This is used for development to test where the language server is blind
+    #[arg(long)]
+    dump_unresolved: bool,
 }
 
 fn main() {
@@ -72,6 +77,14 @@ fn main() {
         );
     }
 
+    if args.dump_unresolved {
+        let (total, unresolved) = project.find_all_unresolved();
+        for pos in unresolved.iter() {
+            println!("{}", pos.show("Unresolved"));
+        }
+        println!("{} out of {} positions unresolved", unresolved.len(), total);
+    }
+
     // Exit without running Drop on entire allocated AST
     std::process::exit(0);
 }

vhdl_lang/src/project.rs

@@ -237,6 +237,12 @@ impl Project {
         self.root.find_all_references(ent)
     }
 
+    /// Get source positions that are not resolved to a declaration
+    /// This is used for development to test where the language server is blind
+    pub fn find_all_unresolved(&self) -> (usize, Vec<SrcPos>) {
+        self.root.find_all_unresolved()
+    }
+
     pub fn files(&self) -> impl Iterator<Item = &SourceFile> {
         self.files.values()
     }