Trait SourceManager

pub trait SourceManager: Debug {
    // Required methods
    fn load_from_raw_parts(
        &self,
        name: Arc<str>,
        content: SourceContent,
    ) -> Arc<SourceFile>;
    fn get(&self, id: SourceId) -> Result<Arc<SourceFile>, SourceManagerError>;
    fn find(&self, name: &str) -> Option<SourceId>;
    fn file_line_col_to_span(&self, loc: FileLineCol) -> Option<SourceSpan>;
    fn file_line_col(
        &self,
        span: SourceSpan,
    ) -> Result<FileLineCol, SourceManagerError>;
    fn location_to_span(&self, loc: Location) -> Option<SourceSpan>;
    fn location(&self, span: SourceSpan) -> Result<Location, SourceManagerError>;
    fn source(&self, id: SourceId) -> Result<&str, SourceManagerError>;
    fn source_slice(&self, span: SourceSpan) -> Result<&str, SourceManagerError>;

    // Provided methods
    fn is_manager_of(&self, file: &SourceFile) -> bool { ... }
    fn copy_into(&self, file: &SourceFile) -> Arc<SourceFile> { ... }
    fn load(&self, name: &str, content: String) -> Arc<SourceFile> { ... }
    fn get_by_path(&self, path: &str) -> Option<Arc<SourceFile>> { ... }
}

Required Methods

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 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

Provided Methods

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).

The returned source file is guaranteed to be owned by this manager.

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

Load the given content into this SourceManager with name

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

Get the most recent SourceFile whose path is path

Implementations on Foreign Types

impl<T> SourceManager for Arc<T>

where T: SourceManager + ?Sized,

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

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

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

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

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

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

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

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

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

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

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

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

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

Implementors

impl SourceManager for DefaultSourceManager