Package tech.ixor.calclox

Class Resolver

java.lang.Object

tech.ixor.calclox.Resolver

All Implemented Interfaces:

Expr.Visitor<Void>, Statement.Visitor<Void>

public class Resolver
extends Object
implements Expr.Visitor<Void>, Statement.Visitor<Void>

Resolves lexical variable references before interpretation.

The resolver computes each local expression's environment depth and rejects invalid constructs such as duplicate local declarations, self-initialization, and top-level return statements.

Method Summary

Modifier and Type	Method	Description
void	resolve(List<Statement> statements)	Resolves all statements in source order.
Void	visitAssignExpr(Expr.Assign expr)
Void	visitBinaryExpr(Expr.Binary expr)
Void	visitBlockStatement(Statement.Block Statement)
Void	visitCallExpr(Expr.Call expr)
Void	visitDefineStatement(Statement.Define statement)
Void	visitExpressionStatement(Statement.Expression Statement)
Void	visitFunctionStatement(Statement.Function Statement)
Void	visitGroupingExpr(Expr.Grouping expr)
Void	visitIfStatement(Statement.If Statement)
Void	visitLiteralExpr(Expr.Literal expr)
Void	visitLogicalExpr(Expr.Logical expr)
Void	visitOutputStatement(Statement.Output statement)
Void	visitReturnStatement(Statement.Return Statement)
Void	visitUnaryExpr(Expr.Unary expr)
Void	visitVariableExpr(Expr.Variable expr)
Void	visitVarStatement(Statement.Var Statement)
Void	visitWhileStatement(Statement.While Statement)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

resolve

public void resolve(List<Statement> statements)

Resolves all statements in source order.

Parameters:

statements - parsed program

Throws:

CalcLoxRunnerError - if the program violates lexical-scope rules

visitAssignExpr

public Void visitAssignExpr(Expr.Assign expr)

Specified by:

visitAssignExpr in interface Expr.Visitor<Void>

visitBinaryExpr

public Void visitBinaryExpr(Expr.Binary expr)

Specified by:

visitBinaryExpr in interface Expr.Visitor<Void>

visitCallExpr

public Void visitCallExpr(Expr.Call expr)

Specified by:

visitCallExpr in interface Expr.Visitor<Void>

visitGroupingExpr

public Void visitGroupingExpr(Expr.Grouping expr)

Specified by:

visitGroupingExpr in interface Expr.Visitor<Void>

visitLiteralExpr

public Void visitLiteralExpr(Expr.Literal expr)

Specified by:

visitLiteralExpr in interface Expr.Visitor<Void>

visitLogicalExpr

public Void visitLogicalExpr(Expr.Logical expr)

Specified by:

visitLogicalExpr in interface Expr.Visitor<Void>

visitUnaryExpr

public Void visitUnaryExpr(Expr.Unary expr)

Specified by:

visitUnaryExpr in interface Expr.Visitor<Void>

visitVariableExpr

public Void visitVariableExpr(Expr.Variable expr)

Specified by:

visitVariableExpr in interface Expr.Visitor<Void>

visitBlockStatement

public Void visitBlockStatement(Statement.Block Statement)

Specified by:

visitBlockStatement in interface Statement.Visitor<Void>

visitDefineStatement

public Void visitDefineStatement(Statement.Define statement)

Specified by:

visitDefineStatement in interface Statement.Visitor<Void>

visitExpressionStatement

public Void visitExpressionStatement(Statement.Expression Statement)

Specified by:

visitExpressionStatement in interface Statement.Visitor<Void>

visitFunctionStatement

public Void visitFunctionStatement(Statement.Function Statement)

Specified by:

visitFunctionStatement in interface Statement.Visitor<Void>

visitIfStatement

public Void visitIfStatement(Statement.If Statement)

Specified by:

visitIfStatement in interface Statement.Visitor<Void>

visitOutputStatement

public Void visitOutputStatement(Statement.Output statement)

Specified by:

visitOutputStatement in interface Statement.Visitor<Void>

visitReturnStatement

public Void visitReturnStatement(Statement.Return Statement)

Specified by:

visitReturnStatement in interface Statement.Visitor<Void>

visitVarStatement

public Void visitVarStatement(Statement.Var Statement)

Specified by:

visitVarStatement in interface Statement.Visitor<Void>

visitWhileStatement

public Void visitWhileStatement(Statement.While Statement)

Specified by:

visitWhileStatement in interface Statement.Visitor<Void>