Struct ProjectDb 

pub struct ProjectDb { /* private fields */ }

Stateful incremental project database.

Caches parsed trees and lowered HIR per file, enabling efficient re-analysis when individual files change. Both the compiler (one-shot) and LSP (long-lived) use this as their project model.

Implementations

impl ProjectDb

pub fn new() -> ProjectDb

Create an empty project database.

pub fn set_file(&mut self, path: &str, source: String) -> FileId

Add or replace a file. Performs full parse + lower + cache.

pub fn update_file(&mut self, path: &str, source: String) -> FileId

Incrementally update a file. Re-parses, diffs knots by green-node identity, and only re-lowers changed knots.

pub fn remove_file(&mut self, path: &str)

Remove a file from the database.

pub fn file_id(&self, path: &str) -> Option<FileId>

Look up a file’s ID by path.

pub fn file_path(&self, id: FileId) -> Option<&str>

Look up a file’s path by ID.

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

Iterate over all registered file IDs.

pub fn file_ids_topo(&self, entry: FileId) -> Vec<FileId>

Return file IDs in topological include order (included files before the files that include them), matching ink’s INCLUDE paste semantics.

pub fn parse(&self, id: FileId) -> Option<&Parse>

Get the cached parse tree for a file.

pub fn hir(&self, id: FileId) -> Option<&HirFile>

Get the cached HIR for a file.

pub fn manifest(&self, id: FileId) -> Option<&SymbolManifest>

Get the cached symbol manifest for a file.

pub fn source(&self, id: FileId) -> Option<&str>

Get the source text for a file.

pub fn file_diagnostics(&self, id: FileId) -> Option<&[Diagnostic]>

Get per-file diagnostics (parse + lowering).

pub fn suppressions(&self, id: FileId) -> Option<&Suppressions>

Get parsed suppression directives for a file.

pub fn rebuild_include_graph(&mut self)

Rebuild include graph edges for all files.

Must be called after batch-loading files (e.g. workspace discovery) because set_file can only create edges to files already in the db. Files loaded before their include targets will have missing edges.

pub fn find_cycle(&self) -> Option<Vec<FileId>>

Detect cycles in the include graph.

Returns the first cycle found as an ordered path of file IDs.

pub fn compute_projects(&self) -> Vec<(FileId, Vec<FileId>)>

Compute independent projects from include relationships.

Returns (root, members) pairs sorted by root FileId.

pub fn analysis_inputs_for( &self, file_ids: &[FileId], ) -> Vec<(FileId, HirFile, SymbolManifest)>

Snapshot analysis inputs for a subset of files.

Like analysis_inputs() but filtered to the given set.

pub fn analysis_inputs(&self) -> Vec<(FileId, HirFile, SymbolManifest)>

Snapshot all analysis inputs for background analysis.

Returns (FileId, HirFile, SymbolManifest) tuples cloned out of the db, so the caller can run brink_analyzer::analyze() without holding the lock.

pub fn file_metadata(&self) -> Vec<(FileId, String, String)>

Snapshot file metadata for diagnostic publishing.

Returns (FileId, path, source) tuples for all files in the db.

Trait Implementations

impl Default for ProjectDb

fn default() -> ProjectDb

Returns the “default value” for a type.