Struct HirFile 

#[non_exhaustive]
pub struct HirFile {
    pub items: Vec<HirItem>,
    pub scope_graph: ScopeGraph,
    pub stash_graph: StashGraph,
    pub compile_environment: CompileEnvironment,
}

HIR for one parsed file.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

items: Vec<HirItem>

Items lowered in stable depth-first source order.

scope_graph: ScopeGraph

Scope and binding graph lowered beside HIR items.

stash_graph: StashGraph

Package stash graph lowered beside HIR items.

compile_environment: CompileEnvironment

Compile-environment facts lowered beside HIR items.

Implementations

impl HirFile

pub fn is_empty(&self) -> bool

Return true when no HIR items were lowered.

pub fn compile_effects(&self) -> Vec<CompileEffect>

Project compile-time effects using the default model metadata.

This is a compiler-substrate proof surface only. It links existing HIR facts to the state mutations that produced them without changing LSP provider behavior.

pub fn compile_effects_with_source_hash( &self, source_hash: Option<String>, ) -> Vec<CompileEffect>

Project compile-time effects and attach a caller-supplied source hash.

Parser-core does not own a source database, so persisted workspace callers can pass the source hash they use for freshness. Fixture-only callers may use HirFile::compile_effects.

pub fn framework_facts(&self) -> FrameworkFactGraph

Project framework-adapter facts using the default registry.

This is a compiler-substrate proof surface only. It does not change LSP provider behavior.

Trait Implementations

impl Clone for HirFile

fn clone(&self) -> HirFile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HirFile

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

Formats the value using the given formatter.

impl Default for HirFile

fn default() -> HirFile

Returns the “default value” for a type.

impl PartialEq for HirFile

fn eq(&self, other: &HirFile) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for HirFile

impl StructuralPartialEq for HirFile