Struct Driver 

pub struct Driver { /* private fields */ }

Pipeline orchestration wrapper around ProjectDb.

Implementations

impl Driver

pub fn new() -> Self

Create a new driver with an empty database.

pub fn from_db(db: ProjectDb) -> Self

Create a driver from an existing database.

pub fn set_analysis_options(&mut self, options: AnalysisOptions)

Set the analysis options (e.g. a registered host manifest + external check severity) used by analyze. Invalidates any cached analysis.

pub fn db(&self) -> &ProjectDb

Borrow the underlying database.

pub fn db_mut(&mut self) -> &mut ProjectDb

Mutably borrow the underlying database.

Invalidates the cached analysis result, since any mutation may change HIR/manifest data that analysis depends on.

pub fn into_db(self) -> ProjectDb

Consume the driver and return the underlying database.

pub fn discover<F>( &mut self, entry: &str, read_file: F, ) -> Result<(), DiscoverError>

where F: FnMut(&str) -> Result<String, Error>,

Discover all files reachable via INCLUDEs from the entry point.

pub fn analyze(&mut self) -> &AnalysisResult

Run cross-file analysis on all files (or return cached result).

pub fn analyze_project(&self, file_ids: &[FileId]) -> AnalysisResult

Run analysis on a specific subset of files (one project). Not cached.

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

Snapshot analysis inputs for a subset of files.

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

Snapshot all analysis inputs.

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

Compute independent projects from include relationships.

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

Return file IDs in topological include order.

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

Snapshot file metadata for diagnostic publishing.

pub fn collect_diagnostics( &self, analysis: &AnalysisResult, entry: Option<FileId>, ) -> DiagnosticReport

Collect all diagnostics (lowering + analysis), apply suppressions, partition.

pub fn lir_inputs( &self, entry: FileId, ) -> (Vec<(FileId, &HirFile)>, HashMap<FileId, String>)

Prepare inputs for LIR lowering.

Returns HIR files in topological order and a path map for diagnostics.

Trait Implementations

impl Default for Driver

fn default() -> Self

Returns the “default value” for a type.