Subversion Repositories Kolibri OS

// -*- C++ -*-

// Copyright (C) 2005-2015 Free Software Foundation, Inc.

//

// This file is part of the GNU ISO C++ Library.  This library is free

// software; you can redistribute it and/or modify it under the terms

// of the GNU General Public License as published by the Free Software

// Foundation; either version 3, or (at your option) any later

// version.

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

// General Public License for more details.

// Under Section 7 of GPL version 3, you are granted additional

// permissions described in the GCC Runtime Library Exception, version

// 3.1, as published by the Free Software Foundation.

// You should have received a copy of the GNU General Public License and

// a copy of the GCC Runtime Library Exception along with this program;

// see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see

// .

// Copyright (C) 2004 Ami Tavory and Vladimir Dreizin, IBM-HRL.

// Permission to use, copy, modify, sell, and distribute this software

// is hereby granted without fee, provided that the above copyright

// notice appears in all copies, and that both that copyright notice

// and this permission notice appear in supporting documentation. None

// of the above authors, nor IBM Haifa Research Laboratories, make any

// representation about the suitability of this software for any

// purpose. It is provided "as is" without express or implied

// warranty.

/**

 * @file detail/types_traits.hpp

 * Contains a traits class of types used by containers.

 */

#ifndef PB_DS_TYPES_TRAITS_HPP

#define PB_DS_TYPES_TRAITS_HPP

#include 

#include 

#include 

#include 

#include 

namespace __gnu_pbds

{

  namespace detail

  {

    /**

     *  @addtogroup traits Traits

     *  @{

     */

    /// Primary template.

    template

      struct no_throw_copies

      {

	static const bool __simple = is_simple::value

			   	 && is_simple::value;

	typedef integral_constant 	       	indicator;

      };

    /// Specialization.

    template

      struct no_throw_copies

      {

	typedef integral_constant::value> 	indicator;

      };

    /// Stored value.

    template

      struct stored_value

      {

	typedef _Tv 	value_type;

	value_type 	m_value;

      };

    /// Stored hash.

    template

      struct stored_hash

      {

	typedef _Th 	hash_type;

	hash_type 	m_hash;

      };

    /// Primary template for representation of stored data.

    /// Two types of data can be stored: value and hash.

    template

      struct stored_data

      : public stored_value<_Tv>, public stored_hash<_Th>

      { };

    /// Specialization for representation of stored data of just value type.

    template

      struct stored_data<_Tv, null_type>

      : public stored_value<_Tv>

      { };

    /// Primary template.

    template

      struct type_base;

    /**

     * Specialization of type_base for the case where the hash value

     * is not stored alongside each value.

     */

    template

      struct type_base

      {

      public:

	typedef typename _Alloc::size_type 		size_type;

      private:

	typedef typename _Alloc::template rebind	__rebind_m;

	typedef typename __rebind_m::other			__rebind_ma;

	typedef std::pair			__value_type;

	typedef typename _Alloc::template rebind<__value_type>	__rebind_v;

       	typedef typename __rebind_v::other			__rebind_va;

      public:

	typedef typename __rebind_ma::value_type       	mapped_type;

	typedef typename __rebind_ma::pointer 		mapped_pointer;

	typedef typename __rebind_ma::const_pointer 	mapped_const_pointer;

	typedef typename __rebind_ma::reference	       	mapped_reference;

	typedef typename __rebind_ma::const_reference 	mapped_const_reference;

	typedef typename __rebind_va::value_type 	value_type;

	typedef typename __rebind_va::pointer 		pointer;

	typedef typename __rebind_va::const_pointer 	const_pointer;

	typedef typename __rebind_va::reference 	reference;

	typedef typename __rebind_va::const_reference 	const_reference;

	typedef stored_data	stored_data_type;

      };

    /**

     * Specialization of type_base for the case where the hash value

     * is stored alongside each value.

     */

    template

      struct type_base

      {

      public:

	typedef typename _Alloc::size_type 		size_type;

      private:

	typedef typename _Alloc::template rebind	__rebind_m;

	typedef typename __rebind_m::other			__rebind_ma;

	typedef std::pair			__value_type;

	typedef typename _Alloc::template rebind<__value_type>	__rebind_v;

       	typedef typename __rebind_v::other			__rebind_va;

      public:

	typedef typename __rebind_ma::value_type       	mapped_type;

	typedef typename __rebind_ma::pointer 		mapped_pointer;

	typedef typename __rebind_ma::const_pointer 	mapped_const_pointer;

	typedef typename __rebind_ma::reference	       	mapped_reference;

	typedef typename __rebind_ma::const_reference 	mapped_const_reference;

	typedef typename __rebind_va::value_type 	value_type;

	typedef typename __rebind_va::pointer 		pointer;

	typedef typename __rebind_va::const_pointer 	const_pointer;

	typedef typename __rebind_va::reference 	reference;

	typedef typename __rebind_va::const_reference 	const_reference;

	typedef stored_data	stored_data_type;

      };

    /**

     * Specialization of type_base for the case where the hash value

     * is not stored alongside each value.

     */

    template

      struct type_base

      {

      public:

	typedef typename _Alloc::size_type 		size_type;

	typedef Key 					value_type;

      private:

	typedef typename _Alloc::template rebind  	__rebind_m;

	typedef typename __rebind_m::other			__rebind_ma;

	typedef typename _Alloc::template rebind	__rebind_v;

       	typedef typename __rebind_v::other			__rebind_va;

      public:

	typedef typename __rebind_ma::value_type       	mapped_type;

	typedef typename __rebind_ma::pointer 		mapped_pointer;

	typedef typename __rebind_ma::const_pointer 	mapped_const_pointer;

	typedef typename __rebind_ma::reference	       	mapped_reference;

	typedef typename __rebind_ma::const_reference 	mapped_const_reference;

	typedef typename __rebind_va::pointer 		pointer;

	typedef typename __rebind_va::const_pointer 	const_pointer;

	typedef typename __rebind_va::reference 	reference;

	typedef typename __rebind_va::const_reference 	const_reference;

	typedef stored_data	stored_data_type;

	static null_type 			s_null_type;

      };

    template

      null_type

      type_base::s_null_type;

    /**

     * Specialization of type_base for the case where the hash value

     * is stored alongside each value.

     */

    template

      struct type_base

      {

      public:

	typedef typename _Alloc::size_type 		size_type;

	typedef Key 					value_type;

      private:

	typedef typename _Alloc::template rebind  	__rebind_m;

	typedef typename __rebind_m::other			__rebind_ma;

	typedef typename _Alloc::template rebind	__rebind_v;

       	typedef typename __rebind_v::other			__rebind_va;

      public:

	typedef typename __rebind_ma::value_type       	mapped_type;

	typedef typename __rebind_ma::pointer 		mapped_pointer;

	typedef typename __rebind_ma::const_pointer 	mapped_const_pointer;

	typedef typename __rebind_ma::reference	       	mapped_reference;

	typedef typename __rebind_ma::const_reference 	mapped_const_reference;

	typedef typename __rebind_va::pointer 		pointer;

	typedef typename __rebind_va::const_pointer 	const_pointer;

	typedef typename __rebind_va::reference 	reference;

	typedef typename __rebind_va::const_reference 	const_reference;

	typedef stored_data	stored_data_type;

	static null_type 		      	s_null_type;

      };

    template

      null_type

      type_base::s_null_type;

    /// Type base dispatch.

    template

      struct type_dispatch

      {

	typedef type_base type;

      };

    /// Traits for abstract types.

    template

      struct types_traits

      : public type_dispatch::type

      {

      private:

	typedef no_throw_copies		__nothrowcopy;

	typedef typename _Alloc::template rebind::other __rebind_a;

      public:

	typedef typename _Alloc::size_type 		size_type;

	typedef typename __rebind_a::value_type 	key_type;

	typedef typename __rebind_a::pointer 		key_pointer;

	typedef typename __rebind_a::const_pointer 	key_const_pointer;

	typedef typename __rebind_a::reference 		key_reference;

	typedef typename __rebind_a::const_reference 	key_const_reference;

	typedef std::pair 	comp_hash;

	typedef integral_constant 	store_extra;

	typedef typename __nothrowcopy::indicator 	no_throw_indicator;

	store_extra			       	m_store_extra_indicator;

	no_throw_indicator 		 	m_no_throw_copies_indicator;

    };

    //@}

  } // namespace detail

} // namespace __gnu_pbds

#endif