statementbuilder.h

Go to the documentation of this file.

// -*- mode: C++; c-file-style: "stroustrup"; c-basic-offset: 4; indent-tabs-mode: nil; -*-

/* libutap - Uppaal Timed Automata Parser.
   Copyright (C) 2002-2004 Uppsala University and Aalborg University.

   This library is free software; you can redistribute it and/or
   modify it under the terms of the GNU Lesser General Public License
   as published by the Free Software Foundation; either version 2.1 of
   the License, or (at your option) any later version.

   This library is distributed in the hope that it will be useful, but
   WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
   Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public
   License along with this library; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307
   USA
*/

#ifndef UTAP_STATEMENTBUILDER_H
#define UTAP_STATEMENTBUILDER_H

#include "utap/expressionbuilder.h"
#include "utap/utap.h"

#include <cinttypes>
#include <cassert>
#include <vector>


namespace UTAP
{
    class StatementBuilder : public ExpressionBuilder
    {
    protected:
        frame_t params;

        function_t *currentFun;

        std::vector<BlockStatement*> blocks;

        std::vector<type_t> fields;

        std::vector<std::string> labels;

        virtual variable_t *addVariable(type_t type, const char*  name,
                                        expression_t init) = 0;
        virtual bool addFunction(type_t type, const char* name) = 0;

        static void collectDependencies(std::set<symbol_t> &, expression_t );
        static void collectDependencies(std::set<symbol_t> &, type_t );

    public:
        StatementBuilder(TimedAutomataSystem *);
        ~StatementBuilder();

        void typeArrayOfSize(size_t) override;
        void typeArrayOfType(size_t) override;
        void typeStruct(PREFIX, uint32_t fields) override;
        void structField(const char* name) override;
        void declTypeDef(const char* name) override;
        void declVar(const char* name, bool init) override;
        void declInitialiserList(uint32_t num) override;
        void declFieldInit(const char* name) override;
        void declParameter(const char* name, bool) override;
        void declFuncBegin(const char* name) override;
        void declFuncEnd() override;
        void blockBegin() override;
        void blockEnd() override;
        void emptyStatement() override;
        void forBegin() override;
        void forEnd() override;
        void iterationBegin(const char *name) override;
        void iterationEnd(const char *name) override;
        void whileBegin() override;
        void whileEnd() override;
        void doWhileBegin() override;
        void doWhileEnd() override;
        void ifBegin() override {};
        void ifCondition() override {}; // 1 expr
        void ifThen() override {};      // 1 expr, 1 statement
        void ifEnd(bool) override; // 1 expr, 1 or 2 statements
        void exprStatement() override;
        void returnStatement(bool) override;
        void assertStatement() override;
        void exprCallBegin() override;
    };
}
#endif