-
Notifications
You must be signed in to change notification settings - Fork 2
/
interpret_resolver.hh
98 lines (87 loc) · 3.84 KB
/
interpret_resolver.hh
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
// Copyright (c) 2019 ASMlover. All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions
// are met:
//
// * Redistributions of source code must retain the above copyright
// notice, this list ofconditions and the following disclaimer.
//
// * Redistributions in binary form must reproduce the above copyright
// notice, this list of conditions and the following disclaimer in
// the documentation and/or other materialsprovided with the
// distribution.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
// FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
// COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
// INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
// BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
// LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
// ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
// POSSIBILITY OF SUCH DAMAGE.
#pragma once
#include <memory>
#include <vector>
#include <unordered_map>
#include "common.hh"
#include "interpret_ast.hh"
namespace loxcc::interpret {
class ErrorReport;
class Interpreter;
using InterpreterPtr = std::shared_ptr<Interpreter>;
class Resolver final
: public ExprVisitor
, public StmtVisitor
, public std::enable_shared_from_this<Resolver> {
enum class FunKind { NONE, FUNCTION, CTOR, METHOD };
enum class ClassKind { NONE, CLASS, SUBCLASS };
ErrorReport& err_report_;
InterpreterPtr interp_;
int loops_level_{};
std::vector<std::unordered_map<str_t, bool>> scopes_;
FunKind curr_fun_{FunKind::NONE};
ClassKind curr_cls_{ClassKind::NONE};
void resolve(const ExprPtr& expr);
void resolve(const std::vector<ExprPtr>& exprs);
void resolve(const StmtPtr& stmt);
void resolve(const std::vector<StmtPtr>& stmts);
void resolve_local(const Token& name, const ExprPtr& expr);
void resolve_function(const FunctionStmtPtr& fn, FunKind kind);
void enter_scope(void);
void leave_scope(void);
void declare(const Token& name);
void define(const Token& name);
virtual void visit(const AssignExprPtr& expr) override;
virtual void visit(const SetExprPtr& expr) override;
virtual void visit(const LogicalExprPtr& expr) override;
virtual void visit(const BinaryExprPtr& expr) override;
virtual void visit(const UnaryExprPtr& expr) override;
virtual void visit(const CallExprPtr& expr) override;
virtual void visit(const GetExprPtr& expr) override;
virtual void visit(const LiteralExprPtr& expr) override;
virtual void visit(const GroupingExprPtr& expr) override;
virtual void visit(const SuperExprPtr& expr) override;
virtual void visit(const ThisExprPtr& expr) override;
virtual void visit(const VariableExprPtr& expr) override;
virtual void visit(const FunctionExprPtr& expr) override;
virtual void visit(const ClassStmtPtr& stmt) override;
virtual void visit(const FunctionStmtPtr& stmt) override;
virtual void visit(const VarStmtPtr& stmt) override;
virtual void visit(const BlockStmtPtr& stmt) override;
virtual void visit(const ExprStmtPtr& stmt) override;
virtual void visit(const WhileStmtPtr& stmt) override;
virtual void visit(const IfStmtPtr& stmt) override;
virtual void visit(const PrintStmtPtr& stmt) override;
virtual void visit(const ReturnStmtPtr& stmt) override;
public:
Resolver(ErrorReport& err_report, const InterpreterPtr& interp) noexcept
: err_report_(err_report), interp_(interp) {
}
void invoke_resolve(const StmtPtr& stmt);
};
}