blob: 5403adabc343e817129dc5339d8d5b93866c63c1 [file] [log] [blame]
Howard Hinnant3e519522010-05-11 19:42:16 +00001// -*- C++ -*-
2//===----------------------------------------------------------------------===//
3//
Howard Hinnant5b08a8a2010-05-11 21:36:01 +00004// The LLVM Compiler Infrastructure
Howard Hinnant3e519522010-05-11 19:42:16 +00005//
Howard Hinnant412dbeb2010-11-16 22:09:02 +00006// This file is dual licensed under the MIT and the University of Illinois Open
7// Source Licenses. See LICENSE.TXT for details.
Howard Hinnant3e519522010-05-11 19:42:16 +00008//
9//===----------------------------------------------------------------------===//
10
11#ifndef _LIBCPP___STD_STREAM
12#define _LIBCPP___STD_STREAM
13
14#include <__config>
15#include <ostream>
16#include <istream>
17#include <__locale>
18#include <cstdio>
19
Howard Hinnantab4f4382011-11-29 16:45:27 +000020#include <__undef_min_max>
21
Howard Hinnant073458b2011-10-17 20:05:10 +000022#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
Howard Hinnant3e519522010-05-11 19:42:16 +000023#pragma GCC system_header
Howard Hinnant073458b2011-10-17 20:05:10 +000024#endif
Howard Hinnant3e519522010-05-11 19:42:16 +000025
26_LIBCPP_BEGIN_NAMESPACE_STD
27
Howard Hinnantc2063662011-12-01 20:21:04 +000028static const int __limit = 8;
Howard Hinnant3e519522010-05-11 19:42:16 +000029
30// __stdinbuf
31
32template <class _CharT>
33class _LIBCPP_HIDDEN __stdinbuf
34 : public basic_streambuf<_CharT, char_traits<_CharT> >
35{
36public:
37 typedef _CharT char_type;
38 typedef char_traits<char_type> traits_type;
39 typedef typename traits_type::int_type int_type;
40 typedef typename traits_type::pos_type pos_type;
41 typedef typename traits_type::off_type off_type;
42 typedef typename traits_type::state_type state_type;
43
Howard Hinnant591ebe32013-03-19 21:34:48 +000044 __stdinbuf(FILE* __fp, state_type* __st);
Howard Hinnant3e519522010-05-11 19:42:16 +000045
46protected:
47 virtual int_type underflow();
48 virtual int_type uflow();
49 virtual int_type pbackfail(int_type __c = traits_type::eof());
50 virtual void imbue(const locale& __loc);
51
52private:
53
54 FILE* __file_;
55 const codecvt<char_type, char, state_type>* __cv_;
Howard Hinnant591ebe32013-03-19 21:34:48 +000056 state_type* __st_;
Howard Hinnant3e519522010-05-11 19:42:16 +000057 int __encoding_;
Howard Hinnant266abef2013-05-08 21:18:42 +000058 int_type __last_consumed_;
59 bool __last_consumed_is_next_;
Howard Hinnant3e519522010-05-11 19:42:16 +000060 bool __always_noconv_;
61
62 __stdinbuf(const __stdinbuf&);
63 __stdinbuf& operator=(const __stdinbuf&);
64
65 int_type __getchar(bool __consume);
66};
67
68template <class _CharT>
Howard Hinnant591ebe32013-03-19 21:34:48 +000069__stdinbuf<_CharT>::__stdinbuf(FILE* __fp, state_type* __st)
Howard Hinnant3e519522010-05-11 19:42:16 +000070 : __file_(__fp),
Howard Hinnant266abef2013-05-08 21:18:42 +000071 __st_(__st),
72 __last_consumed_(traits_type::eof()),
73 __last_consumed_is_next_(false)
Howard Hinnant3e519522010-05-11 19:42:16 +000074{
75 imbue(this->getloc());
76}
77
78template <class _CharT>
79void
80__stdinbuf<_CharT>::imbue(const locale& __loc)
81{
82 __cv_ = &use_facet<codecvt<char_type, char, state_type> >(__loc);
83 __encoding_ = __cv_->encoding();
84 __always_noconv_ = __cv_->always_noconv();
85 if (__encoding_ > __limit)
86 __throw_runtime_error("unsupported locale for standard input");
87}
88
89template <class _CharT>
90typename __stdinbuf<_CharT>::int_type
91__stdinbuf<_CharT>::underflow()
92{
93 return __getchar(false);
94}
95
96template <class _CharT>
97typename __stdinbuf<_CharT>::int_type
98__stdinbuf<_CharT>::uflow()
99{
100 return __getchar(true);
101}
102
103template <class _CharT>
104typename __stdinbuf<_CharT>::int_type
105__stdinbuf<_CharT>::__getchar(bool __consume)
106{
Howard Hinnant266abef2013-05-08 21:18:42 +0000107 if (__last_consumed_is_next_)
108 {
109 int_type __result = __last_consumed_;
110 if (__consume)
111 {
112 __last_consumed_ = traits_type::eof();
113 __last_consumed_is_next_ = false;
114 }
115 return __result;
116 }
Howard Hinnant3e519522010-05-11 19:42:16 +0000117 char __extbuf[__limit];
Howard Hinnantce48a112011-06-30 21:18:19 +0000118 int __nread = _VSTD::max(1, __encoding_);
Howard Hinnant3e519522010-05-11 19:42:16 +0000119 for (int __i = 0; __i < __nread; ++__i)
120 {
Howard Hinnantc2063662011-12-01 20:21:04 +0000121 int __c = getc(__file_);
Howard Hinnant3e519522010-05-11 19:42:16 +0000122 if (__c == EOF)
123 return traits_type::eof();
124 __extbuf[__i] = static_cast<char>(__c);
125 }
126 char_type __1buf;
127 if (__always_noconv_)
128 __1buf = static_cast<char_type>(__extbuf[0]);
129 else
130 {
131 const char* __enxt;
132 char_type* __inxt;
133 codecvt_base::result __r;
134 do
135 {
Howard Hinnant591ebe32013-03-19 21:34:48 +0000136 state_type __sv_st = *__st_;
137 __r = __cv_->in(*__st_, __extbuf, __extbuf + __nread, __enxt,
Howard Hinnant3e519522010-05-11 19:42:16 +0000138 &__1buf, &__1buf + 1, __inxt);
139 switch (__r)
140 {
Howard Hinnantce48a112011-06-30 21:18:19 +0000141 case _VSTD::codecvt_base::ok:
Howard Hinnant3e519522010-05-11 19:42:16 +0000142 break;
143 case codecvt_base::partial:
Howard Hinnant591ebe32013-03-19 21:34:48 +0000144 *__st_ = __sv_st;
Howard Hinnant3e519522010-05-11 19:42:16 +0000145 if (__nread == sizeof(__extbuf))
146 return traits_type::eof();
147 {
Howard Hinnantc2063662011-12-01 20:21:04 +0000148 int __c = getc(__file_);
Howard Hinnant3e519522010-05-11 19:42:16 +0000149 if (__c == EOF)
150 return traits_type::eof();
151 __extbuf[__nread] = static_cast<char>(__c);
152 }
153 ++__nread;
154 break;
155 case codecvt_base::error:
156 return traits_type::eof();
Howard Hinnantce48a112011-06-30 21:18:19 +0000157 case _VSTD::codecvt_base::noconv:
Howard Hinnant3e519522010-05-11 19:42:16 +0000158 __1buf = static_cast<char_type>(__extbuf[0]);
159 break;
160 }
Howard Hinnantce48a112011-06-30 21:18:19 +0000161 } while (__r == _VSTD::codecvt_base::partial);
Howard Hinnant3e519522010-05-11 19:42:16 +0000162 }
163 if (!__consume)
164 {
165 for (int __i = __nread; __i > 0;)
166 {
Howard Hinnant41801f12013-03-11 19:53:48 +0000167 if (ungetc(traits_type::to_int_type(__extbuf[--__i]), __file_) == EOF)
Howard Hinnant3e519522010-05-11 19:42:16 +0000168 return traits_type::eof();
169 }
170 }
Howard Hinnant266abef2013-05-08 21:18:42 +0000171 else
172 __last_consumed_ = traits_type::to_int_type(__1buf);
Howard Hinnant3e519522010-05-11 19:42:16 +0000173 return traits_type::to_int_type(__1buf);
174}
175
176template <class _CharT>
177typename __stdinbuf<_CharT>::int_type
178__stdinbuf<_CharT>::pbackfail(int_type __c)
179{
180 if (traits_type::eq_int_type(__c, traits_type::eof()))
Howard Hinnant3e519522010-05-11 19:42:16 +0000181 {
Howard Hinnant266abef2013-05-08 21:18:42 +0000182 if (!__last_consumed_is_next_)
183 {
184 __c = __last_consumed_;
185 __last_consumed_is_next_ = !traits_type::eq_int_type(__last_consumed_,
186 traits_type::eof());
187 }
188 return __c;
Howard Hinnant3e519522010-05-11 19:42:16 +0000189 }
Howard Hinnant266abef2013-05-08 21:18:42 +0000190 if (__last_consumed_is_next_)
191 {
192 char __extbuf[__limit];
193 char* __enxt;
194 const char_type __ci = traits_type::to_char_type(__last_consumed_);
195 const char_type* __inxt;
196 switch (__cv_->out(*__st_, &__ci, &__ci + 1, __inxt,
197 __extbuf, __extbuf + sizeof(__extbuf), __enxt))
198 {
199 case _VSTD::codecvt_base::ok:
200 break;
201 case _VSTD::codecvt_base::noconv:
202 __extbuf[0] = static_cast<char>(__last_consumed_);
203 __enxt = __extbuf + 1;
204 break;
205 case codecvt_base::partial:
206 case codecvt_base::error:
Howard Hinnant3e519522010-05-11 19:42:16 +0000207 return traits_type::eof();
Howard Hinnant266abef2013-05-08 21:18:42 +0000208 }
209 while (__enxt > __extbuf)
210 if (ungetc(*--__enxt, __file_) == EOF)
211 return traits_type::eof();
212 }
213 __last_consumed_ = __c;
214 __last_consumed_is_next_ = true;
215 return __c;
Howard Hinnant3e519522010-05-11 19:42:16 +0000216}
217
218// __stdoutbuf
219
220template <class _CharT>
221class _LIBCPP_HIDDEN __stdoutbuf
222 : public basic_streambuf<_CharT, char_traits<_CharT> >
223{
224public:
225 typedef _CharT char_type;
226 typedef char_traits<char_type> traits_type;
227 typedef typename traits_type::int_type int_type;
228 typedef typename traits_type::pos_type pos_type;
229 typedef typename traits_type::off_type off_type;
230 typedef typename traits_type::state_type state_type;
231
Howard Hinnant591ebe32013-03-19 21:34:48 +0000232 __stdoutbuf(FILE* __fp, state_type* __st);
Howard Hinnant3e519522010-05-11 19:42:16 +0000233
234protected:
235 virtual int_type overflow (int_type __c = traits_type::eof());
Howard Hinnantd7cda062013-08-09 16:25:43 +0000236 virtual streamsize xsputn(const char_type* __s, streamsize __n);
Howard Hinnant3e519522010-05-11 19:42:16 +0000237 virtual int sync();
238 virtual void imbue(const locale& __loc);
239
240private:
241 FILE* __file_;
242 const codecvt<char_type, char, state_type>* __cv_;
Howard Hinnant591ebe32013-03-19 21:34:48 +0000243 state_type* __st_;
Howard Hinnant3e519522010-05-11 19:42:16 +0000244 bool __always_noconv_;
245
246 __stdoutbuf(const __stdoutbuf&);
247 __stdoutbuf& operator=(const __stdoutbuf&);
248};
249
250template <class _CharT>
Howard Hinnant591ebe32013-03-19 21:34:48 +0000251__stdoutbuf<_CharT>::__stdoutbuf(FILE* __fp, state_type* __st)
Howard Hinnant3e519522010-05-11 19:42:16 +0000252 : __file_(__fp),
253 __cv_(&use_facet<codecvt<char_type, char, state_type> >(this->getloc())),
Howard Hinnant591ebe32013-03-19 21:34:48 +0000254 __st_(__st),
Howard Hinnant3e519522010-05-11 19:42:16 +0000255 __always_noconv_(__cv_->always_noconv())
256{
257}
258
259template <class _CharT>
260typename __stdoutbuf<_CharT>::int_type
261__stdoutbuf<_CharT>::overflow(int_type __c)
262{
263 char __extbuf[__limit];
264 char_type __1buf;
265 if (!traits_type::eq_int_type(__c, traits_type::eof()))
266 {
Howard Hinnante9672d02013-06-28 21:40:28 +0000267 __1buf = traits_type::to_char_type(__c);
Howard Hinnant3e519522010-05-11 19:42:16 +0000268 if (__always_noconv_)
269 {
Howard Hinnante9672d02013-06-28 21:40:28 +0000270 if (fwrite(&__1buf, sizeof(char_type), 1, __file_) != 1)
Howard Hinnant3e519522010-05-11 19:42:16 +0000271 return traits_type::eof();
272 }
273 else
274 {
275 char* __extbe = __extbuf;
276 codecvt_base::result __r;
Howard Hinnante9672d02013-06-28 21:40:28 +0000277 char_type* pbase = &__1buf;
278 char_type* pptr = pbase + 1;
279 char_type* epptr = pptr;
Howard Hinnant3e519522010-05-11 19:42:16 +0000280 do
281 {
282 const char_type* __e;
Howard Hinnante9672d02013-06-28 21:40:28 +0000283 __r = __cv_->out(*__st_, pbase, pptr, __e,
Howard Hinnant3e519522010-05-11 19:42:16 +0000284 __extbuf,
285 __extbuf + sizeof(__extbuf),
286 __extbe);
Howard Hinnante9672d02013-06-28 21:40:28 +0000287 if (__e == pbase)
Howard Hinnant3e519522010-05-11 19:42:16 +0000288 return traits_type::eof();
289 if (__r == codecvt_base::noconv)
290 {
Howard Hinnante9672d02013-06-28 21:40:28 +0000291 if (fwrite(pbase, 1, 1, __file_) != 1)
Howard Hinnant3e519522010-05-11 19:42:16 +0000292 return traits_type::eof();
293 }
294 else if (__r == codecvt_base::ok || __r == codecvt_base::partial)
295 {
296 size_t __nmemb = static_cast<size_t>(__extbe - __extbuf);
297 if (fwrite(__extbuf, 1, __nmemb, __file_) != __nmemb)
298 return traits_type::eof();
299 if (__r == codecvt_base::partial)
300 {
Howard Hinnante9672d02013-06-28 21:40:28 +0000301 pbase = (char_type*)__e;
Howard Hinnant3e519522010-05-11 19:42:16 +0000302 }
303 }
304 else
305 return traits_type::eof();
306 } while (__r == codecvt_base::partial);
307 }
Howard Hinnant3e519522010-05-11 19:42:16 +0000308 }
309 return traits_type::not_eof(__c);
310}
311
312template <class _CharT>
Howard Hinnantd7cda062013-08-09 16:25:43 +0000313streamsize
314__stdoutbuf<_CharT>::xsputn(const char_type* __s, streamsize __n)
315{
316 if (__always_noconv_)
317 return fwrite(__s, sizeof(char_type), __n, __file_);
318 streamsize __i = 0;
319 for (; __i < __n; ++__i, ++__s)
320 if (overflow(traits_type::to_int_type(*__s)) == traits_type::eof())
321 break;
322 return __i;
323}
324
325template <class _CharT>
Howard Hinnant3e519522010-05-11 19:42:16 +0000326int
327__stdoutbuf<_CharT>::sync()
328{
329 char __extbuf[__limit];
330 codecvt_base::result __r;
331 do
332 {
333 char* __extbe;
Howard Hinnant591ebe32013-03-19 21:34:48 +0000334 __r = __cv_->unshift(*__st_, __extbuf,
Howard Hinnant3e519522010-05-11 19:42:16 +0000335 __extbuf + sizeof(__extbuf),
336 __extbe);
337 size_t __nmemb = static_cast<size_t>(__extbe - __extbuf);
338 if (fwrite(__extbuf, 1, __nmemb, __file_) != __nmemb)
339 return -1;
340 } while (__r == codecvt_base::partial);
341 if (__r == codecvt_base::error)
342 return -1;
343 if (fflush(__file_))
344 return -1;
345 return 0;
346}
347
348template <class _CharT>
349void
350__stdoutbuf<_CharT>::imbue(const locale& __loc)
351{
352 sync();
353 __cv_ = &use_facet<codecvt<char_type, char, state_type> >(__loc);
354 __always_noconv_ = __cv_->always_noconv();
355}
356
357_LIBCPP_END_NAMESPACE_STD
358
359#endif // _LIBCPP___STD_STREAM