#include "pager.h"


Public Member Functions | |
| pager_stream (const pager_stream &)=delete | |
| pager_stream (void) | |
| ~pager_stream (void) | |
| void | flush_current_contents_to_diary (void) |
| pager_stream & | operator= (const pager_stream &)=delete |
| void | reset (void) |
| void | set_diary_skip (void) |
| std::ostream & | stream (void) |
Private Attributes | |
| pager_buf * | m_pb |
|
delete |
| void pager_stream::flush_current_contents_to_diary | ( | void | ) |
Definition at line 204 of file pager.cc.
References pager_buf::flush_current_contents_to_diary(), and m_pb.
Referenced by output_system::close_diary().
|
delete |
| void pager_stream::reset | ( | void | ) |
| void pager_stream::set_diary_skip | ( | void | ) |
Definition at line 210 of file pager.cc.
References m_pb, and pager_buf::set_diary_skip().
Referenced by output_system::open_diary().
| std::ostream & pager_stream::stream | ( | void | ) |
Definition at line 199 of file pager.cc.
Referenced by output_system::__stdout__(), and output_system::flush_stdout().
|
private |
Definition at line 91 of file pager.h.
Referenced by pager_stream(), ~pager_stream(), flush_current_contents_to_diary(), reset(), and set_diary_skip().