Chris@16: // (C) Copyright 2008 CodeRage, LLC (turkanis at coderage dot com)
Chris@16: // (C) Copyright 2003-2007 Jonathan Turkanis
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See accompanying
Chris@16: // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt.)
Chris@16: 
Chris@16: // See http://www.boost.org/libs/iostreams for documentation.
Chris@16: 
Chris@16: #ifndef BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED
Chris@16: #define BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED
Chris@16: 
Chris@16: #if defined(_MSC_VER) && (_MSC_VER >= 1020)
Chris@16: # pragma once
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/config.hpp>  // BOOST_MSVC
Chris@16: #include <boost/detail/workaround.hpp>
Chris@16: #include <boost/iostreams/categories.hpp>
Chris@16: #include <boost/iostreams/detail/default_arg.hpp>
Chris@16: #include <boost/iostreams/detail/ios.hpp>  // openmode.
Chris@16: #include <boost/iostreams/positioning.hpp>
Chris@16: #include <boost/static_assert.hpp>
Chris@16: #include <boost/type_traits/is_convertible.hpp>
Chris@16: 
Chris@16: namespace boost { namespace iostreams {
Chris@16: 
Chris@16: //--------------Definitions of helper templates for device concepts-----------//
Chris@16: 
Chris@16: template<typename Mode, typename Ch = BOOST_IOSTREAMS_DEFAULT_ARG(char)>
Chris@16: struct device {
Chris@16:     typedef Ch char_type;
Chris@16:     struct category
Chris@16:         : Mode,
Chris@16:           device_tag,
Chris@16:           closable_tag,
Chris@16:           localizable_tag
Chris@16:         { };
Chris@16: 
Chris@16:     void close()
Chris@16:     {
Chris@16:         using namespace detail;
Chris@16:         BOOST_STATIC_ASSERT((!is_convertible<Mode, two_sequence>::value));
Chris@16:     }
Chris@16: 
Chris@16:     void close(BOOST_IOS::openmode)
Chris@16:     {
Chris@16:         using namespace detail;
Chris@16:         BOOST_STATIC_ASSERT((is_convertible<Mode, two_sequence>::value));
Chris@16:     }
Chris@16: 
Chris@16:     template<typename Locale>
Chris@16:     void imbue(const Locale&) { }
Chris@16: };
Chris@16: 
Chris@16: template<typename Mode, typename Ch = BOOST_IOSTREAMS_DEFAULT_ARG(wchar_t)>
Chris@16: struct wdevice : device<Mode, Ch> { };
Chris@16: 
Chris@16: typedef device<input>    source;
Chris@16: typedef wdevice<input>   wsource;
Chris@16: typedef device<output>   sink;
Chris@16: typedef wdevice<output>  wsink;
Chris@16: 
Chris@16: //--------------Definitions of helper templates for simple filter concepts----//
Chris@16: 
Chris@16: template<typename Mode, typename Ch = BOOST_IOSTREAMS_DEFAULT_ARG(char)>
Chris@16: struct filter {
Chris@16:     typedef Ch char_type;
Chris@16:     struct category
Chris@16:         : Mode,
Chris@16:           filter_tag,
Chris@16:           closable_tag,
Chris@16:           localizable_tag
Chris@16:         { };
Chris@16: 
Chris@16:     template<typename Device>
Chris@16:     void close(Device&)
Chris@16:     {
Chris@16:         using namespace detail;
Chris@16:         BOOST_STATIC_ASSERT((!is_convertible<Mode, two_sequence>::value));
Chris@16:         BOOST_STATIC_ASSERT((!is_convertible<Mode, dual_use>::value));
Chris@16:     }
Chris@16: 
Chris@16:     template<typename Device>
Chris@16:     void close(Device&, BOOST_IOS::openmode)
Chris@16:     {
Chris@16:         using namespace detail;
Chris@16:         BOOST_STATIC_ASSERT(
Chris@16:             (is_convertible<Mode, two_sequence>::value) ||
Chris@16:             (is_convertible<Mode, dual_use>::value)
Chris@16:         );
Chris@16:     }
Chris@16: 
Chris@16:     template<typename Locale>
Chris@16:     void imbue(const Locale&) { }
Chris@16: };
Chris@16: 
Chris@16: template<typename Mode, typename Ch = BOOST_IOSTREAMS_DEFAULT_ARG(wchar_t)>
Chris@16: struct wfilter : filter<Mode, Ch> { };
Chris@16: 
Chris@16: typedef filter<input>      input_filter;
Chris@16: typedef wfilter<input>     input_wfilter;
Chris@16: typedef filter<output>     output_filter;
Chris@16: typedef wfilter<output>    output_wfilter;
Chris@16: typedef filter<seekable>   seekable_filter;
Chris@16: typedef wfilter<seekable>  seekable_wfilter;
Chris@16: typedef filter<dual_use>   dual_use_filter;
Chris@16: typedef wfilter<dual_use>  dual_use_wfilter;
Chris@16:         
Chris@16: //------Definitions of helper templates for multi-character filter cncepts----//
Chris@16: 
Chris@16: template<typename Mode, typename Ch = char>
Chris@16: struct multichar_filter : filter<Mode, Ch> {
Chris@16:     struct category : filter<Mode, Ch>::category, multichar_tag { };
Chris@16: };
Chris@16: 
Chris@16: template<typename Mode, typename Ch = wchar_t>
Chris@16: struct multichar_wfilter : multichar_filter<Mode, Ch> { };
Chris@16: 
Chris@16: typedef multichar_filter<input>      multichar_input_filter;
Chris@16: typedef multichar_wfilter<input>     multichar_input_wfilter;
Chris@16: typedef multichar_filter<output>     multichar_output_filter;
Chris@16: typedef multichar_wfilter<output>    multichar_output_wfilter;
Chris@16: typedef multichar_filter<dual_use>   multichar_dual_use_filter;
Chris@16: typedef multichar_wfilter<dual_use>  multichar_dual_use_wfilter;
Chris@16: 
Chris@16: //----------------------------------------------------------------------------//
Chris@16: 
Chris@16: } } // End namespaces iostreams, boost.
Chris@16: 
Chris@16: #endif // #ifndef BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED