| 5357 | |
| 5358 | template< class Stream > |
| 5359 | void write_padding( Stream & os, std::streamsize n ) |
| 5360 | { |
| 5361 | for ( std::streamsize i = 0; i < n; ++i ) |
| 5362 | os.rdbuf()->sputc( os.fill() ); |
| 5363 | } |
| 5364 | |
| 5365 | template< class Stream, class View > |
| 5366 | Stream & write_to_stream( Stream & os, View const & sv ) |