Struct AnalyzedResolvedHierarchy 

pub struct AnalyzedResolvedHierarchy { /* private fields */ }

Completely parsed and globally indexed package hierarchy.

Callers can inspect Self::canonical_declarations and compare package content at this stage. ValidatedResolvedHierarchy::compile_root becomes available only after Self::validate_definitions succeeds.

Implementations

§

impl AnalyzedResolvedHierarchy

Signature links:AnalyzedResolvedHierarchy

pub fn property_contract_descriptor( &self, name: &str, ) -> Result<PropertyContractDescriptor, Diagnostic>

Signature links:property_contract_descriptorstrResultPropertyContractDescriptorDiagnostic

Inspect a public property contract in the exact selected root module. No release value, Model occurrence, or substitute material is constructed.

Errors

Rejects missing/private contracts and unresolved or unsupported full types.

§

impl AnalyzedResolvedHierarchy

Signature links:AnalyzedResolvedHierarchy

pub fn value_definition(&self, file: &str, offset: u32) -> Option<(&str, Span)>

Signature links:value_definitionstru32OptionstrSpan

Resolve a value Name or Path in a Model or Component to its declaration: an owned Field, Parameter, or Port, or a public Port of a Model’s direct child. The returned spelling covers the whole expression, so callers must check that the cursor is on its final identifier. Deeper members and nested binder scopes are not resolved. Uses the prepared index; no elaboration runs.

pub fn value_references(&self, declaration: &Span) -> Option<Vec<Span>>

Signature links:value_referencesSpanOptionVecSpan

Find the value Name and Path expressions that refer to a declaration, given by its whole Span: an owned Field, Parameter, or Port, or a direct child’s public Port, as indexed by the prepared declaration scopes. Results are sorted by source file and range and exclude nested binders and deeper or private child members. Several instance spellings can refer to one declaration, so the results are declaration references, not instance identities, and do not support rename. An unused declaration returns Some([]); an unknown span returns None. Callers map each expression to its final identifier token.

pub fn is_value_reference(&self, file: &str, offset: u32, name: &str) -> bool

Signature links:is_value_referencestru32strbool

Whether the position lies in a value Name or Path expression with this spelling inside a prepared declaration scope, outside unsupported binder scopes. The check is syntactic and does not resolve the declaration: callers must still check the cursor token and compare source identities with symbol_description, because expression ranges can include parentheses. Declaration names, units, and named activation clauses are not value expressions. No parsing or elaboration runs.

pub fn symbol_description( &self, file: &str, offset: u32, name: &str, declaration: (&str, TextRange), ) -> Option<String>

Signature links:symbol_descriptionstru32strstrTextRangeOptionString

Describe a declaration’s known type, role, activation, spatial support, and Model-local periodic schedule, provided the resolved declaration’s source identity matches. Reads the immutable prepared index; no elaboration runs.

pub fn prepare_completion(&mut self, is_cancelled: impl FnMut() -> bool) -> bool

Signature links:prepare_completionFnMutboolbool

Prepare the Model and unspecialized Component contracts used for editor assistance, once per analysis. Cancelling discards the partly built index. Existing definition scopes are reused; nothing is executed, solved, or read from packages.

pub fn completion_compatibility( &self, file: &str, offset: u32, candidates: &[&str], ) -> Option<Vec<Option<(bool, String)>>>

Signature links:completion_compatibilitystru32strOptionVecOptionboolString

Classify visible names using the prepared immutable contract index.

Entries (compatible, explanation) follow candidate order; a None entry means compatibility is unknown. Unsupported positions return None. Explanations are display text and may be truncated, which does not affect the comparison. No parsing or elaboration runs.

§

impl AnalyzedResolvedHierarchy

Signature links:AnalyzedResolvedHierarchy

pub fn canonical_declarations(&self) -> &[CanonicalDeclarationIdentity]

Signature links:canonical_declarationsCanonicalDeclarationIdentity

Compiler-canonical declarations in (namespace, path, kind) order.

pub fn resolved_references(&self) -> impl ExactSizeIterator

Signature links:resolved_referencesExactSizeIterator

Compiler-resolved declaration references in source-file and range order.

§

impl AnalyzedResolvedHierarchy

Signature links:AnalyzedResolvedHierarchy

pub const fn root(&self) -> &CompilationNamespaceId

Signature links:rootCompilationNamespaceId

Namespace containing the selected executable Model.

pub fn resolved_source_files(&self) -> impl ExactSizeIterator

Signature links:resolved_source_filesExactSizeIterator

Package-qualified source labels in resolved-graph order.

pub fn resolved_declarations(&self) -> impl ExactSizeIterator

Signature links:resolved_declarationsExactSizeIterator

Compiler-resolved top-level declarations and their definition locations.

pub fn dimension_alias(&self, name: &str) -> Result<DimExponents, Diagnostic>

Signature links:dimension_aliasstrResultDimExponentsDiagnostic

Resolve a structural dimension in the root module or one direct public import.

The result is a structural SI dimension, never a nominal declaration identity.

Errors

Rejects absent, private, wrong-kind, or transitive declaration paths.

pub fn property_bindings(&self) -> impl ExactSizeIterator

Signature links:property_bindingsExactSizeIterator

Read-only nominal property bindings retained through elaboration.

pub fn validate_definitions( self, ) -> Result<ValidatedResolvedHierarchy, Vec<Diagnostic>>

Signature links:validate_definitionsResultValidatedResolvedHierarchyVecDiagnostic

Validate every distributable definition before selected-root elaboration.

Errors

Returns accumulated definition diagnostics. No Model, graph Transaction, occurrence identity, or provenance entry is created.

Trait Implementations

§

impl Clone for AnalyzedResolvedHierarchy

Signature links:CloneAnalyzedResolvedHierarchy

§

fn clone(&self) -> AnalyzedResolvedHierarchy

Signature links:cloneAnalyzedResolvedHierarchy

Returns a duplicate of the value.

§

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

Signature links:unstableSourceclone_from

Performs copy-assignment from source.

§

impl Debug for AnalyzedResolvedHierarchy

Signature links:DebugAnalyzedResolvedHierarchy

§

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

Signature links:fmtFormatterResult()Error

Formats the value using the given formatter.