Struct StagedSemanticInfo

pub struct StagedSemanticInfo {
    pub nodes: FrontendNodeIndex,
    pub builder_envs: SecondaryMap<MetaExprId, Option<Vec<BuilderBindingInfo>>>,
    pub runtime_name_resolution: SecondaryMap<ExprId, Option<ResolvedName>>,
    pub meta_name_resolution: SecondaryMap<MetaExprId, Option<ResolvedName>>,
    pub runtime_expr_types: SecondaryMap<ExprId, Option<TypeExpr>>,
    pub meta_expr_types: SecondaryMap<MetaExprId, Option<MetaType>>,
    pub meta_call_info: SecondaryMap<MetaExprId, Option<MetaCallInfo>>,
    pub meta_match_info: SecondaryMap<MetaStmtId, Option<MetaMatchInfo>>,
    pub issues: Vec<(MetaExprId, SemanticIssue)>,
    pub meta_function_issues: BTreeMap<String, SemanticIssue>,
}

Pre-expansion semantic information keyed by stable frontend node ids.

Fields

nodes: FrontendNodeIndex

Deterministic frontend node index for the source program.

builder_envs: SecondaryMap<MetaExprId, Option<Vec<BuilderBindingInfo>>>

Runtime bindings visible at each expr { ... } builder site.

runtime_name_resolution: SecondaryMap<ExprId, Option<ResolvedName>>

Name-resolution result for runtime expressions.

meta_name_resolution: SecondaryMap<MetaExprId, Option<ResolvedName>>

Name-resolution result for meta expressions.

runtime_expr_types: SecondaryMap<ExprId, Option<TypeExpr>>

Best-known pre-expansion runtime expression type.

meta_expr_types: SecondaryMap<MetaExprId, Option<MetaType>>

Best-known pre-expansion meta expression kind.

meta_call_info: SecondaryMap<MetaExprId, Option<MetaCallInfo>>

Known semantic facts for meta call expressions.

meta_match_info: SecondaryMap<MetaStmtId, Option<MetaMatchInfo>>

Known semantic facts for meta match statements.

issues: Vec<(MetaExprId, SemanticIssue)>

Pre-expansion semantic issues found during analysis.

meta_function_issues: BTreeMap<String, SemanticIssue>

Obvious return-type issues for meta functions.

Trait Implementations

impl Clone for StagedSemanticInfo

fn clone(&self) -> StagedSemanticInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for StagedSemanticInfo

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

Formats the value using the given formatter.