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 <ast/identifiers/Identifier.hpp>

#include <deque>

#include <ast/IAstVisitor.hpp>

#include <ast/Containers.hpp>

namespace Ast {

enum class IdentifierBlockKind {

        normal = 0,

        nondeterministic = 1,

        seqential = 2,

        prioritized = 3

};

class IdentifierBlock

        : public Identifier

{

protected:

        IdentifierList m_list;

        IdentifierBlock(IdentifierKind kind):

                Identifier(kind),

                m_list()

        {}

public:

        IdentifierBlock(const IdentifierBlock &toCopy):

                Identifier(toCopy),

                m_list(toCopy.m_list)

        {}

        IdentifierList& identifiers() {return m_list;};

        void addElement(Identifier* toAdd) {m_list.push_back(toAdd);};

};

class UnspecIdentifierBlock final

        : public IdentifierBlock

{

        UnspecIdentifierBlock():

                IdentifierBlock(IdentifierKind::List_Normal)

        {}

        UnspecIdentifierBlock(const UnspecIdentifierBlock &toCopy):

                IdentifierBlock(toCopy)

        {}

        static UnspecIdentifierBlock* create() {return new UnspecIdentifierBlock();}

        static UnspecIdentifierBlock* createCopy(const UnspecIdentifierBlock& toCopy) {return new UnspecIdentifierBlock(toCopy);}

public:

        friend class Ast;

        friend class Identifier;

        void accept(IAstVisitor& visitor) override {visitor.visit(this);};

};

class SeqIdentifierBlock final

        : public IdentifierBlock

{

protected:

        SeqIdentifierBlock():

                IdentifierBlock(IdentifierKind::List_Seqential)

        {}

        SeqIdentifierBlock(const SeqIdentifierBlock &toCopy):

                IdentifierBlock(toCopy)

        {}

        static SeqIdentifierBlock* create() {return new SeqIdentifierBlock();}

        static SeqIdentifierBlock* createCopy(const SeqIdentifierBlock& toCopy) {return new SeqIdentifierBlock(toCopy);}

public:

        friend class Ast;

        friend class Identifier;

        void accept(IAstVisitor& visitor) override {visitor.visit(this);};

};

class NondetIdentifierBlock final

        : public IdentifierBlock

{

protected:

        NondetIdentifierBlock():

                IdentifierBlock(IdentifierKind::List_Nondeterministic)

        {}

        NondetIdentifierBlock(const NondetIdentifierBlock &toCopy):

                IdentifierBlock(toCopy)

        {}

        static NondetIdentifierBlock* create() {return new NondetIdentifierBlock();}

        static NondetIdentifierBlock* createCopy(const NondetIdentifierBlock& toCopy) {return new NondetIdentifierBlock(toCopy);}

public:

        friend class Ast;

        friend class Identifier;

        void accept(IAstVisitor& visitor) override {visitor.visit(this);};

};

class PrioIdentifierBlock final

        : public IdentifierBlock

{

        PrioIdentifierBlock():

                IdentifierBlock(IdentifierKind::List_Prioritized)

        {}

        PrioIdentifierBlock(const PrioIdentifierBlock &toCopy):

                IdentifierBlock(toCopy)

        {}

        static PrioIdentifierBlock* create() {return new PrioIdentifierBlock();}

        static PrioIdentifierBlock* createCopy(const PrioIdentifierBlock& toCopy) {return new PrioIdentifierBlock(toCopy);}

public:

        friend class Ast;

        friend class Identifier;

        void accept(IAstVisitor& visitor) override {visitor.visit(this);};

};

}