Struct miden_core::debuginfo::DefaultSourceManager

pub struct DefaultSourceManager(/* private fields */);

Trait Implementations

impl Clone for DefaultSourceManager

fn clone(&self) -> Self

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Default for DefaultSourceManager

fn default() -> DefaultSourceManager

Returns the “default value” for a type.

impl SourceManager for DefaultSourceManager

fn load_from_raw_parts( &self, name: Arc<str>, content: SourceContent, ) -> Arc<SourceFile>

Load content into this SourceManager from raw SourceFile components

fn get(&self, id: SourceId) -> Result<Arc<SourceFile>, SourceManagerError>

Get the SourceFile corresponding to id

fn get_by_path(&self, path: &str) -> Option<Arc<SourceFile>>

Get the most recent SourceFile whose path is path

fn find(&self, name: &str) -> Option<SourceId>

Search for a source file named name, and return its SourceId if found.

fn file_line_col_to_span(&self, loc: FileLineCol) -> Option<SourceSpan>

Convert a FileLineCol to an equivalent SourceSpan, if the referenced file is available

fn file_line_col( &self, span: SourceSpan, ) -> Result<FileLineCol, SourceManagerError>

Convert a SourceSpan to an equivalent FileLineCol, if the span is valid

fn location_to_span(&self, loc: Location) -> Option<SourceSpan>

Convert a Location to an equivalent SourceSpan, if the referenced file is available

fn location(&self, span: SourceSpan) -> Result<Location, SourceManagerError>

Convert a SourceSpan to an equivalent Location, if the span is valid

fn source(&self, id: SourceId) -> Result<&str, SourceManagerError>

Get the source associated with id as a string slice

fn source_slice(&self, span: SourceSpan) -> Result<&str, SourceManagerError>

Get the source corresponding to span as a string slice

fn is_manager_of(&self, file: &SourceFile) -> bool

Returns true if file is managed by this source manager

fn copy_into(&self, file: &SourceFile) -> Arc<SourceFile>

Copies file into this source manager (if not already managed by this manager).

fn load(&self, name: &str, content: String) -> Arc<SourceFile>

Load the given content into this SourceManager with name