100db7afdSDavid E. O'Brien // File based streams -*- C++ -*-
200db7afdSDavid E. O'Brien 
3*0995a43fSAlexander Kabaev // Copyright (C) 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
4*0995a43fSAlexander Kabaev // 2006, 2007
500db7afdSDavid E. O'Brien // Free Software Foundation, Inc.
600db7afdSDavid E. O'Brien //
700db7afdSDavid E. O'Brien // This file is part of the GNU ISO C++ Library.  This library is free
800db7afdSDavid E. O'Brien // software; you can redistribute it and/or modify it under the
900db7afdSDavid E. O'Brien // terms of the GNU General Public License as published by the
1000db7afdSDavid E. O'Brien // Free Software Foundation; either version 2, or (at your option)
1100db7afdSDavid E. O'Brien // any later version.
1200db7afdSDavid E. O'Brien 
1300db7afdSDavid E. O'Brien // This library is distributed in the hope that it will be useful,
1400db7afdSDavid E. O'Brien // but WITHOUT ANY WARRANTY; without even the implied warranty of
1500db7afdSDavid E. O'Brien // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1600db7afdSDavid E. O'Brien // GNU General Public License for more details.
1700db7afdSDavid E. O'Brien 
1800db7afdSDavid E. O'Brien // You should have received a copy of the GNU General Public License along
1900db7afdSDavid E. O'Brien // with this library; see the file COPYING.  If not, write to the Free
20f8a1b7d9SAlexander Kabaev // Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301,
2100db7afdSDavid E. O'Brien // USA.
2200db7afdSDavid E. O'Brien 
2300db7afdSDavid E. O'Brien // As a special exception, you may use this file as part of a free software
2400db7afdSDavid E. O'Brien // library without restriction.  Specifically, if other files instantiate
2500db7afdSDavid E. O'Brien // templates or use macros or inline functions from this file, or you compile
2600db7afdSDavid E. O'Brien // this file and link it with other files to produce an executable, this
2700db7afdSDavid E. O'Brien // file does not by itself cause the resulting executable to be covered by
2800db7afdSDavid E. O'Brien // the GNU General Public License.  This exception does not however
2900db7afdSDavid E. O'Brien // invalidate any other reasons why the executable file might be covered by
3000db7afdSDavid E. O'Brien // the GNU General Public License.
3100db7afdSDavid E. O'Brien 
32f8a1b7d9SAlexander Kabaev /** @file fstream
33f8a1b7d9SAlexander Kabaev  *  This is a Standard C++ Library header.
34f8a1b7d9SAlexander Kabaev  */
35f8a1b7d9SAlexander Kabaev 
3600db7afdSDavid E. O'Brien //
3700db7afdSDavid E. O'Brien // ISO C++ 14882: 27.8  File-based streams
3800db7afdSDavid E. O'Brien //
3900db7afdSDavid E. O'Brien 
40ffeaf689SAlexander Kabaev #ifndef _GLIBCXX_FSTREAM
41ffeaf689SAlexander Kabaev #define _GLIBCXX_FSTREAM 1
4200db7afdSDavid E. O'Brien 
4300db7afdSDavid E. O'Brien #pragma GCC system_header
4400db7afdSDavid E. O'Brien 
4500db7afdSDavid E. O'Brien #include <istream>
4600db7afdSDavid E. O'Brien #include <ostream>
4700db7afdSDavid E. O'Brien #include <locale>	// For codecvt
48ffeaf689SAlexander Kabaev #include <cstdio>       // For SEEK_SET, SEEK_CUR, SEEK_END, BUFSIZ
4900db7afdSDavid E. O'Brien #include <bits/basic_file.h>
5000db7afdSDavid E. O'Brien #include <bits/gthr.h>
5100db7afdSDavid E. O'Brien 
_GLIBCXX_BEGIN_NAMESPACE(std)52f8a1b7d9SAlexander Kabaev _GLIBCXX_BEGIN_NAMESPACE(std)
53f8a1b7d9SAlexander Kabaev 
541b86b14eSAlexander Kabaev   // [27.8.1.1] template class basic_filebuf
551b86b14eSAlexander Kabaev   /**
561b86b14eSAlexander Kabaev    *  @brief  The actual work of input and output (for files).
571b86b14eSAlexander Kabaev    *
581b86b14eSAlexander Kabaev    *  This class associates both its input and output sequence with an
591b86b14eSAlexander Kabaev    *  external disk file, and maintains a joint file position for both
601b86b14eSAlexander Kabaev    *  sequences.  Many of its sematics are described in terms of similar
611b86b14eSAlexander Kabaev    *  behavior in the Standard C Library's @c FILE streams.
621b86b14eSAlexander Kabaev   */
63ffeaf689SAlexander Kabaev   // Requirements on traits_type, specific to this class:
64ffeaf689SAlexander Kabaev   // traits_type::pos_type must be fpos<traits_type::state_type>
65ffeaf689SAlexander Kabaev   // traits_type::off_type must be streamoff
66ffeaf689SAlexander Kabaev   // traits_type::state_type must be Assignable and DefaultConstructable,
67ffeaf689SAlexander Kabaev   // and traits_type::state_type() must be the initial state for codecvt.
6800db7afdSDavid E. O'Brien   template<typename _CharT, typename _Traits>
6900db7afdSDavid E. O'Brien     class basic_filebuf : public basic_streambuf<_CharT, _Traits>
7000db7afdSDavid E. O'Brien     {
7100db7afdSDavid E. O'Brien     public:
7200db7afdSDavid E. O'Brien       // Types:
7300db7afdSDavid E. O'Brien       typedef _CharT                     	        char_type;
7400db7afdSDavid E. O'Brien       typedef _Traits                    	        traits_type;
7500db7afdSDavid E. O'Brien       typedef typename traits_type::int_type 		int_type;
7600db7afdSDavid E. O'Brien       typedef typename traits_type::pos_type 		pos_type;
7700db7afdSDavid E. O'Brien       typedef typename traits_type::off_type 		off_type;
7800db7afdSDavid E. O'Brien 
7900db7afdSDavid E. O'Brien       typedef basic_streambuf<char_type, traits_type>  	__streambuf_type;
8000db7afdSDavid E. O'Brien       typedef basic_filebuf<char_type, traits_type>     __filebuf_type;
8100db7afdSDavid E. O'Brien       typedef __basic_file<char>		        __file_type;
8200db7afdSDavid E. O'Brien       typedef typename traits_type::state_type          __state_type;
8300db7afdSDavid E. O'Brien       typedef codecvt<char_type, char, __state_type>    __codecvt_type;
8400db7afdSDavid E. O'Brien 
8500db7afdSDavid E. O'Brien       friend class ios_base; // For sync_with_stdio.
8600db7afdSDavid E. O'Brien 
8700db7afdSDavid E. O'Brien     protected:
8800db7afdSDavid E. O'Brien       // Data Members:
8900db7afdSDavid E. O'Brien       // MT lock inherited from libio or other low-level io library.
9000db7afdSDavid E. O'Brien       __c_lock          	_M_lock;
9100db7afdSDavid E. O'Brien 
9200db7afdSDavid E. O'Brien       // External buffer.
9300db7afdSDavid E. O'Brien       __file_type 		_M_file;
9400db7afdSDavid E. O'Brien 
95ffeaf689SAlexander Kabaev       /**
96ffeaf689SAlexander Kabaev        *  @if maint
97ffeaf689SAlexander Kabaev        *  Place to stash in || out || in | out settings for current filebuf.
98ffeaf689SAlexander Kabaev        *  @endif
99ffeaf689SAlexander Kabaev       */
100ffeaf689SAlexander Kabaev       ios_base::openmode 	_M_mode;
101ffeaf689SAlexander Kabaev 
102ffeaf689SAlexander Kabaev       // Beginning state type for codecvt.
103ffeaf689SAlexander Kabaev       __state_type 		_M_state_beg;
104ffeaf689SAlexander Kabaev 
105ffeaf689SAlexander Kabaev       // During output, the state that corresponds to pptr(),
106ffeaf689SAlexander Kabaev       // during input, the state that corresponds to egptr() and
107ffeaf689SAlexander Kabaev       // _M_ext_next.
10800db7afdSDavid E. O'Brien       __state_type		_M_state_cur;
109ffeaf689SAlexander Kabaev 
110ffeaf689SAlexander Kabaev       // Not used for output. During input, the state that corresponds
111ffeaf689SAlexander Kabaev       // to eback() and _M_ext_buf.
112ffeaf689SAlexander Kabaev       __state_type		_M_state_last;
113ffeaf689SAlexander Kabaev 
114ffeaf689SAlexander Kabaev       /**
115ffeaf689SAlexander Kabaev        *  @if maint
116ffeaf689SAlexander Kabaev        *  Pointer to the beginning of internal buffer.
117ffeaf689SAlexander Kabaev        *  @endif
118ffeaf689SAlexander Kabaev       */
119ffeaf689SAlexander Kabaev       char_type*		_M_buf;
120ffeaf689SAlexander Kabaev 
121ffeaf689SAlexander Kabaev       /**
122ffeaf689SAlexander Kabaev        *  @if maint
123ffeaf689SAlexander Kabaev        *  Actual size of internal buffer. This number is equal to the size
124ffeaf689SAlexander Kabaev        *  of the put area + 1 position, reserved for the overflow char of
125ffeaf689SAlexander Kabaev        *  a full area.
126ffeaf689SAlexander Kabaev        *  @endif
127ffeaf689SAlexander Kabaev       */
128ffeaf689SAlexander Kabaev       size_t			_M_buf_size;
12900db7afdSDavid E. O'Brien 
13000db7afdSDavid E. O'Brien       // Set iff _M_buf is allocated memory from _M_allocate_internal_buffer.
13100db7afdSDavid E. O'Brien       bool			_M_buf_allocated;
13200db7afdSDavid E. O'Brien 
1331b86b14eSAlexander Kabaev       /**
1341b86b14eSAlexander Kabaev        *  @if maint
135ffeaf689SAlexander Kabaev        *  _M_reading == false && _M_writing == false for 'uncommitted' mode;
136ffeaf689SAlexander Kabaev        *  _M_reading == true for 'read' mode;
137ffeaf689SAlexander Kabaev        *  _M_writing == true for 'write' mode;
138ffeaf689SAlexander Kabaev        *
139ffeaf689SAlexander Kabaev        *  NB: _M_reading == true && _M_writing == true is unused.
1401b86b14eSAlexander Kabaev        *  @endif
1411b86b14eSAlexander Kabaev       */
142ffeaf689SAlexander Kabaev       bool                      _M_reading;
143ffeaf689SAlexander Kabaev       bool                      _M_writing;
144ffeaf689SAlexander Kabaev 
145ffeaf689SAlexander Kabaev       //@{
146ffeaf689SAlexander Kabaev       /**
147ffeaf689SAlexander Kabaev        *  @if maint
148ffeaf689SAlexander Kabaev        *  Necessary bits for putback buffer management.
149ffeaf689SAlexander Kabaev        *
150ffeaf689SAlexander Kabaev        *  @note pbacks of over one character are not currently supported.
151ffeaf689SAlexander Kabaev        *  @endif
152ffeaf689SAlexander Kabaev       */
153ffeaf689SAlexander Kabaev       char_type			_M_pback;
154ffeaf689SAlexander Kabaev       char_type*		_M_pback_cur_save;
155ffeaf689SAlexander Kabaev       char_type*		_M_pback_end_save;
156ffeaf689SAlexander Kabaev       bool			_M_pback_init;
157ffeaf689SAlexander Kabaev       //@}
158ffeaf689SAlexander Kabaev 
159ffeaf689SAlexander Kabaev       // Cached codecvt facet.
160ffeaf689SAlexander Kabaev       const __codecvt_type* 	_M_codecvt;
161ffeaf689SAlexander Kabaev 
162ffeaf689SAlexander Kabaev       /**
163ffeaf689SAlexander Kabaev        *  @if maint
164ffeaf689SAlexander Kabaev        *  Buffer for external characters. Used for input when
165ffeaf689SAlexander Kabaev        *  codecvt::always_noconv() == false. When valid, this corresponds
166ffeaf689SAlexander Kabaev        *  to eback().
167ffeaf689SAlexander Kabaev        *  @endif
168ffeaf689SAlexander Kabaev       */
169ffeaf689SAlexander Kabaev       char*			_M_ext_buf;
170ffeaf689SAlexander Kabaev 
171ffeaf689SAlexander Kabaev       /**
172ffeaf689SAlexander Kabaev        *  @if maint
173ffeaf689SAlexander Kabaev        *  Size of buffer held by _M_ext_buf.
174ffeaf689SAlexander Kabaev        *  @endif
175ffeaf689SAlexander Kabaev       */
176ffeaf689SAlexander Kabaev       streamsize		_M_ext_buf_size;
177ffeaf689SAlexander Kabaev 
178ffeaf689SAlexander Kabaev       /**
179ffeaf689SAlexander Kabaev        *  @if maint
180ffeaf689SAlexander Kabaev        *  Pointers into the buffer held by _M_ext_buf that delimit a
181ffeaf689SAlexander Kabaev        *  subsequence of bytes that have been read but not yet converted.
182ffeaf689SAlexander Kabaev        *  When valid, _M_ext_next corresponds to egptr().
183ffeaf689SAlexander Kabaev        *  @endif
184ffeaf689SAlexander Kabaev       */
185ffeaf689SAlexander Kabaev       const char*		_M_ext_next;
186ffeaf689SAlexander Kabaev       char*			_M_ext_end;
187ffeaf689SAlexander Kabaev 
188ffeaf689SAlexander Kabaev       /**
189ffeaf689SAlexander Kabaev        *  @if maint
190ffeaf689SAlexander Kabaev        *  Initializes pback buffers, and moves normal buffers to safety.
191ffeaf689SAlexander Kabaev        *  Assumptions:
192ffeaf689SAlexander Kabaev        *  _M_in_cur has already been moved back
193ffeaf689SAlexander Kabaev        *  @endif
194ffeaf689SAlexander Kabaev       */
195ffeaf689SAlexander Kabaev       void
196ffeaf689SAlexander Kabaev       _M_create_pback()
197ffeaf689SAlexander Kabaev       {
198ffeaf689SAlexander Kabaev 	if (!_M_pback_init)
199ffeaf689SAlexander Kabaev 	  {
200ffeaf689SAlexander Kabaev 	    _M_pback_cur_save = this->gptr();
201ffeaf689SAlexander Kabaev 	    _M_pback_end_save = this->egptr();
202ffeaf689SAlexander Kabaev 	    this->setg(&_M_pback, &_M_pback, &_M_pback + 1);
203ffeaf689SAlexander Kabaev 	    _M_pback_init = true;
204ffeaf689SAlexander Kabaev 	  }
205ffeaf689SAlexander Kabaev       }
206ffeaf689SAlexander Kabaev 
207ffeaf689SAlexander Kabaev       /**
208ffeaf689SAlexander Kabaev        *  @if maint
209ffeaf689SAlexander Kabaev        *  Deactivates pback buffer contents, and restores normal buffer.
210ffeaf689SAlexander Kabaev        *  Assumptions:
211ffeaf689SAlexander Kabaev        *  The pback buffer has only moved forward.
212ffeaf689SAlexander Kabaev        *  @endif
213ffeaf689SAlexander Kabaev       */
214ffeaf689SAlexander Kabaev       void
215ffeaf689SAlexander Kabaev       _M_destroy_pback() throw()
216ffeaf689SAlexander Kabaev       {
217ffeaf689SAlexander Kabaev 	if (_M_pback_init)
218ffeaf689SAlexander Kabaev 	  {
219ffeaf689SAlexander Kabaev 	    // Length _M_in_cur moved in the pback buffer.
220ffeaf689SAlexander Kabaev 	    _M_pback_cur_save += this->gptr() != this->eback();
221f8a1b7d9SAlexander Kabaev 	    this->setg(_M_buf, _M_pback_cur_save, _M_pback_end_save);
222ffeaf689SAlexander Kabaev 	    _M_pback_init = false;
223ffeaf689SAlexander Kabaev 	  }
224ffeaf689SAlexander Kabaev       }
22500db7afdSDavid E. O'Brien 
22600db7afdSDavid E. O'Brien     public:
22700db7afdSDavid E. O'Brien       // Constructors/destructor:
2281b86b14eSAlexander Kabaev       /**
2291b86b14eSAlexander Kabaev        *  @brief  Does not open any files.
2301b86b14eSAlexander Kabaev        *
2311b86b14eSAlexander Kabaev        *  The default constructor initializes the parent class using its
2321b86b14eSAlexander Kabaev        *  own default ctor.
2331b86b14eSAlexander Kabaev       */
23400db7afdSDavid E. O'Brien       basic_filebuf();
23500db7afdSDavid E. O'Brien 
2361b86b14eSAlexander Kabaev       /**
2371b86b14eSAlexander Kabaev        *  @brief  The destructor closes the file first.
2381b86b14eSAlexander Kabaev       */
23900db7afdSDavid E. O'Brien       virtual
24000db7afdSDavid E. O'Brien       ~basic_filebuf()
241ffeaf689SAlexander Kabaev       { this->close(); }
24200db7afdSDavid E. O'Brien 
24300db7afdSDavid E. O'Brien       // Members:
2441b86b14eSAlexander Kabaev       /**
2451b86b14eSAlexander Kabaev        *  @brief  Returns true if the external file is open.
2461b86b14eSAlexander Kabaev       */
24700db7afdSDavid E. O'Brien       bool
248f8a1b7d9SAlexander Kabaev       is_open() const throw()
249f8a1b7d9SAlexander Kabaev       { return _M_file.is_open(); }
25000db7afdSDavid E. O'Brien 
2511b86b14eSAlexander Kabaev       /**
2521b86b14eSAlexander Kabaev        *  @brief  Opens an external file.
2531b86b14eSAlexander Kabaev        *  @param  s  The name of the file.
2541b86b14eSAlexander Kabaev        *  @param  mode  The open mode flags.
2551b86b14eSAlexander Kabaev        *  @return  @c this on success, NULL on failure
2561b86b14eSAlexander Kabaev        *
2571b86b14eSAlexander Kabaev        *  If a file is already open, this function immediately fails.
2581b86b14eSAlexander Kabaev        *  Otherwise it tries to open the file named @a s using the flags
2591b86b14eSAlexander Kabaev        *  given in @a mode.
2601b86b14eSAlexander Kabaev        *
261*0995a43fSAlexander Kabaev        *  Table 92, adapted here, gives the relation between openmode
262*0995a43fSAlexander Kabaev        *  combinations and the equivalent fopen() flags.
263*0995a43fSAlexander Kabaev        *  (NB: lines in|out|app and binary|in|out|app per DR 596)
264*0995a43fSAlexander Kabaev        *  +---------------------------------------------------------+
265*0995a43fSAlexander Kabaev        *  | ios_base Flag combination            stdio equivalent   |
266*0995a43fSAlexander Kabaev        *  |binary  in  out  trunc  app                              |
267*0995a43fSAlexander Kabaev        *  +---------------------------------------------------------+
268*0995a43fSAlexander Kabaev        *  |             +                        "w"                |
269*0995a43fSAlexander Kabaev        *  |             +           +            "a"                |
270*0995a43fSAlexander Kabaev        *  |             +     +                  "w"                |
271*0995a43fSAlexander Kabaev        *  |         +                            "r"                |
272*0995a43fSAlexander Kabaev        *  |         +   +                        "r+"               |
273*0995a43fSAlexander Kabaev        *  |         +   +     +                  "w+"               |
274*0995a43fSAlexander Kabaev        *  |         +   +           +            "a+"               |
275*0995a43fSAlexander Kabaev        *  +---------------------------------------------------------+
276*0995a43fSAlexander Kabaev        *  |   +         +                        "wb"               |
277*0995a43fSAlexander Kabaev        *  |   +         +           +            "ab"               |
278*0995a43fSAlexander Kabaev        *  |   +         +     +                  "wb"               |
279*0995a43fSAlexander Kabaev        *  |   +     +                            "rb"               |
280*0995a43fSAlexander Kabaev        *  |   +     +   +                        "r+b"              |
281*0995a43fSAlexander Kabaev        *  |   +     +   +     +                  "w+b"              |
282*0995a43fSAlexander Kabaev        *  |   +     +   +           +            "a+b"              |
283*0995a43fSAlexander Kabaev        *  +---------------------------------------------------------+
2841b86b14eSAlexander Kabaev        */
28500db7afdSDavid E. O'Brien       __filebuf_type*
28600db7afdSDavid E. O'Brien       open(const char* __s, ios_base::openmode __mode);
28700db7afdSDavid E. O'Brien 
2881b86b14eSAlexander Kabaev       /**
2891b86b14eSAlexander Kabaev        *  @brief  Closes the currently associated file.
2901b86b14eSAlexander Kabaev        *  @return  @c this on success, NULL on failure
2911b86b14eSAlexander Kabaev        *
2921b86b14eSAlexander Kabaev        *  If no file is currently open, this function immediately fails.
2931b86b14eSAlexander Kabaev        *
2941b86b14eSAlexander Kabaev        *  If a "put buffer area" exists, @c overflow(eof) is called to flush
2951b86b14eSAlexander Kabaev        *  all the characters.  The file is then closed.
2961b86b14eSAlexander Kabaev        *
2971b86b14eSAlexander Kabaev        *  If any operations fail, this function also fails.
2981b86b14eSAlexander Kabaev       */
29900db7afdSDavid E. O'Brien       __filebuf_type*
3001b86b14eSAlexander Kabaev       close() throw();
30100db7afdSDavid E. O'Brien 
30200db7afdSDavid E. O'Brien     protected:
30300db7afdSDavid E. O'Brien       void
30400db7afdSDavid E. O'Brien       _M_allocate_internal_buffer();
30500db7afdSDavid E. O'Brien 
30600db7afdSDavid E. O'Brien       void
3071b86b14eSAlexander Kabaev       _M_destroy_internal_buffer() throw();
30800db7afdSDavid E. O'Brien 
3091b86b14eSAlexander Kabaev       // [27.8.1.4] overridden virtual functions
31000db7afdSDavid E. O'Brien       virtual streamsize
31100db7afdSDavid E. O'Brien       showmanyc();
31200db7afdSDavid E. O'Brien 
31300db7afdSDavid E. O'Brien       // Stroustrup, 1998, p. 628
31400db7afdSDavid E. O'Brien       // underflow() and uflow() functions are called to get the next
31500db7afdSDavid E. O'Brien       // charater from the real input source when the buffer is empty.
31600db7afdSDavid E. O'Brien       // Buffered input uses underflow()
31700db7afdSDavid E. O'Brien 
31800db7afdSDavid E. O'Brien       virtual int_type
31961e268fbSAlexander Kabaev       underflow();
32000db7afdSDavid E. O'Brien 
32100db7afdSDavid E. O'Brien       virtual int_type
32200db7afdSDavid E. O'Brien       pbackfail(int_type __c = _Traits::eof());
32300db7afdSDavid E. O'Brien 
32400db7afdSDavid E. O'Brien       // Stroustrup, 1998, p 648
32500db7afdSDavid E. O'Brien       // The overflow() function is called to transfer characters to the
32600db7afdSDavid E. O'Brien       // real output destination when the buffer is full. A call to
32700db7afdSDavid E. O'Brien       // overflow(c) outputs the contents of the buffer plus the
32800db7afdSDavid E. O'Brien       // character c.
32900db7afdSDavid E. O'Brien       // 27.5.2.4.5
33000db7afdSDavid E. O'Brien       // Consume some sequence of the characters in the pending sequence.
331ffeaf689SAlexander Kabaev       virtual int_type
332ffeaf689SAlexander Kabaev       overflow(int_type __c = _Traits::eof());
33300db7afdSDavid E. O'Brien 
33400db7afdSDavid E. O'Brien       // Convert internal byte sequence to external, char-based
33500db7afdSDavid E. O'Brien       // sequence via codecvt.
336ffeaf689SAlexander Kabaev       bool
337ffeaf689SAlexander Kabaev       _M_convert_to_external(char_type*, streamsize);
33800db7afdSDavid E. O'Brien 
3391b86b14eSAlexander Kabaev       /**
3401b86b14eSAlexander Kabaev        *  @brief  Manipulates the buffer.
3411b86b14eSAlexander Kabaev        *  @param  s  Pointer to a buffer area.
3421b86b14eSAlexander Kabaev        *  @param  n  Size of @a s.
3431b86b14eSAlexander Kabaev        *  @return  @c this
3441b86b14eSAlexander Kabaev        *
3451b86b14eSAlexander Kabaev        *  If no file has been opened, and both @a s and @a n are zero, then
3461b86b14eSAlexander Kabaev        *  the stream becomes unbuffered.  Otherwise, @c s is used as a
3471b86b14eSAlexander Kabaev        *  buffer; see
3481b86b14eSAlexander Kabaev        *  http://gcc.gnu.org/onlinedocs/libstdc++/27_io/howto.html#2
3491b86b14eSAlexander Kabaev        *  for more.
3501b86b14eSAlexander Kabaev       */
35100db7afdSDavid E. O'Brien       virtual __streambuf_type*
35200db7afdSDavid E. O'Brien       setbuf(char_type* __s, streamsize __n);
35300db7afdSDavid E. O'Brien 
35400db7afdSDavid E. O'Brien       virtual pos_type
35500db7afdSDavid E. O'Brien       seekoff(off_type __off, ios_base::seekdir __way,
35600db7afdSDavid E. O'Brien 	      ios_base::openmode __mode = ios_base::in | ios_base::out);
35700db7afdSDavid E. O'Brien 
35800db7afdSDavid E. O'Brien       virtual pos_type
35900db7afdSDavid E. O'Brien       seekpos(pos_type __pos,
36000db7afdSDavid E. O'Brien 	      ios_base::openmode __mode = ios_base::in | ios_base::out);
36100db7afdSDavid E. O'Brien 
362ffeaf689SAlexander Kabaev       // Common code for seekoff and seekpos
363ffeaf689SAlexander Kabaev       pos_type
364ffeaf689SAlexander Kabaev       _M_seek(off_type __off, ios_base::seekdir __way, __state_type __state);
365ffeaf689SAlexander Kabaev 
36600db7afdSDavid E. O'Brien       virtual int
367ffeaf689SAlexander Kabaev       sync();
36800db7afdSDavid E. O'Brien 
36900db7afdSDavid E. O'Brien       virtual void
37000db7afdSDavid E. O'Brien       imbue(const locale& __loc);
37100db7afdSDavid E. O'Brien 
37200db7afdSDavid E. O'Brien       virtual streamsize
373f260e61bSAlexander Kabaev       xsgetn(char_type* __s, streamsize __n);
37400db7afdSDavid E. O'Brien 
37500db7afdSDavid E. O'Brien       virtual streamsize
376ffeaf689SAlexander Kabaev       xsputn(const char_type* __s, streamsize __n);
37700db7afdSDavid E. O'Brien 
378ffeaf689SAlexander Kabaev       // Flushes output buffer, then writes unshift sequence.
37900db7afdSDavid E. O'Brien       bool
380ffeaf689SAlexander Kabaev       _M_terminate_output();
381ffeaf689SAlexander Kabaev 
382ffeaf689SAlexander Kabaev       /**
383ffeaf689SAlexander Kabaev        *  @if maint
384ffeaf689SAlexander Kabaev        *  This function sets the pointers of the internal buffer, both get
385ffeaf689SAlexander Kabaev        *  and put areas. Typically:
386ffeaf689SAlexander Kabaev        *
387ffeaf689SAlexander Kabaev        *   __off == egptr() - eback() upon underflow/uflow ('read' mode);
388ffeaf689SAlexander Kabaev        *   __off == 0 upon overflow ('write' mode);
389ffeaf689SAlexander Kabaev        *   __off == -1 upon open, setbuf, seekoff/pos ('uncommitted' mode).
390ffeaf689SAlexander Kabaev        *
391ffeaf689SAlexander Kabaev        *  NB: epptr() - pbase() == _M_buf_size - 1, since _M_buf_size
392ffeaf689SAlexander Kabaev        *  reflects the actual allocated memory and the last cell is reserved
393ffeaf689SAlexander Kabaev        *  for the overflow char of a full put area.
394ffeaf689SAlexander Kabaev        *  @endif
395ffeaf689SAlexander Kabaev       */
396ffeaf689SAlexander Kabaev       void
397ffeaf689SAlexander Kabaev       _M_set_buffer(streamsize __off)
39800db7afdSDavid E. O'Brien       {
399f8a1b7d9SAlexander Kabaev  	const bool __testin = _M_mode & ios_base::in;
400f8a1b7d9SAlexander Kabaev  	const bool __testout = _M_mode & ios_base::out;
401ffeaf689SAlexander Kabaev 
402ffeaf689SAlexander Kabaev 	if (__testin && __off > 0)
403f8a1b7d9SAlexander Kabaev 	  this->setg(_M_buf, _M_buf, _M_buf + __off);
404ffeaf689SAlexander Kabaev 	else
405f8a1b7d9SAlexander Kabaev 	  this->setg(_M_buf, _M_buf, _M_buf);
406ffeaf689SAlexander Kabaev 
407f8a1b7d9SAlexander Kabaev 	if (__testout && __off == 0 && _M_buf_size > 1 )
408f8a1b7d9SAlexander Kabaev 	  this->setp(_M_buf, _M_buf + _M_buf_size - 1);
409ffeaf689SAlexander Kabaev 	else
410ffeaf689SAlexander Kabaev 	  this->setp(NULL, NULL);
41100db7afdSDavid E. O'Brien       }
41200db7afdSDavid E. O'Brien     };
41300db7afdSDavid E. O'Brien 
4141b86b14eSAlexander Kabaev   // [27.8.1.5] Template class basic_ifstream
41500db7afdSDavid E. O'Brien   /**
4161b86b14eSAlexander Kabaev    *  @brief  Controlling input for files.
4171b86b14eSAlexander Kabaev    *
4181b86b14eSAlexander Kabaev    *  This class supports reading from named files, using the inherited
4191b86b14eSAlexander Kabaev    *  functions from std::basic_istream.  To control the associated
4201b86b14eSAlexander Kabaev    *  sequence, an instance of std::basic_filebuf is used, which this page
4211b86b14eSAlexander Kabaev    *  refers to as @c sb.
42200db7afdSDavid E. O'Brien   */
42300db7afdSDavid E. O'Brien   template<typename _CharT, typename _Traits>
42400db7afdSDavid E. O'Brien     class basic_ifstream : public basic_istream<_CharT, _Traits>
42500db7afdSDavid E. O'Brien     {
42600db7afdSDavid E. O'Brien     public:
42700db7afdSDavid E. O'Brien       // Types:
42800db7afdSDavid E. O'Brien       typedef _CharT 					char_type;
42900db7afdSDavid E. O'Brien       typedef _Traits 					traits_type;
43000db7afdSDavid E. O'Brien       typedef typename traits_type::int_type 		int_type;
43100db7afdSDavid E. O'Brien       typedef typename traits_type::pos_type 		pos_type;
43200db7afdSDavid E. O'Brien       typedef typename traits_type::off_type 		off_type;
43300db7afdSDavid E. O'Brien 
43400db7afdSDavid E. O'Brien       // Non-standard types:
43500db7afdSDavid E. O'Brien       typedef basic_filebuf<char_type, traits_type> 	__filebuf_type;
43600db7afdSDavid E. O'Brien       typedef basic_istream<char_type, traits_type>	__istream_type;
43700db7afdSDavid E. O'Brien 
43800db7afdSDavid E. O'Brien     private:
43900db7afdSDavid E. O'Brien       __filebuf_type	_M_filebuf;
44000db7afdSDavid E. O'Brien 
44100db7afdSDavid E. O'Brien     public:
44200db7afdSDavid E. O'Brien       // Constructors/Destructors:
4431b86b14eSAlexander Kabaev       /**
4441b86b14eSAlexander Kabaev        *  @brief  Default constructor.
4451b86b14eSAlexander Kabaev        *
4461b86b14eSAlexander Kabaev        *  Initializes @c sb using its default constructor, and passes
4471b86b14eSAlexander Kabaev        *  @c &sb to the base class initializer.  Does not open any files
4481b86b14eSAlexander Kabaev        *  (you haven't given it a filename to open).
4491b86b14eSAlexander Kabaev       */
basic_ifstream()450ffeaf689SAlexander Kabaev       basic_ifstream() : __istream_type(), _M_filebuf()
45100db7afdSDavid E. O'Brien       { this->init(&_M_filebuf); }
45200db7afdSDavid E. O'Brien 
45300db7afdSDavid E. O'Brien       /**
45400db7afdSDavid E. O'Brien        *  @brief  Create an input file stream.
4551b86b14eSAlexander Kabaev        *  @param  s  Null terminated string specifying the filename.
45600db7afdSDavid E. O'Brien        *  @param  mode  Open file in specified mode (see std::ios_base).
45700db7afdSDavid E. O'Brien        *
4581b86b14eSAlexander Kabaev        *  @c ios_base::in is automatically included in @a mode.
4591b86b14eSAlexander Kabaev        *
46000db7afdSDavid E. O'Brien        *  Tip:  When using std::string to hold the filename, you must use
46100db7afdSDavid E. O'Brien        *  .c_str() before passing it to this constructor.
46200db7afdSDavid E. O'Brien       */
46300db7afdSDavid E. O'Brien       explicit
46400db7afdSDavid E. O'Brien       basic_ifstream(const char* __s, ios_base::openmode __mode = ios_base::in)
__istream_type()465ffeaf689SAlexander Kabaev       : __istream_type(), _M_filebuf()
46600db7afdSDavid E. O'Brien       {
46700db7afdSDavid E. O'Brien 	this->init(&_M_filebuf);
46800db7afdSDavid E. O'Brien 	this->open(__s, __mode);
46900db7afdSDavid E. O'Brien       }
47000db7afdSDavid E. O'Brien 
4711b86b14eSAlexander Kabaev       /**
4721b86b14eSAlexander Kabaev        *  @brief  The destructor does nothing.
4731b86b14eSAlexander Kabaev        *
4741b86b14eSAlexander Kabaev        *  The file is closed by the filebuf object, not the formatting
4751b86b14eSAlexander Kabaev        *  stream.
4761b86b14eSAlexander Kabaev       */
~basic_ifstream()47700db7afdSDavid E. O'Brien       ~basic_ifstream()
47800db7afdSDavid E. O'Brien       { }
47900db7afdSDavid E. O'Brien 
48000db7afdSDavid E. O'Brien       // Members:
48100db7afdSDavid E. O'Brien       /**
4821b86b14eSAlexander Kabaev        *  @brief  Accessing the underlying buffer.
4831b86b14eSAlexander Kabaev        *  @return  The current basic_filebuf buffer.
4841b86b14eSAlexander Kabaev        *
4851b86b14eSAlexander Kabaev        *  This hides both signatures of std::basic_ios::rdbuf().
48600db7afdSDavid E. O'Brien       */
48700db7afdSDavid E. O'Brien       __filebuf_type*
rdbuf()48800db7afdSDavid E. O'Brien       rdbuf() const
48900db7afdSDavid E. O'Brien       { return const_cast<__filebuf_type*>(&_M_filebuf); }
49000db7afdSDavid E. O'Brien 
4911b86b14eSAlexander Kabaev       /**
4921b86b14eSAlexander Kabaev        *  @brief  Wrapper to test for an open file.
4931b86b14eSAlexander Kabaev        *  @return  @c rdbuf()->is_open()
4941b86b14eSAlexander Kabaev       */
49500db7afdSDavid E. O'Brien       bool
is_open()496f8a1b7d9SAlexander Kabaev       is_open()
497f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
498f8a1b7d9SAlexander Kabaev 
499f8a1b7d9SAlexander Kabaev       // _GLIBCXX_RESOLVE_LIB_DEFECTS
500f8a1b7d9SAlexander Kabaev       // 365. Lack of const-qualification in clause 27
501f8a1b7d9SAlexander Kabaev       bool
is_open()502f8a1b7d9SAlexander Kabaev       is_open() const
503f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
50400db7afdSDavid E. O'Brien 
5051b86b14eSAlexander Kabaev       /**
5061b86b14eSAlexander Kabaev        *  @brief  Opens an external file.
5071b86b14eSAlexander Kabaev        *  @param  s  The name of the file.
5081b86b14eSAlexander Kabaev        *  @param  mode  The open mode flags.
5091b86b14eSAlexander Kabaev        *
5101b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::open(s,mode|in).  If that function
5111b86b14eSAlexander Kabaev        *  fails, @c failbit is set in the stream's error state.
5121b86b14eSAlexander Kabaev        *
5131b86b14eSAlexander Kabaev        *  Tip:  When using std::string to hold the filename, you must use
5141b86b14eSAlexander Kabaev        *  .c_str() before passing it to this constructor.
5151b86b14eSAlexander Kabaev       */
51600db7afdSDavid E. O'Brien       void
51700db7afdSDavid E. O'Brien       open(const char* __s, ios_base::openmode __mode = ios_base::in)
51800db7afdSDavid E. O'Brien       {
51900db7afdSDavid E. O'Brien 	if (!_M_filebuf.open(__s, __mode | ios_base::in))
52000db7afdSDavid E. O'Brien 	  this->setstate(ios_base::failbit);
521f8a1b7d9SAlexander Kabaev 	else
522f8a1b7d9SAlexander Kabaev 	  // _GLIBCXX_RESOLVE_LIB_DEFECTS
523f8a1b7d9SAlexander Kabaev 	  // 409. Closing an fstream should clear error state
524f8a1b7d9SAlexander Kabaev 	  this->clear();
52500db7afdSDavid E. O'Brien       }
52600db7afdSDavid E. O'Brien 
5271b86b14eSAlexander Kabaev       /**
5281b86b14eSAlexander Kabaev        *  @brief  Close the file.
5291b86b14eSAlexander Kabaev        *
5301b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::close().  If that function
5311b86b14eSAlexander Kabaev        *  fails, @c failbit is set in the stream's error state.
5321b86b14eSAlexander Kabaev       */
53300db7afdSDavid E. O'Brien       void
close()53400db7afdSDavid E. O'Brien       close()
53500db7afdSDavid E. O'Brien       {
53600db7afdSDavid E. O'Brien 	if (!_M_filebuf.close())
53700db7afdSDavid E. O'Brien 	  this->setstate(ios_base::failbit);
53800db7afdSDavid E. O'Brien       }
53900db7afdSDavid E. O'Brien     };
54000db7afdSDavid E. O'Brien 
54100db7afdSDavid E. O'Brien 
5421b86b14eSAlexander Kabaev   // [27.8.1.8] Template class basic_ofstream
54300db7afdSDavid E. O'Brien   /**
5441b86b14eSAlexander Kabaev    *  @brief  Controlling output for files.
5451b86b14eSAlexander Kabaev    *
5461b86b14eSAlexander Kabaev    *  This class supports reading from named files, using the inherited
5471b86b14eSAlexander Kabaev    *  functions from std::basic_ostream.  To control the associated
5481b86b14eSAlexander Kabaev    *  sequence, an instance of std::basic_filebuf is used, which this page
5491b86b14eSAlexander Kabaev    *  refers to as @c sb.
55000db7afdSDavid E. O'Brien   */
55100db7afdSDavid E. O'Brien   template<typename _CharT, typename _Traits>
55200db7afdSDavid E. O'Brien     class basic_ofstream : public basic_ostream<_CharT,_Traits>
55300db7afdSDavid E. O'Brien     {
55400db7afdSDavid E. O'Brien     public:
55500db7afdSDavid E. O'Brien       // Types:
55600db7afdSDavid E. O'Brien       typedef _CharT 					char_type;
55700db7afdSDavid E. O'Brien       typedef _Traits 					traits_type;
55800db7afdSDavid E. O'Brien       typedef typename traits_type::int_type 		int_type;
55900db7afdSDavid E. O'Brien       typedef typename traits_type::pos_type 		pos_type;
56000db7afdSDavid E. O'Brien       typedef typename traits_type::off_type 		off_type;
56100db7afdSDavid E. O'Brien 
56200db7afdSDavid E. O'Brien       // Non-standard types:
56300db7afdSDavid E. O'Brien       typedef basic_filebuf<char_type, traits_type> 	__filebuf_type;
56400db7afdSDavid E. O'Brien       typedef basic_ostream<char_type, traits_type>	__ostream_type;
56500db7afdSDavid E. O'Brien 
56600db7afdSDavid E. O'Brien     private:
56700db7afdSDavid E. O'Brien       __filebuf_type	_M_filebuf;
56800db7afdSDavid E. O'Brien 
56900db7afdSDavid E. O'Brien     public:
57000db7afdSDavid E. O'Brien       // Constructors:
5711b86b14eSAlexander Kabaev       /**
5721b86b14eSAlexander Kabaev        *  @brief  Default constructor.
5731b86b14eSAlexander Kabaev        *
5741b86b14eSAlexander Kabaev        *  Initializes @c sb using its default constructor, and passes
5751b86b14eSAlexander Kabaev        *  @c &sb to the base class initializer.  Does not open any files
5761b86b14eSAlexander Kabaev        *  (you haven't given it a filename to open).
5771b86b14eSAlexander Kabaev       */
basic_ofstream()578ffeaf689SAlexander Kabaev       basic_ofstream(): __ostream_type(), _M_filebuf()
57900db7afdSDavid E. O'Brien       { this->init(&_M_filebuf); }
58000db7afdSDavid E. O'Brien 
58100db7afdSDavid E. O'Brien       /**
5821b86b14eSAlexander Kabaev        *  @brief  Create an output file stream.
5831b86b14eSAlexander Kabaev        *  @param  s  Null terminated string specifying the filename.
58400db7afdSDavid E. O'Brien        *  @param  mode  Open file in specified mode (see std::ios_base).
58500db7afdSDavid E. O'Brien        *
5861b86b14eSAlexander Kabaev        *  @c ios_base::out|ios_base::trunc is automatically included in
5871b86b14eSAlexander Kabaev        *  @a mode.
5881b86b14eSAlexander Kabaev        *
58900db7afdSDavid E. O'Brien        *  Tip:  When using std::string to hold the filename, you must use
59000db7afdSDavid E. O'Brien        *  .c_str() before passing it to this constructor.
59100db7afdSDavid E. O'Brien       */
59200db7afdSDavid E. O'Brien       explicit
59300db7afdSDavid E. O'Brien       basic_ofstream(const char* __s,
59400db7afdSDavid E. O'Brien 		     ios_base::openmode __mode = ios_base::out|ios_base::trunc)
__ostream_type()595ffeaf689SAlexander Kabaev       : __ostream_type(), _M_filebuf()
59600db7afdSDavid E. O'Brien       {
59700db7afdSDavid E. O'Brien 	this->init(&_M_filebuf);
59800db7afdSDavid E. O'Brien 	this->open(__s, __mode);
59900db7afdSDavid E. O'Brien       }
60000db7afdSDavid E. O'Brien 
6011b86b14eSAlexander Kabaev       /**
6021b86b14eSAlexander Kabaev        *  @brief  The destructor does nothing.
6031b86b14eSAlexander Kabaev        *
6041b86b14eSAlexander Kabaev        *  The file is closed by the filebuf object, not the formatting
6051b86b14eSAlexander Kabaev        *  stream.
6061b86b14eSAlexander Kabaev       */
~basic_ofstream()60700db7afdSDavid E. O'Brien       ~basic_ofstream()
60800db7afdSDavid E. O'Brien       { }
60900db7afdSDavid E. O'Brien 
61000db7afdSDavid E. O'Brien       // Members:
61100db7afdSDavid E. O'Brien       /**
6121b86b14eSAlexander Kabaev        *  @brief  Accessing the underlying buffer.
6131b86b14eSAlexander Kabaev        *  @return  The current basic_filebuf buffer.
6141b86b14eSAlexander Kabaev        *
6151b86b14eSAlexander Kabaev        *  This hides both signatures of std::basic_ios::rdbuf().
61600db7afdSDavid E. O'Brien       */
61700db7afdSDavid E. O'Brien       __filebuf_type*
rdbuf()61800db7afdSDavid E. O'Brien       rdbuf() const
61900db7afdSDavid E. O'Brien       { return const_cast<__filebuf_type*>(&_M_filebuf); }
62000db7afdSDavid E. O'Brien 
62100db7afdSDavid E. O'Brien       /**
6221b86b14eSAlexander Kabaev        *  @brief  Wrapper to test for an open file.
6231b86b14eSAlexander Kabaev        *  @return  @c rdbuf()->is_open()
62400db7afdSDavid E. O'Brien       */
62500db7afdSDavid E. O'Brien       bool
is_open()626f8a1b7d9SAlexander Kabaev       is_open()
627f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
628f8a1b7d9SAlexander Kabaev 
629f8a1b7d9SAlexander Kabaev       // _GLIBCXX_RESOLVE_LIB_DEFECTS
630f8a1b7d9SAlexander Kabaev       // 365. Lack of const-qualification in clause 27
631f8a1b7d9SAlexander Kabaev       bool
is_open()632f8a1b7d9SAlexander Kabaev       is_open() const
633f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
63400db7afdSDavid E. O'Brien 
63500db7afdSDavid E. O'Brien       /**
6361b86b14eSAlexander Kabaev        *  @brief  Opens an external file.
6371b86b14eSAlexander Kabaev        *  @param  s  The name of the file.
6381b86b14eSAlexander Kabaev        *  @param  mode  The open mode flags.
6391b86b14eSAlexander Kabaev        *
6401b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::open(s,mode|out|trunc).  If that
6411b86b14eSAlexander Kabaev        *  function fails, @c failbit is set in the stream's error state.
64200db7afdSDavid E. O'Brien        *
64300db7afdSDavid E. O'Brien        *  Tip:  When using std::string to hold the filename, you must use
64400db7afdSDavid E. O'Brien        *  .c_str() before passing it to this constructor.
64500db7afdSDavid E. O'Brien       */
64600db7afdSDavid E. O'Brien       void
64700db7afdSDavid E. O'Brien       open(const char* __s,
64800db7afdSDavid E. O'Brien 	   ios_base::openmode __mode = ios_base::out | ios_base::trunc)
64900db7afdSDavid E. O'Brien       {
65000db7afdSDavid E. O'Brien 	if (!_M_filebuf.open(__s, __mode | ios_base::out))
65100db7afdSDavid E. O'Brien 	  this->setstate(ios_base::failbit);
652f8a1b7d9SAlexander Kabaev 	else
653f8a1b7d9SAlexander Kabaev 	  // _GLIBCXX_RESOLVE_LIB_DEFECTS
654f8a1b7d9SAlexander Kabaev 	  // 409. Closing an fstream should clear error state
655f8a1b7d9SAlexander Kabaev 	  this->clear();
65600db7afdSDavid E. O'Brien       }
65700db7afdSDavid E. O'Brien 
6581b86b14eSAlexander Kabaev       /**
6591b86b14eSAlexander Kabaev        *  @brief  Close the file.
6601b86b14eSAlexander Kabaev        *
6611b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::close().  If that function
6621b86b14eSAlexander Kabaev        *  fails, @c failbit is set in the stream's error state.
6631b86b14eSAlexander Kabaev       */
66400db7afdSDavid E. O'Brien       void
close()66500db7afdSDavid E. O'Brien       close()
66600db7afdSDavid E. O'Brien       {
66700db7afdSDavid E. O'Brien 	if (!_M_filebuf.close())
66800db7afdSDavid E. O'Brien 	  this->setstate(ios_base::failbit);
66900db7afdSDavid E. O'Brien       }
67000db7afdSDavid E. O'Brien     };
67100db7afdSDavid E. O'Brien 
67200db7afdSDavid E. O'Brien 
6731b86b14eSAlexander Kabaev   // [27.8.1.11] Template class basic_fstream
67400db7afdSDavid E. O'Brien   /**
6751b86b14eSAlexander Kabaev    *  @brief  Controlling intput and output for files.
6761b86b14eSAlexander Kabaev    *
6771b86b14eSAlexander Kabaev    *  This class supports reading from and writing to named files, using
6781b86b14eSAlexander Kabaev    *  the inherited functions from std::basic_iostream.  To control the
6791b86b14eSAlexander Kabaev    *  associated sequence, an instance of std::basic_filebuf is used, which
6801b86b14eSAlexander Kabaev    *  this page refers to as @c sb.
68100db7afdSDavid E. O'Brien   */
68200db7afdSDavid E. O'Brien   template<typename _CharT, typename _Traits>
68300db7afdSDavid E. O'Brien     class basic_fstream : public basic_iostream<_CharT, _Traits>
68400db7afdSDavid E. O'Brien     {
68500db7afdSDavid E. O'Brien     public:
68600db7afdSDavid E. O'Brien       // Types:
68700db7afdSDavid E. O'Brien       typedef _CharT 					char_type;
68800db7afdSDavid E. O'Brien       typedef _Traits 					traits_type;
68900db7afdSDavid E. O'Brien       typedef typename traits_type::int_type 		int_type;
69000db7afdSDavid E. O'Brien       typedef typename traits_type::pos_type 		pos_type;
69100db7afdSDavid E. O'Brien       typedef typename traits_type::off_type 		off_type;
69200db7afdSDavid E. O'Brien 
69300db7afdSDavid E. O'Brien       // Non-standard types:
69400db7afdSDavid E. O'Brien       typedef basic_filebuf<char_type, traits_type> 	__filebuf_type;
69500db7afdSDavid E. O'Brien       typedef basic_ios<char_type, traits_type>		__ios_type;
69600db7afdSDavid E. O'Brien       typedef basic_iostream<char_type, traits_type>	__iostream_type;
69700db7afdSDavid E. O'Brien 
69800db7afdSDavid E. O'Brien     private:
69900db7afdSDavid E. O'Brien       __filebuf_type	_M_filebuf;
70000db7afdSDavid E. O'Brien 
70100db7afdSDavid E. O'Brien     public:
70200db7afdSDavid E. O'Brien       // Constructors/destructor:
7031b86b14eSAlexander Kabaev       /**
7041b86b14eSAlexander Kabaev        *  @brief  Default constructor.
7051b86b14eSAlexander Kabaev        *
7061b86b14eSAlexander Kabaev        *  Initializes @c sb using its default constructor, and passes
7071b86b14eSAlexander Kabaev        *  @c &sb to the base class initializer.  Does not open any files
7081b86b14eSAlexander Kabaev        *  (you haven't given it a filename to open).
7091b86b14eSAlexander Kabaev       */
basic_fstream()71000db7afdSDavid E. O'Brien       basic_fstream()
711ffeaf689SAlexander Kabaev       : __iostream_type(), _M_filebuf()
71200db7afdSDavid E. O'Brien       { this->init(&_M_filebuf); }
71300db7afdSDavid E. O'Brien 
71400db7afdSDavid E. O'Brien       /**
7151b86b14eSAlexander Kabaev        *  @brief  Create an input/output file stream.
7161b86b14eSAlexander Kabaev        *  @param  s  Null terminated string specifying the filename.
71700db7afdSDavid E. O'Brien        *  @param  mode  Open file in specified mode (see std::ios_base).
71800db7afdSDavid E. O'Brien        *
71900db7afdSDavid E. O'Brien        *  Tip:  When using std::string to hold the filename, you must use
72000db7afdSDavid E. O'Brien        *  .c_str() before passing it to this constructor.
72100db7afdSDavid E. O'Brien       */
72200db7afdSDavid E. O'Brien       explicit
72300db7afdSDavid E. O'Brien       basic_fstream(const char* __s,
72400db7afdSDavid E. O'Brien 		    ios_base::openmode __mode = ios_base::in | ios_base::out)
__iostream_type(NULL)72500db7afdSDavid E. O'Brien       : __iostream_type(NULL), _M_filebuf()
72600db7afdSDavid E. O'Brien       {
72700db7afdSDavid E. O'Brien 	this->init(&_M_filebuf);
72800db7afdSDavid E. O'Brien 	this->open(__s, __mode);
72900db7afdSDavid E. O'Brien       }
73000db7afdSDavid E. O'Brien 
7311b86b14eSAlexander Kabaev       /**
7321b86b14eSAlexander Kabaev        *  @brief  The destructor does nothing.
7331b86b14eSAlexander Kabaev        *
7341b86b14eSAlexander Kabaev        *  The file is closed by the filebuf object, not the formatting
7351b86b14eSAlexander Kabaev        *  stream.
7361b86b14eSAlexander Kabaev       */
~basic_fstream()73700db7afdSDavid E. O'Brien       ~basic_fstream()
73800db7afdSDavid E. O'Brien       { }
73900db7afdSDavid E. O'Brien 
74000db7afdSDavid E. O'Brien       // Members:
74100db7afdSDavid E. O'Brien       /**
7421b86b14eSAlexander Kabaev        *  @brief  Accessing the underlying buffer.
7431b86b14eSAlexander Kabaev        *  @return  The current basic_filebuf buffer.
7441b86b14eSAlexander Kabaev        *
7451b86b14eSAlexander Kabaev        *  This hides both signatures of std::basic_ios::rdbuf().
74600db7afdSDavid E. O'Brien       */
74700db7afdSDavid E. O'Brien       __filebuf_type*
rdbuf()74800db7afdSDavid E. O'Brien       rdbuf() const
74900db7afdSDavid E. O'Brien       { return const_cast<__filebuf_type*>(&_M_filebuf); }
75000db7afdSDavid E. O'Brien 
75100db7afdSDavid E. O'Brien       /**
7521b86b14eSAlexander Kabaev        *  @brief  Wrapper to test for an open file.
7531b86b14eSAlexander Kabaev        *  @return  @c rdbuf()->is_open()
75400db7afdSDavid E. O'Brien       */
75500db7afdSDavid E. O'Brien       bool
is_open()756f8a1b7d9SAlexander Kabaev       is_open()
757f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
758f8a1b7d9SAlexander Kabaev 
759f8a1b7d9SAlexander Kabaev       // _GLIBCXX_RESOLVE_LIB_DEFECTS
760f8a1b7d9SAlexander Kabaev       // 365. Lack of const-qualification in clause 27
761f8a1b7d9SAlexander Kabaev       bool
is_open()762f8a1b7d9SAlexander Kabaev       is_open() const
763f8a1b7d9SAlexander Kabaev       { return _M_filebuf.is_open(); }
76400db7afdSDavid E. O'Brien 
76500db7afdSDavid E. O'Brien       /**
7661b86b14eSAlexander Kabaev        *  @brief  Opens an external file.
7671b86b14eSAlexander Kabaev        *  @param  s  The name of the file.
7681b86b14eSAlexander Kabaev        *  @param  mode  The open mode flags.
7691b86b14eSAlexander Kabaev        *
7701b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::open(s,mode).  If that
7711b86b14eSAlexander Kabaev        *  function fails, @c failbit is set in the stream's error state.
77200db7afdSDavid E. O'Brien        *
77300db7afdSDavid E. O'Brien        *  Tip:  When using std::string to hold the filename, you must use
77400db7afdSDavid E. O'Brien        *  .c_str() before passing it to this constructor.
77500db7afdSDavid E. O'Brien       */
77600db7afdSDavid E. O'Brien       void
77700db7afdSDavid E. O'Brien       open(const char* __s,
77800db7afdSDavid E. O'Brien 	   ios_base::openmode __mode = ios_base::in | ios_base::out)
77900db7afdSDavid E. O'Brien       {
78000db7afdSDavid E. O'Brien 	if (!_M_filebuf.open(__s, __mode))
781ffeaf689SAlexander Kabaev 	  this->setstate(ios_base::failbit);
782f8a1b7d9SAlexander Kabaev 	else
783f8a1b7d9SAlexander Kabaev 	  // _GLIBCXX_RESOLVE_LIB_DEFECTS
784f8a1b7d9SAlexander Kabaev 	  // 409. Closing an fstream should clear error state
785f8a1b7d9SAlexander Kabaev 	  this->clear();
78600db7afdSDavid E. O'Brien       }
78700db7afdSDavid E. O'Brien 
7881b86b14eSAlexander Kabaev       /**
7891b86b14eSAlexander Kabaev        *  @brief  Close the file.
7901b86b14eSAlexander Kabaev        *
7911b86b14eSAlexander Kabaev        *  Calls @c std::basic_filebuf::close().  If that function
7921b86b14eSAlexander Kabaev        *  fails, @c failbit is set in the stream's error state.
7931b86b14eSAlexander Kabaev       */
79400db7afdSDavid E. O'Brien       void
close()79500db7afdSDavid E. O'Brien       close()
79600db7afdSDavid E. O'Brien       {
79700db7afdSDavid E. O'Brien 	if (!_M_filebuf.close())
798ffeaf689SAlexander Kabaev 	  this->setstate(ios_base::failbit);
79900db7afdSDavid E. O'Brien       }
80000db7afdSDavid E. O'Brien     };
801f8a1b7d9SAlexander Kabaev 
802f8a1b7d9SAlexander Kabaev _GLIBCXX_END_NAMESPACE
80300db7afdSDavid E. O'Brien 
804ffeaf689SAlexander Kabaev #ifndef _GLIBCXX_EXPORT_TEMPLATE
80500db7afdSDavid E. O'Brien # include <bits/fstream.tcc>
80600db7afdSDavid E. O'Brien #endif
80700db7afdSDavid E. O'Brien 
808ffeaf689SAlexander Kabaev #endif /* _GLIBCXX_FSTREAM */
809