Struct FunctionAnalysisState 

pub struct FunctionAnalysisState {
    pub string_table: HashMap<String, u32>,
    pub strings: Vec<String>,
    pub warnings: Vec<CompileWarning>,
}

Per-function mutable state during semantic analysis.

This struct contains all mutable state that is modified during function body analysis. For parallel analysis, each function gets its own instance, and results are merged afterward.

Contents

• String literals encountered
• Warnings generated

Note on Array Types

Array types are handled by the shared TypeInternPool in SemaContext. They are no longer tracked per-function.

Merging

After parallel analysis, use merge_into to combine results:

• Strings are deduplicated
• Warnings are concatenated

Fields

string_table: HashMap<String, u32>

String table for deduplication.

strings: Vec<String>

String literals in order of creation.

warnings: Vec<CompileWarning>

Warnings collected during analysis.

Implementations

impl FunctionAnalysisState

pub fn new() -> Self

Create a new empty analysis state.

pub fn add_string(&mut self, content: String) -> u32

Add a string to the string table, returning its index. Deduplicates identical strings.

pub fn add_warning(&mut self, warning: CompileWarning)

Add a warning.

Trait Implementations

impl Debug for FunctionAnalysisState

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

Formats the value using the given formatter.

impl Default for FunctionAnalysisState

fn default() -> FunctionAnalysisState

Returns the “default value” for a type.