2020-11-11 21:33:02 -08:00
|
|
|
package com.craftinginterpreters.lox;
|
|
|
|
|
2020-11-18 18:18:25 -08:00
|
|
|
import java.util.List;
|
|
|
|
|
|
|
|
class Interpreter implements Expr.Visitor<Object>, Stmt.Visitor<Void> {
|
2020-11-11 21:33:02 -08:00
|
|
|
@Override
|
|
|
|
public Object visitLiteralExpr(Expr.Literal expr) {
|
|
|
|
return expr.value;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public Object visitUnaryExpr(Expr.Unary expr) {
|
|
|
|
Object right = evaluate(expr.right);
|
|
|
|
|
|
|
|
switch (expr.operator.type) {
|
|
|
|
case BANG:
|
|
|
|
return !isTruthy(right);
|
|
|
|
case MINUS:
|
|
|
|
checkNumberOperand(expr.operator, right);
|
|
|
|
return -(double) right;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unreachable.
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
private void checkNumberOperand(Token operator, Object operand) {
|
|
|
|
if (operand instanceof Double)
|
|
|
|
return;
|
|
|
|
throw new RuntimeError(operator, "Operand must be a number.");
|
|
|
|
}
|
|
|
|
|
|
|
|
private void checkNumberOperands(Token operator, Object left, Object right) {
|
|
|
|
if (left instanceof Double && right instanceof Double)
|
|
|
|
return;
|
|
|
|
|
|
|
|
throw new RuntimeError(operator, "Operands must be numbers.");
|
|
|
|
}
|
|
|
|
|
|
|
|
private boolean isTruthy(Object object) {
|
|
|
|
if (object == null)
|
|
|
|
return false;
|
|
|
|
if (object instanceof Boolean)
|
|
|
|
return (boolean) object;
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
private boolean isEqual(Object a, Object b) {
|
|
|
|
if (a == null && b == null)
|
|
|
|
return true;
|
|
|
|
if (a == null)
|
|
|
|
return false;
|
|
|
|
|
|
|
|
return a.equals(b);
|
|
|
|
}
|
|
|
|
|
|
|
|
private String stringify(Object object) {
|
|
|
|
if (object == null)
|
|
|
|
return "nil";
|
|
|
|
|
|
|
|
if (object instanceof Double) {
|
|
|
|
String text = object.toString();
|
|
|
|
if (text.endsWith(".0")) {
|
|
|
|
text = text.substring(0, text.length() - 2);
|
|
|
|
}
|
|
|
|
return text;
|
|
|
|
}
|
|
|
|
|
|
|
|
return object.toString();
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public Object visitGroupingExpr(Expr.Grouping expr) {
|
|
|
|
return evaluate(expr.expression);
|
|
|
|
}
|
|
|
|
|
|
|
|
private Object evaluate(Expr expr) {
|
|
|
|
return expr.accept(this);
|
|
|
|
}
|
|
|
|
|
2020-11-18 18:18:25 -08:00
|
|
|
private void execute(Stmt stmt) {
|
|
|
|
stmt.accept(this);
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public Void visitExpressionStmt(Stmt.Expression stmt) {
|
|
|
|
evaluate(stmt.expression);
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
|
|
|
@Override
|
|
|
|
public Void visitPrintStmt(Stmt.Print stmt) {
|
|
|
|
Object value = evaluate(stmt.expression);
|
|
|
|
System.out.println(stringify(value));
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2020-11-11 21:33:02 -08:00
|
|
|
@Override
|
|
|
|
public Object visitBinaryExpr(Expr.Binary expr) {
|
|
|
|
Object left = evaluate(expr.left);
|
|
|
|
Object right = evaluate(expr.right);
|
|
|
|
|
|
|
|
switch (expr.operator.type) {
|
|
|
|
case GREATER:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left > (double) right;
|
|
|
|
case GREATER_EQUAL:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left >= (double) right;
|
|
|
|
case LESS:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left < (double) right;
|
|
|
|
case LESS_EQUAL:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left <= (double) right;
|
|
|
|
case BANG_EQUAL:
|
|
|
|
return !isEqual(left, right);
|
|
|
|
case EQUAL_EQUAL:
|
|
|
|
return isEqual(left, right);
|
|
|
|
case MINUS:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left - (double) right;
|
|
|
|
case PLUS:
|
|
|
|
if (left instanceof Double && right instanceof Double) {
|
|
|
|
return (double) left + (double) right;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (left instanceof String && right instanceof String) {
|
|
|
|
return (String) left + (String) right;
|
|
|
|
}
|
|
|
|
|
|
|
|
throw new RuntimeError(expr.operator, "Operands must be two numbers or two strings.");
|
|
|
|
case SLASH:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left / (double) right;
|
|
|
|
case STAR:
|
|
|
|
checkNumberOperands(expr.operator, left, right);
|
|
|
|
return (double) left * (double) right;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unreachable.
|
|
|
|
return null;
|
|
|
|
}
|
|
|
|
|
2020-11-18 18:18:25 -08:00
|
|
|
public void interpret(List<Stmt> statements) {
|
2020-11-11 21:33:02 -08:00
|
|
|
try {
|
2020-11-18 18:18:25 -08:00
|
|
|
for (Stmt statement : statements) {
|
|
|
|
execute(statement);
|
|
|
|
}
|
2020-11-11 21:33:02 -08:00
|
|
|
} catch (RuntimeError error) {
|
|
|
|
Lox.runtimeError(error);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|