Instigate Open Source Documentation

---

src/stl/_pair.hpp

Go to the documentation of this file.

#ifndef _INSTIGATE_OPEN_SOURCE_INTERNAL_HEADER_IN_CONCEPT
#error This is an internal header file used to implement Instigate STL.\
        It should never be included directly by a program.
#endif

       
#ifndef INSTIGATE_STL_PAIR_HPP
#define INSTIGATE_STL_PAIR_HPP

// Headers from this project
#include "concept.hpp"

// Headers from other project
#include <generic/base.hpp>

// Headers from standard libraries

// Forward declarations
namespace instigate {
        namespace stl {
                namespace pair {
                        template <typename T> struct interface;
                        template <typename T> struct requirements;
                }
        }
}

template<typename T>
struct instigate::stl::pair::interface 
{
        typedef typename T::first_type first_type;

        typedef typename T::second_type second_type;

        static void set_first(T& a, const first_type& f)
        {
                instigate::generic::assignable::interface<first_type>::
			assign(a.first, f);
        }

        static void set_second(T& a, const second_type& s)
        {
                instigate::generic::assignable::interface<second_type>::
			assign(a.second, s);
        }
};

template<typename T>
struct instigate::stl::pair::requirements
{
        static void require_first_type()
        {
                typedef typename instigate::stl::pair::interface<T>::
                        first_type first;
        }

        static void require_second_type()
        {
                typedef typename instigate::stl::pair::interface<T>::
                        second_type second;     
        }
        static void require_set_first(T& a, const typename instigate::stl::
                pair::interface<T>::first_type& f)
        {
                instigate::stl::pair::interface<T>::set_first(a, f);
        }
        
        static void require_set_second(T& a, const typename instigate::stl::
                pair::interface<T>::second_type& s)
        {
                instigate::stl::pair::interface<T>::set_second(a, s);
        }

        requirements()
        {
                namespace STL = instigate::stl;
                CHECK(instigate::generic::assignable::requirements<typename 
                        STL::pair::interface<T>::first_type>);
                CHECK(instigate::generic::assignable::requirements<typename 
                        STL::pair::interface<T>::second_type>);
                (void)&require_first_type;
                (void)&require_second_type;
                (void)&require_set_first;
                (void)&require_set_second;
        }
}; 

// vim:et:tabstop=8:shiftwidth=8:cindent:fo=croq:textwidth=80:

#endif // INSTIGATE_STL_PAIR_hpp 

---

© Instigate CJSC, Open Source