Mercurial > hg > octave-lyh
annotate src/pager.h @ 14553:aacb604ca2b6
Clean generated fortran files.
* libcruft/Makefile.am (nodist_libcruft_la_SOURCES): New variable.
(DISTCLEANFILES): Include $(nodist_libcruft_la_SOURCES) in the list.
* libcruft/slatec-fn/module.mk (nodist_libcruft_la_SOURCES):
Append derfc.f and erfc.f here.
(libcruft_la_SOURCES): Not here.
author | Mike Miller <mtmiller@ieee.org> |
---|---|
date | Wed, 11 Apr 2012 23:12:43 -0400 |
parents | 72c96de7a403 |
children |
rev | line source |
---|---|
1 | 1 /* |
2 | |
14138
72c96de7a403
maint: update copyright notices for 2012
John W. Eaton <jwe@octave.org>
parents:
13983
diff
changeset
|
3 Copyright (C) 1993-2012 John W. Eaton |
1 | 4 |
5 This file is part of Octave. | |
6 | |
7 Octave is free software; you can redistribute it and/or modify it | |
8 under the terms of the GNU General Public License as published by the | |
7016 | 9 Free Software Foundation; either version 3 of the License, or (at your |
10 option) any later version. | |
1 | 11 |
12 Octave is distributed in the hope that it will be useful, but WITHOUT | |
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
7016 | 18 along with Octave; see the file COPYING. If not, see |
19 <http://www.gnu.org/licenses/>. | |
1 | 20 |
21 */ | |
22 | |
383 | 23 #if !defined (octave_pager_h) |
24 #define octave_pager_h 1 | |
1 | 25 |
8950
d865363208d6
include <iosfwd> instead of <iostream> in header files
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
26 #include <iosfwd> |
5765 | 27 #include <sstream> |
1760 | 28 #include <string> |
29 | |
2095 | 30 #include <sys/types.h> |
31 | |
32 class | |
6109 | 33 OCTINTERP_API |
5765 | 34 octave_pager_buf : public std::stringbuf |
2095 | 35 { |
36 public: | |
37 | |
5765 | 38 octave_pager_buf (void) : std::stringbuf (), diary_skip (0) { } |
2095 | 39 |
3477 | 40 void flush_current_contents_to_diary (void); |
41 | |
3756 | 42 void set_diary_skip (void); |
43 | |
2095 | 44 protected: |
45 | |
46 int sync (void); | |
3756 | 47 |
48 private: | |
49 | |
50 size_t diary_skip; | |
2095 | 51 }; |
52 | |
53 class | |
6109 | 54 OCTINTERP_API |
3537 | 55 octave_pager_stream : public std::ostream |
2095 | 56 { |
57 protected: | |
58 | |
59 octave_pager_stream (void); | |
60 | |
61 public: | |
62 | |
63 ~octave_pager_stream (void); | |
64 | |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
65 static void flush_current_contents_to_diary (void); |
3477 | 66 |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
67 static void set_diary_skip (void); |
3756 | 68 |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
69 static std::ostream& stream (void); |
2095 | 70 |
13266
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
71 static void reset (void); |
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
72 |
2095 | 73 private: |
74 | |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
75 void do_flush_current_contents_to_diary (void); |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
76 |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
77 void do_set_diary_skip (void); |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
78 |
13266
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
79 void do_reset (void); |
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
80 |
2095 | 81 static octave_pager_stream *instance; |
82 | |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
83 static bool instance_ok (void); |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
84 |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
85 static void cleanup_instance (void) { delete instance; instance = 0; } |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
86 |
2095 | 87 octave_pager_buf *pb; |
88 | |
89 // No copying! | |
90 | |
91 octave_pager_stream (const octave_pager_stream&); | |
92 | |
93 octave_pager_stream& operator = (const octave_pager_stream&); | |
94 }; | |
1 | 95 |
2095 | 96 class |
6109 | 97 OCTINTERP_API |
5765 | 98 octave_diary_buf : public std::stringbuf |
2095 | 99 { |
100 public: | |
101 | |
5765 | 102 octave_diary_buf (void) : std::stringbuf () { } |
2095 | 103 |
104 protected: | |
105 | |
106 int sync (void); | |
107 }; | |
108 | |
109 class | |
6109 | 110 OCTINTERP_API |
3537 | 111 octave_diary_stream : public std::ostream |
2095 | 112 { |
113 protected: | |
114 | |
115 octave_diary_stream (void); | |
116 | |
117 public: | |
118 | |
119 ~octave_diary_stream (void); | |
120 | |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
121 static std::ostream& stream (void); |
2095 | 122 |
13266
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
123 static void reset (void); |
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
124 |
2095 | 125 private: |
126 | |
13266
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
127 void do_reset (void); |
c053740eb2aa
improve memory use for the pager and diary streams (bug #34431)
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
128 |
2095 | 129 static octave_diary_stream *instance; |
130 | |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
131 static bool instance_ok (void); |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
132 |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
133 static void cleanup_instance (void) { delete instance; instance = 0; } |
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
13266
diff
changeset
|
134 |
2095 | 135 octave_diary_buf *db; |
136 | |
137 // No copying! | |
138 | |
139 octave_diary_stream (const octave_diary_stream&); | |
140 | |
141 octave_diary_stream& operator = (const octave_diary_stream&); | |
142 }; | |
143 | |
144 #define octave_stdout (octave_pager_stream::stream ()) | |
145 | |
146 #define octave_diary (octave_diary_stream::stream ()) | |
147 | |
6109 | 148 extern OCTINTERP_API void flush_octave_stdout (void); |
2095 | 149 |
1 | 150 #endif |