Struct SourceManager

pub struct SourceManager { /* private fields */ }

A manager for sources, which stores sources and provides methods to insert and retrieve them.

Implementations

impl SourceManager

pub fn new(interner: ThreadedInterner) -> Self

Creates a new source manager with the given interner.

Parameters

• interner: The interner to use for source names.

Returns

The new source manager.

pub fn insert_path( &self, name: String, path: PathBuf, category: SourceCategory, ) -> SourceIdentifier

Inserts a source with the given name and path into the manager.

Parameters

• name: The name of the source.
• path: The path to the source.
• category: The category of the source.

Returns

The identifier of the inserted source.

pub fn insert_content( &self, name: String, content: String, category: SourceCategory, ) -> SourceIdentifier

Inserts a source with the given name and content into the manager.

Parameters

• name: The name of the source.
• content: The content of the source.
• category: The category of the source.

Returns

The identifier of the inserted source.

pub fn contains(&self, source_id: &SourceIdentifier) -> bool

Checks whether the manager contains a source with the given identifier.

Parameters

• source_id: The identifier of the source to check for.

Returns

Whether the manager contains a source with the given identifier.

pub fn source_ids(&self) -> impl Iterator<Item = SourceIdentifier> + '_

Retrieve an iterator over all source identifiers in the manager.

pub fn source_ids_for_category( &self, category: SourceCategory, ) -> impl Iterator<Item = SourceIdentifier> + '_

Retrieve an iterator over all source identifiers in the manager for the given category.

pub fn source_ids_except_category( &self, category: SourceCategory, ) -> impl Iterator<Item = SourceIdentifier> + '_

Retrieve an iterator over all source identifiers in the manager for categories other than the given category.

pub fn load(&self, source_id: &SourceIdentifier) -> Result<Source, SourceError>

Retrieve the source with the given identifier from the manager.

Parameters

• source_id: The identifier of the source to retrieve.

Returns

The source with the given identifier, or an error if the source does not exist, or could not be loaded.

pub fn write( &self, source_id: SourceIdentifier, content: String, ) -> Result<(), SourceError>

pub fn len(&self) -> usize

Retrieve the number of sources in the manager.

pub fn is_empty(&self) -> bool

Check whether the manager is empty.

Trait Implementations

impl Clone for SourceManager

fn clone(&self) -> SourceManager

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SourceManager

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Send for SourceManager

impl Sync for SourceManager