Struct Analyzer

pub struct Analyzer<'a> {
    pub shared: SharedState<'a>,
    /* private fields */
}

Fields

shared: SharedState<'a>

Implementations

impl Analyzer<'_>

pub fn convert_to_function_access_kind( function_ref: &Rc<Function>, ) -> ExpressionKind

pub fn lookup_associated_function( &self, ty: &Type, function_name: &str, ) -> Option<Rc<Function>>

pub fn convert_to_function_access_expr( &self, associated_function_info: &Rc<Function>, ast_node: &Node, ) -> Expression

pub fn analyze_range( &mut self, min_expr: &Expression, max_expr: &Expression, mode: &RangeMode, ast_node: &Node, ) -> Result<Expression, Error>

Errors

impl Analyzer<'_>

pub fn analyze_argument( &mut self, fn_parameter: &TypeForParameter, argument_expr: &MutableOrImmutableExpression, ) -> Result<ArgumentExpressionOrLocation, Error>

Errors

pub fn analyze_and_verify_parameters( &mut self, node: &Node, fn_parameters: &[TypeForParameter], arguments: &[MutableOrImmutableExpression], ) -> Result<Vec<ArgumentExpressionOrLocation>, Error>

Errors

pub fn analyze_mut_or_immutable_expression( &mut self, expr: &MutableOrImmutableExpression, context: &TypeContext<'_>, location_side: LocationSide, ) -> Result<MutOrImmutableExpression, Error>

Errors

impl Analyzer<'_>

pub fn try_find_constant( &self, qualified_constant_identifier: &QualifiedConstantIdentifier, ) -> Option<&Rc<Constant>>

impl Analyzer<'_>

pub fn analyze_alias_type_definition( &mut self, ast_alias: &AliasType, ) -> Result<AliasType, Error>

Errors

pub fn analyze_anonymous_struct_type( &mut self, ast_struct: &AnonymousStructType, ) -> Result<AnonymousStructType, Error>

Errors

pub fn analyze_anonymous_struct_type_fields( &mut self, ast_struct_fields: &[StructTypeField], ) -> Result<SeqMap<String, StructTypeField>, Error>

Errors

pub fn convert_to_type_variables( &mut self, ast_type_variables: &[TypeVariable], ) -> Vec<String>

pub fn set_type_variables_to_extra_symbol_table( &mut self, type_variables: &[String], )

Panics

pub fn analyze_named_struct_type_definition( &mut self, ast_struct_def: &NamedStructDef, ) -> Result<(), Error>

Errors

pub fn debug_definition(&self, definition: &Definition)

pub fn analyze_definition(&mut self, ast_def: &Definition) -> Result<(), Error>

Errors

pub fn analyze_impl_functions( &mut self, attach_to_type: Type, functions: &[&Function], ) -> Result<(), Error>

Errors

impl Analyzer<'_>

pub fn analyze_complex_literal_to_expression( &mut self, ast_node: &Node, ast_literal_kind: &LiteralKind, context: &TypeContext<'_>, ) -> Result<Expression, Error>

Errors

pub fn create_err(&self, kind: ErrorKind, ast_node: &Node) -> Error

pub fn create_err_resolved( &self, kind: ErrorKind, resolved_node: &Node, ) -> Error

impl Analyzer<'_>

pub fn analyze_anonymous_struct_literal( &mut self, node: &Node, ast_fields: &Vec<FieldExpression>, rest_was_specified: bool, context: &TypeContext<'_>, ) -> Result<Expression, Error>

Errors

Panics

impl Analyzer<'_>

pub fn analyze_map_type( &mut self, ast_key_type: &Type, ast_value_type: &Type, ) -> Result<(Type, Type), Error>

Errors

pub fn analyze_slice_type(&mut self, ast_type: &Type) -> Result<Type, Error>

Errors

pub fn analyze_type(&mut self, ast_type: &Type) -> Result<Type, Error>

Errors

impl<'a> Analyzer<'a>

pub const fn scopes(&self) -> &FunctionScopeState

impl<'a> Analyzer<'a>

pub fn new( state: &'a mut ProgramState, modules: &'a Modules, core_symbol_table: Rc<SymbolTable>, source_map: &'a SourceMap, module_path: &[String], file_id: u16, ) -> Analyzer<'a>

pub fn analyze_start_chain_expression_get_mutability( &mut self, ast_expression: &Expression, expected_type: Option<&Type>, ) -> Result<(Expression, bool), Error>

Errors

pub fn debug_expression(&self, expr: &Expression)

pub fn analyze_main_expression( &mut self, ast_expression: &Expression, ) -> Result<InternalMainExpression, Error>

pub fn analyze_expression( &mut self, ast_expression: &Expression, context: &TypeContext<'_>, ) -> Result<Expression, Error>

Errors

pub fn analyze_expression_internal( &mut self, ast_expression: &Expression, context: &TypeContext<'_>, ) -> Result<Expression, Error>

Errors

pub fn analyze_struct_field( &mut self, field_name: &Node, tv: Type, ) -> Result<(AnonymousStructType, usize, Type), Error>

Panics

Errors

pub fn analyze_variable_assignment( &mut self, variable: &Variable, source_expression: &MutableOrImmutableExpression, ) -> Result<Expression, Error>

Errors

pub const fn create_expr( &self, kind: ExpressionKind, ty: Type, ast_node: &Node, ) -> Expression

pub fn create_expr_resolved( &self, kind: ExpressionKind, ty: Type, ast_node: &Node, ) -> Expression