generated/ko/verifier_8hpp_source.html

#pragma once


#include "core/worker/visitor/visitor.hpp"

#include "core/ast/params.hpp"

#include "core/frame/frame.hpp"


struct verifierTest;


namespace by {


    class loopExpr;

    class thread;

    class endExpr;


    class _nout verifier: public visitor {

        BY(CLASS(verifier, visitor))

        friend struct ::verifierTest;


    public:

        using super::onLeave;

        using super::onVisit;

        void onLeave(const visitInfo& i, node& me, nbool) override;

        void onLeave(const visitInfo& i, asExpr& me, nbool) override;

        void onLeave(const visitInfo& i, isExpr& me, nbool) override;

        void onLeave(const visitInfo& i, assignExpr& me, nbool) override;

        nbool onVisit(const visitInfo& i, blockExpr& me, nbool) override;

        void onLeave(const visitInfo& i, blockExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defVarExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defPropExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defAssignExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defSeqExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defArrayExpr& me, nbool) override;

        void onLeave(const visitInfo& i, defNestedFuncExpr& me, nbool) override;

        void onLeave(const visitInfo& i, FBOExpr& me, nbool) override;

        void onLeave(const visitInfo& i, FUOExpr& me, nbool) override;

        void onLeave(const visitInfo& i, getExpr& me, nbool) override;

        void onLeave(const visitInfo& i, retExpr& me, nbool) override;

        void onLeave(const visitInfo& i, evalExpr& me, nbool) override;

        void onTraverse(evalExpr& me, node& subject) override;

        nbool onVisit(const visitInfo& i, func& me, nbool) override;

        void onLeave(const visitInfo& i, func& me, nbool) override;

        nbool onVisit(const visitInfo& i, closure& me, nbool) override;

        void onLeave(const visitInfo& i, closure& me, nbool) override;

        nbool onVisit(const visitInfo& i, ctor& me, nbool) override;

        void onLeave(const visitInfo& i, ctor& me, nbool) override;

        nbool onVisit(const visitInfo& i, baseObj& me, nbool) override;

        void onLeave(const visitInfo& i, baseObj& me, nbool) override;

        nbool onVisit(const visitInfo& i, genericOrigin& me, nbool) override;

        void onLeave(const visitInfo& i, genericOrigin& me, nbool) override;

        nbool onVisit(const visitInfo& i, forExpr& me, nbool) override;

        void onLeave(const visitInfo& i, forExpr& me, nbool) override;

        nbool onVisit(const visitInfo& i, whileExpr& me, nbool) override;

        void onLeave(const visitInfo& i, breakExpr& me, nbool) override;

        void onLeave(const visitInfo& i, nextExpr& me, nbool) override;

        nbool onVisit(const visitInfo& i, ifExpr& me, nbool) override;

        void onLeave(const visitInfo& i, ifExpr& me, nbool) override;


    protected:

        void _prepare() override;

        void _onEndWork() override;


    private:

        std::string _asStr(const params& ps);


        // @param newInfo is not a heap instance.

        void _verifyMgdFuncImplicitReturn(func& me);

        void _onLeave(const visitInfo& i, const loopExpr& me);


    private:

        std::vector<loopExpr*> _recentLoops;

        std::vector<baseObj*> _orgs;

    };


} // namespace by

by::FBOExpr
Fundamental Binary Operator expression
Definition FBOExpr.hpp:18

by::FUOExpr
Fundamental Unary Operator expression
Definition FUOExpr.hpp:17

by::asExpr
Type casting expression
Definition asExpr.hpp:17

by::assignExpr
Assignment expression
Definition assignExpr.hpp:19

by::baseObj
Base class for representing byeol objects
Definition baseObj.hpp:73

by::blockExpr
Block expression
Definition blockExpr.hpp:24

by::breakExpr
Break statement expression
Definition breakExpr.hpp:21

by::closure
func closure with captured object scope
Definition closure.hpp:20

by::ctor
Constructor function for byeol objects
Definition ctor.hpp:12

by::defArrayExpr
Array literal expression
Definition defArrayExpr.hpp:18

by::defAssignExpr
Variable definition with assignment expression
Definition defAssignExpr.hpp:12

by::defNestedFuncExpr
Nested function definition expression
Definition defNestedFuncExpr.hpp:13

by::defPropExpr
Property definition expression
Definition defPropExpr.hpp:12

by::defSeqExpr
Sequence definition expression
Definition defSeqExpr.hpp:18

by::defVarExpr
Variable definition expression base class
Definition defVarExpr.hpp:18

by::evalExpr
Function/method call expression
Definition evalExpr.hpp:15

by::forExpr
For loop expression
Definition forExpr.hpp:15

by::func
Function definition in byeol language
Definition func.hpp:38

by::genericOrigin
Definition genericOrigin.hpp:25

by::getExpr
Expression for property and method access
Definition getExpr.hpp:18

by::ifExpr
If conditional expression
Definition ifExpr.hpp:14

by::isExpr
ntype checking expression
Definition isExpr.hpp:12

by::loopExpr
Base class for loop expressions
Definition loopExpr.hpp:17

by::nextExpr
Continue statement expression
Definition nextExpr.hpp:21

by::node
Base class for all AST nodes in the byeol language
Definition node.hpp:195

by::params
Function parameter list container
Definition params.hpp:16

by::retExpr
Return statement expression
Definition retExpr.hpp:15

by::tnarr
Definition tnarr.hpp:9

by::verifier
AST verifier for semantic analysis
Definition verifier.hpp:84

by::verifier::_onEndWork
void _onEndWork() override
Protected virtual method called after the work is completed.

by::verifier::_prepare
void _prepare() override
Protected virtual method for preparation before starting the work.

by::visitInfo
Visitor context information
Definition visitInfo.hpp:11

by::visitor
Base visitor class for AST traversal
Definition visitor.hpp:61

by::whileExpr
While loop expression
Definition whileExpr.hpp:13

frame.hpp

params.hpp

visitor.hpp