Type.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_TYPE_H_
#define IDLFE_AST_TYPE_H_
#pragma once
 
#include "BasicType.h"
#include "NamedItem.h"
#include <forward_list>
 
namespace AST {
 
typedef std::forward_list <unsigned> FixedArraySizes;
 
typedef uint32_t Dim;
 
class Sequence;
class Array;
 
class Type
{
public:
    enum class Kind
    {
        VOID,       
        BASIC_TYPE, 
        NAMED_TYPE, 
        STRING,     
        WSTRING,    
        FIXED,      
        SEQUENCE,   
        ARRAY       
    };
 
    Kind tkind () const noexcept
    {
        return kind_;
    }
 
    BasicType basic_type () const noexcept
    {
        assert (tkind () == Kind::BASIC_TYPE);
        return type_.basic_type;
    }
 
    const NamedItem& named_type () const noexcept
    {
        assert (tkind () == Kind::NAMED_TYPE);
        assert (type_.named_type);
        return *type_.named_type;
    }
 
    Dim string_bound () const noexcept
    {
        assert (tkind () == Kind::STRING || tkind () == Kind::WSTRING);
        return type_.string_bound;
    }
 
    Dim string_size () const noexcept
    {
        return string_bound ();
    }
 
    const Sequence& sequence () const noexcept
    {
        assert (tkind () == Kind::SEQUENCE);
        return *type_.sequence;
    }
 
    const Array& array () const noexcept
    {
        assert (tkind () == Kind::ARRAY);
        return *type_.array;
    }
 
    // Fixed
 
    uint16_t fixed_digits () const noexcept
    {
        assert (tkind () == Kind::FIXED);
        return type_.fixed.digits;
    }
 
    uint16_t fixed_scale () const noexcept
    {
        assert (tkind () == Kind::FIXED);
        return type_.fixed.scale;
    }
 
    const Type& dereference_type () const noexcept;
 
    ~Type ()
    {
        clear ();
    }
 
    Type () :
        kind_ (Kind::VOID)
    {}
 
    Type (const Type& src)
    {
        copy (src);
    }
 
    Type (Type&& src) noexcept;
 
    Type& operator = (const Type& src);
 
    Type& operator = (Type&& src) noexcept;
 
    bool operator == (const Type& rhs) const noexcept;
 
    Type (BasicType bt);
 
    static Type make_string (Dim size = 0)
    {
        return Type (Kind::STRING, size);
    }
 
    static Type make_wstring (Dim size = 0)
    {
        return Type (Kind::WSTRING, size);
    }
 
    static Type make_sequence (const Type& type, Dim size = 0);
 
    Type (const Type& type, const FixedArraySizes& sizes);
 
    static Type make_fixed (unsigned digits, unsigned scale)
    {
        return Type (digits, scale);
    }
 
    Type (const NamedItem* named);
 
private:
    friend class Builder;
 
    size_t key_max () const noexcept;
 
    bool is_complete_or_ref () const noexcept;
    bool is_complete_or_seq () const noexcept;
    bool is_complete () const noexcept;
 
private:
    void clear () noexcept;
 
    void reset ()
    {
        kind_ = Kind::VOID;
    }
 
    void copy (const Type& src);
 
    Type (Kind string_kind, Dim size = 0) :
        kind_ (string_kind),
        type_ (size)
    {}
 
    Type (unsigned digits, unsigned scale);
 
private:
    Type (Sequence* seq) :
        kind_ (Kind::SEQUENCE),
        type_ (seq)
    {}
 
private:
    Kind kind_;
    union U
    {
        BasicType basic_type;              // `Kind::BASIC_TYPE`
        const NamedItem* named_type; // `Kind::NAMED_TYPE`
        Dim string_bound;                  // `Kind::STRING, Kind::WSTRING`
        const Sequence* sequence;          // `Kind::SEQUENCE`
        const Array* array;                // `Kind::ARRAY`
        struct
        {
            uint16_t digits;
            uint16_t scale;
        }
        fixed;                           // `Kind::FIXED`
 
        U ()
        {}
 
        U (BasicType bt) :
            basic_type (bt)
        {}
 
        U (const NamedItem* nt) :
            named_type (nt)
        {}
 
        U (Dim bound) :
            string_bound (bound)
        {}
 
        U (const Sequence* pseq) :
            sequence (pseq)
        {}
 
        U (const Array* parr) :
            array (parr)
        {}
 
        ~U () {}
    }
    type_;
};
 
}
 
#endif