Struct StashGraph 

#[non_exhaustive]
pub struct StashGraph {
    pub packages: Vec<PackageStash>,
    pub inheritance_edges: Vec<PackageInheritanceEdge>,
    pub export_declarations: Vec<ExportDeclaration>,
    pub dynamic_boundaries: Vec<StashDynamicBoundary>,
}

HIR-local package stash graph for compiler-substrate proof.

This graph is intentionally parser-core-local. It records package/stash facts with provenance and confidence, but no LSP provider consumes it yet.

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.

packages: Vec<PackageStash>

Package stashes in stable first-seen order.

inheritance_edges: Vec<PackageInheritanceEdge>

Inheritance edges in stable source order.

export_declarations: Vec<ExportDeclaration>

Static Exporter-style declarations in stable source order.

dynamic_boundaries: Vec<StashDynamicBoundary>

Dynamic stash boundaries in stable source order.

Implementations

impl StashGraph

pub fn export_sets(&self) -> Vec<ExportSet>

Project static HIR/stash export declarations into canonical export facts.

This is a compiler-substrate projection only. It does not execute Perl, inspect the filesystem, or change workspace/LSP provider behavior.

pub fn constant_table(&self) -> ConstantTable

Project static constant-like code slots into a compile-time constant table.

The table is a compiler-substrate receipt only. It records facts already present in the stash graph and does not execute Perl, evaluate constant values, or change provider behavior.

Trait Implementations

impl Clone for StashGraph

fn clone(&self) -> StashGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StashGraph

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

Formats the value using the given formatter.

impl Default for StashGraph

fn default() -> StashGraph

Returns the “default value” for a type.

impl PartialEq for StashGraph

fn eq(&self, other: &StashGraph) -> 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 StashGraph

impl StructuralPartialEq for StashGraph