verifier.hpp
Go to the documentation of this file.
1
2#pragma once
3
4#include "core/worker/visitor/visitor.hpp"
5#include "core/ast/params.hpp"
6#include "core/frame/frame.hpp"
7
8struct verifierTest;
9
10namespace by {
11
12 class loopExpr;
13 class thread;
14 class endExpr;
15
20 class _nout verifier: public visitor {
21 BY(CLASS(verifier, visitor))
22 friend struct ::verifierTest;
23 friend class genericOrigin;
24
25 public:
26 using super::onLeave;
27 using super::onVisit;
28 void onLeave(const visitInfo& i, node& me, nbool) override;
29 void onLeave(const visitInfo& i, asExpr& me, nbool) override;
30 void onLeave(const visitInfo& i, isExpr& me, nbool) override;
31 void onLeave(const visitInfo& i, assignExpr& me, nbool) override;
32 nbool onVisit(const visitInfo& i, blockExpr& me, nbool) override;
33 void onLeave(const visitInfo& i, blockExpr& me, nbool) override;
34 void onLeave(const visitInfo& i, defVarExpr& me, nbool) override;
35 void onLeave(const visitInfo& i, defPropExpr& me, nbool) override;
36 void onLeave(const visitInfo& i, defAssignExpr& me, nbool) override;
37 void onLeave(const visitInfo& i, defSeqExpr& me, nbool) override;
38 void onLeave(const visitInfo& i, defArrayExpr& me, nbool) override;
39 void onLeave(const visitInfo& i, defNestedFuncExpr& me, nbool) override;
40 void onLeave(const visitInfo& i, FBOExpr& me, nbool) override;
41 void onLeave(const visitInfo& i, FUOExpr& me, nbool) override;
42 void onLeave(const visitInfo& i, getExpr& me, nbool) override;
43 void onLeave(const visitInfo& i, retExpr& me, nbool) override;
44 void onLeave(const visitInfo& i, runExpr& me, nbool) override;
45 void onTraverse(runExpr& me, node& subject) override;
46 nbool onVisit(const visitInfo& i, func& me, nbool) override;
47 void onLeave(const visitInfo& i, func& me, nbool) override;
48 nbool onVisit(const visitInfo& i, closure& me, nbool) override;
49 void onLeave(const visitInfo& i, closure& me, nbool) override;
50 nbool onVisit(const visitInfo& i, ctor& me, nbool) override;
51 void onLeave(const visitInfo& i, ctor& me, nbool) override;
52 nbool onVisit(const visitInfo& i, baseObj& me, nbool) override;
53 void onLeave(const visitInfo& i, baseObj& me, nbool) override;
54 nbool onVisit(const visitInfo& i, genericOrigin& me, nbool) override;
55 void onLeave(const visitInfo& i, genericOrigin& me, nbool) override;
56 nbool onVisit(const visitInfo& i, forExpr& me, nbool) override;
57 void onLeave(const visitInfo& i, forExpr& me, nbool) override;
58 nbool onVisit(const visitInfo& i, whileExpr& me, nbool) override;
59 void onLeave(const visitInfo& i, breakExpr& me, nbool) override;
60 void onLeave(const visitInfo& i, nextExpr& me, nbool) override;
61 nbool onVisit(const visitInfo& i, ifExpr& me, nbool) override;
62 void onLeave(const visitInfo& i, ifExpr& me, nbool) override;
63
64 protected:
65 void _prepare() override;
66 void _onEndWork() override;
67
68 private:
69 std::string _asStr(const params& ps);
70
71 // @param newInfo is not a heap instance.
72 void _verifyMgdFuncImplicitReturn(func& me);
73 void _onLeave(const visitInfo& i, const loopExpr& me);
74
75 private:
76 std::vector<loopExpr*> _recentLoops;
77 std::vector<baseObj*> _orgs;
78 };
79} // namespace by
by::FBOExpr
Fundamental Binary Operation expression.
Definition: FBOExpr.hpp:17
by::FUOExpr
Fundamental Unary Operation expression.
Definition: FUOExpr.hpp:17
by::asExpr
Type casting expression.
Definition: asExpr.hpp:16
by::assignExpr
Assignment expression for variable assignment.
Definition: assignExpr.hpp:16
by::baseObj
Base class for all objects in byeol language.
Definition: baseObj.hpp:24
by::blockExpr
Block expression containing multiple statements.
Definition: blockExpr.hpp:15
by::breakExpr
Break statement expression.
Definition: breakExpr.hpp:19
by::closure
func closure with captured object scope
Definition: closure.hpp:19
by::ctor
Constructor function for byeol objects.
Definition: ctor.hpp:11
by::defArrayExpr
arr definition expression
Definition: defArrayExpr.hpp:13
by::defAssignExpr
Variable definition with assignment expression.
Definition: defAssignExpr.hpp:11
by::defNestedFuncExpr
Nested func definition expression (lambda)
Definition: defNestedFuncExpr.hpp:13
by::defPropExpr
Property definition expression.
Definition: defPropExpr.hpp:11
by::defSeqExpr
seq definition expression
Definition: defSeqExpr.hpp:14
by::defVarExpr
Variable definition expression base class.
Definition: defVarExpr.hpp:17
by::forExpr
For loop expression.
Definition: forExpr.hpp:14
by::func
Function definition in byeol language.
Definition: func.hpp:20
by::genericOrigin
Generic type origin with type parameters.
Definition: genericOrigin.hpp:15
by::getExpr
Expression for property and method access.
Definition: getExpr.hpp:17
by::ifExpr
If conditional expression.
Definition: ifExpr.hpp:13
by::isExpr
ntype checking expression
Definition: isExpr.hpp:11
by::loopExpr
Base class for loop expressions.
Definition: loopExpr.hpp:16
by::nextExpr
Continue statement expression.
Definition: nextExpr.hpp:19
by::node
Base class for all AST nodes in byeol language.
Definition: node.hpp:30
by::params
Function parameter list container.
Definition: params.hpp:15
by::retExpr
Return statement expression.
Definition: retExpr.hpp:14
by::runExpr
Function/method call expression.
Definition: runExpr.hpp:14
by::verifier
AST verifier for semantic analysis.
Definition: verifier.hpp:20
by::visitInfo
Visitor context information.
Definition: visitInfo.hpp:10
by::visitor
Base visitor class for AST traversal.
Definition: visitor.hpp:20
by::whileExpr
While loop expression.
Definition: whileExpr.hpp:12