1 // (C) Copyright 2008 CodeRage, LLC (turkanis at coderage dot com) 2 // (C) Copyright 2003-2007 Jonathan Turkanis 3 // Distributed under the Boost Software License, Version 1.0. (See accompanying 4 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt.) 5 6 // See http://www.boost.org/libs/iostreams for documentation. 7 8 #ifndef BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED 9 #define BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED 10 11 #if defined(_MSC_VER) 12 # pragma once 13 #endif 14 15 #include <boost/config.hpp> // BOOST_MSVC 16 #include <boost/detail/workaround.hpp> 17 #include <boost/iostreams/categories.hpp> 18 #include <boost/iostreams/detail/default_arg.hpp> 19 #include <boost/iostreams/detail/ios.hpp> // openmode. 20 #include <boost/iostreams/positioning.hpp> 21 #include <boost/static_assert.hpp> 22 #include <boost/type_traits/is_convertible.hpp> 23 24 namespace boost { namespace iostreams { 25 26 //--------------Definitions of helper templates for device concepts-----------// 27 28 template<typename Mode, typename Ch = char> 29 struct device { 30 typedef Ch char_type; 31 struct category 32 : Mode, 33 device_tag, 34 closable_tag, 35 localizable_tag 36 { }; 37 closeboost::iostreams::device38 void close() 39 { 40 using namespace detail; 41 BOOST_STATIC_ASSERT((!is_convertible<Mode, two_sequence>::value)); 42 } 43 closeboost::iostreams::device44 void close(BOOST_IOS::openmode) 45 { 46 using namespace detail; 47 BOOST_STATIC_ASSERT((is_convertible<Mode, two_sequence>::value)); 48 } 49 50 template<typename Locale> imbueboost::iostreams::device51 void imbue(const Locale&) { } 52 }; 53 54 template<typename Mode, typename Ch = wchar_t> 55 struct wdevice : device<Mode, Ch> { }; 56 57 typedef device<input> source; 58 typedef wdevice<input> wsource; 59 typedef device<output> sink; 60 typedef wdevice<output> wsink; 61 62 //--------------Definitions of helper templates for simple filter concepts----// 63 64 template<typename Mode, typename Ch = char> 65 struct filter { 66 typedef Ch char_type; 67 struct category 68 : Mode, 69 filter_tag, 70 closable_tag, 71 localizable_tag 72 { }; 73 74 template<typename Device> closeboost::iostreams::filter75 void close(Device&) 76 { 77 using namespace detail; 78 BOOST_STATIC_ASSERT((!is_convertible<Mode, two_sequence>::value)); 79 BOOST_STATIC_ASSERT((!is_convertible<Mode, dual_use>::value)); 80 } 81 82 template<typename Device> closeboost::iostreams::filter83 void close(Device&, BOOST_IOS::openmode) 84 { 85 using namespace detail; 86 BOOST_STATIC_ASSERT( 87 (is_convertible<Mode, two_sequence>::value) || 88 (is_convertible<Mode, dual_use>::value) 89 ); 90 } 91 92 template<typename Locale> imbueboost::iostreams::filter93 void imbue(const Locale&) { } 94 }; 95 96 template<typename Mode, typename Ch = wchar_t> 97 struct wfilter : filter<Mode, Ch> { }; 98 99 typedef filter<input> input_filter; 100 typedef wfilter<input> input_wfilter; 101 typedef filter<output> output_filter; 102 typedef wfilter<output> output_wfilter; 103 typedef filter<seekable> seekable_filter; 104 typedef wfilter<seekable> seekable_wfilter; 105 typedef filter<dual_use> dual_use_filter; 106 typedef wfilter<dual_use> dual_use_wfilter; 107 108 //------Definitions of helper templates for multi-character filter cncepts----// 109 110 template<typename Mode, typename Ch = char> 111 struct multichar_filter : filter<Mode, Ch> { 112 struct category : filter<Mode, Ch>::category, multichar_tag { }; 113 }; 114 115 template<typename Mode, typename Ch = wchar_t> 116 struct multichar_wfilter : multichar_filter<Mode, Ch> { }; 117 118 typedef multichar_filter<input> multichar_input_filter; 119 typedef multichar_wfilter<input> multichar_input_wfilter; 120 typedef multichar_filter<output> multichar_output_filter; 121 typedef multichar_wfilter<output> multichar_output_wfilter; 122 typedef multichar_filter<dual_use> multichar_dual_use_filter; 123 typedef multichar_wfilter<dual_use> multichar_dual_use_wfilter; 124 125 //----------------------------------------------------------------------------// 126 127 } } // End namespaces iostreams, boost. 128 129 #endif // #ifndef BOOST_IOSTREAMS_CONCEPTS_HPP_INCLUDED 130