restructure

This commit is contained in:
nazrin 2025-05-29 15:33:12 +00:00
parent b466717c6e
commit 2de4381fae
6 changed files with 26 additions and 10 deletions

View file

@ -1,88 +0,0 @@
import std.conv;
import std.stdio;
import std.meta : AliasSeq;
import taggedalgebraic;
import token;
import tokentype;
abstract class Expr{
interface Visitor(R){
R visit(Binary expr);
R visit(Grouping expr);
R visit(Literal expr);
R visit(Unary expr);
}
private alias rTypes = AliasSeq!(string);
static foreach(T; rTypes)
abstract T accept(Visitor!T visitor);
private template defCtorAndAccept(){
this(Args...)(auto ref Args args){
static foreach(i, a; args)
this.tupleof[i] = a;
}
static foreach(T; rTypes)
override T accept(Visitor!T visitor) => visitor.visit(this);
}
static class Binary : Expr{
Expr left;
Token operator;
Expr right;
mixin defCtorAndAccept;
}
static class Grouping : Expr{
Expr expression;
mixin defCtorAndAccept;
}
static class Literal : Expr{
TTokenValue value;
mixin defCtorAndAccept;
}
static class Unary : Expr{
Token operator;
Expr right;
mixin defCtorAndAccept;
}
}
class AstPrinter : Expr.Visitor!string{
string print(Expr expr){
return expr.accept(this);
}
string parenthesize(Args...)(string name, Args args){
string s = "(" ~ name;
static foreach(expr; args){
s ~= " ";
s ~= expr.accept(this);
}
return s ~ ")";
}
string visit(Expr.Binary expr){
return parenthesize(expr.operator.lexeme, expr.left, expr.right);
}
string visit(Expr.Grouping expr){
return parenthesize("group", expr.expression);
}
string visit(Expr.Literal expr){
if(expr.value.isNil)
return "nil";
return expr.value.to!string;
}
string visit(Expr.Unary expr){
return parenthesize(expr.operator.lexeme, expr.right);
}
}
unittest{
auto expression = new Expr.Binary(
new Expr.Unary(
new Token(TokenType.MINUS, "-", TTokenValue.nil(0), 1),
new Expr.Literal(123)),
new Token(TokenType.STAR, "*", TTokenValue.nil(0), 1),
new Expr.Grouping(
new Expr.Literal(45.67)));
assert(new AstPrinter().print(expression));
}