forked from StaticScript/StaticScript
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathTypeChecker.h
More file actions
34 lines (21 loc) · 1.12 KB
/
TypeChecker.h
File metadata and controls
34 lines (21 loc) · 1.12 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
#pragma once
#include "StaticScriptLexer.h"
#include "Sema/ASTVisitor.h"
/// 类型检查器
class TypeChecker : public ASTVisitor {
public:
void visit(const SharedPtr<VarDeclNode> &varDecl) override;
void visit(const SharedPtr<ArraySubscriptExprNode> &asExpr) override;
void visit(const SharedPtr<CallExprNode> &callExpr) override;
void visit(const SharedPtr<UnaryOperatorExprNode> &uopExpr) override;
void visit(const SharedPtr<BinaryOperatorExprNode> &bopExpr) override;
void visit(const SharedPtr<IdentifierExprNode> &varExpr) override;
void visit(const SharedPtr<ArrayLiteralExprNode> &arrayLiteralExpr) override;
void visit(const SharedPtr<IfStmtNode> &ifStmt) override;
void visit(const SharedPtr<WhileStmtNode> &whileStmt) override;
void visit(const SharedPtr<ForStmtNode> &forStmt) override;
void visit(const SharedPtr<ReturnStmtNode> &returnStmt) override;
private:
/// 把显式的声明类型递归赋回给初始值的类型, 用于CodeGen
static void assignTypeForArrayLiteral(const SharedPtr<ArrayLiteralExprNode> &arrayLiteral, const SharedPtr<ArrayType> &type);
};