Module cairo_lang_semantic::expr::compute

This module is responsible of computing the semantic model of expressions and statements in the code, while type checking. It is invoked by queries for function bodies and other code blocks.

Structs

ComputationContext

Context for computing the semantic model of expression trees.

Environment

A state which contains all the variables defined at the current resolver until now, and a pointer to the parent environment.

Functions

compute_expr_block_semantic

Computes the semantic model of an expression of type ast::ExprBlock.

compute_expr_semantic

Computes the semantic model of an expression.

compute_named_argument_clause

Computes the semantic model of an expression of type ast::Arg.

compute_root_expr

compute_statement_semantic

Computes the semantic model of a statement.

get_variable_by_name

Returns the requested variable from the environment if it exists. Returns None otherwise.

maybe_compute_expr_semantic

Computes the semantic model of an expression, or returns a SemanticDiagnosticKind on error,

resolve_trait_function

Resolves a trait function to an impl function.

resolve_variable_by_name

Resolves a variable given a context and a simple name.

Type Definitions

EnvVariables