/*
 * Copyright (C) 2005 Marc Boris Duerner
 * 
 * This library 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 2.1 of the License, or (at your option) any later version.
 * 
 * As a special exception, you may use this file as part of a free
 * software library without restriction. Specifically, if other files
 * instantiate templates or use macros or inline functions from this
 * file, or you compile this file and link it with other files to
 * produce an executable, this file does not by itself cause the
 * resulting executable to be covered by the GNU General Public
 * License. This exception does not however invalidate any other
 * reasons why the executable file might be covered by the GNU Library
 * General Public License.
 * 
 * This library 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
 * Lesser 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, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
 */
#ifndef cxxtools_TypeTraits_h
#define cxxtools_TypeTraits_h

#include <cxxtools/api.h>
#include <cxxtools/config.h>
#include <cstddef>
#include <stdint.h>

namespace cxxtools
{

    template <typename T>
    struct TypeTraitsBase {
        typedef T Value;
        typedef const T ConstValue;
        typedef T& Reference;
        typedef const T& ConstReference;
        typedef T* Pointer;
        typedef const T* ConstPointer;
    };

    /** @brief Type-traits for for non-const value types

        Compile time type information (CTTI) is implemented in cxxtools by the
        means of TypeTraits. A number of specialisations allows
        compile type branching in gerneric code depending on the type.
    */
    template <typename T>
    struct TypeTraits : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 0;
        static const unsigned int isPointer = 0;
        static const unsigned int isReference = 0;
    };

    /** @brief Type-traits for for const value types
    */
    template <typename T>
    struct TypeTraits<const T> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 1;
        static const unsigned int isPointer = 0;
        static const unsigned int isReference = 0;
    };

    /** @brief Type-traits for for non-const reference types
    */
    template <typename T>
    struct TypeTraits<T&> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 0;
        static const unsigned int isPointer = 0;
        static const unsigned int isReference = 1;
    };

    /** @brief Type-traits for for const reference types
    */
    template <typename T>
    struct TypeTraits<const T&> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 1;
        static const unsigned int isPointer = 0;
        static const unsigned int isReference = 1;
    };

    /** @brief Type-traits for for non-const pointer types
    */
    template <typename T>
    struct TypeTraits<T*> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 0;
        static const unsigned int isPointer = 1;
        static const unsigned int isReference = 0;
    };

    /** @brief Type-traits for for const pointer types
    */
    template <typename T>
    struct TypeTraits<const T*> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 1;
        static const unsigned int isPointer = 1;
        static const unsigned int isReference = 0;
    };

    /** @brief Type-traits for for fixed-size array types
    */
    template <typename T, std::size_t N>
    struct TypeTraits<T[N]> : public TypeTraitsBase<T>
    {
        static const unsigned int isConst = 0;
        static const unsigned int isPointer = 1;
        static const unsigned int isReference = 0;
    };

    /** @brief Type-traits for for void
    */
    template <>
    struct TypeTraits<void>
    {
        typedef void Value;
        typedef void ConstType;
        typedef void Reference;
        typedef void ConstReference;
        typedef void* Pointer;
        typedef void* ConstPointer;

        static const unsigned int isConst = 0;
        static const unsigned int isPointer = 0;
        static const unsigned int isReference = 0;
    };


    template <typename T>
    struct IntTraits
    {};
    

    template <>
    struct IntTraits<signed char>
    {
        typedef unsigned char Unsigned;
        typedef signed char Signed;
    };

    template <>
    struct IntTraits<unsigned char>
    {
        typedef unsigned char Unsigned;
        typedef signed char Signed;
    };


    template <>
    struct IntTraits<short>
    {
        typedef unsigned short Unsigned;
        typedef signed short Signed;
    };

    template <>
    struct IntTraits<unsigned short>
    {
        typedef unsigned short Unsigned;
        typedef signed short Signed;
    };


    template <>
    struct IntTraits<int>
    {
        typedef unsigned int Unsigned;
        typedef signed int Signed;
    };
 
    template <>
    struct IntTraits<unsigned int>
    {
        typedef unsigned int Unsigned;
        typedef signed int Signed;
    };


    template <>
    struct IntTraits<long>
    {
        typedef unsigned long Unsigned;
        typedef signed long Signed;
    };


    template <>
    struct IntTraits<unsigned long>
    {
        typedef unsigned long Unsigned;
        typedef signed long Signed;
    };


#ifdef HAVE_LONG_LONG
    template <>
    struct IntTraits<long long>
    {
        typedef unsigned long long Unsigned;
        typedef signed long long Signed;
    };
#endif


#ifdef HAVE_UNSIGNED_LONG_LONG
    template <>
    struct IntTraits<unsigned long long>
    {
        typedef unsigned long long Unsigned;
        typedef signed long long Signed;
    };
#endif

} // !namespace cxxtools


#endif
