Struct DatabaseSnapshot 

pub struct DatabaseSnapshot { /* private fields */ }

A read-only, Send snapshot of the database at a point in time.

Obtained via Database::snapshot. The snapshot shares the Arc<Zalsa> backing store with the origin Database and sees a frozen view of the Salsa revision at the moment of cloning. Subsequent mutations to the Database are invisible to this snapshot.

Snapshots are suitable for cross-thread queries: they implement Send so they can be shipped to a worker thread for concurrent read queries.

Example

let snap = db.snapshot();
let file = /* FileId from the origin db */;
let result = std::thread::spawn(move || {
    snap.parse_cst(file).unwrap()
}).join().unwrap();

Implementations

impl DatabaseSnapshot

pub fn parse_cst(&self, id: FileId) -> Result<ParseOutput, UnknownFileId>

Run parse_cst on the given file using this snapshot’s view.

Returns Err(UnknownFileId) if id was not open at snapshot time.

pub fn parse_ast(&self, id: FileId) -> Result<AstOutput, UnknownFileId>

Run parse_ast on the given file using this snapshot’s view.

pub fn plan_of(&self, id: FileId) -> Result<PlanOutput, UnknownFileId>

Run plan_of on the given file using this snapshot’s view.

pub fn sema_diagnostics( &self, id: FileId, ) -> Result<DiagnosticsOutput, UnknownFileId>

Run sema_diagnostics on the given file using this snapshot’s view.

pub fn resolved_names( &self, id: FileId, ) -> Result<ResolvedNamesOutput, UnknownFileId>

Run resolved_names on the given file using this snapshot’s view.

pub fn all_diagnostics( &self, id: FileId, ) -> Result<DiagnosticsOutput, UnknownFileId>

Run all_diagnostics on the given file using this snapshot’s view.

pub fn analyse_file(&self, id: FileId) -> Result<Analysis, UnknownFileId>

Run the full analysis pipeline on the given file using this snapshot’s view.

Trait Implementations

impl Debug for DatabaseSnapshot

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

Formats the value using the given formatter.