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

annotate liboctave/util/cmd-hist.h @ 27923:bd51beb6205e

update formatting of copyright notices * Use <https://octave.org/copyright/> instead of <https://octave.org/COPYRIGHT.html/>. * For consistency with other comments in the Octave sources, use C++-style comments for copyright blocks in C and C++ files. * Use delimiters above and below copyright blocks that are appropriate for the language used in the file. * Eliminate extra spacing inside copyright blocks. * lex.ll (looks_like_copyright): Also allow newlines and carriage returns before the word "Copyright". * scripts/mk-doc.pl (gethelp): Also skip empty comment lines. * bp-table.cc, type.m: Adjust tests.

author	John W. Eaton <jwe@octave.org>
date	Wed, 08 Jan 2020 11:59:41 -0500
parents	1891570abac8
children	0a5b15007766

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 //
bd51beb6205e update formatting of copyright notices John W. Eaton <jwe@octave.org> parents: 27919 diff changeset	3 // Copyright (C) 1996-2020 The Octave Project Developers
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 @ 27923:bd51beb6205e