C4AulCompiler::ConstantResolver Class Reference

Inheritance diagram for C4AulCompiler::ConstantResolver:

Collaboration diagram for C4AulCompiler::ConstantResolver:

Public Member Functions
	~ConstantResolver () override=default
void	visit (const ::aul::ast::Script *n) override
void	visit (const ::aul::ast::VarDecl *n) override
void	visit (const ::aul::ast::ArrayLit *n) override
void	visit (const ::aul::ast::ProplistLit *n) override
void	visit (const ::aul::ast::UnOpExpr *n) override
void	visit (const ::aul::ast::BinOpExpr *n) override
void	visit (const ::aul::ast::AssignmentExpr *n) override
void	visit (const ::aul::ast::SubscriptExpr *n) override
void	visit (const ::aul::ast::SliceExpr *n) override
void	visit (const ::aul::ast::CallExpr *n) override
void	visit (const ::aul::ast::ParExpr *n) override
void	visit (const ::aul::ast::Block *n) override
void	visit (const ::aul::ast::Return *n) override
void	visit (const ::aul::ast::ForLoop *n) override
void	visit (const ::aul::ast::RangeLoop *n) override
void	visit (const ::aul::ast::DoLoop *n) override
void	visit (const ::aul::ast::WhileLoop *n) override
void	visit (const ::aul::ast::If *n) override
void	visit (const ::aul::ast::FunctionDecl *n) override
void	visit (const ::aul::ast::FunctionExpr *n) override
virtual void	visit (const ::aul::ast::Noop *)
template<class T >
void	visit (const T *)=delete
virtual void	visit (const ::aul::ast::Noop *)
virtual void	visit (const ::aul::ast::StringLit *)
virtual void	visit (const ::aul::ast::IntLit *)
virtual void	visit (const ::aul::ast::BoolLit *)
virtual void	visit (const ::aul::ast::NilLit *)
virtual void	visit (const ::aul::ast::ThisLit *)
virtual void	visit (const ::aul::ast::VarExpr *n)
virtual void	visit (const ::aul::ast::Break *)
virtual void	visit (const ::aul::ast::Continue *)
virtual void	visit (const ::aul::ast::IncludePragma *)
virtual void	visit (const ::aul::ast::AppendtoPragma *)
template<class T >
void	visit (const T *)=delete

Static Public Member Functions
static void	resolve_quiet (C4ScriptHost *host, const ::aul::ast::Script *script)
static void	resolve (C4ScriptHost *host, const ::aul::ast::Script *script)

Detailed Description

Definition at line 456 of file C4AulCompiler.cpp.

Constructor & Destructor Documentation

~ConstantResolver()

C4AulCompiler::ConstantResolver::~ConstantResolver ( )

overridedefault

Member Function Documentation

resolve()

static void C4AulCompiler::ConstantResolver::resolve ( C4ScriptHost *  host, const ::aul::ast::Script *  script  )

inlinestatic

Definition at line 471 of file C4AulCompiler.cpp.

    {
        // We resolve constants *twice*; this allows people to create circular
        // references in proplists or arrays.
        // Unfortunately it also results in unexpected behaviour in code like
        // this:
        //     static const c1 = c2, c2 = c3, c3 = 1;
        // which will set c1 to nil, and both c2 and c3 to 1.
        // While this is unlikely to happen often, we should fix that so it
        // resolves all three constants to 1.
        ConstantResolver r(host);
        r.visit(script);
    }

References visit().

Referenced by C4AulCompiler::Compile().

Here is the call graph for this function:

Here is the caller graph for this function:

resolve_quiet()

static void C4AulCompiler::ConstantResolver::resolve_quiet ( C4ScriptHost *  host, const ::aul::ast::Script *  script  )

inlinestatic

Definition at line 463 of file C4AulCompiler.cpp.

    {
        // Does the same as resolve, but doesn't emit errors/warnings
        // (because we'll emit them again later).
        ConstantResolver r(host);
        r.quiet = true;
        r.visit(script);
    }

References visit().

Referenced by C4AulCompiler::Preparse().

Here is the call graph for this function:

Here is the caller graph for this function:

visit() [1/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::AppendtoPragma *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::PreparseAstVisitor.

Definition at line 92 of file C4AulAST.h.

{}

visit() [2/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ArrayLit *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 441 of file C4AulAST.h.

    {
        for (const auto &c : n->values)
            c->accept(this);
    }

visit() [3/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::AssignmentExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 460 of file C4AulAST.h.

    {
        n->lhs->accept(this);
        n->rhs->accept(this);
    }

visit() [4/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::BinOpExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 455 of file C4AulAST.h.

    {
        n->lhs->accept(this);
        n->rhs->accept(this);
    }

visit() [5/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::Block *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 487 of file C4AulAST.h.

    {
        for (const auto &s : n->children)
            s->accept(this);
    }

References s.

visit() [6/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::BoolLit *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 66 of file C4AulAST.h.

{}

visit() [7/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Break *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 85 of file C4AulAST.h.

{}

visit() [8/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::CallExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::PreparseAstVisitor.

Definition at line 476 of file C4AulAST.h.

    {
        if (n->context)
            n->context->accept(this);
        for (const auto &a : n->args)
            a->accept(this);
    }

References a.

visit() [9/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Continue *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 86 of file C4AulAST.h.

{}

visit() [10/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::DoLoop *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 511 of file C4AulAST.h.

    {
        n->body->accept(this);
        n->cond->accept(this);
    }

visit() [11/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ForLoop *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 496 of file C4AulAST.h.

    {
        if (n->init)
            n->init->accept(this);
        if (n->cond)
            n->cond->accept(this);
        if (n->incr)
            n->incr->accept(this);
        n->body->accept(this);
    }

visit() [12/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::FunctionDecl *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::PreparseAstVisitor.

Definition at line 534 of file C4AulAST.h.

    {
        n->body->accept(this);
    }

visit() [13/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::FunctionExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 538 of file C4AulAST.h.

    {
        n->body->accept(this);
    }

visit() [14/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::If *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 521 of file C4AulAST.h.

    {
        n->cond->accept(this);
        n->iftrue->accept(this);
        if (n->iffalse)
            n->iffalse->accept(this);
    }

visit() [15/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::IncludePragma *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::PreparseAstVisitor.

Definition at line 91 of file C4AulAST.h.

{}

visit() [16/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::IntLit *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 65 of file C4AulAST.h.

{}

visit() [17/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::NilLit *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::ConstexprEvaluator.

Definition at line 69 of file C4AulAST.h.

{}

visit() [18/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::Noop *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 63 of file C4AulAST.h.

{}

visit() [19/34]

virtual void aul::AstVisitor::visit

inlineinherited

Definition at line 63 of file C4AulAST.h.

{}

visit() [20/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ParExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::PreparseAstVisitor.

Definition at line 483 of file C4AulAST.h.

    {
        n->arg->accept(this);
    }

visit() [21/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::ProplistLit *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 446 of file C4AulAST.h.

    {
        for (const auto &c : n->values)
            c.second->accept(this);
    }

visit() [22/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::RangeLoop *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor, and C4AulCompiler::PreparseAstVisitor.

Definition at line 506 of file C4AulAST.h.

    {
        n->cond->accept(this);
        n->body->accept(this);
    }

visit() [23/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::Return *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 492 of file C4AulAST.h.

    {
        n->value->accept(this);
    }

visit() [24/34]

void C4AulCompiler::ConstantResolver::visit ( const ::aul::ast::Script *  n )

overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 2141 of file C4AulCompiler.cpp.

{
    for (const auto &d : n->declarations)
    {
        try
        {
            d->accept(this);
        }
        catch (C4AulParseError &e)
        {
            host->Engine->GetErrorHandler()->OnError(e.what());
        }
    }
}

References C4ScriptHost::Engine, C4AulScriptEngine::GetErrorHandler(), C4AulErrorHandler::OnError(), and C4AulError::what().

Referenced by resolve(), and resolve_quiet().

Here is the call graph for this function:

Here is the caller graph for this function:

visit() [25/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::SliceExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 470 of file C4AulAST.h.

    {
        n->object->accept(this);
        n->start->accept(this);
        n->end->accept(this);
    }

visit() [26/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::StringLit *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 64 of file C4AulAST.h.

{}

visit() [27/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::SubscriptExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 465 of file C4AulAST.h.

    {
        n->object->accept(this);
        n->index->accept(this);
    }

visit() [28/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::ThisLit *  )

inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 70 of file C4AulAST.h.

{}

visit() [29/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::UnOpExpr *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 451 of file C4AulAST.h.

    {
        n->operand->accept(this);
    }

visit() [30/34]

void C4AulCompiler::ConstantResolver::visit ( const ::aul::ast::VarDecl *  n )

overridevirtual

Reimplemented from aul::DefaultRecursiveVisitor.

Definition at line 2156 of file C4AulCompiler.cpp.

{
    const int quiet_flag = quiet ? ConstexprEvaluator::SuppressErrors : 0;
    for (const auto &dec : n->decls)
    {
        const char *cname = dec.name.c_str();
        C4RefCntPointer<C4String> name = ::Strings.RegString(cname);
        switch (n->scope)
        {
        case ::aul::ast::VarDecl::Scope::Func:
            // Function-scoped declarations and their initializers are handled by CodegenAstVisitor.
            break;
        case ::aul::ast::VarDecl::Scope::Object:
            if (!host->GetPropList()->HasProperty(name))
                host->GetPropList()->SetPropertyByS(name, C4VNull);
            if (dec.init)
            {
                assert(host->GetPropList()->IsStatic());
                try
                {
                    C4Value v = ConstexprEvaluator::eval_static(host, host->GetPropList()->IsStatic(), dec.name, dec.init.get(), ConstexprEvaluator::IgnoreUnset | quiet_flag);
                    host->GetPropList()->SetPropertyByS(name, v);
                }
                catch (C4AulParseError &e)
                {
                    if (!quiet)
                        host->Engine->ErrorHandler->OnError(e.what());
                }
            }
            break;
        case ::aul::ast::VarDecl::Scope::Global:
            if ((dec.init != nullptr) != n->constant)
            {
                if (!quiet)
                    host->Engine->ErrorHandler->OnError(Error(host, host, n->loc, nullptr, "global variable must be either constant or uninitialized: %s", cname).what());
            }
            else if (dec.init)
            {
                try
                {
                    assert(n->constant && "CodegenAstVisitor: initialized global variable isn't const");
                    C4Value *v = host->Engine->GlobalConsts.GetItem(cname);
                    assert(v && "CodegenAstVisitor: global constant not found in variable table");
                    if (!v)
                        throw Error(host, host, n->loc, nullptr, "internal error: global constant not found in variable table: %s", cname);
                    *v = ConstexprEvaluator::eval_static(host, nullptr, dec.name, dec.init.get(), ConstexprEvaluator::IgnoreUnset | quiet_flag);
                }
                catch (C4AulParseError &e)
                {
                    if (!quiet)
                        host->Engine->ErrorHandler->OnError(e.what());
                }
            }
            break;
        }
    }
}

References C4VNull, C4ScriptHost::Engine, C4AulScriptEngine::ErrorHandler, C4AulCompiler::ConstexprEvaluator::eval_static(), C4ScriptHost::GetPropList(), C4PropList::HasProperty(), C4AulCompiler::ConstexprEvaluator::IgnoreUnset, C4PropListStatic::IsStatic(), Object(), C4AulErrorHandler::OnError(), C4StringTable::RegString(), C4PropList::SetPropertyByS(), Strings, C4AulCompiler::ConstexprEvaluator::SuppressErrors, and C4AulError::what().

Here is the call graph for this function:

visit() [31/34]

virtual void aul::AstVisitor::visit ( const ::aul::ast::VarExpr *  n )

inlinevirtualinherited

Reimplemented in C4AulCompiler::ConstexprEvaluator, and C4AulCompiler::CodegenAstVisitor.

Definition at line 71 of file C4AulAST.h.

{}

visit() [32/34]

void aul::DefaultRecursiveVisitor::visit ( const ::aul::ast::WhileLoop *  n )

inlineoverridevirtualinherited

Reimplemented from aul::AstVisitor.

Reimplemented in C4AulCompiler::CodegenAstVisitor.

Definition at line 516 of file C4AulAST.h.

    {
        n->cond->accept(this);
        n->body->accept(this);
    }

visit() [33/34]

template<class T >

void aul::AstVisitor::visit ( const T *  )

deleteinherited

visit() [34/34]

template<class T >

void aul::AstVisitor::visit ( class T  )

deleteinherited

---

The documentation for this class was generated from the following file:

• C4AulCompiler.cpp