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 <cstdint>

#include <string>

#include <ast/AstElement.hpp>

#include <ast/IScope.hpp>

#include <base/TiresiasObject.hpp>

namespace Ast {

using namespace std;

/**

 * You must not change the assigned values as this

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

 */

enum class IdentifierKind : std::uint8_t

{

        TypeIdentifier = 0,               // some named type

        EnumIdentifier = 1,               // identifier of enumerated type

        LandmarkIdentifier = 2,           // landmark

        AttributeIdentifier = 3,          // global attribute

        LocalVariableIdentifier = 4,      // local variable

        ParameterIdentifier = 5,          // method/named action argument

        ExpressionVariableIdentifier = 6, // var in an expression

        MethodIdentifier = 7,             // a method

        NamedActionIdentifier = 8,        // a named action

        Module = 9,                       // the main module - actually this has no name...

        List_Normal = 10,

        Constant = 11,

        MainModule = 12,

        List_Nondeterministic = 13,

        List_Seqential = 14,

        List_Prioritized = 15,

        IDENTIFIERKIND_LAST_ITEM = List_Prioritized

};

#define IDENTIFIERKIND_NR_ITEMS ((std::uint8_t)IdentifierKind::IDENTIFIERKIND_LAST_ITEM + 1)

class Type; // forward

class Identifier

        : public AstElement

{

protected:

        typedef Identifier* (*ConstrPtr)();

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

        IdentifierKind m_identifierKind;

        int32_t m_line;

        int32_t m_column;

        IScope* m_definingScope;

        Type*   m_type;

        string  m_tokenText;

        static Base::FuncPtr s_idVmt [2][IDENTIFIERKIND_NR_ITEMS];

        static Identifier* createVirtual(IdentifierKind aType); // virtual constructor used by Ast

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

public:

        friend class Ast;

        Identifier(IdentifierKind identifierKind);

        Identifier(const Identifier& toCopy);

        ~Identifier() override;

        IdentifierKind kind() const   { return m_identifierKind; };

        Type* type() const                          { return m_type; };

        int32_t line() const          { return m_line; };

        int32_t column() const        { return m_column; };

        IScope* definingScope() const { return m_definingScope; };

        string tokenText() const      { return m_tokenText; };

        string toString() const       { return tokenText(); };

        string fullyQualifiedName() const;

        void setType(Type* aType) { m_type = aType; };

        void setTokenText(string aText)  { m_tokenText = aText; };

        void init(std::int32_t line, std::int32_t col, const char* text,

                                IScope* scopeRef, Type* typeRef)

        {

                m_line = line;

                m_column = col;

                m_tokenText = text;

                m_definingScope = scopeRef;

                m_type = typeRef;

        }

        void accept(IAstVisitor& visitor);

        virtual Identifier* clone() const;

};

}

#include <ast/types/Type.hpp>