Crate cairo_lang_semantic

Semantic model representation and queries for Cairo. The semantic model represents the Cairo program after type resolution and some syntax desugaring.

Re-exports

• pub use diagnostic::SemanticDiagnostic;
• pub use substitution::SemanticObject;
• pub use crate::expr::pattern::Pattern;
• pub use crate::expr::pattern::PatternEnumVariant;
• pub use crate::expr::pattern::PatternFixedSizeArray;
• pub use crate::expr::pattern::PatternLiteral;
• pub use crate::expr::pattern::PatternOtherwise;
• pub use crate::expr::pattern::PatternStringLiteral;
• pub use crate::expr::pattern::PatternStruct;
• pub use crate::expr::pattern::PatternTuple;
• pub use crate::expr::pattern::PatternVariable;
• pub use crate::items::enm::ConcreteVariant;
• pub use crate::items::enm::MatchArmSelector;
• pub use crate::items::enm::ValueSelectorArm;
• pub use crate::items::enm::Variant;
• pub use crate::items::function_with_body::FunctionBody;
• pub use crate::items::functions::ConcreteFunction;
• pub use crate::items::functions::ConcreteFunctionWithBodyId;
• pub use crate::items::functions::FunctionId;
• pub use crate::items::functions::FunctionLongId;
• pub use crate::items::functions::Signature;
• pub use crate::items::generics::GenericArgumentId;
• pub use crate::items::generics::GenericParam;
• pub use crate::items::imp::ConcreteImplId;
• pub use crate::items::imp::ConcreteImplLongId;
• pub use crate::items::structure::Member;
• pub use crate::items::trt::ConcreteTraitId;
• pub use crate::items::trt::ConcreteTraitLongId;
• pub use crate::types::ConcreteEnumId;
• pub use crate::types::ConcreteExternTypeId;
• pub use crate::types::ConcreteStructId;
• pub use crate::types::ConcreteTypeId;
• pub use crate::types::TypeId;
• pub use crate::types::TypeLongId;
• pub use super::expr::objects::*;

Modules

• corelib
• db
• diagnostic
• expr
  This module is responsible for inner code elements, such as expressions and statements.
• inline_macros
• items
• literals
• lookup_item
• lsp_helpers
• plugin
• resolve
• substitution
• types

Macros

• add_basic_rewrites
• add_expr_rewrites
• add_rewrite
• add_rewrite_identity
• extract_macro_single_unnamed_arg
  Macro to extract a single unnamed argument of an inline macro. Gets the pattern for the allowed bracket types, and returns the argument expression.
• extract_macro_unnamed_args
  Macro to extract unnamed arguments of an inline macro. Gets the expected number of unnamed arguments, and the pattern for the allowed bracket types, and returns a fixed size array with the argument expressions.
• prune_single
• semantic_object_for_id

Structs

• LocalVariable
  Semantic model of a variable.
• ParamId
• Parameter

Enums

• Mutability
  The mutability attribute of a variable.
• VarId
  Id for any variable definition.
• Variable