octave: liboctave/util/cmd-hist.h annotate

annotate liboctave/util/cmd-hist.h @ 22865:89756f2f085b

use c++11 style for deleting default copy constructor and assignment operator * octave-gui.h, resource-manager.h, shortcut-manager.h, base-text-renderer.h, c-file-ptr-stream.h, dynamic-ld.cc, dynamic-ld.h, event-queue.h, ft-text-renderer.cc, gl-render.cc, gl-render.h, graphics.cc, graphics.in.h, interpreter.h, mex.cc, mxarray.in.h, oct-fstrm.h, oct-iostrm.h, oct-prcstrm.h, oct-procbuf.h, oct-stdstrm.h, oct-stream.cc, oct-stream.h, oct-strstrm.h, octave-link.h, pager.h, profiler.h, sighandlers.cc, symtab.h, text-renderer.h, zfstream.h, __init_fltk__.cc, ov-builtin.h, ov-dld-fcn.h, ov-fcn.h, ov-mex-fcn.h, ov-typeinfo.h, ov-usr-fcn.h, octave.h, lex.h, parse.h, pt-arg-list.h, pt-array-list.h, pt-assign.h, pt-binop.h, pt-bp.h, pt-cbinop.h, pt-cell.h, pt-check.h, pt-classdef.h, pt-cmd.h, pt-colon.h, pt-const.h, pt-decl.h, pt-eval.h, pt-except.h, pt-exp.h, pt-fcn-handle.h, pt-funcall.h, pt-id.h, pt-idx.h, pt-jump.h, pt-loop.h, pt-mat.h, pt-misc.h, pt-pr-code.h, pt-select.h, pt-stmt.h, pt-unop.h, pt-walk.h, pt.h, token.h, Array.cc, idx-vector.h, oct-fftw.h, sparse-chol.cc, sparse-qr.cc, file-ops.h, mach-info.h, oct-env.h, action-container.h, cmd-edit.cc, cmd-edit.h, cmd-hist.h, oct-locbuf.h, oct-mutex.h, oct-shlib.cc, oct-sort.h, pathsearch.h, singleton-cleanup.h, unwind-prot.h, url-transfer.cc, url-transfer.h: Use C++11 style "= delete" declaration to declare copy constructors and assignment operators for classes that should not be copied.

author	John W. Eaton <jwe@octave.org>
date	Mon, 05 Dec 2016 22:59:37 -0500
parents	3a2b891d0b33
children	87e3163f6c87

rev	line source
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	1 /*
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	2
22323 bac0d6f07a3e maint: Update copyright notices for 2016. John W. Eaton <jwe@octave.org> parents: 21752 diff changeset	3 Copyright (C) 1996-2016 John W. Eaton
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	4
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	5 This file is part of Octave.
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	6
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	7 Octave is free software; you can redistribute it and/or modify it
22755 3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	8 under the terms of the GNU General Public License as published by
3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	9 the Free Software Foundation; either version 3 of the License, or
3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	10 (at your option) any later version.
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	11
22755 3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	12 Octave is distributed in the hope that it will be useful, but
3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	13 WITHOUT ANY WARRANTY; without even the implied warranty of
3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
3a2b891d0b33 maint: Standardize Copyright formatting. Rik <rik@octave.org> parents: 22402 diff changeset	15 GNU General Public License for more details.
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	16
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	17 You should have received a copy of the GNU General Public License
7016 93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6108 diff changeset	18 along with Octave; see the file COPYING. If not, see
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 6108 diff changeset	19 <http://www.gnu.org/licenses/>.
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	20
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	21 */
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	24 #define octave_cmd_hist_h 1
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	28 #include <string>
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	29
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	30 #include "str-vec.h"
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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),
22402 4caa7b28d183 maint: Style check C++ code in liboctave/ Rik <rik@octave.org> parents: 22323 diff changeset	42 lines_in_file (0), lines_this_session (0), xfile (), xsize (-1) { }
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 dd71eb0bb414 [project @ 1997-02-03 04:49:57 by jwe] jwe parents: 1993 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 dd71eb0bb414 [project @ 1997-02-03 04:49:57 by jwe] jwe parents: 1993 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	123
22865 89756f2f085b use c++11 style for deleting default copy constructor and assignment operator John W. Eaton <jwe@octave.org> parents: 22755 diff changeset	124 command_history (const command_history&) = delete;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	125
22865 89756f2f085b use c++11 style for deleting default copy constructor and assignment operator John W. Eaton <jwe@octave.org> parents: 22755 diff changeset	126 command_history& operator = (const command_history&) = delete;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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
21752 949cb46e6bdb use consistent style for deprecated function/class messages John W. Eaton <jwe@octave.org> parents: 21748 diff changeset	238 OCTAVE_DEPRECATED ("use 'octave::command_history' instead")
21748 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 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	240
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	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
22402 4caa7b28d183 maint: Style check C++ code in liboctave/ Rik <rik@octave.org> parents: 22323 diff changeset	244

Mercurial > octave

annotate liboctave/util/cmd-hist.h @ 22865:89756f2f085b