Struct ReadDatabase 

pub struct ReadDatabase { /* private fields */ }

Immutable, read-optimized snapshot of the database.

Implementations

impl ReadDatabase

pub fn empty() -> Self

pub fn single(file: File) -> Self

Creates a new ReadDatabase containing only a single file.

This is a convenience constructor for situations, such as testing or single-file tools, where an operation requires a DatabaseReader implementation but only needs to be aware of one file.

Arguments

• file: The single File to include in the database.

Trait Implementations

impl DatabaseReader for ReadDatabase

fn get_id(&self, name: &str) -> Option<FileId>

Retrieves a file’s stable ID using its logical name.

fn get(&self, id: &FileId) -> Result<Arc<File>, DatabaseError>

Retrieves a reference to a file using its stable FileId.

fn get_ref(&self, id: &FileId) -> Result<&File, DatabaseError>

Retrieves a reference to a file using its stable FileId.

fn get_by_name(&self, name: &str) -> Result<Arc<File>, DatabaseError>

Retrieves a reference to a file using its logical name.

fn get_by_path(&self, path: &Path) -> Result<Arc<File>, DatabaseError>

Retrieves a reference to a file by its absolute filesystem path.

fn files(&self) -> impl Iterator<Item = Arc<File>>

Returns an iterator over all files in the database.

fn len(&self) -> usize

Returns the total number of files in the database.

fn files_with_type( &self, file_type: FileType, ) -> impl Iterator<Item = Arc<File>>

Returns an iterator over all files of a specific FileType.

fn files_without_type( &self, file_type: FileType, ) -> impl Iterator<Item = Arc<File>>

Returns an iterator over all files that do not match a specific FileType.

fn file_ids(&self) -> impl Iterator<Item = FileId>

Returns an iterator over the stable IDs of all files in the database.

fn file_ids_with_type( &self, file_type: FileType, ) -> impl Iterator<Item = FileId>

Returns an iterator over the stable IDs of all files of a specific FileType.

fn file_ids_without_type( &self, file_type: FileType, ) -> impl Iterator<Item = FileId>

Returns an iterator over the stable IDs of all files that do not match a specific FileType.

fn is_empty(&self) -> bool

Returns true if the database contains no files.

impl Debug for ReadDatabase

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

Formats the value using the given formatter.