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

annotate liboctave/util/cmd-hist.h @ 30564:796f54d4ddbf stable

update Octave Project Developers copyright for the new year In files that have the "Octave Project Developers" copyright notice, update for 2021. In all .txi and .texi files except gpl.txi and gpl.texi in the doc/liboctave and doc/interpreter directories, change the copyright to "Octave Project Developers", the same as used for other source files. Update copyright notices for 2022 (not done since 2019). For gpl.txi and gpl.texi, change the copyright notice to be "Free Software Foundation, Inc." and leave the date at 2007 only because this file only contains the text of the GPL, not anything created by the Octave Project Developers. Add Paul Thomas to contributors.in.

author	John W. Eaton <jwe@octave.org>
date	Tue, 28 Dec 2021 18:22:40 -0500
parents	0a5b15007766
children	e88a07dec498

rev	line source
27923 bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	1 ////////////////////////////////////////////////////////////////////////
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	2 //
30564 796f54d4ddbf update Octave Project Developers copyright for the new year John W. Eaton <jwe@octave.org> parents: 29358 diff changeset	3 // Copyright (C) 1996-2022 The Octave Project Developers
27923 bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	4 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	5 // See the file COPYRIGHT.md in the top-level directory of this
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	6 // distribution or <https://octave.org/copyright/>.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	7 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	8 // This file is part of Octave.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	9 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	10 // Octave is free software: you can redistribute it and/or modify it
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	11 // under the terms of the GNU General Public License as published by
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	12 // the Free Software Foundation, either version 3 of the License, or
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	13 // (at your option) any later version.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	14 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	15 // Octave is distributed in the hope that it will be useful, but
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	16 // WITHOUT ANY WARRANTY; without even the implied warranty of
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	17 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	18 // GNU General Public License for more details.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	19 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	20 // You should have received a copy of the GNU General Public License
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	21 // along with Octave; see the file COPYING. If not, see
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	22 // <https://www.gnu.org/licenses/>.
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	23 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	24 ////////////////////////////////////////////////////////////////////////
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	25
20791 f7084eae3318 maint: Use Octave coding conventions for #if statements. Rik <rik@octave.org> parents: 20713 diff changeset	26 #if ! defined (octave_cmd_hist_h)
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	27 #define octave_cmd_hist_h 1
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	28
21244 1473547f50f5 include octave-config.h in public header files John W. Eaton <jwe@octave.org> parents: 21017 diff changeset	29 #include "octave-config.h"
1473547f50f5 include octave-config.h in public header files John W. Eaton <jwe@octave.org> parents: 21017 diff changeset	30
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	31 #include <string>
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	32
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	33 #include "str-vec.h"
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	34
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	35 namespace octave
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	36 {
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	37 class
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	38 OCTAVE_API
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	39 command_history
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	40 {
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	41 protected:
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	42
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	43 command_history (void)
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	44 : m_initialized (false), m_ignoring_additions (false),
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	45 m_history_control (0), m_lines_in_file (0),
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	46 m_lines_this_session (0), m_file (), m_size (-1)
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	47 { }
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	48
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	49 public:
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	50
22869 f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	51 // No copying!
f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	52
f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	53 command_history (const command_history&) = delete;
f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	54
f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	55 command_history& operator = (const command_history&) = delete;
f75d289645ec make deleted functions public John W. Eaton <jwe@octave.org> parents: 22868 diff changeset	56
22868 87e3163f6c87 use c++11 "= default" syntax for declaration of trivial destructors John W. Eaton <jwe@octave.org> parents: 22865 diff changeset	57 virtual ~command_history (void) = default;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	58
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	59 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	60
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	61 static bool is_initialized (void);
11368 944b7e20fc5a improve handling of exceptions for startup files John W. Eaton <jwe@octave.org> parents: 10312 diff changeset	62
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	63 static void set_file (const std::string&);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	64
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	65 static std::string file (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	66
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	67 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	68
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	69 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	70
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	71 static void set_size (int);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	72
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	73 static int size (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	74
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	75 static void ignore_entries (bool = true);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	76
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	77 static bool ignoring_entries (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	78
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	79 static bool add (const std::string&);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	80
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	81 static void remove (int);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	82
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	83 static void clear (void);
15397 231d8d3b8225 provide command_hist::clear_history function John W. Eaton <jwe@octave.org> parents: 15271 diff changeset	84
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	85 static int where (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	86
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	87 static int length (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	88
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	89 static int max_input_history (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	90
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	91 static int base (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	92
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	93 static int current_number (void);
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 void stifle (int);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: 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 int unstifle (void);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: 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 int is_stifled (void);
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 set_mark (int n);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: 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 // 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	104 // readline.h.
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 int goto_mark (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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 read (bool = true);
2658 dd71eb0bb414 [project @ 1997-02-03 04:49:57 by jwe] jwe parents: 1993 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 read (const std::string&, bool = true);
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 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	113
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	114 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	115 bool = true);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	116
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	117 static void write (const std::string& = "");
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	118
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	119 static void append (const std::string& = "");
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	120
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	121 static void truncate_file (const std::string& = "", int = -1);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	122
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	123 static string_vector list (int = -1, bool = false);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	124
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	125 static std::string get_entry (int);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	126
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	127 static void replace_entry (int, const std::string&);
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	128
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	129 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	130
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	131 private:
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	132
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	133 static bool instance_ok (void);
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 make_command_history (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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 // The real thing.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	138 static command_history *s_instance;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	139
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	140 static void cleanup_instance (void)
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	141 {
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	142 delete s_instance;
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	143 s_instance = nullptr;
3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	144 }
13983 7dd7cccf0757 clean up memory allocated for singletons before exit John W. Eaton <jwe@octave.org> parents: 12330 diff changeset	145
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	146 protected:
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	147
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	148 // 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	149 // 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	150 // 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	151
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	152 virtual void do_set_file (const std::string&);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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 std::string do_file (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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_process_histcontrol (const std::string&);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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 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	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_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	161 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	162
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	163 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	164
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	165 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	166
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	167 virtual int do_size (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	168
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	169 virtual void do_ignore_entries (bool);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	170
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	171 virtual bool do_ignoring_entries (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	172
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	173 virtual bool do_add (const std::string&);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	174
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	175 virtual void do_remove (int);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	176
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	177 virtual void do_clear (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	178
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	179 virtual int do_where (void) const;
15397 231d8d3b8225 provide command_hist::clear_history function John W. Eaton <jwe@octave.org> parents: 15271 diff changeset	180
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	181 virtual int do_length (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	182
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	183 virtual int do_max_input_history (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	184
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	185 virtual int do_base (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	186
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	187 virtual int do_current_number (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	188
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	189 virtual void do_stifle (int);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	190
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	191 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	192
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	193 virtual int do_is_stifled (void) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	194
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	195 virtual void do_set_mark (int);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	196
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	197 virtual int do_goto_mark (void);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	198
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	199 virtual void do_read (const std::string&, bool);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	200
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	201 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	202
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	203 virtual void do_write (const std::string&) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	204
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	205 virtual void do_append (const std::string&);
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	206
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	207 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	208
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	209 virtual string_vector do_list (int, bool) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	210
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	211 virtual std::string do_get_entry (int) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	212
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	213 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	214
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	215 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	216
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	217 void error (int, const std::string& msg = "") const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 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 void error (const std::string&) const;
2926 66ef74ee5d9f [project @ 1997-05-05 03:20:52 by jwe] jwe parents: 2847 diff changeset	220
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	221 // 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	222 // lines to save.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	223 bool m_initialized;
11368 944b7e20fc5a improve handling of exceptions for startup files John W. Eaton <jwe@octave.org> parents: 10312 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 // TRUE means we are ignoring new additions.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	226 bool m_ignoring_additions;
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 // Bitmask for history control options. See oct-rl-hist.h.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	229 int m_history_control;
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	230
176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	231 // The number of history lines we read from the history file.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	232 int m_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	233
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	234 // The number of history lines we've saved so far.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	235 int m_lines_this_session;
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	236
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	237 // The default history file.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	238 std::string m_file;
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	239
21748 176536b15d68 use namespace for command_editor and command_history classes John W. Eaton <jwe@octave.org> parents: 21244 diff changeset	240 // The number of lines of history to save.
27379 3db033e86376 use m_ prefix for data members in most liboctave/util classes John W. Eaton <jwe@octave.org> parents: 26376 diff changeset	241 int m_size;
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 }
1797 28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	244
28aefb5a7dec [project @ 1996-01-29 05:05:57 by jwe] jwe parents: diff changeset	245 #endif

Mercurial > octave

annotate liboctave/util/cmd-hist.h @ 30564:796f54d4ddbf stable