octave-nkf: liboctave/oct-rl-hist.c annotate

annotate liboctave/oct-rl-hist.c @ 14626:f947d2922feb stable rc-3-6-2-0

3.6.2-rc0 release candidate * configure.ac (AC_INIT): Version is now 3.6.2-rc0. (OCTAVE_RELEASE_DATE): Now 2012-05-11.

author	John W. Eaton <jwe@octave.org>
date	Fri, 11 May 2012 13:46:18 -0400
parents	72c96de7a403
children

rev	line source
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	1 /*
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	2
14138 72c96de7a403 maint: update copyright notices for 2012 John W. Eaton <jwe@octave.org> parents: 11586 diff changeset	3 Copyright (C) 2000-2012 John W. Eaton
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	4
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	5 This file is part of Octave.
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	6
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	7 Octave is free software; you can redistribute it and/or modify it
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	8 under the terms of the GNU General Public License as published by the
7016 93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 5307 diff changeset	9 Free Software Foundation; either version 3 of the License, or (at your
93c65f2a5668 [project @ 2007-10-12 06:40:56 by jwe] jwe parents: 5307 diff changeset	10 option) any later version.
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	11
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	12 Octave is distributed in the hope that it will be useful, but WITHOUT
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	15 for more details.
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	16
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 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: 5307 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: 5307 diff changeset	19 <http://www.gnu.org/licenses/>.
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	20
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	21 */
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	22
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	23 #ifdef HAVE_CONFIG_H
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	24 #include <config.h>
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	25 #endif
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	26
11486 a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	27 #include "oct-rl-hist.h"
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	28
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	29 #if defined (USE_READLINE)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	30
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	31 #include <stdio.h>
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	32 #include <stdlib.h>
4587 7b957b442818 [project @ 2003-11-10 15:50:39 by jwe] jwe parents: 3598 diff changeset	33 #include <string.h>
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	34
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	35 #include <readline/history.h>
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	36
11486 a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	37 /* check_history_control, hc_erasedup, and the core of
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	38 octave_add_history were borrowed from Bash. */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	39
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	40 /* Check LINE against what HISTCONTROL says to do. Returns 1 if the line
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	41 should be saved; 0 if it should be discarded. */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	42 static int
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	43 check_history_control (const char *line, int history_control)
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	44 {
11486 a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	45 HIST_ENTRY *temp;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	46 int r;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	47
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	48 if (history_control == 0)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	49 return 1;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	50
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	51 /* ignorespace or ignoreboth */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	52 if ((history_control & HC_IGNSPACE) && *line == ' ')
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	53 return 0;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	54
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	55 /* ignoredups or ignoreboth */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	56 if (history_control & HC_IGNDUPS)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	57 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	58 using_history ();
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	59 temp = previous_history ();
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	60
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	61 r = (temp == 0 \|\| strcmp (temp->line, line));
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	62
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	63 using_history ();
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	64
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	65 if (r == 0)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	66 return r;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	67 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	68
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	69 return 1;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	70 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	71
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	72 /* Remove all entries matching LINE from the history list. Triggered when
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	73 HISTCONTROL includes `erasedups'. */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	74
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	75 static void
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	76 hc_erasedups (const char *line)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	77 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	78 HIST_ENTRY *temp;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	79 int r;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	80
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	81 using_history ();
11490 0a4dfc867e60 avoid GCC warning for oct-rl-hist.c John W. Eaton <jwe@octave.org> parents: 11486 diff changeset	82 while ((temp = previous_history ()))
11486 a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	83 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	84 if (! strcmp (temp->line, line))
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	85 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	86 r = where_history ();
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	87 remove_history (r);
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	88 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	89 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	90 using_history ();
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	91 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	92
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	93 /* Check LINE against HISTCONTROL and add it to the history if it's OK.
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	94 Returns 1 if the line was saved in the history, 0 otherwise. */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	95
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	96 int
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	97 octave_add_history (const char *line, int history_control)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	98 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	99 if (check_history_control (line, history_control))
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	100 {
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	101 /* We're committed to saving the line. If the user has requested it,
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	102 remove other matching lines from the history. */
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	103
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	104 if (history_control & HC_ERASEDUPS)
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	105 hc_erasedups (line);
11586 12df7854fa7c strip trailing whitespace from source files John W. Eaton <jwe@octave.org> parents: 11523 diff changeset	106
11486 a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	107 add_history (line);
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	108
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	109 return 1;
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	110 }
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	111
a1deab9a6e71 bash-like history control Pascal Dupuis <Pascal.Dupuis@worldonline.be> and John W. Eaton <jwe@octave.org> parents: 10317 diff changeset	112 return 0;
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	113 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	114
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	115 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	116 octave_where_history (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	117 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	118 return where_history ();
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	119 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	120
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	121 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	122 octave_history_length (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	123 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	124 return history_length;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	125 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	126
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	127 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	128 octave_max_input_history (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	129 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	130 return max_input_history;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	131 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	132
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	133 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	134 octave_history_base (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	135 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	136 return history_base;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	137 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	138
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	139 void
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	140 octave_stifle_history (int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	141 {
3520 b153b9fa7f1a [project @ 2000-02-02 06:04:27 by jwe] jwe parents: 3519 diff changeset	142 stifle_history (n);
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	143 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	144
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	145 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	146 octave_unstifle_history (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	147 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	148 return unstifle_history ();
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	149 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	150
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	151 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	152 octave_history_is_stifled (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	153 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	154 return history_is_stifled ();
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	155 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	156
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	157 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	158 octave_history_set_pos (int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	159 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	160 return history_set_pos (n);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	161 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	162
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	163 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	164 octave_read_history (const char *f)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	165 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	166 return read_history (f);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	167 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	168
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	169 void
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	170 octave_using_history (void)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	171 {
3520 b153b9fa7f1a [project @ 2000-02-02 06:04:27 by jwe] jwe parents: 3519 diff changeset	172 using_history ();
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	173 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	174
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	175 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	176 octave_read_history_range (const char *f, int b, int e)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	177 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	178 return read_history_range (f, b, e);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	179 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	180
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	181 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	182 octave_write_history (const char *f)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	183 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	184 return write_history (f);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	185 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	186
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	187 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	188 octave_append_history (int n, const char *f)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	189 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	190 return append_history (n, f);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	191 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	192
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	193 int
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	194 octave_history_truncate_file (const char *f, int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	195 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	196 return history_truncate_file (f, n);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	197 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	198
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	199 void
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	200 octave_remove_history (int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	201 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	202 HIST_ENTRY *discard = remove_history (n);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	203
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	204 if (discard)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	205 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	206 if (discard->line)
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	207 free (discard->line);
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	208
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	209 free (discard);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	210 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	211 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	212
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	213 char *
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	214 octave_history_goto_mark (int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	215 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	216 HIST_ENTRY *h;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	217
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	218 char *retval = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	219
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	220 if (history_set_pos (n))
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	221 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	222 h = current_history ();
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	223
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	224 if (h)
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	225 retval = h->line;
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	226 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	227
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	228 return retval;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	229 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	230
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	231 char *
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	232 octave_history_get (int n)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	233 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	234 char *retval = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	235
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	236 HIST_ENTRY *h = history_get (n);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	237
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	238 if (h)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	239 retval = h->line;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	240
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	241 return retval;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	242 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	243
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	244 char **
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	245 octave_history_list (int limit, int number_lines)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	246 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	247 static char **retval = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	248
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	249 HIST_ENTRY **hlist = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	250
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	251 if (retval)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	252 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	253 char **p = retval;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	254
3598 0ae310231c46 [project @ 2000-02-19 08:07:08 by jwe] jwe parents: 3541 diff changeset	255 while (*p)
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	256 free (*p++);
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	257
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	258 free (retval);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	259
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	260 retval = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	261 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	262
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	263 hlist = history_list ();
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	264
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	265 if (hlist)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	266 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	267 int i, k;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	268
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	269 int beg = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	270 int end = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	271 while (hlist[end])
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	272 end++;
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	273
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	274 beg = (limit < 0 \|\| end < limit) ? 0 : (end - limit);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	275
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	276 retval = malloc ((end - beg + 1) * sizeof (char **));
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	277
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	278 k = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	279 for (i = beg; i < end; i++)
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	280 {
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	281 char *line = hlist[i]->line;
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	282 int len = line ? strlen (line) : 0;
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	283 char *tmp = malloc (len + 64);
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	284
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	285 if (number_lines)
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	286 sprintf (tmp, "%5d%c%s", i + history_base,
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	287 hlist[i]->data ? '*' : ' ',
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	288 line ? line : "");
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	289 else
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	290 sprintf (tmp, "%c%s", hlist[i]->data ? '*' : ' ',
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	291 line ? line : "");
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	292
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	293 retval[k++] = tmp;
42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	294 }
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	295
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	296 retval[k] = 0;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	297 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	298
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	299 return retval;
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	300 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	301
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	302 void
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	303 octave_replace_history_entry (int which, const char *line)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	304 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	305 HIST_ENTRY *discard = replace_history_entry (which, line, 0);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	306
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	307 if (discard)
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	308 {
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	309 if (discard->line)
10317 42d098307c30 untabify additional source files John W. Eaton <jwe@octave.org> parents: 10158 diff changeset	310 free (discard->line);
3519 957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	311
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	312 free (discard);
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	313 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	314 }
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	315
957d7d6ab0e0 [project @ 2000-02-02 06:00:09 by jwe] jwe parents: diff changeset	316 #endif

Mercurial > octave-nkf

annotate liboctave/oct-rl-hist.c @ 14626:f947d2922feb stable rc-3-6-2-0