|
1
|
1 // variables.cc -*- C++ -*- |
|
|
2 /* |
|
|
3 |
|
|
4 Copyright (C) 1992, 1993 John W. Eaton |
|
|
5 |
|
|
6 This file is part of Octave. |
|
|
7 |
|
|
8 Octave is free software; you can redistribute it and/or modify it |
|
|
9 under the terms of the GNU General Public License as published by the |
|
|
10 Free Software Foundation; either version 2, or (at your option) any |
|
|
11 later version. |
|
|
12 |
|
|
13 Octave is distributed in the hope that it will be useful, but WITHOUT |
|
|
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
|
|
15 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
|
|
16 for more details. |
|
|
17 |
|
|
18 You should have received a copy of the GNU General Public License |
|
|
19 along with Octave; see the file COPYING. If not, write to the Free |
|
|
20 Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. |
|
|
21 |
|
|
22 */ |
|
|
23 |
|
|
24 #ifdef __GNUG__ |
|
|
25 #pragma implementation |
|
|
26 #endif |
|
|
27 |
|
|
28 #include <sys/types.h> |
|
|
29 #ifdef HAVE_UNISTD_H |
|
|
30 #include <unistd.h> |
|
|
31 #endif |
|
|
32 #include <ctype.h> |
|
|
33 #include <iostream.h> |
|
|
34 |
|
|
35 #include "statdefs.h" |
|
|
36 #include "tree-const.h" |
|
|
37 #include "variables.h" |
|
|
38 #include "symtab.h" |
|
|
39 #include "error.h" |
|
|
40 #include "utils.h" |
|
|
41 #include "tree.h" |
|
164
|
42 #include "help.h" |
|
1
|
43 |
|
|
44 // Symbol table for symbols at the top level. |
|
|
45 symbol_table *top_level_sym_tab; |
|
|
46 |
|
|
47 // Symbol table for the current scope. |
|
|
48 symbol_table *curr_sym_tab; |
|
|
49 |
|
|
50 // Symbol table for global symbols. |
|
|
51 symbol_table *global_sym_tab; |
|
|
52 |
|
|
53 /* |
|
|
54 * Is there a corresponding M-file that is newer than the symbol |
|
|
55 * definition? |
|
|
56 */ |
|
|
57 int |
|
|
58 symbol_out_of_date (symbol_record *sr) |
|
|
59 { |
|
|
60 int status = 0; |
|
|
61 if (sr != (symbol_record *) NULL) |
|
|
62 { |
|
|
63 tree *ans = sr->def (); |
|
|
64 if (ans != NULL_TREE) |
|
|
65 { |
|
|
66 char *mf = ans->m_file_name (); |
|
|
67 if (mf != (char *) NULL) |
|
|
68 { |
|
|
69 time_t tp = ans->time_parsed (); |
|
|
70 status = is_newer (mf, tp); |
|
|
71 } |
|
|
72 } |
|
|
73 } |
|
|
74 return status; |
|
|
75 } |
|
|
76 |
|
|
77 /* |
|
|
78 * Force a symbol into the global symbol table. |
|
|
79 */ |
|
|
80 symbol_record * |
|
|
81 force_global (char *name) |
|
|
82 { |
|
|
83 symbol_record *retval = (symbol_record *) NULL; |
|
|
84 |
|
|
85 if (valid_identifier (name)) |
|
|
86 { |
|
|
87 symbol_record *sr; |
|
|
88 sr = curr_sym_tab->lookup (name, 0, 0); |
|
|
89 if (sr == (symbol_record *) NULL) |
|
|
90 { |
|
|
91 retval = global_sym_tab->lookup (name, 1, 0); |
|
123
|
92 retval->mark_as_forced_global (); |
|
1
|
93 } |
|
|
94 else if (sr->is_formal_parameter ()) |
|
|
95 { |
|
|
96 error ("formal parameter `%s' can't be made global", name); |
|
|
97 } |
|
|
98 else |
|
|
99 { |
|
|
100 retval = global_sym_tab->lookup (name, 1, 0); |
|
123
|
101 retval->mark_as_forced_global (); |
|
165
|
102 retval->alias (sr, 1); |
|
1
|
103 curr_sym_tab->clear (name); |
|
|
104 } |
|
|
105 } |
|
|
106 else |
|
|
107 warning ("`%s' is invalid as an identifier", name); |
|
|
108 |
|
|
109 return retval; |
|
|
110 } |
|
|
111 |
|
|
112 int |
|
|
113 bind_variable (char *varname, tree_constant *val) |
|
|
114 { |
|
|
115 // Look for the symbol in the current symbol table. If it's there, |
|
|
116 // great. If not, don't insert it, but look for it in the global |
|
|
117 // symbol table. If it's there, great. If not, insert it in the |
|
|
118 // original current symbol table. |
|
|
119 |
|
|
120 symbol_record *sr; |
|
|
121 sr = curr_sym_tab->lookup (varname, 0, 0); |
|
|
122 if (sr == (symbol_record *) NULL) |
|
|
123 { |
|
|
124 sr = global_sym_tab->lookup (varname, 0, 0); |
|
|
125 if (sr == (symbol_record *) NULL) |
|
|
126 { |
|
|
127 sr = curr_sym_tab->lookup (varname, 1); |
|
|
128 } |
|
|
129 } |
|
|
130 |
|
|
131 if (sr != (symbol_record *) NULL) |
|
|
132 { |
|
|
133 sr->define (val); |
|
|
134 return 0; |
|
|
135 } |
|
|
136 else |
|
|
137 return 1; |
|
|
138 } |
|
|
139 |
|
|
140 int |
|
|
141 bind_protected_variable (char *varname, tree_constant *val) |
|
|
142 { |
|
|
143 // Look for the symbol in the current symbol table. If it's there, |
|
|
144 // great. If not, don't insert it, but look for it in the global |
|
|
145 // symbol table. If it's there, great. If not, insert it in the |
|
|
146 // original current symbol table. |
|
|
147 |
|
|
148 symbol_record *sr; |
|
|
149 sr = curr_sym_tab->lookup (varname, 0, 0); |
|
|
150 if (sr == (symbol_record *) NULL) |
|
|
151 { |
|
|
152 sr = global_sym_tab->lookup (varname, 0, 0); |
|
|
153 if (sr == (symbol_record *) NULL) |
|
|
154 { |
|
|
155 sr = curr_sym_tab->lookup (varname, 1); |
|
|
156 } |
|
|
157 } |
|
|
158 |
|
|
159 if (sr != (symbol_record *) NULL) |
|
|
160 { |
|
|
161 sr->unprotect (); |
|
|
162 sr->define (val); |
|
|
163 sr->protect (); |
|
|
164 return 0; |
|
|
165 } |
|
|
166 else |
|
|
167 return 1; |
|
|
168 } |
|
|
169 |
|
|
170 /* |
|
|
171 * Look for name first in current then in global symbol tables. If |
|
|
172 * name is found and it refers to a string, return a new string |
|
|
173 * containing its value. Otherwise, return NULL. |
|
|
174 */ |
|
|
175 char * |
|
|
176 octave_string_variable (char *name) |
|
|
177 { |
|
|
178 char *retval = (char *) NULL; |
|
|
179 symbol_record *sr; |
|
|
180 sr = curr_sym_tab->lookup (name, 0, 0); |
|
|
181 if (sr == (symbol_record *) NULL) |
|
|
182 { |
|
|
183 sr = global_sym_tab->lookup (name, 0, 0); |
|
|
184 if (sr == (symbol_record *) NULL) |
|
|
185 return retval; |
|
|
186 } |
|
|
187 |
|
|
188 tree *defn = sr->def (); |
|
|
189 if (defn != NULL_TREE) |
|
|
190 { |
|
|
191 tree_constant val = defn->eval (0); |
|
191
|
192 if (error_state) |
|
|
193 return retval; |
|
|
194 else if (val.is_string_type ()) |
|
1
|
195 { |
|
|
196 char *s = val.string_value (); |
|
|
197 if (s != (char *) NULL) |
|
|
198 retval = strsave (s); |
|
|
199 } |
|
|
200 } |
|
|
201 |
|
|
202 return retval; |
|
|
203 } |
|
|
204 |
|
|
205 /* |
|
|
206 * Look for name first in current then in global symbol tables. If |
|
|
207 * name is found and it refers to a real scalar, place the value in d |
|
|
208 * and return 0. Otherwise, return -1. |
|
|
209 */ |
|
|
210 int |
|
|
211 octave_real_scalar_variable (char *name, double& d) |
|
|
212 { |
|
|
213 int status = -1; |
|
|
214 symbol_record *sr; |
|
|
215 sr = curr_sym_tab->lookup (name, 0, 0); |
|
|
216 if (sr == (symbol_record *) NULL) |
|
|
217 { |
|
|
218 sr = global_sym_tab->lookup (name, 0, 0); |
|
|
219 if (sr == (symbol_record *) NULL) |
|
|
220 return status; |
|
|
221 } |
|
|
222 |
|
|
223 tree *defn = sr->def (); |
|
|
224 if (defn != NULL_TREE) |
|
|
225 { |
|
|
226 tree_constant val = defn->eval (0); |
|
191
|
227 if (error_state) |
|
|
228 return status; |
|
|
229 else if (val.const_type () == tree_constant_rep::scalar_constant) |
|
1
|
230 { |
|
|
231 d = val.double_value (); |
|
|
232 status = 0; |
|
|
233 } |
|
|
234 } |
|
|
235 |
|
|
236 return status; |
|
|
237 } |
|
|
238 |
|
|
239 /* |
|
|
240 * Extract a keyword and its value from a file. Input should look |
|
|
241 * something like: |
|
|
242 * |
|
|
243 * #[ \t]*keyword[ \t]*:[ \t]*string-value\n |
|
|
244 */ |
|
|
245 int |
|
|
246 extract_keyword (istream& is, char *keyword, char *value) |
|
|
247 { |
|
|
248 char *ptr = value; |
|
|
249 |
|
|
250 int status = 0; |
|
|
251 |
|
|
252 char c; |
|
|
253 while (is.get (c)) |
|
|
254 { |
|
|
255 if (c == '#') |
|
|
256 { |
|
|
257 while (is.get (c) && (c == ' ' || c == '\t' || c == '#')) |
|
|
258 ; // Skip whitespace and comment characters. |
|
|
259 |
|
|
260 if (isalpha (c)) |
|
|
261 *ptr++ = c; |
|
|
262 |
|
|
263 while (is.get (c) && isalpha (c)) |
|
|
264 *ptr++ = c; |
|
|
265 |
|
|
266 if (strncmp (value, keyword, strlen (keyword)) == 0) |
|
|
267 { |
|
|
268 ptr = value; |
|
|
269 while (is.get (c) && (c == ' ' || c == '\t' || c == ':')) |
|
|
270 ; // Skip whitespace and the colon. |
|
|
271 |
|
|
272 if (c != '\n') |
|
|
273 { |
|
|
274 *ptr++ = c; |
|
|
275 while (is.get (c) && c != '\n') |
|
|
276 *ptr++ = c; |
|
|
277 } |
|
|
278 *ptr = '\0'; |
|
|
279 status = 1; |
|
|
280 break; |
|
|
281 } |
|
|
282 } |
|
|
283 } |
|
|
284 return status; |
|
|
285 } |
|
|
286 |
|
|
287 int |
|
|
288 extract_keyword (istream& is, char *keyword, int& value) |
|
|
289 { |
|
|
290 char buf [128]; |
|
|
291 char *ptr = buf; |
|
|
292 |
|
|
293 int status = 0; |
|
|
294 value = 0; |
|
|
295 |
|
|
296 char c; |
|
|
297 while (is.get (c)) |
|
|
298 { |
|
|
299 if (c == '#') |
|
|
300 { |
|
|
301 while (is.get (c) && (c == ' ' || c == '\t' || c == '#')) |
|
|
302 ; // Skip whitespace and comment characters. |
|
|
303 |
|
|
304 if (isalpha (c)) |
|
|
305 *ptr++ = c; |
|
|
306 |
|
|
307 while (is.get (c) && isalpha (c)) |
|
|
308 *ptr++ = c; |
|
|
309 |
|
|
310 if (strncmp (buf, keyword, strlen (keyword)) == 0) |
|
|
311 { |
|
|
312 ptr = buf; |
|
|
313 while (is.get (c) && (c == ' ' || c == '\t' || c == ':')) |
|
|
314 ; // Skip whitespace and the colon. |
|
|
315 |
|
|
316 is.putback (c); |
|
|
317 if (c != '\n') |
|
|
318 is >> value; |
|
|
319 if (is) |
|
|
320 status = 1; |
|
|
321 while (is.get (c) && c != '\n') |
|
|
322 ; // Skip to beginning of next line; |
|
|
323 break; |
|
|
324 } |
|
|
325 } |
|
|
326 } |
|
|
327 return status; |
|
|
328 } |
|
|
329 |
|
|
330 /* |
|
|
331 * Skip trailing white space and |
|
|
332 */ |
|
|
333 void |
|
|
334 skip_comments (istream& is) |
|
|
335 { |
|
|
336 char c = '\0'; |
|
|
337 while (is.get (c)) |
|
|
338 { |
|
|
339 if (c == ' ' || c == '\t' || c == '\n') |
|
|
340 ; // Skip whitespace on way to beginning of next line. |
|
|
341 else |
|
|
342 break; |
|
|
343 } |
|
|
344 |
|
|
345 for (;;) |
|
|
346 { |
|
|
347 if (is && c == '#') |
|
|
348 while (is.get (c) && c != '\n') |
|
|
349 ; // Skip to beginning of next line, ignoring everything. |
|
|
350 else |
|
|
351 break; |
|
|
352 } |
|
|
353 } |
|
|
354 |
|
|
355 /* |
|
|
356 * Is `s' a valid identifier? |
|
|
357 */ |
|
|
358 int |
|
|
359 valid_identifier (char *s) |
|
|
360 { |
|
|
361 if (s == (char *) NULL || ! (isalnum (*s) || *s == '_')) |
|
|
362 return 0; |
|
|
363 |
|
|
364 while (*++s != '\0') |
|
|
365 if (! (isalnum (*s) || *s == '_')) |
|
|
366 return 0; |
|
|
367 |
|
|
368 return 1; |
|
|
369 } |
|
|
370 |
|
|
371 /* |
|
|
372 * See if the identifier is in scope. |
|
|
373 */ |
|
|
374 int |
|
|
375 identifier_exists (char *name) |
|
|
376 { |
|
159
|
377 symbol_record *sr = curr_sym_tab->lookup (name, 0, 0); |
|
|
378 if (sr == (symbol_record *) NULL) |
|
|
379 sr = global_sym_tab->lookup (name, 0, 0); |
|
1
|
380 |
|
159
|
381 if (sr != (symbol_record *) NULL && sr->is_variable ()) |
|
|
382 return 1; |
|
|
383 else if (sr != (symbol_record *) NULL && sr->is_function ()) |
|
|
384 return 2; |
|
1
|
385 else |
|
|
386 { |
|
|
387 char *path = m_file_in_path (name); |
|
|
388 if (path != (char *) NULL) |
|
|
389 { |
|
|
390 delete [] path; |
|
159
|
391 return 2; |
|
1
|
392 } |
|
|
393 else |
|
|
394 { |
|
|
395 struct stat buf; |
|
|
396 if (stat (name, &buf) == 0 && S_ISREG (buf.st_mode)) |
|
159
|
397 return 2; |
|
1
|
398 } |
|
|
399 |
|
|
400 } |
|
159
|
401 return 0; |
|
1
|
402 } |
|
|
403 |
|
|
404 /* |
|
|
405 * Is this tree_constant a valid function? |
|
|
406 */ |
|
|
407 tree * |
|
|
408 is_valid_function (tree_constant& arg, char *warn_for, int warn = 0) |
|
|
409 { |
|
|
410 tree *ans = NULL_TREE; |
|
|
411 |
|
|
412 if (! arg.is_string_type ()) |
|
|
413 { |
|
|
414 if (warn) |
|
|
415 message (warn_for, "expecting function name as argument"); |
|
|
416 return ans; |
|
|
417 } |
|
|
418 |
|
|
419 char *fcn_name = arg.string_value (); |
|
|
420 symbol_record *sr = global_sym_tab->lookup (fcn_name, 0, 0); |
|
|
421 |
|
|
422 if (sr == (symbol_record *) NULL) |
|
|
423 { |
|
|
424 sr = global_sym_tab->lookup (fcn_name, 1, 0); |
|
|
425 tree_identifier tmp (sr); |
|
|
426 tmp.parse_m_file (0); |
|
|
427 } |
|
|
428 else if (symbol_out_of_date (sr)) |
|
|
429 { |
|
|
430 tree_identifier tmp (sr); |
|
|
431 tmp.parse_m_file (0); |
|
|
432 } |
|
|
433 |
|
|
434 ans = sr->def (); |
|
|
435 if (ans == NULL_TREE || ! sr->is_function ()) |
|
|
436 { |
|
|
437 if (warn) |
|
|
438 message (warn_for, "the symbol `%s' is not valid as a function", |
|
|
439 fcn_name); |
|
|
440 ans = NULL_TREE; |
|
|
441 } |
|
|
442 |
|
|
443 return ans; |
|
|
444 } |
|
|
445 |
|
|
446 /* |
|
|
447 * Does this function take the right number of arguments? |
|
|
448 */ |
|
|
449 int |
|
|
450 takes_correct_nargs (tree *fcn, int expected_nargin, char *warn_for, |
|
|
451 int warn = 0) |
|
|
452 { |
|
|
453 int nargs = fcn->max_expected_args () - 1; |
|
|
454 int e_nargs = expected_nargin - 1; |
|
|
455 if (nargs != e_nargs) |
|
|
456 { |
|
|
457 if (warn) |
|
|
458 message (warn_for, "expecting function to take %d argument%c", |
|
|
459 e_nargs, s_plural (e_nargs)); |
|
|
460 return 0; |
|
|
461 } |
|
|
462 return 1; |
|
|
463 } |
|
|
464 |
|
|
465 char ** |
|
|
466 make_name_list (void) |
|
|
467 { |
|
|
468 int key_len = 0; |
|
|
469 int glb_len = 0; |
|
|
470 int top_len = 0; |
|
|
471 int lcl_len = 0; |
|
|
472 int mfl_len = 0; |
|
|
473 |
|
|
474 char **key = (char **) NULL; |
|
|
475 char **glb = (char **) NULL; |
|
|
476 char **top = (char **) NULL; |
|
|
477 char **lcl = (char **) NULL; |
|
|
478 char **mfl = (char **) NULL; |
|
|
479 |
|
|
480 key = names (keyword_help (), key_len); |
|
|
481 glb = global_sym_tab->list (glb_len); |
|
|
482 top = top_level_sym_tab->list (top_len); |
|
|
483 if (top_level_sym_tab != curr_sym_tab) |
|
|
484 lcl = curr_sym_tab->list (lcl_len); |
|
|
485 mfl = get_m_file_names (mfl_len, 1); |
|
|
486 |
|
|
487 int total_len = key_len + glb_len + top_len + lcl_len + mfl_len; |
|
|
488 |
|
|
489 char **list = new char * [total_len+1]; |
|
|
490 |
|
|
491 int j = 0; |
|
|
492 int i = 0; |
|
|
493 for (i = 0; i < key_len; i++) |
|
|
494 list[j++] = key[i]; |
|
|
495 |
|
|
496 for (i = 0; i < glb_len; i++) |
|
|
497 list[j++] = glb[i]; |
|
|
498 |
|
|
499 for (i = 0; i < top_len; i++) |
|
|
500 list[j++] = top[i]; |
|
|
501 |
|
|
502 for (i = 0; i < lcl_len; i++) |
|
|
503 list[j++] = lcl[i]; |
|
|
504 |
|
|
505 for (i = 0; i < mfl_len; i++) |
|
|
506 list[j++] = mfl[i]; |
|
|
507 |
|
|
508 list[j] = (char *) NULL; |
|
|
509 |
|
|
510 delete [] key; |
|
|
511 delete [] glb; |
|
|
512 delete [] top; |
|
|
513 delete [] lcl; |
|
|
514 delete [] mfl; |
|
|
515 |
|
|
516 return list; |
|
|
517 } |
|
|
518 |
|
|
519 /* |
|
|
520 ;;; Local Variables: *** |
|
|
521 ;;; mode: C++ *** |
|
|
522 ;;; page-delimiter: "^/\\*" *** |
|
|
523 ;;; End: *** |
|
|
524 */ |
