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