OoasTools

/**

  *

  *                  OOAS Compiler - C++ AST

  *

  * Copyright 2015, AIT Austrian Institute of Technology.

  * All rights reserved.

  *

  * SEE THE "LICENSE" FILE FOR THE TERMS UNDER WHICH THIS FILE IS PROVIDED.

  *

  * If you modify the file please update the list of contributors below to in-

  * clude your name. Please also stick to the coding convention of using TABs

  * to do the basic (block-level) indentation and spaces for anything after

  * that. (Enable the display of special chars and it should be pretty obvious

  * what this means.) Also, remove all trailing whitespace.

  *

  * Contributors:

  *               Willibald Krenn (AIT)

  *               Stephan Zimmerer (AIT)

  *               Christoph Czurda (AIT)

  *

  */

#pragma once

#include <base/TiresiasObject.hpp>

#include <ast/AstElement.hpp>

#include <cstdint>

#include <base/Exceptions.hpp>

namespace Ast {

/**

 * You must not change the assigned values as this

 * needs to be kept in sync with the definitions in Argos!

 */

enum class StatementKind : std::uint8_t {

        GuardedCommand = 0,

        Call = 1,

        Assignment = 2,

        SeqBlock = 3,

        NondetBlock = 4,

        PrioBlock = 5,

        Skip = 6,

        Abort = 7,

        Kill = 8,

        QualConstraint = 9,

        Break = 10,

        STATEMENTKIND_LAST_ITEM = Break

};

#define STATEMENTKIND_NR_ITEMS ((std::uint8_t)StatementKind::STATEMENTKIND_LAST_ITEM + 1)

class Statement:

        public AstElement

{

protected:

        typedef Statement* (*ConstrPtr)();

        typedef Statement* (*CopyConstrPtr)(const Statement& toCopy);

        StatementKind m_kind;

        std::int32_t m_line;

        std::int32_t m_pos;

        Statement(StatementKind kind):

                AstElement(AstNodeTypeEnum::statement),

                m_kind(kind),

                m_line(-1),

                m_pos(-1)

        {};

        Statement(const Statement& toCopy):

                AstElement(AstNodeTypeEnum::statement),

                m_kind(toCopy.m_kind),

                m_line(toCopy.m_line),

                m_pos(toCopy.m_pos)

        {}

        static Base::FuncPtr s_stmntVmt [2][STATEMENTKIND_NR_ITEMS];

        static Statement* createVirtual(StatementKind aType); // virtual constructor used by Ast

        static Statement* createVirtual(const Statement& toCopy); // virtual copy constructor used by Ast

public:

        friend class Ast;

        void init(std::int32_t line, std::int32_t col) {

                m_line = line;

                m_pos = col;

        }

        StatementKind kind() const {return m_kind;}

        std::int32_t line() const {return m_line;};

        std::int32_t pos() const {return m_pos;};

        void accept(IAstVisitor& visitor) override;

        std::string toString() const {

                std::string result = "Stmnt ";

                result += std::to_string((std::uint32_t) m_kind );

                result += " at ";

                result += std::to_string(m_line);

                result += ":";

                result += std::to_string(m_pos);

                return result;

        }

};

}