annotate src/octave.cc @ 1669:e7b6c2cd9bac

[project @ 1995-12-27 03:38:21 by jwe]
author jwe
date Wed, 27 Dec 1995 03:38:21 +0000
parents e846e361a265
children 6708c53892c1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1 // octave.cc -*- C++ -*-
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
2 /*
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
3
1009
dfe01093f657 [project @ 1995-01-04 04:05:12 by jwe]
jwe
parents: 1005
diff changeset
4 Copyright (C) 1992, 1993, 1994, 1995 John W. Eaton
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
5
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
6 This file is part of Octave.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
7
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
8 Octave is free software; you can redistribute it and/or modify it
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
9 under the terms of the GNU General Public License as published by the
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
10 Free Software Foundation; either version 2, or (at your option) any
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
11 later version.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
12
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
13 Octave is distributed in the hope that it will be useful, but WITHOUT
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
16 for more details.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
17
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
18 You should have received a copy of the GNU General Public License
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
19 along with Octave; see the file COPYING. If not, write to the Free
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1288
diff changeset
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
21
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
22 */
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
23
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
24 // Born February 20, 1992.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
25
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
26 #ifdef HAVE_CONFIG_H
1192
b6360f2d4fa6 [project @ 1995-03-30 21:38:35 by jwe]
jwe
parents: 1153
diff changeset
27 #include <config.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
28 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
29
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
30 #include <cassert>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
31 #include <csetjmp>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
32 #include <csignal>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
33 #include <cstdlib>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
34 #include <cstring>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
35 #include <ctime>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
36
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
37 #include <fstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
38 #include <iostream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
39 #include <strstream.h>
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
40
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
41 #ifdef HAVE_UNISTD_H
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
42 #include <sys/types.h>
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
43 #include <unistd.h>
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
44 #endif
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
45
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
46 #include <pwd.h>
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
47
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
48 #include <readline/tilde.h>
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
49
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
50 #include "getopt.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
51
240
a99f28f5e351 [project @ 1993-11-30 20:24:36 by jwe]
jwe
parents: 223
diff changeset
52 #include "lo-error.h"
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
53
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
54 #include "builtins.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
55 #include "defaults.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
56 #include "defun.h"
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
57 #include "dynamic-ld.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
58 #include "error.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
59 #include "file-io.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
60 #include "help.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
61 #include "input.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
62 #include "lex.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
63 #include "octave-hist.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
64 #include "octave.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
65 #include "pager.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
66 #include "parse.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
67 #include "pathsearch.h"
562
50bf8d1b024e [project @ 1994-07-25 23:19:11 by jwe]
jwe
parents: 560
diff changeset
68 #include "procstream.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
69 #include "sighandlers.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
70 #include "statdefs.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
71 #include "sysdep.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
72 #include "tree-const.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
73 #include "tree-misc.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
74 #include "tree-plot.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
75 #include "unwind-prot.h"
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
76 #include "user-prefs.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
77 #include "utils.h"
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
78 #include "variables.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
79 #include "version.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
80
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
81 #if !defined (HAVE_ATEXIT) && defined (HAVE_ON_EXIT)
1465
3bb3848031a0 [project @ 1995-09-22 07:35:51 by jwe]
jwe
parents: 1449
diff changeset
82 extern "C" int on_exit ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
83 #define atexit on_exit
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
84 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
85
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
86 // argv[0] for this program.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
87 char *raw_prog_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
88
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
89 // Cleaned-up name of this program, not including path information.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
90 char *prog_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
91
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
92 // Login name for user running this program.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
93 char *user_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
94
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
95 // Name of the host we are running on.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
96 char *host_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
98 // User's home directory.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
99 char *home_directory = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
101 // Guess what?
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
102 char *the_current_working_directory = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
103
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
104 // The path that will be searched for programs that we execute.
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
105 // (--exec-path path)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
106 char *exec_path = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
107
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
108 // Load path specified on command line.
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
109 // (--path path; -p path)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
110 char *load_path = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
111
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
112 // Name of the info file specified on command line.
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
113 // (--info-file file)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
114 char *info_file = 0;
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
115
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
116 // Name of the info reader we'd like to use.
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
117 // (--info-program program)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
118 char *info_prog = 0;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
119
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
120 // Name of the editor to be invoked by the edit_history command.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
121 char *editor = 0;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
122
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
123 // If nonzero, don't do fancy line editing.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
124 int no_line_editing = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
125
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
126 // If nonzero, print verbose info in some cases.
824
45f674300747 [project @ 1994-10-16 16:24:55 by jwe]
jwe
parents: 798
diff changeset
127 // (--verbose; -V)
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
128 int verbose_flag = 0;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
129
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
130 // Command number, counting from the beginning of this session.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
131 int current_command_number = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
132
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
133 // Nonzero means we are exiting via the builtin exit or quit functions.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
134 int quitting_gracefully = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
135
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
136 // Current command to execute.
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
137 tree_statement_list *global_command = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
138
206
1761d7a3770c [project @ 1993-11-10 21:00:31 by jwe]
jwe
parents: 195
diff changeset
139 // Pointer to function that is currently being evaluated.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
140 tree_function *curr_function = 0;
206
1761d7a3770c [project @ 1993-11-10 21:00:31 by jwe]
jwe
parents: 195
diff changeset
141
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
142 // Nonzero means input is coming from startup file.
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
143 int input_from_startup_file = 0;
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
144
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
145 // The command-line options.
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
146 charMatrix octave_argv;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
147
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
148 // Nonzero means that input is coming from a file that was named on
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
149 // the command line.
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
150 int input_from_command_line_file = 1;
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
151
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
152 // Top level context (?)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
153 jmp_buf toplevel;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
154
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
155 // This is from readline's paren.c:
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
156 extern int rl_blink_matching_paren;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
157
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
158 // Nonzero means we read ~/.octaverc and ./.octaverc.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
159 // (--norc; --ignore-init-file; -f)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
160 static int read_init_files = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
161
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
162 // Nonzero means we printed messages about reading startup files.
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
163 static int reading_startup_message_printed = 0;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
164
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
165 // Nonzero means we don't print the usual startup message.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
166 // (--quiet; --silent; -q)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
167 static int inhibit_startup_message = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
168
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
169 // Nonzero means we turn on compatibility options.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
170 // (--traditional)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
171 static int traditional = 0;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
172
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
173 // Usage message
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
174 static const char *usage_string =
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
175 "octave [-?Vdfhiqvx] [--debug] [--echo-commands] [--exec-path path]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
176 [--help] [--ignore-init-file] [--info-file file] [--info-program prog]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
177 [--interactive] [-p path] [--path path] [--silent] [--traditional]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
178 [--verbose] [--version] [file]";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
179
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
180 // This is here so that it's more likely that the usage message and
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
181 // the real set of options will agree. Note: the `+' must come first
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
182 // to prevent getopt from permuting arguments!
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
183 static const char *short_opts = "+?Vdfhip:qvx";
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
184
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
185 // Long options. See the comments in getopt.h for the meanings of the
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
186 // fields in this structure.
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
187 #define EXEC_PATH_OPTION 1
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
188 #define INFO_FILE_OPTION 2
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
189 #define INFO_PROG_OPTION 3
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
190 #define TRADITIONAL_OPTION 4
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
191 static struct option long_opts[] =
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
192 {
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
193 { "debug", no_argument, 0, 'd' },
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
194 { "echo-commands", no_argument, 0, 'x' },
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
195 { "exec-path", required_argument, 0, EXEC_PATH_OPTION },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
196 { "help", no_argument, 0, 'h' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
197 { "interactive", no_argument, 0, 'i' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
198 { "info-file", required_argument, 0, INFO_FILE_OPTION },
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
199 { "info-program", required_argument, 0, INFO_PROG_OPTION },
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
200 { "ignore-init-file", no_argument, 0, 'f' },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
201 { "norc", no_argument, 0, 'f' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
202 { "path", required_argument, 0, 'p' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
203 { "quiet", no_argument, 0, 'q' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
204 { "silent", no_argument, 0, 'q' },
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
205 { "traditional", no_argument, 0, TRADITIONAL_OPTION },
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
206 { "verbose", no_argument, 0, 'V' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
207 { "version", no_argument, 0, 'v' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
208 { 0, 0, 0, 0 }
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
209 };
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
210
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
211 // Store the command-line options for later use.
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
212
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
213 static void
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
214 intern_argv (int argc, char **argv)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
215 {
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
216 if (argc > 1)
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
217 {
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
218 int max_len = 0;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
219 for (int i = 1; i < argc; i++)
1572
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
220 {
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
221 int tmp_len = strlen (argv[i]);
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
222 if (tmp_len > max_len)
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
223 max_len = tmp_len;
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
224 }
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
225
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
226 octave_argv.resize (argc-1, max_len, 0);
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
227
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
228 for (int i = 1; i < argc; i++)
0d9e10d10bd7 [project @ 1995-10-19 04:31:30 by jwe]
jwe
parents: 1516
diff changeset
229 octave_argv.insert (argv[i], i-1, 0);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
230
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
231 bind_builtin_variable ("argv", octave_argv, 1, 1, 0);
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
232 }
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
233 }
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
234
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
235 // Initialize some global variables for later use.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
236
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
237 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
238 initialize_globals (char *name)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
239 {
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
240 raw_prog_name = strsave (name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
241 char *tmp = strrchr (raw_prog_name, '/');
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
242 prog_name = tmp ? strsave (tmp+1) : strsave (raw_prog_name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
243
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
244 kpse_set_progname (name);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
245
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
246 struct passwd *entry = getpwuid (getuid ());
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
247 if (entry)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
248 user_name = strsave (entry->pw_name);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
249 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
250 user_name = strsave ("I have no name!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
251 endpwent ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
252
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
253 char hostname[256];
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
254 if (gethostname (hostname, 255) < 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
255 host_name = strsave ("I have no host!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
256 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
257 host_name = strsave (hostname);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
258
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
259 char *hd = getenv ("HOME");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
260 if (hd)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
261 home_directory = strsave (hd);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
262 else
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
263 home_directory = strsave ("I have no home!");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
264
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
265 // This may seem odd, but doing it this way means that we don't have
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
266 // to modify the kpathsea library...
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
267
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
268 char *odb = getenv ("OCTAVE_DB_DIR");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
269
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
270 if (odb)
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
271 putenv (strconcat ("TEXMF=", odb));
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
272 else
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
273 {
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
274 char *oh = getenv ("OCTAVE_HOME");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
275
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
276 if (oh)
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
277 {
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
278 int len = strlen (oh) + 18;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
279 char *putenv_cmd = new char [len];
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
280 sprintf (putenv_cmd, "TEXMF=%s/lib/octave", oh);
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
281 putenv (putenv_cmd);
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
282 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
283 else
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
284 putenv (strsave ("TEXMF=" OCTAVE_DATADIR "/octave"));
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
285 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
286
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
287 exec_path = default_exec_path ();
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
288
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
289 load_path = default_path ();
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
290
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
291 info_file = default_info_file ();
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
292
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
293 info_prog = default_info_prog ();
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
294
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
295 editor = default_editor ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
297
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
298 void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299 parse_and_execute (FILE *f, int print)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
301 begin_unwind_frame ("parse_and_execute");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
302
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303 YY_BUFFER_STATE old_buf = current_buffer ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
304 YY_BUFFER_STATE new_buf = create_buffer (f);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
305
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306 add_unwind_protect (restore_input_buffer, (void *) old_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307 add_unwind_protect (delete_input_buffer, (void *) new_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 switch_to_buffer (new_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
310
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
311 unwind_protect_int (using_readline);
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
312 unwind_protect_int (input_from_command_line_file);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 using_readline = 0;
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
315 input_from_command_line_file = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
317 unwind_protect_ptr (curr_sym_tab);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
318
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
319 int retval;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320 do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321 {
191
b6b4d8c513fe [project @ 1993-10-29 23:41:39 by jwe]
jwe
parents: 186
diff changeset
322 reset_parser ();
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
323
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324 retval = yyparse ();
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
325
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
326 if (retval == 0 && global_command)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
327 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
328 global_command->eval (print);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329 delete global_command;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
331 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
332 while (retval == 0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
333
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 run_unwind_frame ("parse_and_execute");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
335 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
336
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
337 void
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
338 parse_and_execute (const char *s, int print, int verbose,
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
339 const char *warn_for)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
340 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
341 begin_unwind_frame ("parse_and_execute_2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
342
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
343 unwind_protect_int (reading_script_file);
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
344 unwind_protect_ptr (curr_fcn_file_full_name);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
345
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
346 reading_script_file = 1;
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
347 curr_fcn_file_full_name = s;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
348
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
349 FILE *f = get_input_from_file (s, 0);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
350 if (f)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 unwind_protect_int (input_line_number);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353 unwind_protect_int (current_input_column);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
354
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
355 input_line_number = 0;
143
7849db4b6dbc [project @ 1993-10-04 02:36:45 by jwe]
jwe
parents: 139
diff changeset
356 current_input_column = 1;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
358 if (verbose)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
359 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
360 cout << "reading commands from " << s << " ... ";
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
361 reading_startup_message_printed = 1;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
362 cout.flush ();
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
363 }
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
364
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
365 parse_and_execute (f, print);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
366
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
367 fclose (f);
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
368
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
369 if (verbose)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
370 cout << "done." << endl;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371 }
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
372 else if (warn_for)
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
373 error ("%s: unable to open file `%s'", warn_for, s);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
374
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
375 run_unwind_frame ("parse_and_execute_2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
377
1604
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
378 DEFUN ("source", Fsource, Ssource, 10,
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
379 "source (FILE)\n\
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
380 \n\
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
381 Parse and execute the contents of FILE. Like executing commands in a\n\
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
382 script file but without requiring the file to be named `FILE.m'.")
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
383 {
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
384 Octave_object retval;
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
385
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
386 int nargin = args.length ();
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
387
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
388 if (nargin == 1)
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
389 {
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
390 const char *file = args(0).string_value ();
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
391
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
392 if (! error_state)
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
393 {
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
394 file = tilde_expand (file);
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
395
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
396 parse_and_execute (file, 1, 0, "source");
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
397
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
398 if (error_state)
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
399 error ("source: error sourcing file `%s'", file);
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
400
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
401 delete [] file;
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
402 }
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
403 else
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
404 error ("source: expecting file name as argument");
1604
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
405 }
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
406 else
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
407 print_usage ("source");
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
408
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
409 return retval;
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
410 }
583476712438 [project @ 1995-11-02 10:30:06 by jwe]
jwe
parents: 1588
diff changeset
411
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
412 // Initialize by reading startup files.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
413
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
414 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
415 execute_startup_files (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
416 {
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
417 begin_unwind_frame ("execute_startup_files");
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
418
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
419 // XXX FIXME XXX -- need to make it possible to set this in startup
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
420 // files.
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
421
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
422 unwind_protect_int (input_from_startup_file);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
423 unwind_protect_int (user_pref.echo_executing_commands);
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
424
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
425 input_from_startup_file = 1;
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
426 user_pref.echo_executing_commands = ECHO_OFF;
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
427
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
428 int verbose = (verbose_flag && ! inhibit_startup_message);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
429
1477
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
430 // Execute commands from the site-wide configuration file. First
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
431 // from the file $(prefix)/lib/octave/site/m/octaverc (if it exists),
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
432 // then from the file $(prefix)/lib/octave/$(version)/m/octaverc (if
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
433 // it exists).
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
434
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
435 char *lsd = get_local_site_defaults ();
774f8fe3798e [project @ 1995-09-26 05:21:03 by jwe]
jwe
parents: 1465
diff changeset
436 parse_and_execute (lsd, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
438 char *sd = get_site_defaults ();
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
439 parse_and_execute (sd, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
440
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
441 // Try to execute commands from $HOME/.octaverc and ./.octaverc.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
442
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
443 char *home_rc = 0;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
444 if (home_directory)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
445 {
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
446 home_rc = strconcat (home_directory, "/.octaverc");
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
447 parse_and_execute (home_rc, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
450 // Names alone are not enough.
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
451
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
452 struct stat home_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
453 stat (home_rc, &home_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
454 delete [] home_rc;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
455
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
456 struct stat dot_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
457 stat ("./.octaverc", &dot_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
458
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
459 if (home_rc_statbuf.st_ino != dot_rc_statbuf.st_ino)
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
460 parse_and_execute ("./.octaverc", 0, verbose);
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
461
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
462 run_unwind_frame ("execute_startup_files");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
463 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
464
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
465 // Usage message with extra help.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
466
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
467 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
468 verbose_usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
469 {
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
470 cout << "\n" OCTAVE_NAME_VERSION_AND_COPYRIGHT "\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
471 \n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
472 Usage: octave [options]\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
473 \n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
474 Options:\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
475 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
476 -d, --debug Enter parser debugging mode.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
477 -x, --echo-commands Echo commands as they are executed.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
478 --exec-path PATH Set path for executing subprograms.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
479 -h, -?, --help Print short help message and exit.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
480 -f, --ignore-init-file Don't read any initialization files.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
481 --info-file FILE Use top-level info file FILE.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
482 --info-program PROGRAM Use PROGRAM for reading info files.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
483 -i, --interactive Force interactive behavior.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
484 -p PATH, --path PATH Set initial LOADPATH to PATH.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
485 -q, --silent Don't print message at startup.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
486 --traditional Set compatibility variables.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
487 -V, --verbose Enable verbose output in some cases.\n\
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
488 -v, --version Print version number and exit.\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
489 \n\
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
490 FILE Execute commands from FILE.\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
491 \n";
285
79a1403b8b6e [project @ 1994-01-11 05:56:55 by jwe]
jwe
parents: 284
diff changeset
492
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
493 exit (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
495
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
496 // Terse usage messsage.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
497
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
498 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
499 usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
500 {
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
501 cerr << "usage: " << usage_string << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
502 exit (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
503 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
504
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
505 // Fix up things before exiting.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
506
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
507 void
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
508 clean_up_and_exit (int retval)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
509 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
510 raw_mode (0);
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
511
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
512 clean_up_history ();
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
513
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
514 close_plot_stream ();
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
515
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
516 close_diary_file ();
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
517
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
518 close_files ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
519
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
520 cleanup_tmp_files ();
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
521
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
522 if (!quitting_gracefully && (interactive || forced_interactive))
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
523 cout << "\n";
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
524
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
525 if (retval == EOF)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
526 retval = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
527
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
528 exit (retval);
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
529
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
530 // This is bogus but should prevent g++ from giving a warning saying
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
531 // that this volatile function does return.
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
532
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
533 panic_impossible ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
534 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
535
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
536 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
537 print_version_and_exit (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
538 {
1107
69fa46755c57 [project @ 1995-02-14 22:54:23 by jwe]
jwe
parents: 1106
diff changeset
539 cout << OCTAVE_NAME_AND_VERSION << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
540 exit (0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
541 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
542
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
543 static void
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
544 initialize_error_handlers ()
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
545 {
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
546 set_liboctave_error_handler (error);
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
547 }
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
548
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
549 // What happens on --traditional.
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
550
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
551 static void
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
552 maximum_braindamage (void)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
553 {
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
554 bind_builtin_variable ("PS1", ">> ");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
555 bind_builtin_variable ("PS2", "");
1423
2d88758ed94b [project @ 1995-09-18 16:04:37 by jwe]
jwe
parents: 1411
diff changeset
556 bind_builtin_variable ("beep_on_error", "true");
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
557 bind_builtin_variable ("default_save_format", "mat-binary");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
558 bind_builtin_variable ("define_all_return_values", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
559 bind_builtin_variable ("do_fortran_indexing", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
560 bind_builtin_variable ("empty_list_elements_ok", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
561 bind_builtin_variable ("implicit_str_to_num_ok", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
562 bind_builtin_variable ("ok_to_lose_imaginary_part", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
563 bind_builtin_variable ("page_screen_output", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
564 bind_builtin_variable ("prefer_column_vectors", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
565 bind_builtin_variable ("prefer_zero_one_indexing", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
566 bind_builtin_variable ("print_empty_dimensions", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
567 bind_builtin_variable ("treat_neg_dim_as_zero", "true");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
568 bind_builtin_variable ("warn_function_name_clash", "false");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
569 bind_builtin_variable ("whitespace_in_literal_matrix", "traditional");
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
570 }
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
571
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
572 // You guessed it.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
573
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
574 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
575 main (int argc, char **argv)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576 {
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
577 int echo_commands = ECHO_OFF;
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
578
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
579 // The order of these calls is important, and initialize_globals
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
580 // must come before the options are processed because some command
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
581 // line options override defaults.
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
582
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
583 init_user_prefs ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
584
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
585 initialize_pager ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
586
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
587 sysdep_init ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
588
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
589 initialize_error_handlers ();
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
590
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
591 initialize_globals (argv[0]);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
592
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
593 int optc;
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
594 while ((optc = getopt_long (argc, argv, short_opts, long_opts, 0)) != EOF)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
595 {
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
596 switch (optc)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
597 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
598 case 'V':
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
599 verbose_flag++;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
600 break;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
601
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
602 case 'd':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
603 yydebug++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
604 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
605
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
606 case 'f':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
607 read_init_files = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
608 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
609
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
610 case 'h':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
611 case '?':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
612 verbose_usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
613 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
614
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
615 case 'i':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
616 forced_interactive = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
617 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
618
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
619 case 'p':
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
620 if (optarg)
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
621 load_path = strsave (optarg);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
622 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
623
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
624 case 'q':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
625 inhibit_startup_message = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
626 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
627
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
628 case 'x':
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
629 echo_commands = (ECHO_SCRIPTS | ECHO_FUNCTIONS | ECHO_CMD_LINE);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
630 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
631
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
632 case 'v':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
633 print_version_and_exit ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
634 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
635
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
636 case EXEC_PATH_OPTION:
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
637 if (optarg)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
638 exec_path = strsave (optarg);
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
639 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
640
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
641 case INFO_FILE_OPTION:
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
642 if (optarg)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
643 info_file = strsave (optarg);
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
644 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
645
1613
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
646 case INFO_PROG_OPTION:
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
647 if (optarg)
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
648 info_prog = strsave (optarg);
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
649 break;
f18871f4df2b [project @ 1995-11-03 12:06:56 by jwe]
jwe
parents: 1612
diff changeset
650
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
651 case TRADITIONAL_OPTION:
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
652 traditional = 1;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
653 break;
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
654
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
655 default:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
656 usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
657 break;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
658 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
659 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
660
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
661 #if defined (HAVE_ATEXIT) || defined (HAVE_ON_EXIT)
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
662 // Make sure we clean up when we exit. If we don't have atexit or
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
663 // on_exit, we're going to leave some junk files around if we exit
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
664 // abnormally.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
665 atexit (cleanup_tmp_files);
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
666 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
667
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
668 // These can come after command line args since none of them set any
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
669 // defaults that might be changed by command line options.
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
670
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
671 install_signal_handlers ();
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
672
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
673 initialize_file_io ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
674
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
675 initialize_symbol_tables ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
676
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
677 install_builtins ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
678
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
679 initialize_readline ();
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
680
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
681 init_dynamic_linker ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
682
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
683 if (! inhibit_startup_message)
1106
676db72ec37c [project @ 1995-02-14 22:48:07 by jwe]
jwe
parents: 1104
diff changeset
684 cout << OCTAVE_STARTUP_MESSAGE "\n" << endl;
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
685
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
686 if (traditional)
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
687 maximum_braindamage ();
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
688
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
689 bind_builtin_variable ("echo_executing_commands",
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
690 (double) echo_commands);
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
691
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
692 if (read_init_files)
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
693 execute_startup_files ();
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
694
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
695 initialize_history ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
696
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
697 if (! inhibit_startup_message && reading_startup_message_printed)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
698 cout << endl;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
699
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
700 // Avoid counting commands executed from startup files.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
701
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
702 current_command_number = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
703
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
704 // If there is an extra argument, see if it names a file to read.
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
705 // Additional arguments are taken as command line options for the
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
706 // script.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
707
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
708 int remaining_args = argc - optind;
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
709 if (remaining_args > 0)
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
710 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
711 reading_script_file = 1;
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
712 curr_fcn_file_name = argv[optind];
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
713 curr_fcn_file_full_name = curr_fcn_file_name;
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
714
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
715 FILE *infile = get_input_from_file (curr_fcn_file_name);
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
716
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
717 if (infile)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
718 {
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
719 input_from_command_line_file = 1;
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
720
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
721 bind_builtin_variable ("program_invocation_name",
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
722 curr_fcn_file_name);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
723
1608
65572455466f [project @ 1995-11-02 13:06:41 by jwe]
jwe
parents: 1604
diff changeset
724 const char *tmp = strrchr (curr_fcn_file_name, '/');
1411
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
725 tmp = tmp ? tmp+1 : curr_fcn_file_name;
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
726
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
727 bind_builtin_variable ("program_name", tmp);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
728
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
729 intern_argv (remaining_args, argv+optind);
58d7f477c125 [project @ 1995-09-15 07:15:43 by jwe]
jwe
parents: 1410
diff changeset
730
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
731 rl_blink_matching_paren = 0;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
732 switch_to_buffer (create_buffer (infile));
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
733 }
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
734 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
735 clean_up_and_exit (1);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
736 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
737 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
738 {
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
739 // Is input coming from a terminal? If so, we are probably
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
740 // interactive.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
741
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
742 interactive = (isatty (fileno (stdin)) && isatty (fileno (stdout)));
1355
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
743
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
744 intern_argv (argc, argv);
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
745
94697d007075 [project @ 1995-09-05 20:04:15 by jwe]
jwe
parents: 1315
diff changeset
746 switch_to_buffer (create_buffer (get_input_from_stdin ()));
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
747 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
748
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
749 // Force input to be echoed if not really interactive, but the user
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
750 // has forced interactive behavior.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
751
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
752 if (!interactive && forced_interactive)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
753 {
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
754 rl_blink_matching_paren = 0;
1588
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
755
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
756 // XXX FIXME XXX -- is this the right thing to do?
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
757
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
758 bind_builtin_variable ("echo_executing_commands",
27f5ac98fc4a [project @ 1995-10-31 06:04:47 by jwe]
jwe
parents: 1572
diff changeset
759 (double) ECHO_CMD_LINE);
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
760 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
761
1410
5f2cd468a1c3 [project @ 1995-09-15 06:44:52 by jwe]
jwe
parents: 1363
diff changeset
762 if (! interactive)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
763 using_readline = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
764
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
765 // Allow the user to interrupt us without exiting.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
766
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
767 if (setjmp (toplevel) != 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
768 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
769 raw_mode (0);
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
770
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
771 cout << "\n";
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
772 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
773
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
774 can_interrupt = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
775
1651
e846e361a265 [project @ 1995-12-20 06:59:12 by jwe]
jwe
parents: 1613
diff changeset
776 catch_interrupts ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
777
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
778 // The big loop.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
779
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
780 int retval;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
781 do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
782 {
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
783 curr_sym_tab = top_level_sym_tab;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
784
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
785 reset_parser ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
786
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
787 retval = yyparse ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
788
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
789 if (retval == 0 && global_command)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
790 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
791 global_command->eval (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
792 delete global_command;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
793 current_command_number++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
794 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
795 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
796 while (retval == 0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
797
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
798 if (retval == 1 && ! error_state)
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
799 retval = 0;
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
800
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
801 clean_up_and_exit (retval);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
802 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
803
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
804 DEFUN_TEXT ("casesen", Fcasesen, Scasesen, 10,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
805 "casesen [on|off]")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
806 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
807 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
808
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
809 DEFINE_ARGV("casesen");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
810
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
811 if (argc == 1 || (argc > 1 && strcmp (argv[1], "off") == 0))
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
812 warning ("casesen: sorry, Octave is always case sensitive");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
813 else if (argc > 1 && strcmp (argv[1], "on") == 0)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
814 ; // ok.
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
815 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
816 print_usage ("casesen");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
817
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
818 DELETE_ARGV;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
819
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
820 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
821 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
822
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
823 DEFUN ("computer", Fcomputer, Scomputer, 11,
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
824 "computer ():\n\
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
825 \n\
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
826 Have Octave ask the system, \"What kind of computer are you?\"")
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
827 {
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
828 Octave_object retval;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
829
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
830 int nargin = args.length ();
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
831
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
832 if (nargin != 0)
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
833 warning ("computer: ignoring extra arguments");
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
834
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
835 ostrstream output_buf;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
836
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
837 if (strcmp (TARGET_HOST_TYPE, "unknown") == 0)
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
838 output_buf << "Hi Dave, I'm a HAL-9000";
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
839 else
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
840 output_buf << TARGET_HOST_TYPE;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
841
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
842 if (nargout == 0)
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
843 {
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
844 output_buf << "\n" << ends;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
845 maybe_page_output (output_buf);
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
846 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
847 else
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
848 {
949
46728d21c6eb [project @ 1994-11-27 03:46:53 by jwe]
jwe
parents: 824
diff changeset
849 output_buf << ends;
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
850 char *msg = output_buf.str ();
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
851 retval = msg;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
852 delete [] msg;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
853 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
854
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
855 return retval;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
856 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
857
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
858 DEFUN ("flops", Fflops, Sflops, 10,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
859 "flops (): count floating point operations")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
860 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
861 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
862
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
863 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
864 print_usage ("flops");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
865
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
866 warning ("flops is a flop, always returning zero");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
867
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
868 return 0.0;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
869 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
870
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
871 DEFUN ("quit", Fquit, Squit, 00,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
872 "quit (): exit Octave gracefully")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
873 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
874 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
875 quitting_gracefully = 1;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
876 clean_up_and_exit (0);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
877 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
878 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
879
549
75a371805554 [project @ 1994-07-22 19:44:41 by jwe]
jwe
parents: 545
diff changeset
880 DEFALIAS (exit, quit);
75a371805554 [project @ 1994-07-22 19:44:41 by jwe]
jwe
parents: 545
diff changeset
881
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
882 DEFUN ("warranty", Fwarranty, Swarranty, 00,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
883 "warranty (): describe copying conditions")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
884 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
885 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
886
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
887 ostrstream output_buf;
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
888 output_buf << "\n" OCTAVE_NAME_VERSION_AND_COPYRIGHT "\n\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
889 This program is free software; you can redistribute it and/or modify\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
890 it under the terms of the GNU General Public License as published by\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
891 the Free Software Foundation; either version 2 of the License, or\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
892 (at your option) any later version.\n\
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
893 \n\
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
894 This program is distributed in the hope that it will be useful,\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
895 but WITHOUT ANY WARRANTY; without even the implied warranty of\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
896 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
897 GNU General Public License for more details.\n\
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
898 \n\
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
899 You should have received a copy of the GNU General Public License\n\
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
900 along with this program. If not, write to the Free Software\n\
1315
611d403c7f3d [project @ 1995-06-25 19:56:32 by jwe]
jwe
parents: 1288
diff changeset
901 Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.\n\
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
902 \n";
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
903
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
904 output_buf << ends;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
905 maybe_page_output (output_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
906
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
907 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
908 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
909
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
910 // XXX FIXME XXX -- this may not be the best place for these...
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
911
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
912 Octave_object
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
913 feval (const Octave_object& args, int nargout)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
914 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
915 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
916
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
917 tree_fvc *fcn = is_valid_function (args(0), "feval", 1);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
918 if (fcn)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
919 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
920 int tmp_nargin = args.length () - 1;
565
b04c0d02f2de [project @ 1994-07-26 01:03:20 by jwe]
jwe
parents: 562
diff changeset
921 Octave_object tmp_args;
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
922 tmp_args.resize (tmp_nargin);
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
923 for (int i = 0; i < tmp_nargin; i++)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
924 tmp_args(i) = args(i+1);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
925 retval = fcn->eval (0, nargout, tmp_args);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
926 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
927
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
928 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
929 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
930
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
931 DEFUN ("feval", Ffeval, Sfeval, 11,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
932 "feval (NAME, ARGS, ...)\n\
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
933 \n\
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
934 evaluate NAME as a function, passing ARGS as its arguments")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
935 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
936 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
937
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
938 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
939
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
940 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
941 retval = feval (args, nargout);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
942 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
943 print_usage ("feval");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
944
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
945 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
946 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
947
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
948 static Octave_object
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
949 eval_string (const char *string, int print, int& parse_status,
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
950 int nargout)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
951 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
952 begin_unwind_frame ("eval_string");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
953
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
954 unwind_protect_int (get_input_from_eval_string);
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
955 unwind_protect_int (input_from_command_line_file);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
956 unwind_protect_ptr (global_command);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
957 unwind_protect_ptr (current_eval_string);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
958
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
959 get_input_from_eval_string = 1;
1516
14d8c0a838c1 [project @ 1995-10-03 13:21:12 by jwe]
jwe
parents: 1489
diff changeset
960 input_from_command_line_file = 0;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
961 current_eval_string = string;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
962
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
963 YY_BUFFER_STATE old_buf = current_buffer ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
964 YY_BUFFER_STATE new_buf = create_buffer (0);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
965
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
966 add_unwind_protect (restore_input_buffer, (void *) old_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
967 add_unwind_protect (delete_input_buffer, (void *) new_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
968
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
969 switch_to_buffer (new_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
970
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
971 unwind_protect_ptr (curr_sym_tab);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
972
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
973 reset_parser ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
974
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
975 parse_status = yyparse ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
976
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
977 // Important to reset the idea of where input is coming from before
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
978 // trying to eval the command we just parsed -- it might contain the
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
979 // name of an function file that still needs to be parsed!
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
980
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
981 tree_statement_list *command = global_command;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
982
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
983 run_unwind_frame ("eval_string");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
984
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
985 Octave_object retval;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
986
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
987 if (parse_status == 0 && command)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
988 {
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
989 retval = command->eval (print, nargout);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
990 delete command;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
991 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
992
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
993 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
994 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
995
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
996 tree_constant
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
997 eval_string (const char *string, int print, int& parse_status)
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
998 {
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
999 tree_constant retval;
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1000
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
1001 Octave_object tmp = eval_string (string, print, parse_status, 1);
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1002
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1003 retval = tmp(0);
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1004
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1005 return retval;
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1006 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1007
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1008 static Octave_object
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1009 eval_string (const tree_constant& arg, int& parse_status, int nargout)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1010 {
1363
ed5757e3333b [project @ 1995-09-05 23:26:59 by jwe]
jwe
parents: 1358
diff changeset
1011 const char *string = arg.string_value ();
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1012
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1013 if (error_state)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1014 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1015 error ("eval: expecting string argument");
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1016 return -1.0;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1017 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1018
1358
dc9c01f66a19 [project @ 1995-09-05 21:10:01 by jwe]
jwe
parents: 1355
diff changeset
1019 // Yes Virginia, we always print here...
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1020
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
1021 return eval_string (string, 1, parse_status, nargout);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1022 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1023
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
1024 DEFUN ("eval", Feval, Seval, 11,
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1025 "eval (TRY, CATCH)\n\
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1026 \n\
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1027 Evaluate the string TRY as octave code. If that fails, evaluate the\n\
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1028 string CATCH.")
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1029 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1030 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1031
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1032 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1033
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1034 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1035 {
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1036 begin_unwind_frame ("Feval");
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1037
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1038 if (nargin > 1)
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1039 {
1489
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1040 unwind_protect_int (buffer_error_messages);
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1041 buffer_error_messages = 1;
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1042 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1043
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1044 int parse_status = 0;
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1045
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1046 retval = eval_string (args(0), parse_status, nargout);
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1047
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1048 if (nargin > 1 && (parse_status != 0 || error_state))
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1049 {
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1050 error_state = 0;
1489
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1051
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1052 // Set up for letting the user print any messages from
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1053 // errors that occurred in the first part of this eval().
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1054
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1055 buffer_error_messages = 0;
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1056 bind_global_error_variable ();
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1057 add_unwind_protect (clear_global_error_variable, 0);
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1058
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1059 eval_string (args(1), parse_status, nargout);
1489
3e705c864019 [project @ 1995-09-28 05:38:26 by jwe]
jwe
parents: 1488
diff changeset
1060
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1061 retval = Octave_object ();
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1062 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1063
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
1064 run_unwind_frame ("Feval");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1065 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1066 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1067 print_usage ("eval");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1068
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1069 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1070 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
1071
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
1072 // Execute a shell command.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
1073
1488
89c587478067 [project @ 1995-09-26 22:49:48 by jwe]
jwe
parents: 1477
diff changeset
1074 DEFUN ("system", Fsystem, Ssystem, 11,
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
1075 "system (string [, return_output]): execute shell commands")
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1076 {
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1077 Octave_object retval;
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1078
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1079 int nargin = args.length ();
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1080
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1081 if (nargin < 1 || nargin > 2)
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1082 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1083 print_usage ("system");
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1084 return retval;
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1085 }
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1086
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1087 tree_constant tc_command = args(0);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1088
1363
ed5757e3333b [project @ 1995-09-05 23:26:59 by jwe]
jwe
parents: 1358
diff changeset
1089 const char *tmp_str = tc_command.string_value ();
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1090
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1091 if (error_state)
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1092 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
1093 error ("system: expecting string as first argument");
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1094 }
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1095 else
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
1096 {
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1097 iprocstream *cmd = new iprocstream (tmp_str);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1098
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1099 add_unwind_protect (cleanup_iprocstream, cmd);
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1100
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1101 int status = 127;
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1102
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1103 if (cmd && *cmd)
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1104 {
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1105 ostrstream output_buf;
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1106
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1107 char ch;
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1108 while (cmd->get (ch))
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1109 output_buf.put (ch);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1110
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1111 output_buf << ends;
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1112
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1113 status = cmd->close ();
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1114
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1115 // The value in status is as returned by waitpid. If the
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1116 // process exited normally, extract the actual exit status of
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1117 // the command. Otherwise, return 127 as a failure code.
1022
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
1118
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1119 if ((status & 0xff) == 0)
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1120 status = (status & 0xff00) >> 8;
1022
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
1121
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1122 if (nargout > 0 || nargin > 1)
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1123 {
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1124 char *msg = output_buf.str ();
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1125
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1126 retval(1) = (double) status;
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1127 retval(0) = msg;
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1128
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1129 delete [] msg;
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1130 }
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1131 else
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1132 maybe_page_output (output_buf);
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1133 }
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
1134 else
1449
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1135 error ("unable to start subprocess for `%s'", tmp_str);
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1136
df589c97e140 [project @ 1995-09-20 03:49:51 by jwe]
jwe
parents: 1443
diff changeset
1137 run_unwind_protect ();
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1138 }
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1139
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1140 return retval;
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1141 }
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1142
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
1143 DEFALIAS (shell_cmd, system);
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
1144
1266
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1145 #if defined (__GNUG__) && defined (DEBUG_NEW_DELETE)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1146 int debug_new_delete = 0;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1147
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1148 typedef void (*vfp)(void);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1149 extern vfp __new_handler;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1150
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1151 void *
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1152 __builtin_new (size_t sz)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1153 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1154 void *p;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1155
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1156 /* malloc (0) is unpredictable; avoid it. */
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1157 if (sz == 0)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1158 sz = 1;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1159 p = (void *) malloc (sz);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1160 while (p == 0)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1161 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1162 (*__new_handler) ();
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1163 p = (void *) malloc (sz);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1164 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1165
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1166 if (debug_new_delete)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1167 cout << "__builtin_new: " << p << endl;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1168
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1169 return p;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1170 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1171
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1172 void
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1173 __builtin_delete (void *ptr)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1174 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1175 if (debug_new_delete)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1176 cout << "__builtin_delete: " << ptr << endl;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1177
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1178 if (ptr)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1179 free (ptr);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1180 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1181 #endif
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1182
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1183 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1184 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1185 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1186 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1187 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1188 */