Provide statement source name in API (#71)

* Provide statement source name in API * Avoid cloning! * Inline, fmt. * Unneeded lifetime Co-authored-by: Mario Carneiro <[email protected]>
metamath · Feb 15, 2022 · 7954d40 · 7954d40
1 parent 360e7b1
commit 7954d40
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/database.rs b/src/database.rs
@@ -717,6 +717,13 @@ impl Database {
         self.parse_result().statement(addr)
     }
 
+    /// Get the name of the source file for a given statement.
+    #[inline]
+    #[must_use]
+    pub fn statement_source_name(&self, addr: StatementAddress) -> &str {
+        &self.parse_result().source_info(addr.segment_id).name
+    }
+
     /// Iterates over all the statements
     #[must_use]
     pub fn statements(&self) -> impl DoubleEndedIterator<Item = StatementRef<'_>> + Clone + '_ {