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