Struct MelAnalysisContext 

pub struct MelAnalysisContext {
    pub expr: Option<Expr<Analyzed>>,
    pub ptcg: Option<ParamsTypeCheckerGenerator>,
    pub scopes: Scopes<Type>,
}

Fields

expr: Option<Expr<Analyzed>>

ptcg: Option<ParamsTypeCheckerGenerator>

scopes: Scopes<Type>

Implementations

impl MelAnalysisContext

pub fn update_expr(&self, new: Expr<Analyzed>) -> Self

pub fn update_scopes(&self, new: &Scopes<Type>) -> Self

pub fn update_param_type_checker_generator( &self, ptcg: ParamsTypeCheckerGenerator, ) -> Self

Trait Implementations

impl AstVisitor<MelAnalysisContext, (), AnalysisLocatableError> for MelTypeChecker

fn visit_function_call( &self, ast: &FunctionCall<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_identifier( &self, ast: &Identifier<()>, context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_argument_list( &self, ast: &ArgumentList<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_argument( &self, ast: &Argument<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_binary_expr( &self, ast: &BinaryExpr<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_literal( &self, ast: (&Literal, &TextLocation, &()), context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_ternary_expr( &self, ast: &TernaryExpr<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_member_access_expr( &self, ast: &MemberAccessExpression<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

impl AstVisitor<MelAnalysisContext, (), AnalysisLocatableError> for MelOptimizer

fn visit_function_call( &self, _ast: &FunctionCall<()>, context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_identifier( &self, _ast: &Identifier<()>, context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_argument_list( &self, _ast: &ArgumentList<()>, context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_argument( &self, _: &Argument<()>, context: MelAnalysisContext, _: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_binary_expr( &self, ast: &BinaryExpr<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_literal( &self, _ast: (&Literal, &TextLocation, &()), context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_ternary_expr( &self, ast: &TernaryExpr<()>, context: MelAnalysisContext, driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

fn visit_member_access_expr( &self, _ast: &MemberAccessExpression<()>, context: MelAnalysisContext, _driver: &AstVisitorDriver, ) -> AstVisitorResult<MelAnalysisContext, AnalysisLocatableError>

impl Clone for MelAnalysisContext

fn clone(&self) -> MelAnalysisContext

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MelAnalysisContext

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MelAnalysisContext

fn default() -> MelAnalysisContext

Returns the “default value” for a type.