Struct Resolver

pub struct Resolver<'a> { /* private fields */ }

Implementations

impl<'a> Resolver<'a>

pub fn resolve_index_access( &mut self, expression: &Expression, key_expr: &Expression, ) -> Result<ResolvedExpression, ResolveError>

impl<'a> Resolver<'a>

pub fn resolve_struct_type_definition( &mut self, ast_struct: &StructType, ) -> Result<ResolvedStructTypeRef, ResolveError>

pub fn resolve_definition( &mut self, ast_def: &Definition, ) -> Result<ResolvedDefinition, ResolveError>

impl<'a> Resolver<'a>

pub fn resolve_map_type( &mut self, ast_key_type: &Type, ast_value_type: &Type, ) -> Result<ResolvedMapTypeRef, ResolveError>

pub fn find_struct_type( &self, type_name: &QualifiedTypeIdentifier, ) -> Result<ResolvedStructTypeRef, ResolveError>

pub fn resolve_array_type( &mut self, ast_type: &Type, ) -> Result<ResolvedArrayTypeRef, ResolveError>

pub fn resolve_type( &mut self, ast_type: &Type, ) -> Result<ResolvedType, ResolveError>

impl<'a> Resolver<'a>

pub fn new( state: &'a mut ResolvedProgramState, lookup: &'a mut NameLookup<'a>, source_map: &'a SourceMap, file_id: FileId, ) -> Self

pub fn is_empty_array_literal(ast_expression: &Expression) -> bool

pub fn resolve_expression_maybe_expecting_type( &mut self, ast_expression: &Expression, expected_type: Option<ResolvedType>, allow_some: bool, ) -> Result<ResolvedExpression, ResolveError>

pub fn resolve_expression_expecting_type( &mut self, ast_expression: &Expression, expected_type: &ResolvedType, allow_some_wrap: bool, ) -> Result<ResolvedExpression, ResolveError>

pub fn resolve_expression( &mut self, ast_expression: &Expression, ) -> Result<ResolvedExpression, ResolveError>