Bobby Lucero
7c57a9a111
- Add function declarations, calls, and return statements - Implement lexical scoping with Environment class and closures - Convert print from statement to standard library function - Add assert() function to standard library for testing - Add time() function for microsecond precision benchmarking - Create StdLib class and BuiltinFunction wrapper for standard library - Implement first-class functions and higher-order functions - Add function parameter support (tested up to 100 parameters) - Support alphanumeric identifiers in variable and function names - Add underscore support in variable names and identifiers - Implement string + number and number + string concatenation - Add boolean + string and string + boolean concatenation - Support string multiplication (string * number) - Fix decimal truncation issue by using std::stod for all number parsing - Add comprehensive number formatting with proper precision handling - Support huge numbers (epoch timestamps) without integer overflow - Clean number display (no trailing zeros on integers) - Add basic error handling with program termination on errors - Add comprehensive test suite covering all features - Add escape sequence support (\n, \t, \", \\) - Add comprehensive documentation and language reference - Update development roadmap with completed features
129 lines
3.4 KiB
C++
129 lines
3.4 KiB
C++
//
|
|
// Created by Bobby Lucero on 5/21/23.
|
|
//
|
|
|
|
#pragma once
|
|
#include <iostream>
|
|
#include "Lexer.h"
|
|
#include "helperFunctions/ShortHands.h"
|
|
#include "TypeWrapper.h"
|
|
|
|
struct AssignExpr;
|
|
struct BinaryExpr;
|
|
struct GroupingExpr;
|
|
struct LiteralExpr;
|
|
struct UnaryExpr;
|
|
struct VarExpr;
|
|
struct CallExpr;
|
|
|
|
struct ExprVisitor
|
|
{
|
|
virtual sptr(Object) visitAssignExpr(sptr(AssignExpr) expr) = 0;
|
|
virtual sptr(Object) visitBinaryExpr(sptr(BinaryExpr) expr) = 0;
|
|
virtual sptr(Object) visitGroupingExpr(sptr(GroupingExpr) expr) = 0;
|
|
virtual sptr(Object) visitLiteralExpr(sptr(LiteralExpr) expr) = 0;
|
|
virtual sptr(Object) visitUnaryExpr(sptr(UnaryExpr) expr) = 0;
|
|
virtual sptr(Object) visitVariableExpr(sptr(VarExpr) expr) = 0;
|
|
virtual sptr(Object) visitCallExpr(sptr(CallExpr) expr) = 0;
|
|
};
|
|
|
|
|
|
struct Expr{
|
|
virtual sptr(Object) accept(ExprVisitor* visitor) = 0;
|
|
virtual ~Expr() = default;
|
|
};
|
|
|
|
struct AssignExpr : Expr, public std::enable_shared_from_this<AssignExpr>
|
|
{
|
|
const Token name;
|
|
const sptr(Expr) value;
|
|
AssignExpr(Token name, sptr(Expr) value) : name(name), value(value)
|
|
{
|
|
}
|
|
|
|
sptr(Object) accept(ExprVisitor* visitor) override
|
|
{
|
|
return visitor->visitAssignExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
struct BinaryExpr : Expr, public std::enable_shared_from_this<BinaryExpr>
|
|
{
|
|
const std::shared_ptr<Expr> left;
|
|
const Token oper;
|
|
const std::shared_ptr<Expr> right;
|
|
|
|
BinaryExpr(sptr(Expr) left, Token oper, sptr(Expr) right) : left(left), oper(oper), right(right)
|
|
{
|
|
}
|
|
sptr(Object) accept(ExprVisitor* visitor) override{
|
|
return visitor->visitBinaryExpr(shared_from_this() );
|
|
}
|
|
};
|
|
|
|
struct GroupingExpr : Expr, public std::enable_shared_from_this<GroupingExpr>
|
|
{
|
|
const std::shared_ptr<Expr> expression;
|
|
|
|
explicit GroupingExpr(sptr(Expr) expression) : expression(expression)
|
|
{
|
|
}
|
|
sptr(Object) accept(ExprVisitor* visitor) override{
|
|
return visitor->visitGroupingExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
struct LiteralExpr : Expr, public std::enable_shared_from_this<LiteralExpr>
|
|
{
|
|
const std::string value;
|
|
const bool isNumber;
|
|
const bool isNull;
|
|
LiteralExpr(std::string value, bool isNumber, bool isNull) : value(value), isNumber(isNumber), isNull(isNull)
|
|
{
|
|
}
|
|
sptr(Object) accept(ExprVisitor* visitor) override{
|
|
return visitor->visitLiteralExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
struct UnaryExpr : Expr, public std::enable_shared_from_this<UnaryExpr>
|
|
{
|
|
const Token oper;
|
|
const std::shared_ptr<Expr> right;
|
|
|
|
UnaryExpr(Token oper, sptr(Expr) right) : oper(oper), right(right)
|
|
{
|
|
}
|
|
sptr(Object) accept(ExprVisitor* visitor) override{
|
|
return visitor->visitUnaryExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
struct VarExpr : Expr, public std::enable_shared_from_this<VarExpr>
|
|
{
|
|
const Token name;
|
|
explicit VarExpr(Token name) : name(name){};
|
|
sptr(Object) accept(ExprVisitor* visitor) override
|
|
{
|
|
return visitor->visitVariableExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
struct CallExpr : Expr, public std::enable_shared_from_this<CallExpr>
|
|
{
|
|
const sptr(Expr) callee;
|
|
const Token paren;
|
|
const std::vector<sptr(Expr)> arguments;
|
|
|
|
CallExpr(sptr(Expr) callee, Token paren, std::vector<sptr(Expr)> arguments)
|
|
: callee(callee), paren(paren), arguments(arguments) {}
|
|
|
|
sptr(Object) accept(ExprVisitor* visitor) override
|
|
{
|
|
return visitor->visitCallExpr(shared_from_this());
|
|
}
|
|
};
|
|
|
|
////
|
|
|