ValueType.h

Go to the documentation of this file.

 
/*
* Nirvana IDL front-end library.
*
* This is a part of the Nirvana project.
*
* Author: Igor Popov
*
* Copyright (c) 2021 Igor Popov.
*
* This program 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 3 of the License, or
* (at your option) any later version.
*
* This program 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 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, see <http://www.gnu.org/licenses/>.
*
* Send comments and/or bug reports to:
*  popov.nirvana@gmail.com
*/
#ifndef IDLFE_AST_VALUETYPE_H_
#define IDLFE_AST_VALUETYPE_H_
#pragma once
 
#include "Interface.h"
#include "Type.h"
 
namespace AST {
 
class ValueType;
 
typedef std::vector <const ValueType*> ValueTypes;
 
class ValueType :
    public IV_Base
{
public:
    enum class Modifier
    {
        NONE,
        CUSTOM, 
        ABSTRACT, 
        TRUNCATABLE 
    };
 
    Modifier modifier () const noexcept
    {
        return modifier_;
    }
 
    const ValueTypes& bases () const noexcept
    {
        return bases_;
    }
 
    const Interfaces& supports () const noexcept
    {
        return supports_;
    }
 
private:
    template <class T> friend class Ptr;
 
    ValueType (Builder& builder, const SimpleDeclarator& name, Modifier modifier) :
        IV_Base (Item::Kind::VALUE_TYPE, builder, name),
        modifier_ (modifier)
    {}
 
    friend class Builder;
 
    const char* modifier_name () const noexcept;
 
    void set_truncatable ()
    {
        assert (modifier_ == Modifier::NONE);
        modifier_ = Modifier::TRUNCATABLE;
    }
 
    void add_base (const ValueType& vt)
    {
        bases_.push_back (&vt);
    }
 
    void add_supports (const Interface& itf)
    {
        supports_.push_back (&itf);
    }
 
    void get_all_interfaces (IV_Bases& all) const;
 
private:
    Modifier modifier_;
    ValueTypes bases_;
    Interfaces supports_;
};
 
class ValueTypeDecl :
    public ItemWithId
{
public:
    bool is_abstract () const noexcept
    {
        return is_abstract_;
    }
 
private:
    template <class T> friend class Ptr;
 
    ValueTypeDecl (Builder& builder, const SimpleDeclarator& name, bool abstr) :
        ItemWithId (Item::Kind::VALUE_TYPE_DECL, builder, name),
        is_abstract_ (abstr)
    {}
 
private:
    bool is_abstract_;
};
 
}
 
#endif