| 1371 | |
| 1372 | template< class Stream > |
| 1373 | void write_padding( Stream & os, std::streamsize n ) |
| 1374 | { |
| 1375 | for ( std::streamsize i = 0; i < n; ++i ) |
| 1376 | os.rdbuf()->sputc( os.fill() ); |
| 1377 | } |
| 1378 | |
| 1379 | template< class Stream, class View > |
| 1380 | Stream & write_to_stream( Stream & os, View const & sv ) |