annotate src/octave.cc @ 1315:611d403c7f3d

[project @ 1995-06-25 19:56:32 by jwe]
author jwe
date Sun, 25 Jun 1995 19:56:32 +0000
parents 4acabfbdd381
children 94697d007075
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
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
30 #include <sys/types.h>
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
31 #ifdef HAVE_UNISTD_H
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
32 #include <unistd.h>
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
33 #endif
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
34 #include <sys/stat.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
35 #include <time.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
36 #include <pwd.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
37 #include <stdlib.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
38 #include <string.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
39 #include <signal.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
40 #include <assert.h>
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
41 #include <iostream.h>
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
42 #include <strstream.h>
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
43 #include <fstream.h>
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
44
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
45 extern "C"
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
46 {
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
47 #include <setjmp.h>
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
48 }
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
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
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
54 #include "sighandlers.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
55 #include "variables.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
56 #include "error.h"
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
57 #include "dynamic-ld.h"
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
58 #include "tree-misc.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
59 #include "tree-const.h"
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
60 #include "tree-plot.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
61 #include "utils.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
62 #include "input.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
63 #include "pager.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
64 #include "lex.h"
542
682393bf54f7 [project @ 1994-07-22 04:41:52 by jwe]
jwe
parents: 529
diff changeset
65 #include "help.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
66 #include "octave.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
67 #include "parse.h"
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
68 #include "defaults.h"
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
69 #include "user-prefs.h"
562
50bf8d1b024e [project @ 1994-07-25 23:19:11 by jwe]
jwe
parents: 560
diff changeset
70 #include "procstream.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
71 #include "unwind-prot.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
72 #include "octave-hist.h"
1288
4acabfbdd381 [project @ 1995-04-28 20:23:04 by jwe]
jwe
parents: 1266
diff changeset
73 #include "pathsearch.h"
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
74 #include "builtins.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
75 #include "version.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
76 #include "file-io.h"
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
77 #include "sysdep.h"
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
78 #include "defun.h"
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
79
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
80 #if !defined (HAVE_ATEXIT) && defined (HAVE_ON_EXIT)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
81 extern "C" { int on_exit (); }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
82 #define atexit on_exit
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
83 #endif
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
84
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
85 // argv[0] for this program.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
86 char *raw_prog_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
87
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
88 // 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
89 char *prog_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
90
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
91 // Login name for user running this program.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
92 char *user_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
93
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
94 // Name of the host we are running on.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
95 char *host_name = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
96
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
97 // User's home directory.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
98 char *home_directory = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
99
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
100 // Guess what?
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
101 char *the_current_working_directory = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
102
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
103 // Load path specified on command line. (--path path; -p path)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
104 char *load_path = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
105
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
106 // Name of the info file specified on command line.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
107 // (--info-file file; -i file)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
108 char *info_file = 0;
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
109
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
110 // 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
111 char *editor = 0;
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
112
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
113 // If nonzero, don't do fancy line editing.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
114 int no_line_editing = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
115
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
116 // If nonzero, print verbose info in some cases.
824
45f674300747 [project @ 1994-10-16 16:24:55 by jwe]
jwe
parents: 798
diff changeset
117 // (--verbose; -V)
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
118 int verbose_flag = 0;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
119
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
120 // Command number, counting from the beginning of this session.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
121 int current_command_number = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
122
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
123 // 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
124 int quitting_gracefully = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
125
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
126 // Current command to execute.
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
127 tree_statement_list *global_command = 0;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
128
206
1761d7a3770c [project @ 1993-11-10 21:00:31 by jwe]
jwe
parents: 195
diff changeset
129 // Pointer to function that is currently being evaluated.
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
130 tree_function *curr_function = 0;
206
1761d7a3770c [project @ 1993-11-10 21:00:31 by jwe]
jwe
parents: 195
diff changeset
131
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
132 // Nonzero means input is coming from startup file.
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
133 int input_from_startup_file = 0;
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
134
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
135 // Top level context (?)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
136 jmp_buf toplevel;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
137
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
138 // This is not really the right place to do this...
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
139 typedef void (*one_arg_error_handler_t) (const char*);
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
140 extern one_arg_error_handler_t set_Complex_error_handler
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
141 (one_arg_error_handler_t f);
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
142
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
143 // This is from readline's paren.c:
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
144 extern int rl_blink_matching_paren;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
145
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
146 static void
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
147 octave_Complex_error_handler (const char* msg)
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
148 {
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
149 warning (msg);
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
150 }
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
151
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
152 // Nonzero means we read ~/.octaverc and ./.octaverc.
616
9ced66fce8a3 [project @ 1994-08-15 04:16:37 by jwe]
jwe
parents: 614
diff changeset
153 // (--norc; --ignore-init-file; -f)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
154 static int read_init_files = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
155
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
156 // Nonzero means we printed messages about reading startup files.
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
157 static int reading_startup_message_printed = 0;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
158
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
159 // 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
160 // (--quiet; --silent; -q)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
161 static int inhibit_startup_message = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
162
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
163 // Usage message
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
164 static const char *usage_string =
824
45f674300747 [project @ 1994-10-16 16:24:55 by jwe]
jwe
parents: 798
diff changeset
165 "octave [-?Vdfhiqvx] [-p path] [--debug] [--help] [--ignore-init-file]\n\
45f674300747 [project @ 1994-10-16 16:24:55 by jwe]
jwe
parents: 798
diff changeset
166 [--info-file file] [--interactive] [--path path] [--silent]\n\
45f674300747 [project @ 1994-10-16 16:24:55 by jwe]
jwe
parents: 798
diff changeset
167 [--verbose] [--version] [--echo-commands] [file]";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
168
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
169 // This is here so that it\'s more likely that the usage message and
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
170 // the real set of options will agree.
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
171 static const char *short_opts = "?Vdfhip:qvx";
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
172
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
173 // 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
174 // fields in this structure.
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
175 #define INFO_FILE_OPTION 1
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
176 static struct option long_opts[] =
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
177 {
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
178 { "debug", no_argument, 0, 'd' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
179 { "help", no_argument, 0, 'h' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
180 { "interactive", no_argument, 0, 'i' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
181 { "info-file", required_argument, 0, INFO_FILE_OPTION },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
182 { "norc", no_argument, 0, 'f' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
183 { "ignore-init-file", no_argument, 0, 'f' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
184 { "path", required_argument, 0, 'p' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
185 { "quiet", no_argument, 0, 'q' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
186 { "silent", no_argument, 0, 'q' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
187 { "verbose", no_argument, 0, 'V' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
188 { "version", no_argument, 0, 'v' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
189 { "echo-commands", no_argument, 0, 'x' },
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
190 { 0, 0, 0, 0 }
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
191 };
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
192
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
193 // Initialize some global variables for later use.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
194
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
195 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
196 initialize_globals (char *name)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
197 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
198 struct passwd *entry = getpwuid (getuid ());
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
199 if (entry)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
200 user_name = strsave (entry->pw_name);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
201 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
202 user_name = strsave ("I have no name!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
203 endpwent ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
204
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
205 char hostname[256];
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
206 if (gethostname (hostname, 255) < 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
207 host_name = strsave ("I have no host!");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
208 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
209 host_name = strsave (hostname);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
210
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
211 char *hd = getenv ("HOME");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
212 if (hd)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
213 home_directory = strsave (hd);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
214 else
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
215 home_directory = strsave ("I have no home!");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
216
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
217 char *shell_path = getenv ("PATH");
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
218 char *arch_dir = octave_arch_lib_dir ();
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
219 char *bin_dir = octave_bin_dir ();
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
220
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
221 int len = strlen (arch_dir) + strlen (bin_dir) + 7;
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
222
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
223 char *putenv_cmd = 0;
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
224
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
225 if (shell_path)
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
226 {
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
227 len += strlen (shell_path) + 1;
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
228 putenv_cmd = new char [len];
1104
3535aa4d38c6 [project @ 1995-02-14 22:12:34 by jwe]
jwe
parents: 1103
diff changeset
229 sprintf (putenv_cmd,
3535aa4d38c6 [project @ 1995-02-14 22:12:34 by jwe]
jwe
parents: 1103
diff changeset
230 "PATH=%s" SEPCHAR_STR "%s" SEPCHAR_STR "%s",
3535aa4d38c6 [project @ 1995-02-14 22:12:34 by jwe]
jwe
parents: 1103
diff changeset
231 shell_path, arch_dir, bin_dir);
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
232 }
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
233 else
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
234 {
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
235 putenv_cmd = new char [len];
1104
3535aa4d38c6 [project @ 1995-02-14 22:12:34 by jwe]
jwe
parents: 1103
diff changeset
236 sprintf (putenv_cmd, "PATH=%s" SEPCHAR_STR "%s", arch_dir, bin_dir);
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
237 }
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
238
798
0acec886a912 [project @ 1994-10-13 04:57:48 by jwe]
jwe
parents: 793
diff changeset
239 putenv (putenv_cmd);
686
0faebdd7df57 [project @ 1994-09-09 21:09:24 by jwe]
jwe
parents: 672
diff changeset
240
1153
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
241 // This may seem odd, but doing it this way means that we don't have
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
242 // to modify the kpathsea library...
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
243
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
244 char *odb = getenv ("OCTAVE_DB_DIR");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
245
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
246 if (odb)
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
247 putenv (strconcat ("TEXMF=", odb));
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
248 else
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
249 {
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
250 char *oh = getenv ("OCTAVE_HOME");
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
251
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
252 if (oh)
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
253 {
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
254 len = strlen (oh) + 18;
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
255 putenv_cmd = new char [len];
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
256 sprintf (putenv_cmd, "TEXMF=%s/lib/octave", oh);
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
257 putenv (putenv_cmd);
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
258 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
259 else
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
260 putenv (strsave ("TEXMF=" OCTAVE_DATADIR "/octave"));
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
261 }
ce76086a3954 [project @ 1995-02-27 03:58:47 by jwe]
jwe
parents: 1120
diff changeset
262
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
263 raw_prog_name = strsave (name);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
264 prog_name = strsave ("octave");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
265
1288
4acabfbdd381 [project @ 1995-04-28 20:23:04 by jwe]
jwe
parents: 1266
diff changeset
266 kpse_set_progname (name);
4acabfbdd381 [project @ 1995-04-28 20:23:04 by jwe]
jwe
parents: 1266
diff changeset
267
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
268 load_path = default_path ();
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
269
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
270 info_file = default_info_file ();
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
271
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
272 editor = default_editor ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
273 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
274
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
275 void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
276 parse_and_execute (FILE *f, int print)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
277 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
278 begin_unwind_frame ("parse_and_execute");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
279
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
280 YY_BUFFER_STATE old_buf = current_buffer ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
281 YY_BUFFER_STATE new_buf = create_buffer (f);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
282
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
283 add_unwind_protect (restore_input_buffer, (void *) old_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
284 add_unwind_protect (delete_input_buffer, (void *) new_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
285
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
286 switch_to_buffer (new_buf);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
287
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
288 unwind_protect_int (echo_input);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
289 unwind_protect_int (using_readline);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
290 unwind_protect_int (saving_history);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
291
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
292 echo_input = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
293 using_readline = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
294 saving_history = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
295
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
296 unwind_protect_ptr (curr_sym_tab);
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 int retval;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
299 do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
300 {
191
b6b4d8c513fe [project @ 1993-10-29 23:41:39 by jwe]
jwe
parents: 186
diff changeset
301 reset_parser ();
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
302
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
303 retval = yyparse ();
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
304
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
305 if (retval == 0 && global_command)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
306 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
307 global_command->eval (print);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
308 delete global_command;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
309 }
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 while (retval == 0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
312
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
313 run_unwind_frame ("parse_and_execute");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
314 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
315
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
316 void
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
317 parse_and_execute (char *s, int print, int verbose)
1
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 begin_unwind_frame ("parse_and_execute_2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
320
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
321 unwind_protect_int (reading_script_file);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
322
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
323 reading_script_file = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
324
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
325 FILE *f = get_input_from_file (s, 0);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
326 if (f)
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 unwind_protect_int (input_line_number);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
329 unwind_protect_int (current_input_column);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
330 unwind_protect_int (echo_input);
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 input_line_number = 0;
143
7849db4b6dbc [project @ 1993-10-04 02:36:45 by jwe]
jwe
parents: 139
diff changeset
333 current_input_column = 1;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
334 echo_input = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
335
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
336 if (verbose)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
337 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
338 cout << "reading commands from " << s << " ... ";
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
339 reading_startup_message_printed = 1;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
340 cout.flush ();
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
341 }
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
342
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
343 parse_and_execute (f, print);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
344
1103
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
345 fclose (f);
a6f341c1b47c [project @ 1995-02-14 21:43:55 by jwe]
jwe
parents: 1022
diff changeset
346
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
347 if (verbose)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
348 cout << "done." << endl;
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
349 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
350
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
351 run_unwind_frame ("parse_and_execute_2");
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
352 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
353
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
354 // Initialize by reading startup files.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
355
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
356 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
357 execute_startup_files (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
358 {
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
359 begin_unwind_frame ("execute_startup_files");
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
360
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
361 unwind_protect_int (input_from_startup_file);
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
362 input_from_startup_file = 1;
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
363
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
364 int verbose = (verbose_flag && ! inhibit_startup_message);
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
365
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
366 // Execute commands from the site-wide configuration file.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
367
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
368 char *sd = get_site_defaults ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
369
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
370 parse_and_execute (sd, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
371
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
372 // Try to execute commands from $HOME/.octaverc and ./.octaverc.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
373
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
374 char *home_rc = 0;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
375 if (home_directory)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
376 {
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
377 home_rc = strconcat (home_directory, "/.octaverc");
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
378 parse_and_execute (home_rc, 0, verbose);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
379 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
380
85
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
381 // Names alone are not enough.
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
382
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
383 struct stat home_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
384 stat (home_rc, &home_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
385 delete [] home_rc;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
386
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
387 struct stat dot_rc_statbuf;
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
388 stat ("./.octaverc", &dot_rc_statbuf);
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
389
3abd838cc4b3 [project @ 1993-09-06 04:39:26 by jwe]
jwe
parents: 83
diff changeset
390 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
391 parse_and_execute ("./.octaverc", 0, verbose);
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
392
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
393 run_unwind_frame ("execute_startup_files");
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
394 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
395
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
396 // Usage message with extra help.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
397
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
398 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
399 verbose_usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
400 {
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
401 cout << "\n" OCTAVE_NAME_VERSION_AND_COPYRIGHT "\n\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
402 Usage: " << usage_string << "\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
403 \n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
404 -d, --debug enter parser debugging mode\n\
1120
3508c2ef142c [project @ 1995-02-16 05:44:22 by jwe]
jwe
parents: 1119
diff changeset
405 -f, --ignore-init-file don't read any initialization files\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
406 -h, -?, --help print short help message and exit\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
407 -i, --interactive force interactive behavior\n\
1120
3508c2ef142c [project @ 1995-02-16 05:44:22 by jwe]
jwe
parents: 1119
diff changeset
408 --info-file FILE use top-level info file FILE\n\
3508c2ef142c [project @ 1995-02-16 05:44:22 by jwe]
jwe
parents: 1119
diff changeset
409 -p PATH, --path PATH set initial LOADPATH to PATH\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
410 -q, --silent don't print message at startup\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
411 -V, --verbose enable verbose output in some cases\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
412 -v, --version print version number and exit\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
413 -x, --echo-commands echo commands as they are executed\n\
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
414 \n\
1120
3508c2ef142c [project @ 1995-02-16 05:44:22 by jwe]
jwe
parents: 1119
diff changeset
415 FILE execute commands from FILE\n\
1119
69a277ede9ae [project @ 1995-02-16 05:40:16 by jwe]
jwe
parents: 1110
diff changeset
416 \n";
285
79a1403b8b6e [project @ 1994-01-11 05:56:55 by jwe]
jwe
parents: 284
diff changeset
417
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
418 exit (0);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
419 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
420
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
421 // Terse usage messsage.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
422
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
423 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
424 usage (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
425 {
613
1ef6a5be15fe [project @ 1994-08-14 21:18:52 by jwe]
jwe
parents: 612
diff changeset
426 cerr << "usage: " << usage_string << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
427 exit (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
428 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
429
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
430 // Fix up things before exiting.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
431
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
432 void
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
433 clean_up_and_exit (int retval)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
434 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
435 raw_mode (0);
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
436
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
437 clean_up_history ();
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
438
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
439 close_plot_stream ();
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
440
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
441 close_diary_file ();
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
442
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
443 close_files ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
444
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
445 cleanup_tmp_files ();
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
446
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
447 if (!quitting_gracefully && (interactive || forced_interactive))
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
448 cout << "\n";
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
449
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
450 if (retval == EOF)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
451 retval = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
452
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
453 exit (retval);
195
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
454
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
455 // This is bogus but should prevent g++ from giving a warning saying
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
456 // that this volatile function does return.
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
457
13c6086c325c [project @ 1993-11-06 10:12:29 by jwe]
jwe
parents: 191
diff changeset
458 panic_impossible ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
459 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
460
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
461 static void
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
462 print_version_and_exit (void)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
463 {
1107
69fa46755c57 [project @ 1995-02-14 22:54:23 by jwe]
jwe
parents: 1106
diff changeset
464 cout << OCTAVE_NAME_AND_VERSION << "\n";
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
465 exit (0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
466 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
467
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
468 static void
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
469 initialize_error_handlers ()
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
470 {
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
471 set_Complex_error_handler (octave_Complex_error_handler);
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
472
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
473 set_liboctave_error_handler (error);
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
474 }
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
475
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
476 // You guessed it.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
477
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
478 int
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
479 main (int argc, char **argv)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
480 {
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
481 // The order of these calls is important, and initialize globals must
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
482 // come before the options are processed because some command line
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
483 // options override defaults.
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
484
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
485 init_user_prefs ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
486
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
487 initialize_pager ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
488
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
489 sysdep_init ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
490
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
491 initialize_error_handlers ();
223
82c050e70f7a [project @ 1993-11-14 10:58:11 by jwe]
jwe
parents: 206
diff changeset
492
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
493 initialize_globals (argv[0]);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
494
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
495 int optc;
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
496 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
497 {
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
498 switch (optc)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
499 {
793
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
500 case 'V':
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
501 verbose_flag++;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
502 break;
f7b9920e968b [project @ 1994-10-12 16:51:46 by jwe]
jwe
parents: 777
diff changeset
503
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
504 case 'd':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
505 yydebug++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
506 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
507
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
508 case 'f':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
509 read_init_files = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
510 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
511
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
512 case 'h':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
513 case '?':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
514 verbose_usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
515 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
516
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
517 case 'i':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
518 forced_interactive = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
519 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
520
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
521 case 'p':
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
522 if (optarg)
139
d80376609fd1 [project @ 1993-09-29 23:23:37 by jwe]
jwe
parents: 85
diff changeset
523 load_path = strsave (optarg);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
524 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
525
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
526 case 'q':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
527 inhibit_startup_message = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
528 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
529
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
530 case 'x':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
531 echo_input = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
532 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
533
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
534 case 'v':
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
535 print_version_and_exit ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
536 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
537
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
538 case INFO_FILE_OPTION:
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
539 if (optarg)
186
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
540 info_file = strsave (optarg);
7a647cf4850c [project @ 1993-10-25 23:15:50 by jwe]
jwe
parents: 176
diff changeset
541 break;
777
a2f9d3fd720c [project @ 1994-10-07 14:01:53 by jwe]
jwe
parents: 721
diff changeset
542
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
543 default:
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
544 usage ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
545 break;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
546 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
547 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
548
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
549 #if defined (HAVE_ATEXIT) || (HAVE_ON_EXIT)
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
550 // Make sure we clean up when we exit. If we don't have atexit or
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
551 // on_exit, we're going to leave some junk files around if we exit
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
552 // abnormally.
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
553 atexit (cleanup_tmp_files);
318
1412ea9fc828 [project @ 1994-01-28 06:33:29 by jwe]
jwe
parents: 315
diff changeset
554 #endif
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
555
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
556 // These can come after command line args since none of them set any
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
557 // 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
558
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
559 install_signal_handlers ();
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
560
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
561 initialize_history ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
562
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
563 initialize_file_io ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
564
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
565 initialize_symbol_tables ();
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
566
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
567 install_builtins ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
568
315
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
569 initialize_readline ();
260863721a51 [project @ 1994-01-28 04:22:45 by jwe]
jwe
parents: 290
diff changeset
570
721
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
571 init_dynamic_linker ();
54a6858bc7e7 [project @ 1994-09-21 15:17:38 by jwe]
jwe
parents: 712
diff changeset
572
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
573 if (! inhibit_startup_message)
1106
676db72ec37c [project @ 1995-02-14 22:48:07 by jwe]
jwe
parents: 1104
diff changeset
574 cout << OCTAVE_STARTUP_MESSAGE "\n" << endl;
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
575
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
576 if (read_init_files)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
577 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
578 saving_history = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
579 execute_startup_files ();
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
580 saving_history = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
581 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
582
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
583 if (! inhibit_startup_message && reading_startup_message_printed)
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
584 cout << endl;
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
585
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
586 // Avoid counting commands executed from startup files.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
587 current_command_number = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
588
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
589 // If there is an extra argument, see if it names a file to read.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
590
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
591 int remaining_args = argc - optind;
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
592 if (remaining_args > 1)
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
593 {
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
594 usage ();
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
595 }
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
596 else if (remaining_args == 1)
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
597 {
984
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
598 reading_script_file = 1;
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
599 curr_fcn_file_name = argv[optind];
6aeb8fdc27d4 [project @ 1994-12-14 17:51:23 by jwe]
jwe
parents: 949
diff changeset
600 FILE *infile = get_input_from_file (curr_fcn_file_name);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
601 if (infile)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
602 {
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
603 rl_blink_matching_paren = 0;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
604 switch_to_buffer (create_buffer (infile));
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
605 }
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
606 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
607 clean_up_and_exit (1);
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
608 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
609 else
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
610 {
149
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
611 switch_to_buffer (create_buffer (get_input_from_stdin ()));
471912bc76c4 [project @ 1993-10-05 19:11:06 by jwe]
jwe
parents: 143
diff changeset
612
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
613 // Is input coming from a terminal? If so, we are probably
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
614 // interactive.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
615
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
616 interactive = (isatty (fileno (stdin)) && isatty (fileno (stdout)));
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
617 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
618
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
619 // Force input to be echoed if not really interactive, but the user
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
620 // has forced interactive behavior.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
621
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
622 if (!interactive && forced_interactive)
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
623 {
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
624 rl_blink_matching_paren = 0;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
625 echo_input = 1;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
626 }
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
627
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
628 if (! (interactive || forced_interactive))
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
629 using_readline = 0;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
630
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
631 // Allow the user to interrupt us without exiting.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
632
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
633 volatile sig_handler *saved_sigint_handler = signal (SIGINT, SIG_IGN);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
634
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
635 if (setjmp (toplevel) != 0)
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
636 {
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
637 raw_mode (0);
176
86fe57141743 [project @ 1993-10-22 19:04:09 by jwe]
jwe
parents: 167
diff changeset
638
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
639 cout << "\n";
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
640 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
641
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
642 can_interrupt = 1;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
643
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
644 signal (SIGINT, saved_sigint_handler);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
645
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
646 // The big loop.
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
647
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
648 int retval;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
649 do
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
650 {
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
651 curr_sym_tab = top_level_sym_tab;
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
652
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
653 reset_parser ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
654
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
655 retval = yyparse ();
287
6027a905fc06 [project @ 1994-01-13 01:41:00 by jwe]
jwe
parents: 285
diff changeset
656
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
657 if (retval == 0 && global_command)
1
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 global_command->eval (1);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
660 delete global_command;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
661 current_command_number++;
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
662 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
663 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
664 while (retval == 0);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
665
1005
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
666 if (retval == 1 && ! error_state)
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
667 retval = 0;
46a2983cb297 [project @ 1995-01-03 02:08:32 by jwe]
jwe
parents: 984
diff changeset
668
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
669 clean_up_and_exit (retval);
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
670 }
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
671
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
672 DEFUN_TEXT ("casesen", Fcasesen, Scasesen, 2, 1,
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
673 "casesen [on|off]")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
674 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
675 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
676
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
677 DEFINE_ARGV("casesen");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
678
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
679 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
680 warning ("casesen: sorry, Octave is always case sensitive");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
681 else if (argc > 1 && strcmp (argv[1], "on") == 0)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
682 ; // ok.
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
683 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
684 print_usage ("casesen");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
685
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
686 DELETE_ARGV;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
687
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
688 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
689 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
690
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
691 DEFUN ("computer", Fcomputer, Scomputer, 1, 0,
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
692 "computer ():\n\
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
693 \n\
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
694 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
695 {
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
696 Octave_object retval;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
697
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
698 int nargin = args.length ();
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
699
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
700 if (nargin != 0)
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
701 warning ("computer: ignoring extra arguments");
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
702
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
703 ostrstream output_buf;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
704
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
705 if (strcmp (TARGET_HOST_TYPE, "unknown") == 0)
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
706 output_buf << "Hi Dave, I'm a HAL-9000";
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
707 else
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
708 output_buf << TARGET_HOST_TYPE;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
709
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
710 if (nargout == 0)
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
711 {
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
712 output_buf << "\n" << ends;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
713 maybe_page_output (output_buf);
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
714 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
715 else
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
716 {
949
46728d21c6eb [project @ 1994-11-27 03:46:53 by jwe]
jwe
parents: 824
diff changeset
717 output_buf << ends;
666
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
718 char *msg = output_buf.str ();
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
719 retval = msg;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
720 delete [] msg;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
721 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
722
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
723 return retval;
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
724 }
fb4f6556b443 [project @ 1994-09-06 21:22:46 by jwe]
jwe
parents: 636
diff changeset
725
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
726 DEFUN ("flops", Fflops, Sflops, 0, 1,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
727 "flops (): count floating point operations")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
728 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
729 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
730
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
731 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
732 print_usage ("flops");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
733
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
734 warning ("flops is a flop, always returning zero");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
735
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
736 return 0.0;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
737 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
738
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
739 DEFUN ("quit", Fquit, Squit, 0, 0,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
740 "quit (): exit Octave gracefully")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
741 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
742 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
743 quitting_gracefully = 1;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
744 clean_up_and_exit (0);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
745 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
746 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
747
549
75a371805554 [project @ 1994-07-22 19:44:41 by jwe]
jwe
parents: 545
diff changeset
748 DEFALIAS (exit, quit);
75a371805554 [project @ 1994-07-22 19:44:41 by jwe]
jwe
parents: 545
diff changeset
749
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
750 DEFUN ("warranty", Fwarranty, Swarranty, 0, 0,
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
751 "warranty (): describe copying conditions")
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
752 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
753 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
754
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
755 ostrstream output_buf;
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
756 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
757 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
758 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
759 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
760 (at your option) any later version.\n\
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
761 \n\
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
762 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
763 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
764 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
765 GNU General Public License for more details.\n\
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
766 \n\
1110
456368d90bc7 [project @ 1995-02-15 03:51:08 by jwe]
jwe
parents: 1109
diff changeset
767 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
768 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
769 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
770 \n";
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
771
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
772 output_buf << ends;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
773 maybe_page_output (output_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
774
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
775 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
776 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
777
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
778 // 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
779
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
780 Octave_object
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
781 feval (const Octave_object& args, int nargout)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
782 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
783 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
784
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
785 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
786 if (fcn)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
787 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
788 int tmp_nargin = args.length () - 1;
565
b04c0d02f2de [project @ 1994-07-26 01:03:20 by jwe]
jwe
parents: 562
diff changeset
789 Octave_object tmp_args;
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
790 tmp_args.resize (tmp_nargin);
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
791 for (int i = 0; i < tmp_nargin; i++)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
792 tmp_args(i) = args(i+1);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
793 retval = fcn->eval (0, nargout, tmp_args);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
794 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
795
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
796 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
797 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
798
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
799 DEFUN ("feval", Ffeval, Sfeval, -1, 1,
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
800 "feval (NAME, ARGS, ...)\n\
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
801 \n\
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
802 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
803 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
804 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
805
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
806 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
807
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
808 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
809 retval = feval (args, nargout);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
810 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
811 print_usage ("feval");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
812
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
813 return retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
814 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
815
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
816 static Octave_object
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
817 eval_string (const char *string, int print, int ans_assign,
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
818 int& parse_status, int nargout)
529
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 begin_unwind_frame ("eval_string");
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 unwind_protect_int (get_input_from_eval_string);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
823 unwind_protect_ptr (global_command);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
824 unwind_protect_ptr (current_eval_string);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
825
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
826 get_input_from_eval_string = 1;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
827 current_eval_string = string;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
828
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
829 YY_BUFFER_STATE old_buf = current_buffer ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
830 YY_BUFFER_STATE new_buf = create_buffer (0);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
831
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
832 add_unwind_protect (restore_input_buffer, (void *) old_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
833 add_unwind_protect (delete_input_buffer, (void *) new_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
834
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
835 switch_to_buffer (new_buf);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
836
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
837 unwind_protect_ptr (curr_sym_tab);
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
838
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
839 reset_parser ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
840
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
841 parse_status = yyparse ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
842
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
843 // Important to reset the idea of where input is coming from before
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
844 // trying to eval the command we just parsed -- it might contain the
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
845 // name of an function file that still needs to be parsed!
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
846
578
d169be9237fb [project @ 1994-08-03 20:06:54 by jwe]
jwe
parents: 565
diff changeset
847 tree_statement_list *command = global_command;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
848
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
849 run_unwind_frame ("eval_string");
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
850
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
851 Octave_object retval;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
852
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
853 if (parse_status == 0 && command)
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
854 {
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
855 retval = command->eval (print, nargout);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
856 delete command;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
857 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
858
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
859 return retval;
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
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
862 tree_constant
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
863 eval_string (const char *string, int print, int ans_assign,
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
864 int& parse_status)
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
865 {
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
866 tree_constant retval;
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
867
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
868 Octave_object tmp = eval_string (string, print, ans_assign,
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
869 parse_status, 1);
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
870
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
871 retval = tmp(0);
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
872
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
873 return retval;
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
874 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
875
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
876 static Octave_object
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
877 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
878 {
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
879 char *string = arg.string_value ();
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
880
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
881 if (error_state)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
882 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
883 error ("eval: expecting string argument");
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
884 return -1.0;
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
885 }
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 // Yes Virginia, we always print here...
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
888
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
889 return eval_string (string, 1, 1, parse_status, nargout);
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
890 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
891
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
892 DEFUN ("eval", Feval, Seval, 2, 1,
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
893 "eval (TRY, CATCH)\n\
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
894 \n\
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
895 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
896 string CATCH.")
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
897 {
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
898 Octave_object retval;
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
899
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
900 int nargin = args.length ();
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
901
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
902 if (nargin > 0)
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
903 {
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
904 begin_unwind_frame ("Feval");
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
905
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
906 if (nargin > 1)
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
907 {
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
908 unwind_protect_int (suppress_octave_error_messages);
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
909 suppress_octave_error_messages = 1;
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
910 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
911
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
912 int parse_status = 0;
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
913
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
914 retval = eval_string (args(0), parse_status, nargout);
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
915
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
916 if (nargin > 1 && (parse_status != 0 || error_state))
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
917 {
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
918 error_state = 0;
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
919 eval_string (args(1), parse_status, nargout);
672
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
920 retval = Octave_object ();
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
921 }
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
922
066e1551639c [project @ 1994-09-07 21:10:32 by jwe]
jwe
parents: 666
diff changeset
923 run_unwind_frame ("Feval");
529
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
924 }
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
925 else
7ea224e713cd [project @ 1994-07-20 18:54:27 by jwe]
jwe
parents: 318
diff changeset
926 print_usage ("eval");
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
581
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
931 // Execute a shell command.
bc813f5eb025 [project @ 1994-08-07 01:02:15 by jwe]
jwe
parents: 578
diff changeset
932
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
933 DEFUN ("system", Fsystem, Ssystem, 2, 1,
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
934 "system (string [, return_output]): execute shell commands")
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
935 {
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
936 Octave_object retval;
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
937
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
938 int nargin = args.length ();
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
939
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
940 if (nargin < 1 || nargin > 2)
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
941 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
942 print_usage ("system");
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
943 return retval;
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
944 }
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
945
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
946 tree_constant tc_command = args(0);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
947
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
948 char *tmp_str = tc_command.string_value ();
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
949
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
950 if (error_state)
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
951 {
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
952 error ("system: expecting string as first argument");
636
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
953 }
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
954 else
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
955 {
fae2bd91c027 [project @ 1994-08-23 18:39:50 by jwe]
jwe
parents: 624
diff changeset
956 iprocstream cmd (tmp_str);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
957
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
958 ostrstream output_buf;
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
959
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
960 char ch;
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
961 while (cmd.get (ch))
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
962 output_buf.put (ch);
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
963
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
964 output_buf << ends;
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
965
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
966 int status = cmd.close ();
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
967
1022
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
968 // The value in status is as returned by waitpid. If the process
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
969 // exited normally, extract the actual exit status of the command.
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
970 // Otherwise, return 127 as a failure code.
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
971
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
972 if ((status & 0xff) == 0)
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
973 status = (status & 0xff00) >> 8;
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
974 else
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
975 status = 127;
d3790919922e [project @ 1995-01-11 00:45:09 by jwe]
jwe
parents: 1009
diff changeset
976
712
36ba0576bd1b [project @ 1994-09-19 14:18:15 by jwe]
jwe
parents: 703
diff changeset
977 if (nargout > 0 || nargin > 1)
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
978 {
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
979 char *msg = output_buf.str ();
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
980
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
981 retval(1) = (double) status;
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
982 retval(0) = msg;
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
983
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
984 delete [] msg;
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
985 }
624
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
986 else
1a7dea6fa26b [project @ 1994-08-17 16:19:40 by jwe]
jwe
parents: 616
diff changeset
987 maybe_page_output (output_buf);
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
988 }
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
989
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
990 return retval;
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
991 }
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
992
703
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
993 DEFALIAS (shell_cmd, system);
21cc5b9b9ed6 [project @ 1994-09-15 02:39:57 by jwe]
jwe
parents: 686
diff changeset
994
1266
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
995 #if defined (__GNUG__) && defined (DEBUG_NEW_DELETE)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
996 int debug_new_delete = 0;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
997
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
998 typedef void (*vfp)(void);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
999 extern vfp __new_handler;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1000
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1001 void *
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1002 __builtin_new (size_t sz)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1003 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1004 void *p;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1005
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1006 /* malloc (0) is unpredictable; avoid it. */
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1007 if (sz == 0)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1008 sz = 1;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1009 p = (void *) malloc (sz);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1010 while (p == 0)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1011 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1012 (*__new_handler) ();
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1013 p = (void *) malloc (sz);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1014 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1015
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1016 if (debug_new_delete)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1017 cout << "__builtin_new: " << p << endl;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1018
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1019 return p;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1020 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1021
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1022 void
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1023 __builtin_delete (void *ptr)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1024 {
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1025 if (debug_new_delete)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1026 cout << "__builtin_delete: " << ptr << endl;
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1027
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1028 if (ptr)
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1029 free (ptr);
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1030 }
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1031 #endif
e1ddfb12566d [project @ 1995-04-20 18:56:04 by jwe]
jwe
parents: 1192
diff changeset
1032
560
34c713db72b6 [project @ 1994-07-25 22:28:54 by jwe]
jwe
parents: 549
diff changeset
1033 /*
1
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1034 ;;; Local Variables: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1035 ;;; mode: C++ ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1036 ;;; page-delimiter: "^/\\*" ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1037 ;;; End: ***
78fd87e624cb [project @ 1993-08-08 01:13:40 by jwe]
jwe
parents:
diff changeset
1038 */