diff options
| -rw-r--r-- | src/reports/mod.rs | 2 | ||||
| -rw-r--r-- | src/reports/source_symbols.rs | 34 | ||||
| -rw-r--r-- | src/resolver.rs | 5 |
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 } |