slang_frontend::semantic_analysis::semantic_analyzer

Function execute

Source 
pub fn execute(
    statements: &[Statement],
    context: &mut CompilationContext,
) -> CompileResult<()>
Expand description

Performs semantic analysis including type checking on a list of statements. This is the main entry point for the semantic analysis system.

§Arguments

  • statements - The AST statements to analyze
  • context - The compilation context

§Returns

  • CompileResult<()> - Ok if no semantic errors were found, otherwise Err with the list of errors