class Kaze::Resolver

• Kaze::Resolver
• Reference
• Object

Overview

The resolver. Resolves variable locations so that the interpreter can know exactly where a variable is, and what it is. Also checks for semantic errors like self-assignment in variable definitions and returns outside a function.

Included Modules

• Kaze::Expr::Visitor
• Kaze::Stmt::Visitor

Defined in:

Constructors

• .new(interpreter : Interpreter)

Instance Method Summary

• #resolve(statements : Array(Stmt))
• #resolve(stmt : Stmt)
• #resolve(expr : Expr)
• #resolve(statement : Stmt | Expr | Nil)
• #visit_assign_expr(expr : Expr::Assign) : Nil
• #visit_binary_expr(expr : Expr::Binary) : Nil
• #visit_block_stmt(stmt : Stmt::Block) : Nil
• #visit_break_stmt(stmt : Stmt::Break) : Nil
• #visit_call_expr(expr : Expr::Call) : Nil
• #visit_class_stmt(stmt : Stmt::Class) : Nil
• #visit_expression_stmt(stmt : Stmt::Expression) : Nil
• #visit_function_stmt(stmt : Stmt::Function) : Nil
• #visit_get_expr(expr : Expr::Get) : Nil
• #visit_grouping_expr(expr : Expr::Grouping) : Nil
• #visit_if_stmt(stmt : Stmt::If) : Nil
• #visit_lambda_expr(expr : Expr::Lambda) : Nil
• #visit_literal_expr(expr : Expr::Literal) : Nil
• #visit_logical_expr(expr : Expr::Logical) : Nil
• #visit_return_stmt(stmt : Stmt::Return) : Nil
• #visit_self_expr(expr : Expr::Self) : Nil
• #visit_set_expr(expr : Expr::Set) : Nil
• #visit_super_expr(expr : Expr::Super) : Nil
• #visit_ternary_expr(expr : Expr::Ternary) : Nil
• #visit_unary_expr(expr : Expr::Unary) : Nil
• #visit_var_stmt(stmt : Stmt::Var) : Nil

  The variable isn't resolved if it is named _.

• #visit_variable_expr(expr : Expr::Variable) : Nil
• #visit_while_stmt(stmt : Stmt::While) : Nil

Constructor Detail

Instance Method Detail