/* Copyright (C) 1993-2015 John W. Eaton This file is part of Octave. Octave is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. Octave is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with Octave; see the file COPYING. If not, see . */ #if !defined (octave_pager_h) #define octave_pager_h 1 #include #include #include #include class OCTINTERP_API octave_pager_buf : public std::stringbuf { public: octave_pager_buf (void) : std::stringbuf (), diary_skip (0) { } void flush_current_contents_to_diary (void); void set_diary_skip (void); protected: int sync (void); private: size_t diary_skip; }; class OCTINTERP_API octave_pager_stream : public std::ostream { protected: octave_pager_stream (void); public: ~octave_pager_stream (void); static void flush_current_contents_to_diary (void); static void set_diary_skip (void); static std::ostream& stream (void); static void reset (void); private: void do_flush_current_contents_to_diary (void); void do_set_diary_skip (void); void do_reset (void); static octave_pager_stream *instance; static bool instance_ok (void); static void cleanup_instance (void) { delete instance; instance = 0; } octave_pager_buf *pb; // No copying! octave_pager_stream (const octave_pager_stream&); octave_pager_stream& operator = (const octave_pager_stream&); }; class OCTINTERP_API octave_diary_buf : public std::stringbuf { public: octave_diary_buf (void) : std::stringbuf () { } protected: int sync (void); }; class OCTINTERP_API octave_diary_stream : public std::ostream { protected: octave_diary_stream (void); public: ~octave_diary_stream (void); static std::ostream& stream (void); static void reset (void); private: void do_reset (void); static octave_diary_stream *instance; static bool instance_ok (void); static void cleanup_instance (void) { delete instance; instance = 0; } octave_diary_buf *db; // No copying! octave_diary_stream (const octave_diary_stream&); octave_diary_stream& operator = (const octave_diary_stream&); }; #define octave_stdout (octave_pager_stream::stream ()) #define octave_diary (octave_diary_stream::stream ()) extern OCTINTERP_API void flush_octave_stdout (void); #endif