Struct AnalysisResult 

pub struct AnalysisResult {
    pub diagnostics: Vec<SemanticDiagnostic>,
    pub scope_store: ScopeStore,
    pub type_map: HashMap<TypeMapKey, Type>,
    pub scope_id_sequence: Vec<ScopeId>,
}

Result of running scope building and validation.

Fields

diagnostics: Vec<SemanticDiagnostic>

scope_store: ScopeStore

type_map: HashMap<TypeMapKey, Type>

Map from expression span (start, end) to inferred type (for formatter type annotations).

scope_id_sequence: Vec<ScopeId>

Scope IDs in walk order (for LSP: compute scope at offset from scope-extent list).

Implementations

impl AnalysisResult

pub fn has_errors(&self) -> bool

pub fn is_valid(&self) -> bool

Trait Implementations

impl Debug for AnalysisResult

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

Formats the value using the given formatter.