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 (excluding tail-expression).
• 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_variable_by_name
  Resolves a variable given a context and a simple name.

Type Definitions

• EnvVariables