3 files changed, 41 insertions, 0 deletions
diff --git a/src/reports/mod.rs b/src/reports/mod.rs
index c2e941d..49fdff7 100644
--- a/src/reports/mod.rs
+++ b/src/reports/mod.rs
@@ -1,8 +1,10 @@
 mod resolver_error;
 mod source_hierarchy;
+mod source_symbols;
 
 pub use resolver_error::*;
 pub use source_hierarchy::*;
+pub use source_symbols::*;
 
 use crate::*;
 
diff --git a/src/reports/source_symbols.rs b/src/reports/source_symbols.rs
new file mode 100644
index 0000000..976660f
--- /dev/null
+++ b/src/reports/source_symbols.rs
@@ -0,0 +1,34 @@
+use crate::*;
+
+
+pub struct SourceSymbols<'a> {
+    pub resolver: &'a Resolver,
+}
+
+impl<'a> SourceSymbols<'a> {
+    pub fn report(&self) {
+        for definition in &self.resolver.definitions {
+            let message = format!(
+                "Definition '{BOLD}{:?}{NORMAL}' (resolves {})",
+                definition.tracked.symbol, definition.references.len());
+            let context = definition.tracked.context(self.resolver);
+            report_source_issue(LogLevel::Info, &context, &message);
+        }
+
+        for reference in &self.resolver.resolved {
+            let definition = &self.resolver.definitions[reference.definition];
+            let message = format!(
+                "Resolved reference '{BOLD}{:?}{NORMAL}' (defined by {:?})",
+                reference.tracked.symbol, definition.tracked.symbol);
+            let context = reference.tracked.context(self.resolver);
+            report_source_issue(LogLevel::Info, &context, &message);
+        }
+
+        for reference in &self.resolver.unresolved {
+            let message = format!(
+                "Unresolved reference '{BOLD}{:?}{NORMAL}'", reference.symbol);
+            let context = reference.context(self.resolver);
+            report_source_issue(LogLevel::Warn, &context, &message);
+        }
+    }
+}
diff --git a/src/resolver.rs b/src/resolver.rs
index 5fc4690..c12279c 100644
--- a/src/resolver.rs
+++ b/src/resolver.rs
@@ -131,6 +131,11 @@ impl Resolver {
         }
     }
 
+    /// Return a type that can print all symbol definitions and references.
+    pub fn symbols(&self) -> SourceSymbols {
+        SourceSymbols { resolver: self }
+    }
+
     /// Return a type that can print the structure of the source tree.
     pub fn hierarchy(&self) -> SourceHierarchy {
         SourceHierarchy { resolver: self }