systembuilder.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_SYSTEMBUILDER_H
#define UTAP_SYSTEMBUILDER_H

#include "utap/statementbuilder.h"
#include "utap/utap.h"

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

namespace UTAP
{
    class SystemBuilder : public StatementBuilder
    {
    protected:
        int32_t currentProcPriority;

        edge_t *currentEdge;

        gantt_t *currentGantt;

        condition_t *currentCondition;

        update_t *currentUpdate;

        message_t *currentMessage;

        instanceLine_t* currentInstanceLine;

        iodecl_t *currentIODecl;

        query_t* currentQuery;

        //
        // Method for handling types
        //

        declarations_t *getCurrentDeclarationBlock();

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

        void addSelectSymbolToFrame(const char* name, frame_t&);
        void declHybridRec(expression_t);

    public:
        SystemBuilder(TimedAutomataSystem *);

        void ganttDeclStart(const char* name) override;
        void ganttDeclSelect(const char *id) override;
        void ganttDeclEnd() override;
        void ganttEntryStart() override;
        void ganttEntrySelect(const char *id) override;
        void ganttEntryEnd() override;
        void declProgress(bool) override;
        void procBegin(const char* name, const bool isTA = true,
                const std::string type = "", const std::string mode = "") override;
        void procEnd() override;
        void procState(const char* name, bool hasInvariant, bool hasER) override;
        void procStateCommit(const char* name) override;
        void procStateUrgent(const char* name) override;
        void procStateInit(const char* name) override;
        void procBranchpoint(const char* name) override;
        void procEdgeBegin(const char* from, const char* to, const bool control, const char* actname) override;
        void procEdgeEnd(const char* from = 0, const char* to = 0) override;
        void procSelect(const char *id) override;
        void procGuard() override;
        void procSync(Constants::synchronisation_t type) override;
        void procUpdate() override;
        void procProb() override;
        void instantiationBegin(const char*, size_t, const char*) override;
        void instantiationEnd(
            const char *, size_t, const char *, size_t) override;
        void process(const char*) override;
        void processListEnd() override;
        void done() override;
        void beforeUpdate() override;
        void afterUpdate() override;
        void beginChanPriority() override;
        void addChanPriority(char separator) override;
        void defaultChanPriority() override;
        void incProcPriority() override;
        void procPriority(const char*) override;
        void procInstanceLine() override;
        void instanceName(const char* name, bool templ=true) override;
        void instanceNameBegin(const char *name) override;
        void instanceNameEnd(const char *name, size_t arguments) override;
        void procMessage(const char* from, const char* to, const int loc, const bool pch) override;
        void procMessage(Constants::synchronisation_t type) override;
        void procCondition(const std::vector<char*> anchors, const int loc,
                        const bool pch, const bool hot) override;
        void procCondition() override; // Label
        void procLscUpdate(const char* anchor, const int loc, const bool pch) override;
        void procLscUpdate() override; // Label
        void hasPrechart(const bool pch) override;

        void exprSync(Constants::synchronisation_t type) override;
        void declIO(const char*,int,int) override;
        void declDynamicTemplate(const std::string&) override;

        void queryBegin() override;
        void queryFormula(const char* formula, const char* location) override;
        void queryComment(const char* comment) override;
        void queryEnd() override;
    };
}
#endif