Mercurial > octave
annotate liboctave/util/cmd-hist.h @ 21748:176536b15d68
use namespace for command_editor and command_history classes
* cmd-edit.h, cmd-edit.cc: Put command_editor class in octave
namespace. Change all uses.
* cmd-hist.h, cmd-hist.cc: Put command_history class in octave
namespace. Change all uses.
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Thu, 19 May 2016 18:55:23 -0400 |
parents | 1473547f50f5 |
children | 949cb46e6bdb |
rev | line source |
---|---|
1797 | 1 /* |
2 | |
19697
4197fc428c7d
maint: Update copyright notices for 2015.
John W. Eaton <jwe@octave.org>
parents:
17996
diff
changeset
|
3 Copyright (C) 1996-2015 John W. Eaton |
1797 | 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. | |
1797 | 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/>. | |
1797 | 20 |
21 */ | |
22 | |
20791
f7084eae3318
maint: Use Octave coding conventions for #if statements.
Rik <rik@octave.org>
parents:
20713
diff
changeset
|
23 #if ! defined (octave_cmd_hist_h) |
1797 | 24 #define octave_cmd_hist_h 1 |
25 | |
21244
1473547f50f5
include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents:
21017
diff
changeset
|
26 #include "octave-config.h" |
1473547f50f5
include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents:
21017
diff
changeset
|
27 |
1797 | 28 #include <string> |
29 | |
30 #include "str-vec.h" | |
31 | |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
32 namespace octave |
1797 | 33 { |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
34 class |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
35 OCTAVE_API |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
36 command_history |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
37 { |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
38 protected: |
2926 | 39 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
40 command_history (void) |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
41 : initialized (false), ignoring_additions (false), history_control (0), |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
42 lines_in_file (0), lines_this_session (0), xfile (), xsize (-1) { } |
2926 | 43 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
44 public: |
1797 | 45 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
46 virtual ~command_history (void) { } |
2926 | 47 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
48 static void initialize (bool, const std::string&, int, const std::string&); |
11368
944b7e20fc5a
improve handling of exceptions for startup files
John W. Eaton <jwe@octave.org>
parents:
10312
diff
changeset
|
49 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
50 static bool is_initialized (void); |
11368
944b7e20fc5a
improve handling of exceptions for startup files
John W. Eaton <jwe@octave.org>
parents:
10312
diff
changeset
|
51 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
52 static void set_file (const std::string&); |
1797 | 53 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
54 static std::string file (void); |
1797 | 55 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
56 static void process_histcontrol (const std::string&); |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
57 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
58 static std::string histcontrol (void); |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
59 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
60 static void set_size (int); |
1797 | 61 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
62 static int size (void); |
2926 | 63 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
64 static void ignore_entries (bool = true); |
1797 | 65 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
66 static bool ignoring_entries (void); |
1797 | 67 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
68 static bool add (const std::string&); |
1797 | 69 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
70 static void remove (int); |
2926 | 71 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
72 static void clear (void); |
15397
231d8d3b8225
provide command_hist::clear_history function
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
73 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
74 static int where (void); |
1797 | 75 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
76 static int length (void); |
1797 | 77 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
78 static int max_input_history (void); |
1797 | 79 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
80 static int base (void); |
1797 | 81 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
82 static int current_number (void); |
1797 | 83 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
84 static void stifle (int); |
1797 | 85 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
86 static int unstifle (void); |
1797 | 87 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
88 static int is_stifled (void); |
1797 | 89 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
90 static void set_mark (int n); |
1797 | 91 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
92 // Gag. This declaration has to match the Function typedef in |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
93 // readline.h. |
1797 | 94 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
95 static int goto_mark (void); |
2926 | 96 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
97 static void read (bool = true); |
2658 | 98 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
99 static void read (const std::string&, bool = true); |
1797 | 100 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
101 static void read_range (int = -1, int = -1, bool = true); |
2658 | 102 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
103 static void read_range (const std::string&, int = -1, int = -1, |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
104 bool = true); |
1797 | 105 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
106 static void write (const std::string& = ""); |
1797 | 107 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
108 static void append (const std::string& = ""); |
1797 | 109 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
110 static void truncate_file (const std::string& = "", int = -1); |
1797 | 111 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
112 static string_vector list (int = -1, bool = false); |
1797 | 113 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
114 static std::string get_entry (int); |
1797 | 115 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
116 static void replace_entry (int, const std::string&); |
1797 | 117 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
118 static void clean_up_and_save (const std::string& = "", int = -1); |
1797 | 119 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
120 private: |
1797 | 121 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
122 // No copying! |
2926 | 123 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
124 command_history (const command_history&); |
2926 | 125 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
126 command_history& operator = (const command_history&); |
2926 | 127 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
128 static bool instance_ok (void); |
2926 | 129 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
130 static void make_command_history (void); |
2926 | 131 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
132 // The real thing. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
133 static command_history *instance; |
2926 | 134 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
135 static void cleanup_instance (void) { delete instance; instance = 0; } |
13983
7dd7cccf0757
clean up memory allocated for singletons before exit
John W. Eaton <jwe@octave.org>
parents:
12330
diff
changeset
|
136 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
137 protected: |
2926 | 138 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
139 // To use something other than the GNU history library, derive a new |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
140 // class from command_history, overload these functions as |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
141 // necessary, and make instance point to the new class. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
142 |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
143 virtual void do_set_file (const std::string&); |
2926 | 144 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
145 virtual std::string do_file (void); |
2926 | 146 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
147 virtual void do_process_histcontrol (const std::string&); |
2926 | 148 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
149 virtual std::string do_histcontrol (void) const { return ""; } |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
150 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
151 virtual void do_initialize (bool, const std::string&, int, |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
152 const std::string&); |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
153 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
154 virtual bool do_is_initialized (void) const; |
11368
944b7e20fc5a
improve handling of exceptions for startup files
John W. Eaton <jwe@octave.org>
parents:
10312
diff
changeset
|
155 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
156 virtual void do_set_size (int); |
11368
944b7e20fc5a
improve handling of exceptions for startup files
John W. Eaton <jwe@octave.org>
parents:
10312
diff
changeset
|
157 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
158 virtual int do_size (void) const; |
2926 | 159 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
160 virtual void do_ignore_entries (bool); |
2926 | 161 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
162 virtual bool do_ignoring_entries (void) const; |
2926 | 163 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
164 virtual bool do_add (const std::string&); |
2926 | 165 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
166 virtual void do_remove (int); |
2926 | 167 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
168 virtual void do_clear (void); |
2926 | 169 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
170 virtual int do_where (void) const; |
15397
231d8d3b8225
provide command_hist::clear_history function
John W. Eaton <jwe@octave.org>
parents:
15271
diff
changeset
|
171 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
172 virtual int do_length (void) const; |
2926 | 173 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
174 virtual int do_max_input_history (void) const; |
2926 | 175 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
176 virtual int do_base (void) const; |
2926 | 177 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
178 virtual int do_current_number (void) const; |
2926 | 179 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
180 virtual void do_stifle (int); |
2926 | 181 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
182 virtual int do_unstifle (void); |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
183 |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
184 virtual int do_is_stifled (void) const; |
2926 | 185 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
186 virtual void do_set_mark (int); |
2926 | 187 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
188 virtual int do_goto_mark (void); |
2926 | 189 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
190 virtual void do_read (const std::string&, bool); |
2926 | 191 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
192 virtual void do_read_range (const std::string&, int, int, bool); |
2926 | 193 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
194 virtual void do_write (const std::string&) const; |
2926 | 195 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
196 virtual void do_append (const std::string&); |
2926 | 197 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
198 virtual void do_truncate_file (const std::string&, int) const; |
2926 | 199 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
200 virtual string_vector do_list (int, bool) const; |
2926 | 201 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
202 virtual std::string do_get_entry (int) const; |
2926 | 203 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
204 virtual void do_replace_entry (int, const std::string&); |
2926 | 205 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
206 virtual void do_clean_up_and_save (const std::string&, int); |
2926 | 207 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
208 void error (int, const std::string& msg = "") const; |
2926 | 209 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
210 void error (const std::string&) const; |
2926 | 211 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
212 // TRUE means we have initialized the history filename and number of |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
213 // lines to save. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
214 bool initialized; |
11368
944b7e20fc5a
improve handling of exceptions for startup files
John W. Eaton <jwe@octave.org>
parents:
10312
diff
changeset
|
215 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
216 // TRUE means we are ignoring new additions. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
217 bool ignoring_additions; |
1797 | 218 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
219 // Bitmask for history control options. See oct-rl-hist.h. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
220 int history_control; |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
221 |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
222 // The number of history lines we read from the history file. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
223 int lines_in_file; |
11486
a1deab9a6e71
bash-like history control
Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org>
parents:
11368
diff
changeset
|
224 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
225 // The number of history lines we've saved so far. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
226 int lines_this_session; |
1797 | 227 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
228 // The default history file. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
229 std::string xfile; |
1797 | 230 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
231 // The number of lines of history to save. |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
232 int xsize; |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
233 }; |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
234 } |
1797 | 235 |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
236 #if defined (OCTAVE_USE_DEPRECATED_FUNCTIONS) |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
237 |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
238 OCTAVE_DEPRECATED ("use octave::command_history instead") |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
239 typedef octave::command_history command_history; |
1797 | 240 |
241 #endif | |
21748
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
242 |
176536b15d68
use namespace for command_editor and command_history classes
John W. Eaton <jwe@octave.org>
parents:
21244
diff
changeset
|
243 #endif |