forked from PuqiAR/Fig-TreeWalker
[Fix][Impl] 为了消除类构造带来的语法歧义,同时保持实现简洁和括号省略的语法,自此版本,引入了 `new` 操作符
造成歧义的原方法:
if a == A{}
条件是 a == A,还是 a == A{} ?
因此,现在使用 new a_struct{}来构造类
[Opti] 相较于 Fig v0.4.1-alpha版本,release O3同编译条件下
Fib普通递归法性能提升 ~50%
具体方式:
增加了小整数优化,-128~127的整数现在会直接从IntPool获取而不是新构造
...忘了
[Fix] 类构造 shorthand模式忘写了,现在补上了
[Feat][Impl] 类型声明现在接受一个表达式,原为Identifier。实现 var start: time.Time = time.now() 的效果
这是符合语法和语言特性的支持,类型为一等公民。类似Python的 <class 'type'>
[Impl] 修改了部分错误输出的细节
187 lines
5.7 KiB
C++
187 lines
5.7 KiB
C++
#pragma once
|
|
#include <iostream>
|
|
#include <memory>
|
|
#include <string>
|
|
#include <Ast/ast.hpp>
|
|
#include <Utils/magic_enum/magic_enum.hpp>
|
|
|
|
using namespace Fig;
|
|
using namespace Fig::Ast;
|
|
class AstPrinter
|
|
{
|
|
public:
|
|
void print(const AstBase &node, int indent = 0)
|
|
{
|
|
if (!node) return;
|
|
switch (node->getType())
|
|
{
|
|
case AstType::BinaryExpr:
|
|
printBinaryExpr(std::static_pointer_cast<BinaryExprAst>(node), indent);
|
|
break;
|
|
case AstType::UnaryExpr:
|
|
printUnaryExpr(std::static_pointer_cast<UnaryExprAst>(node), indent);
|
|
break;
|
|
case AstType::ValueExpr:
|
|
printValueExpr(std::static_pointer_cast<ValueExprAst>(node), indent);
|
|
break;
|
|
case AstType::VarDefSt:
|
|
printVarDef(std::static_pointer_cast<VarDefAst>(node), indent);
|
|
break;
|
|
case AstType::VarExpr:
|
|
printVarExpr(std::static_pointer_cast<VarExprAst>(node), indent);
|
|
break;
|
|
case AstType::BlockStatement:
|
|
printBlockStatement(std::static_pointer_cast<BlockStatementAst>(node), indent);
|
|
break;
|
|
case AstType::FunctionCall:
|
|
printFunctionCall(std::static_pointer_cast<FunctionCallExpr>(node), indent);
|
|
break;
|
|
case AstType::FunctionDefSt:
|
|
printFunctionSt(std::static_pointer_cast<FunctionDefSt>(node), indent);
|
|
break;
|
|
case AstType::IfSt:
|
|
printIfSt(std::static_pointer_cast<IfSt>(node), indent);
|
|
break;
|
|
case AstType::TernaryExpr:
|
|
printTernaryExpr(std::static_pointer_cast<TernaryExprAst>(node), indent);
|
|
break;
|
|
default:
|
|
printIndent(indent);
|
|
std::cout << "Unknown AST Node\n";
|
|
}
|
|
}
|
|
|
|
private:
|
|
void printIndent(int indent)
|
|
{
|
|
std::cout << std::string(indent, ' ');
|
|
}
|
|
|
|
void printFString(const Fig::FString &fstr, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "FString: \"";
|
|
std::cout.write(reinterpret_cast<const char *>(fstr.data()), fstr.size());
|
|
std::cout << "\"\n";
|
|
}
|
|
|
|
template <typename EnumT>
|
|
void printEnum(const EnumT &value, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "Enum: " << magic_enum::enum_name(value) << "\n";
|
|
}
|
|
|
|
void printBinaryExpr(const std::shared_ptr<BinaryExprAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "BinaryExpr\n";
|
|
printEnum(node->op, indent + 2);
|
|
printIndent(indent + 2);
|
|
std::cout << "Left:\n";
|
|
print(node->lexp, indent + 4);
|
|
printIndent(indent + 2);
|
|
std::cout << "Right:\n";
|
|
print(node->rexp, indent + 4);
|
|
}
|
|
|
|
void printUnaryExpr(const std::shared_ptr<UnaryExprAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "UnaryExpr\n";
|
|
printEnum(node->op, indent + 2);
|
|
printIndent(indent + 2);
|
|
std::cout << "Expr:\n";
|
|
print(node->exp, indent + 4);
|
|
}
|
|
|
|
void printValueExpr(const std::shared_ptr<ValueExprAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "ValueExpr\n";
|
|
printFString(node->val->toString(), indent + 2);
|
|
}
|
|
|
|
void printVarDef(const std::shared_ptr<VarDefAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "VarDef\n";
|
|
printIndent(indent + 2);
|
|
std::cout << "Name: ";
|
|
printFString(node->name, 0);
|
|
printIndent(indent + 2);
|
|
std::cout << "Type: ";
|
|
printFString(node->declaredType->toString(), 0);
|
|
if (node->expr)
|
|
{
|
|
printIndent(indent + 2);
|
|
std::cout << "InitExpr:\n";
|
|
print(node->expr, indent + 4);
|
|
}
|
|
}
|
|
|
|
void printVarExpr(const std::shared_ptr<VarExprAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "VarExpr\n";
|
|
printIndent(indent + 2);
|
|
std::cout << "Name: ";
|
|
printFString(node->name, 0);
|
|
}
|
|
|
|
void printBlockStatement(const std::shared_ptr<BlockStatementAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "BlockStatement\n";
|
|
for (const auto &stmt : node->stmts)
|
|
{
|
|
print(stmt, indent + 2);
|
|
}
|
|
}
|
|
|
|
void printFunctionCall(const std::shared_ptr<FunctionCallExpr> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "FunctionCall\n";
|
|
printIndent(indent + 2);
|
|
printIndent(indent + 2);
|
|
}
|
|
|
|
void printFunctionSt(const std::shared_ptr<FunctionDefSt> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "FunctionSt\n";
|
|
printIndent(indent + 2);
|
|
std::cout << "Name: ";
|
|
printFString(node->name, 0);
|
|
printIndent(indent + 2);
|
|
printIndent(indent + 2);
|
|
std::cout << "Body:\n";
|
|
print(node->body, indent + 4);
|
|
}
|
|
|
|
void printIfSt(const std::shared_ptr<IfSt> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "IfSt\n";
|
|
printIndent(indent + 2);
|
|
std::cout << "Condition:\n";
|
|
print(node->condition, indent + 4);
|
|
printIndent(indent + 2);
|
|
}
|
|
|
|
void printTernaryExpr(const std::shared_ptr<TernaryExprAst> &node, int indent)
|
|
{
|
|
printIndent(indent);
|
|
std::cout << "TernaryExpr\n";
|
|
printIndent(indent + 2);
|
|
std::cout << "Condition:\n";
|
|
print(node->condition, indent + 4);
|
|
printIndent(indent + 2);
|
|
std::cout << "TrueExpr:\n";
|
|
print(node->valueT, indent + 4);
|
|
printIndent(indent + 2);
|
|
std::cout << "FalseExpr:\n";
|
|
print(node->valueF, indent + 4);
|
|
}
|
|
}; |