Mercurial > octave-nkf
annotate src/parse.y @ 7749:14e05160b99f
reference counting for functions loaded from shared libraries
| author | John W. Eaton <jwe@octave.org> |
|---|---|
| date | Thu, 01 May 2008 17:25:56 -0400 |
| parents | a059b5679fbb |
| children | 5c6c6f4803c8 |
| rev | line source |
|---|---|
| 1829 | 1 /* |
| 1 | 2 |
| 7017 | 3 Copyright (C) 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, |
| 7351 | 4 2002, 2003, 2004, 2005, 2006, 2007, 2008 John W. Eaton |
| 1 | 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 | |
| 7016 | 10 Free Software Foundation; either version 3 of the License, or (at your |
| 11 option) any later version. | |
| 1 | 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 | |
| 7016 | 19 along with Octave; see the file COPYING. If not, see |
| 20 <http://www.gnu.org/licenses/>. | |
| 1 | 21 |
| 22 */ | |
| 23 | |
| 24 // Parser for Octave. | |
| 25 | |
| 767 | 26 // C decarations. |
| 27 | |
| 1 | 28 %{ |
| 29 #define YYDEBUG 1 | |
| 30 | |
| 240 | 31 #ifdef HAVE_CONFIG_H |
| 1229 | 32 #include <config.h> |
| 240 | 33 #endif |
| 34 | |
| 3178 | 35 #include <cassert> |
| 3156 | 36 #include <cstdio> |
| 37 | |
| 2427 | 38 #ifdef YYBYACC |
| 39 #include <cstdlib> | |
| 40 #endif | |
| 41 | |
| 5484 | 42 #include <map> |
| 5765 | 43 #include <sstream> |
| 5484 | 44 |
| 3928 | 45 #include "Cell.h" |
| 1 | 46 #include "Matrix.h" |
| 3021 | 47 #include "cmd-edit.h" |
| 48 #include "cmd-hist.h" | |
| 49 #include "file-ops.h" | |
| 50 #include "file-stat.h" | |
| 4243 | 51 #include "oct-env.h" |
| 3712 | 52 #include "oct-time.h" |
| 4171 | 53 #include "quit.h" |
| 1 | 54 |
| 3665 | 55 #include "comment-list.h" |
| 4243 | 56 #include "defaults.h" |
| 2166 | 57 #include "defun.h" |
| 4243 | 58 #include "dirfns.h" |
| 3021 | 59 #include "dynamic-ld.h" |
| 1351 | 60 #include "error.h" |
| 61 #include "input.h" | |
| 62 #include "lex.h" | |
| 5832 | 63 #include "load-path.h" |
| 1743 | 64 #include "oct-hist.h" |
| 5626 | 65 #include "oct-map.h" |
| 4935 | 66 #include "ov-fcn-handle.h" |
| 2970 | 67 #include "ov-usr-fcn.h" |
| 1670 | 68 #include "toplev.h" |
| 1351 | 69 #include "pager.h" |
| 70 #include "parse.h" | |
| 2987 | 71 #include "pt-all.h" |
| 1351 | 72 #include "symtab.h" |
| 73 #include "token.h" | |
| 3021 | 74 #include "unwind-prot.h" |
| 1 | 75 #include "utils.h" |
| 1351 | 76 #include "variables.h" |
| 1 | 77 |
| 78 // The current input line number. | |
| 79 int input_line_number = 0; | |
| 80 | |
| 81 // The column of the current token. | |
| 143 | 82 int current_input_column = 1; |
| 1 | 83 |
| 338 | 84 // Buffer for help text snagged from function files. |
| 4426 | 85 std::stack<std::string> help_buf; |
| 1 | 86 |
| 3665 | 87 // Buffer for comments appearing before a function statement. |
| 88 static std::string fcn_comment_header; | |
| 89 | |
| 3021 | 90 // TRUE means we are using readline. |
| 91 // (--no-line-editing) | |
| 92 bool line_editing = true; | |
| 93 | |
| 94 // TRUE means we printed messages about reading startup files. | |
| 95 bool reading_startup_message_printed = false; | |
| 96 | |
| 97 // TRUE means input is coming from startup file. | |
| 98 bool input_from_startup_file = false; | |
| 99 | |
| 3489 | 100 // TRUE means that we are in the process of evaluating a function |
| 101 // body. The parser might be called in that case if we are looking at | |
| 102 // an eval() statement. | |
| 103 bool evaluating_function_body = false; | |
| 104 | |
| 4238 | 105 // Keep a count of how many END tokens we expect. |
| 106 int end_tokens_expected = 0; | |
| 107 | |
| 3903 | 108 // Keep track of symbol table information when parsing functions. |
| 7336 | 109 std::stack<symbol_table::scope_id> symtab_context; |
| 4238 | 110 |
| 111 // Name of parent function when parsing function files that might | |
| 112 // contain nested functions. | |
| 113 std::string parent_function_name; | |
| 3903 | 114 |
| 7336 | 115 // Name of the current class when we are parsing class methods or |
| 116 // constructors. | |
| 117 std::string current_class_name; | |
| 118 | |
| 5484 | 119 // TRUE means we are in the process of autoloading a function. |
| 120 static bool autoloading = false; | |
| 121 | |
| 6323 | 122 // TRUE means the current function file was found in a relative path |
| 123 // element. | |
| 124 static bool fcn_file_from_relative_lookup = false; | |
| 125 | |
| 7336 | 126 // If nonzero, this is a pointer to the function we just finished |
| 127 // parsing. | |
| 128 static octave_function *curr_fcn_ptr = 0; | |
| 129 | |
| 5484 | 130 // List of autoloads (function -> file mapping). |
| 131 static std::map<std::string, std::string> autoload_map; | |
| 132 | |
| 496 | 133 // Forward declarations for some functions defined at the bottom of |
| 134 // the file. | |
| 135 | |
| 136 // Generic error messages. | |
| 2970 | 137 static void |
| 138 yyerror (const char *s); | |
| 1 | 139 |
| 578 | 140 // Error mesages for mismatched end tokens. |
| 2970 | 141 static void |
| 142 end_error (const char *type, token::end_tok_type ettype, int l, int c); | |
| 1 | 143 |
| 578 | 144 // Check to see that end tokens are properly matched. |
| 2970 | 145 static bool |
| 146 end_token_ok (token *tok, token::end_tok_type expected); | |
| 496 | 147 |
| 148 // Maybe print a warning if an assignment expression is used as the | |
| 149 // test in a logical expression. | |
| 2970 | 150 static void |
| 151 maybe_warn_assign_as_truth_value (tree_expression *expr); | |
| 1 | 152 |
| 2764 | 153 // Maybe print a warning about switch labels that aren't constants. |
| 2970 | 154 static void |
| 155 maybe_warn_variable_switch_label (tree_expression *expr); | |
| 2764 | 156 |
| 1623 | 157 // Finish building a range. |
| 2970 | 158 static tree_expression * |
| 159 finish_colon_expression (tree_colon_expression *e); | |
| 1623 | 160 |
| 1607 | 161 // Build a constant. |
| 2970 | 162 static tree_constant * |
| 163 make_constant (int op, token *tok_val); | |
| 1607 | 164 |
| 4342 | 165 // Build a function handle. |
| 166 static tree_fcn_handle * | |
| 167 make_fcn_handle (token *tok_val); | |
| 168 | |
| 4935 | 169 // Build an anonymous function handle. |
| 5861 | 170 static tree_anon_fcn_handle * |
| 4935 | 171 make_anon_fcn_handle (tree_parameter_list *param_list, tree_statement *stmt); |
| 172 | |
| 578 | 173 // Build a binary expression. |
| 2970 | 174 static tree_expression * |
| 175 make_binary_op (int op, tree_expression *op1, token *tok_val, | |
| 176 tree_expression *op2); | |
| 578 | 177 |
| 2375 | 178 // Build a boolean expression. |
| 2970 | 179 static tree_expression * |
| 180 make_boolean_op (int op, tree_expression *op1, token *tok_val, | |
| 181 tree_expression *op2); | |
| 2375 | 182 |
| 578 | 183 // Build a prefix expression. |
| 2970 | 184 static tree_expression * |
| 185 make_prefix_op (int op, tree_expression *op1, token *tok_val); | |
| 578 | 186 |
| 187 // Build a postfix expression. | |
| 2970 | 188 static tree_expression * |
| 189 make_postfix_op (int op, tree_expression *op1, token *tok_val); | |
| 578 | 190 |
| 1623 | 191 // Build an unwind-protect command. |
| 2970 | 192 static tree_command * |
| 193 make_unwind_command (token *unwind_tok, tree_statement_list *body, | |
| 3665 | 194 tree_statement_list *cleanup, token *end_tok, |
| 195 octave_comment_list *lc, octave_comment_list *mc); | |
| 1623 | 196 |
| 197 // Build a try-catch command. | |
| 2970 | 198 static tree_command * |
| 199 make_try_command (token *try_tok, tree_statement_list *body, | |
| 3665 | 200 tree_statement_list *cleanup, token *end_tok, |
| 201 octave_comment_list *lc, octave_comment_list *mc); | |
| 1623 | 202 |
| 203 // Build a while command. | |
| 2970 | 204 static tree_command * |
| 205 make_while_command (token *while_tok, tree_expression *expr, | |
| 3665 | 206 tree_statement_list *body, token *end_tok, |
| 207 octave_comment_list *lc); | |
| 1623 | 208 |
| 3484 | 209 // Build a do-until command. |
| 210 static tree_command * | |
| 211 make_do_until_command (token *do_tok, tree_statement_list *body, | |
| 3665 | 212 tree_expression *expr, octave_comment_list *lc); |
| 3484 | 213 |
| 1623 | 214 // Build a for command. |
| 2970 | 215 static tree_command * |
| 216 make_for_command (token *for_tok, tree_argument_list *lhs, | |
| 217 tree_expression *expr, tree_statement_list *body, | |
| 3665 | 218 token *end_tok, octave_comment_list *lc); |
| 1623 | 219 |
| 4207 | 220 // Build a break command. |
| 221 static tree_command * | |
| 222 make_break_command (token *break_tok); | |
| 223 | |
| 224 // Build a continue command. | |
| 225 static tree_command * | |
| 226 make_continue_command (token *continue_tok); | |
| 227 | |
| 228 // Build a return command. | |
| 229 static tree_command * | |
| 230 make_return_command (token *return_tok); | |
| 1623 | 231 |
| 232 // Start an if command. | |
| 2970 | 233 static tree_if_command_list * |
| 234 start_if_command (tree_expression *expr, tree_statement_list *list); | |
| 1623 | 235 |
| 236 // Finish an if command. | |
| 2970 | 237 static tree_if_command * |
| 3665 | 238 finish_if_command (token *if_tok, tree_if_command_list *list, |
| 239 token *end_tok, octave_comment_list *lc); | |
| 1623 | 240 |
| 241 // Build an elseif clause. | |
| 2970 | 242 static tree_if_clause * |
| 3665 | 243 make_elseif_clause (tree_expression *expr, tree_statement_list *list, |
| 244 octave_comment_list *lc); | |
| 1623 | 245 |
| 2764 | 246 // Finish a switch command. |
| 2970 | 247 static tree_switch_command * |
| 248 finish_switch_command (token *switch_tok, tree_expression *expr, | |
| 3665 | 249 tree_switch_case_list *list, token *end_tok, |
| 250 octave_comment_list *lc); | |
| 2764 | 251 |
| 252 // Build a switch case. | |
| 2970 | 253 static tree_switch_case * |
| 3665 | 254 make_switch_case (tree_expression *expr, tree_statement_list *list, |
| 255 octave_comment_list *lc); | |
| 2764 | 256 |
| 1623 | 257 // Build an assignment to a variable. |
| 2970 | 258 static tree_expression * |
| 259 make_assign_op (int op, tree_argument_list *lhs, token *eq_tok, | |
| 260 tree_expression *rhs); | |
| 1623 | 261 |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
262 // Define a script. |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
263 static void |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
264 make_script (tree_statement_list *cmds); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
265 |
| 1623 | 266 // Begin defining a function. |
| 2970 | 267 static octave_user_function * |
| 268 start_function (tree_parameter_list *param_list, tree_statement_list *body); | |
| 1623 | 269 |
| 270 // Do most of the work for defining a function. | |
| 2970 | 271 static octave_user_function * |
| 4872 | 272 frob_function (const std::string& fname, octave_user_function *fcn); |
| 1623 | 273 |
| 274 // Finish defining a function. | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
275 static tree_function_def * |
| 3665 | 276 finish_function (tree_parameter_list *ret_list, |
| 277 octave_user_function *fcn, octave_comment_list *lc); | |
| 751 | 278 |
| 2883 | 279 // Reset state after parsing function. |
| 2970 | 280 static void |
| 281 recover_from_parsing_function (void); | |
| 2883 | 282 |
| 751 | 283 // Make an index expression. |
| 2970 | 284 static tree_index_expression * |
| 3933 | 285 make_index_expression (tree_expression *expr, |
| 286 tree_argument_list *args, char type); | |
| 2970 | 287 |
| 288 // Make an indirect reference expression. | |
| 3930 | 289 static tree_index_expression * |
| 3523 | 290 make_indirect_ref (tree_expression *expr, const std::string&); |
| 666 | 291 |
| 4131 | 292 // Make an indirect reference expression with dynamic field name. |
| 293 static tree_index_expression * | |
| 294 make_indirect_ref (tree_expression *expr, tree_expression *field); | |
| 295 | |
| 2846 | 296 // Make a declaration command. |
| 2970 | 297 static tree_decl_command * |
| 298 make_decl_command (int tok, token *tok_val, tree_decl_init_list *lst); | |
| 2846 | 299 |
| 1623 | 300 // Finish building a matrix list. |
| 2970 | 301 static tree_expression * |
| 302 finish_matrix (tree_matrix *m); | |
| 1623 | 303 |
| 3351 | 304 // Finish building a cell list. |
| 305 static tree_expression * | |
| 306 finish_cell (tree_cell *c); | |
| 307 | |
| 1511 | 308 // Maybe print a warning. Duh. |
| 2970 | 309 static void |
| 310 maybe_warn_missing_semi (tree_statement_list *); | |
| 1511 | 311 |
| 2525 | 312 // Set the print flag for a statement based on the separator type. |
| 2970 | 313 static void |
| 314 set_stmt_print_flag (tree_statement_list *, char, bool); | |
| 2525 | 315 |
| 1 | 316 #define ABORT_PARSE \ |
| 317 do \ | |
| 318 { \ | |
| 522 | 319 global_command = 0; \ |
| 1 | 320 yyerrok; \ |
| 4238 | 321 if (! symtab_context.empty ()) \ |
| 3929 | 322 { \ |
| 7336 | 323 symbol_table::set_scope (symtab_context.top ()); \ |
| 4238 | 324 symtab_context.pop (); \ |
| 3929 | 325 } \ |
| 2865 | 326 if (interactive || forced_interactive) \ |
| 1 | 327 YYACCEPT; \ |
| 328 else \ | |
| 329 YYABORT; \ | |
| 330 } \ | |
| 331 while (0) | |
| 332 | |
| 333 %} | |
| 334 | |
| 666 | 335 // Bison declarations. |
| 336 | |
| 4813 | 337 // Don't add spaces around the = here; it causes some versions of |
| 338 // bison to fail to properly recognize the directive. | |
| 339 | |
| 340 %name-prefix="octave_" | |
| 4753 | 341 |
| 1 | 342 %union |
| 343 { | |
| 2891 | 344 // The type of the basic tokens returned by the lexer. |
| 143 | 345 token *tok_val; |
| 346 | |
| 3665 | 347 // Comment strings that we need to deal with mid-rule. |
| 348 octave_comment_list *comment_type; | |
| 349 | |
| 2891 | 350 // Types for the nonterminals we generate. |
| 2525 | 351 char sep_type; |
| 1 | 352 tree *tree_type; |
| 1829 | 353 tree_matrix *tree_matrix_type; |
| 3351 | 354 tree_cell *tree_cell_type; |
| 496 | 355 tree_expression *tree_expression_type; |
| 2375 | 356 tree_constant *tree_constant_type; |
| 4342 | 357 tree_fcn_handle *tree_fcn_handle_type; |
| 5861 | 358 tree_anon_fcn_handle *tree_anon_fcn_handle_type; |
| 1 | 359 tree_identifier *tree_identifier_type; |
| 360 tree_index_expression *tree_index_expression_type; | |
| 361 tree_colon_expression *tree_colon_expression_type; | |
| 362 tree_argument_list *tree_argument_list_type; | |
| 363 tree_parameter_list *tree_parameter_list_type; | |
| 364 tree_command *tree_command_type; | |
| 365 tree_if_command *tree_if_command_type; | |
| 578 | 366 tree_if_clause *tree_if_clause_type; |
| 367 tree_if_command_list *tree_if_command_list_type; | |
| 2764 | 368 tree_switch_command *tree_switch_command_type; |
| 369 tree_switch_case *tree_switch_case_type; | |
| 370 tree_switch_case_list *tree_switch_case_list_type; | |
| 2846 | 371 tree_decl_elt *tree_decl_elt_type; |
| 372 tree_decl_init_list *tree_decl_init_list_type; | |
| 373 tree_decl_command *tree_decl_command_type; | |
| 578 | 374 tree_statement *tree_statement_type; |
| 375 tree_statement_list *tree_statement_list_type; | |
| 2891 | 376 octave_user_function *octave_user_function_type; |
| 1 | 377 } |
| 378 | |
| 143 | 379 // Tokens with line and column information. |
| 380 %token <tok_val> '=' ':' '-' '+' '*' '/' | |
| 4018 | 381 %token <tok_val> ADD_EQ SUB_EQ MUL_EQ DIV_EQ LEFTDIV_EQ POW_EQ |
| 382 %token <tok_val> EMUL_EQ EDIV_EQ ELEFTDIV_EQ EPOW_EQ AND_EQ OR_EQ | |
| 2899 | 383 %token <tok_val> LSHIFT_EQ RSHIFT_EQ LSHIFT RSHIFT |
| 428 | 384 %token <tok_val> EXPR_AND_AND EXPR_OR_OR |
| 143 | 385 %token <tok_val> EXPR_AND EXPR_OR EXPR_NOT |
| 386 %token <tok_val> EXPR_LT EXPR_LE EXPR_EQ EXPR_NE EXPR_GE EXPR_GT | |
| 1276 | 387 %token <tok_val> LEFTDIV EMUL EDIV ELEFTDIV EPLUS EMINUS |
| 388 %token <tok_val> QUOTE TRANSPOSE | |
| 143 | 389 %token <tok_val> PLUS_PLUS MINUS_MINUS POW EPOW |
| 390 %token <tok_val> NUM IMAG_NUM | |
| 2970 | 391 %token <tok_val> STRUCT_ELT |
| 2883 | 392 %token <tok_val> NAME |
| 143 | 393 %token <tok_val> END |
| 5279 | 394 %token <tok_val> DQ_STRING SQ_STRING |
| 3484 | 395 %token <tok_val> FOR WHILE DO UNTIL |
| 1491 | 396 %token <tok_val> IF ELSEIF ELSE |
| 2764 | 397 %token <tok_val> SWITCH CASE OTHERWISE |
| 1491 | 398 %token <tok_val> BREAK CONTINUE FUNC_RET |
| 924 | 399 %token <tok_val> UNWIND CLEANUP |
| 1489 | 400 %token <tok_val> TRY CATCH |
| 2846 | 401 %token <tok_val> GLOBAL STATIC |
| 4342 | 402 %token <tok_val> FCN_HANDLE |
| 1 | 403 |
| 143 | 404 // Other tokens. |
| 2970 | 405 %token END_OF_INPUT LEXICAL_ERROR |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
406 %token FCN SCRIPT |
|
7587
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
407 // %token VARARGIN VARARGOUT |
| 5296 | 408 %token CLOSE_BRACE |
| 1 | 409 |
| 143 | 410 // Nonterminals we construct. |
| 3665 | 411 %type <comment_type> stash_comment function_beg |
| 2525 | 412 %type <sep_type> sep_no_nl opt_sep_no_nl sep opt_sep |
| 578 | 413 %type <tree_type> input |
| 5861 | 414 %type <tree_constant_type> string constant magic_colon |
| 415 %type <tree_anon_fcn_handle_type> anon_fcn_handle | |
| 4342 | 416 %type <tree_fcn_handle_type> fcn_handle |
| 3351 | 417 %type <tree_matrix_type> matrix_rows matrix_rows1 |
| 418 %type <tree_cell_type> cell_rows cell_rows1 | |
| 5102 | 419 %type <tree_expression_type> matrix cell |
| 4207 | 420 %type <tree_expression_type> primary_expr postfix_expr prefix_expr binary_expr |
| 421 %type <tree_expression_type> simple_expr colon_expr assign_expr expression | |
| 4238 | 422 %type <tree_identifier_type> identifier fcn_name |
| 7336 | 423 %type <octave_user_function_type> function1 function2 |
| 2970 | 424 %type <tree_index_expression_type> word_list_cmd |
| 425 %type <tree_colon_expression_type> colon_expr1 | |
| 3351 | 426 %type <tree_argument_list_type> arg_list word_list assign_lhs |
| 427 %type <tree_argument_list_type> cell_or_matrix_row | |
| 4935 | 428 %type <tree_parameter_list_type> param_list param_list1 param_list2 |
| 723 | 429 %type <tree_parameter_list_type> return_list return_list1 |
| 2970 | 430 %type <tree_command_type> command select_command loop_command |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
431 %type <tree_command_type> jump_command except_command function script |
| 578 | 432 %type <tree_if_command_type> if_command |
| 433 %type <tree_if_clause_type> elseif_clause else_clause | |
| 434 %type <tree_if_command_list_type> if_cmd_list1 if_cmd_list | |
| 2764 | 435 %type <tree_switch_command_type> switch_command |
| 436 %type <tree_switch_case_type> switch_case default_case | |
| 437 %type <tree_switch_case_list_type> case_list1 case_list | |
| 2846 | 438 %type <tree_decl_elt_type> decl2 |
| 439 %type <tree_decl_init_list_type> decl1 | |
| 440 %type <tree_decl_command_type> declaration | |
| 578 | 441 %type <tree_statement_type> statement |
| 627 | 442 %type <tree_statement_list_type> simple_list simple_list1 list list1 |
| 7336 | 443 %type <tree_statement_list_type> opt_list input1 |
| 1 | 444 |
| 143 | 445 // Precedence and associativity. |
| 1 | 446 %left ';' ',' '\n' |
| 4018 | 447 %right '=' ADD_EQ SUB_EQ MUL_EQ DIV_EQ LEFTDIV_EQ POW_EQ EMUL_EQ EDIV_EQ ELEFTDIV_EQ EPOW_EQ OR_EQ AND_EQ LSHIFT_EQ RSHIFT_EQ |
| 4023 | 448 %left EXPR_OR_OR |
| 449 %left EXPR_AND_AND | |
| 450 %left EXPR_OR | |
| 451 %left EXPR_AND | |
| 1 | 452 %left EXPR_LT EXPR_LE EXPR_EQ EXPR_NE EXPR_GE EXPR_GT |
| 2899 | 453 %left LSHIFT RSHIFT |
| 1 | 454 %left ':' |
| 1276 | 455 %left '-' '+' EPLUS EMINUS |
| 1 | 456 %left '*' '/' LEFTDIV EMUL EDIV ELEFTDIV |
| 457 %left UNARY PLUS_PLUS MINUS_MINUS EXPR_NOT | |
| 5667 | 458 %left POW EPOW QUOTE TRANSPOSE |
| 3351 | 459 %left '(' '.' '{' |
| 1 | 460 |
| 143 | 461 // Where to start. |
| 1 | 462 %start input |
| 463 | |
| 464 %% | |
| 465 | |
| 2970 | 466 // ============================== |
| 467 // Statements and statement lists | |
| 468 // ============================== | |
| 469 | |
| 627 | 470 input : input1 |
| 1 | 471 { |
| 627 | 472 global_command = $1; |
| 1 | 473 promptflag = 1; |
| 474 YYACCEPT; | |
| 475 } | |
| 627 | 476 | simple_list parse_error |
| 1091 | 477 { ABORT_PARSE; } |
| 627 | 478 | parse_error |
| 1091 | 479 { ABORT_PARSE; } |
| 627 | 480 ; |
| 481 | |
| 482 input1 : '\n' | |
| 483 { $$ = 0; } | |
| 3883 | 484 | END_OF_INPUT |
| 485 { | |
| 486 parser_end_of_input = 1; | |
| 487 $$ = 0; | |
| 488 } | |
| 327 | 489 | simple_list |
| 627 | 490 { $$ = $1; } |
| 1 | 491 | simple_list '\n' |
| 627 | 492 { $$ = $1; } |
| 1 | 493 | simple_list END_OF_INPUT |
| 627 | 494 { $$ = $1; } |
| 495 ; | |
| 496 | |
| 2525 | 497 simple_list : simple_list1 opt_sep_no_nl |
| 1 | 498 { |
| 2525 | 499 set_stmt_print_flag ($1, $2, false); |
| 1511 | 500 $$ = $1; |
| 1 | 501 } |
| 502 ; | |
| 503 | |
| 578 | 504 simple_list1 : statement |
| 505 { $$ = new tree_statement_list ($1); } | |
| 2525 | 506 | simple_list1 sep_no_nl statement |
| 1 | 507 { |
| 2525 | 508 set_stmt_print_flag ($1, $2, false); |
| 578 | 509 $1->append ($3); |
| 1511 | 510 $$ = $1; |
| 1 | 511 } |
| 512 ; | |
| 513 | |
| 514 opt_list : // empty | |
| 578 | 515 { $$ = new tree_statement_list (); } |
| 1 | 516 | list |
| 517 { $$ = $1; } | |
| 496 | 518 ; |
| 1 | 519 |
| 2525 | 520 list : list1 opt_sep |
| 1511 | 521 { |
| 2525 | 522 set_stmt_print_flag ($1, $2, true); |
| 1829 | 523 $$ = $1; |
| 1 | 524 } |
| 525 ; | |
| 526 | |
| 578 | 527 list1 : statement |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
528 { $$ = new tree_statement_list ($1); } |
| 2525 | 529 | list1 sep statement |
| 1511 | 530 { |
| 2525 | 531 set_stmt_print_flag ($1, $2, true); |
| 578 | 532 $1->append ($3); |
| 1511 | 533 $$ = $1; |
| 1 | 534 } |
| 535 ; | |
| 536 | |
| 2970 | 537 statement : expression |
| 3665 | 538 { |
| 539 octave_comment_list *comment | |
| 540 = octave_comment_buffer::get_comment (); | |
| 541 | |
| 542 $$ = new tree_statement ($1, comment); | |
| 543 } | |
| 2970 | 544 | command |
| 3665 | 545 { |
| 546 octave_comment_list *comment | |
| 547 = octave_comment_buffer::get_comment (); | |
| 548 | |
| 549 $$ = new tree_statement ($1, comment); | |
| 550 } | |
| 1 | 551 ; |
| 552 | |
| 2970 | 553 // =========== |
| 554 // Expressions | |
| 555 // =========== | |
| 556 | |
| 557 identifier : NAME | |
| 558 { | |
| 7336 | 559 symbol_table::symbol_record *sr = $1->sym_rec (); |
| 560 $$ = new tree_identifier (*sr, $1->line (), $1->column ()); | |
| 2970 | 561 } |
| 562 ; | |
| 563 | |
| 5279 | 564 string : DQ_STRING |
| 565 { $$ = make_constant (DQ_STRING, $1); } | |
| 566 | SQ_STRING | |
| 567 { $$ = make_constant (SQ_STRING, $1); } | |
| 568 ; | |
| 569 | |
| 2970 | 570 constant : NUM |
| 571 { $$ = make_constant (NUM, $1); } | |
| 572 | IMAG_NUM | |
| 573 { $$ = make_constant (IMAG_NUM, $1); } | |
| 5279 | 574 | string |
| 575 { $$ = $1; } | |
| 2970 | 576 ; |
| 577 | |
| 578 matrix : '[' ']' | |
| 5615 | 579 { |
| 580 $$ = new tree_constant (octave_value (Matrix ())); | |
| 581 lexer_flags.looking_at_matrix_or_assign_lhs = false; | |
| 582 } | |
| 2970 | 583 | '[' ';' ']' |
| 3203 | 584 { |
| 5615 | 585 $$ = new tree_constant (octave_value (Matrix ())); |
| 586 lexer_flags.looking_at_matrix_or_assign_lhs = false; | |
| 587 } | |
| 588 | '[' matrix_rows ']' | |
| 589 { | |
| 590 $$ = finish_matrix ($2); | |
| 3203 | 591 lexer_flags.looking_at_matrix_or_assign_lhs = false; |
| 592 } | |
| 2970 | 593 ; |
| 594 | |
| 3351 | 595 matrix_rows : matrix_rows1 |
| 2970 | 596 { $$ = $1; } |
| 3351 | 597 | matrix_rows1 ';' // Ignore trailing semicolon. |
| 2970 | 598 { $$ = $1; } |
| 599 ; | |
| 600 | |
| 3351 | 601 matrix_rows1 : cell_or_matrix_row |
| 2970 | 602 { $$ = new tree_matrix ($1); } |
| 3351 | 603 | matrix_rows1 ';' cell_or_matrix_row |
| 2970 | 604 { |
| 605 $1->append ($3); | |
| 606 $$ = $1; | |
| 607 } | |
| 608 ; | |
| 609 | |
| 3351 | 610 cell : '{' '}' |
| 3928 | 611 { $$ = new tree_constant (octave_value (Cell ())); } |
| 3351 | 612 | '{' ';' '}' |
| 3928 | 613 { $$ = new tree_constant (octave_value (Cell ())); } |
| 3351 | 614 | '{' cell_rows '}' |
| 615 { $$ = finish_cell ($2); } | |
| 616 ; | |
| 617 | |
| 618 cell_rows : cell_rows1 | |
| 619 { $$ = $1; } | |
| 620 | cell_rows1 ';' // Ignore trailing semicolon. | |
| 621 { $$ = $1; } | |
| 622 ; | |
| 623 | |
| 624 cell_rows1 : cell_or_matrix_row | |
| 625 { $$ = new tree_cell ($1); } | |
| 626 | cell_rows1 ';' cell_or_matrix_row | |
| 627 { | |
| 628 $1->append ($3); | |
| 629 $$ = $1; | |
| 630 } | |
| 631 ; | |
| 632 | |
| 633 cell_or_matrix_row | |
| 634 : arg_list | |
| 2970 | 635 { $$ = $1; } |
| 636 | arg_list ',' // Ignore trailing comma. | |
| 637 { $$ = $1; } | |
| 638 ; | |
| 639 | |
| 4930 | 640 fcn_handle : '@' FCN_HANDLE |
| 641 { | |
| 642 $$ = make_fcn_handle ($2); | |
| 643 lexer_flags.looking_at_function_handle--; | |
| 644 } | |
| 645 ; | |
| 646 | |
| 4935 | 647 anon_fcn_handle : '@' param_list statement |
| 648 { $$ = make_anon_fcn_handle ($2, $3); } | |
| 4342 | 649 ; |
| 650 | |
| 2970 | 651 primary_expr : identifier |
| 652 { $$ = $1; } | |
| 653 | constant | |
| 654 { $$ = $1; } | |
| 4342 | 655 | fcn_handle |
| 656 { $$ = $1; } | |
| 2970 | 657 | matrix |
| 658 { $$ = $1; } | |
| 3351 | 659 | cell |
| 660 { $$ = $1; } | |
| 2970 | 661 | '(' expression ')' |
| 662 { $$ = $2->mark_in_parens (); } | |
| 663 ; | |
| 664 | |
| 665 magic_colon : ':' | |
| 666 { | |
| 667 octave_value tmp (octave_value::magic_colon_t); | |
| 668 $$ = new tree_constant (tmp); | |
| 669 } | |
| 670 ; | |
| 671 | |
| 672 arg_list : expression | |
| 673 { $$ = new tree_argument_list ($1); } | |
| 674 | magic_colon | |
| 675 { $$ = new tree_argument_list ($1); } | |
| 676 | arg_list ',' magic_colon | |
| 677 { | |
| 678 $1->append ($3); | |
| 679 $$ = $1; | |
| 680 } | |
| 681 | arg_list ',' expression | |
| 682 { | |
| 683 $1->append ($3); | |
| 684 $$ = $1; | |
| 685 } | |
| 686 ; | |
| 687 | |
| 4131 | 688 indirect_ref_op : '.' |
| 2970 | 689 { lexer_flags.looking_at_indirect_ref = true; } |
| 690 ; | |
| 691 | |
| 4615 | 692 // Two more rules for lexical feedback. To avoid reduce/reduce |
| 693 // conflicts, We use begin_obj_idx after every postfix_expr on the RHS | |
| 694 // of a rule, then cancel that as soon as possible for cases when we | |
| 695 // are not actually parsing an index expression. Since all of those | |
| 696 // cases are simple tokens that don't involve examining the value of | |
| 697 // lexer_flags.looking_at_object_index, I think we should be OK. | |
| 698 | |
| 4234 | 699 begin_obj_idx : // empty |
| 4237 | 700 { lexer_flags.looking_at_object_index++; } |
| 4234 | 701 ; |
| 702 | |
| 4615 | 703 cancel_obj_idx : // empty |
| 704 { lexer_flags.looking_at_object_index--; } | |
| 705 ; | |
| 706 | |
| 2970 | 707 postfix_expr : primary_expr |
| 708 { $$ = $1; } | |
| 4613 | 709 | postfix_expr begin_obj_idx '(' ')' |
| 4236 | 710 { |
| 711 $$ = make_index_expression ($1, 0, '('); | |
| 4237 | 712 lexer_flags.looking_at_object_index--; |
| 4236 | 713 } |
| 4613 | 714 | postfix_expr begin_obj_idx '(' arg_list ')' |
| 4234 | 715 { |
| 716 $$ = make_index_expression ($1, $4, '('); | |
| 4237 | 717 lexer_flags.looking_at_object_index--; |
| 4234 | 718 } |
| 4613 | 719 | postfix_expr begin_obj_idx '{' '}' |
| 4236 | 720 { |
| 721 $$ = make_index_expression ($1, 0, '{'); | |
| 4237 | 722 lexer_flags.looking_at_object_index--; |
| 4236 | 723 } |
| 4613 | 724 | postfix_expr begin_obj_idx '{' arg_list '}' |
| 4234 | 725 { |
| 726 $$ = make_index_expression ($1, $4, '{'); | |
| 4237 | 727 lexer_flags.looking_at_object_index--; |
| 4234 | 728 } |
| 4615 | 729 | postfix_expr begin_obj_idx PLUS_PLUS cancel_obj_idx |
| 730 { $$ = make_postfix_op (PLUS_PLUS, $1, $3); } | |
| 731 | postfix_expr begin_obj_idx MINUS_MINUS cancel_obj_idx | |
| 732 { $$ = make_postfix_op (MINUS_MINUS, $1, $3); } | |
| 733 | postfix_expr begin_obj_idx QUOTE cancel_obj_idx | |
| 734 { $$ = make_postfix_op (QUOTE, $1, $3); } | |
| 735 | postfix_expr begin_obj_idx TRANSPOSE cancel_obj_idx | |
| 736 { $$ = make_postfix_op (TRANSPOSE, $1, $3); } | |
| 737 | postfix_expr begin_obj_idx indirect_ref_op cancel_obj_idx STRUCT_ELT | |
| 738 { $$ = make_indirect_ref ($1, $5->text ()); } | |
| 739 | postfix_expr begin_obj_idx indirect_ref_op cancel_obj_idx '(' expression ')' | |
| 740 { $$ = make_indirect_ref ($1, $6); } | |
| 2970 | 741 ; |
| 742 | |
| 4615 | 743 prefix_expr : postfix_expr begin_obj_idx cancel_obj_idx |
| 2970 | 744 { $$ = $1; } |
| 3178 | 745 | binary_expr |
| 746 { $$ = $1; } | |
| 2970 | 747 | PLUS_PLUS prefix_expr %prec UNARY |
| 748 { $$ = make_prefix_op (PLUS_PLUS, $2, $1); } | |
| 749 | MINUS_MINUS prefix_expr %prec UNARY | |
| 750 { $$ = make_prefix_op (MINUS_MINUS, $2, $1); } | |
| 751 | EXPR_NOT prefix_expr %prec UNARY | |
| 752 { $$ = make_prefix_op (EXPR_NOT, $2, $1); } | |
| 753 | '+' prefix_expr %prec UNARY | |
| 4965 | 754 { $$ = make_prefix_op ('+', $2, $1); } |
| 2970 | 755 | '-' prefix_expr %prec UNARY |
| 756 { $$ = make_prefix_op ('-', $2, $1); } | |
| 757 ; | |
| 758 | |
| 3178 | 759 binary_expr : prefix_expr POW prefix_expr |
| 2970 | 760 { $$ = make_binary_op (POW, $1, $2, $3); } |
| 3178 | 761 | prefix_expr EPOW prefix_expr |
| 2970 | 762 { $$ = make_binary_op (EPOW, $1, $2, $3); } |
| 3178 | 763 | prefix_expr '+' prefix_expr |
| 2970 | 764 { $$ = make_binary_op ('+', $1, $2, $3); } |
| 3178 | 765 | prefix_expr '-' prefix_expr |
| 2970 | 766 { $$ = make_binary_op ('-', $1, $2, $3); } |
| 3178 | 767 | prefix_expr '*' prefix_expr |
| 2970 | 768 { $$ = make_binary_op ('*', $1, $2, $3); } |
| 3178 | 769 | prefix_expr '/' prefix_expr |
| 2970 | 770 { $$ = make_binary_op ('/', $1, $2, $3); } |
| 3178 | 771 | prefix_expr EPLUS prefix_expr |
| 2970 | 772 { $$ = make_binary_op ('+', $1, $2, $3); } |
| 3178 | 773 | prefix_expr EMINUS prefix_expr |
| 2970 | 774 { $$ = make_binary_op ('-', $1, $2, $3); } |
| 3178 | 775 | prefix_expr EMUL prefix_expr |
| 2970 | 776 { $$ = make_binary_op (EMUL, $1, $2, $3); } |
| 3178 | 777 | prefix_expr EDIV prefix_expr |
| 2970 | 778 { $$ = make_binary_op (EDIV, $1, $2, $3); } |
| 3178 | 779 | prefix_expr LEFTDIV prefix_expr |
| 2970 | 780 { $$ = make_binary_op (LEFTDIV, $1, $2, $3); } |
| 3178 | 781 | prefix_expr ELEFTDIV prefix_expr |
| 2970 | 782 { $$ = make_binary_op (ELEFTDIV, $1, $2, $3); } |
| 783 ; | |
| 784 | |
| 785 colon_expr : colon_expr1 | |
| 786 { $$ = finish_colon_expression ($1); } | |
| 787 ; | |
| 788 | |
| 3178 | 789 colon_expr1 : prefix_expr |
| 2970 | 790 { $$ = new tree_colon_expression ($1); } |
| 3178 | 791 | colon_expr1 ':' prefix_expr |
| 2970 | 792 { |
| 793 if (! ($$ = $1->append ($3))) | |
| 794 ABORT_PARSE; | |
| 795 } | |
| 796 ; | |
| 797 | |
| 798 simple_expr : colon_expr | |
| 799 { $$ = $1; } | |
| 800 | simple_expr LSHIFT simple_expr | |
| 801 { $$ = make_binary_op (LSHIFT, $1, $2, $3); } | |
| 802 | simple_expr RSHIFT simple_expr | |
| 803 { $$ = make_binary_op (RSHIFT, $1, $2, $3); } | |
| 804 | simple_expr EXPR_LT simple_expr | |
| 805 { $$ = make_binary_op (EXPR_LT, $1, $2, $3); } | |
| 806 | simple_expr EXPR_LE simple_expr | |
| 807 { $$ = make_binary_op (EXPR_LE, $1, $2, $3); } | |
| 808 | simple_expr EXPR_EQ simple_expr | |
| 809 { $$ = make_binary_op (EXPR_EQ, $1, $2, $3); } | |
| 810 | simple_expr EXPR_GE simple_expr | |
| 811 { $$ = make_binary_op (EXPR_GE, $1, $2, $3); } | |
| 812 | simple_expr EXPR_GT simple_expr | |
| 813 { $$ = make_binary_op (EXPR_GT, $1, $2, $3); } | |
| 814 | simple_expr EXPR_NE simple_expr | |
| 815 { $$ = make_binary_op (EXPR_NE, $1, $2, $3); } | |
| 816 | simple_expr EXPR_AND simple_expr | |
| 817 { $$ = make_binary_op (EXPR_AND, $1, $2, $3); } | |
| 818 | simple_expr EXPR_OR simple_expr | |
| 819 { $$ = make_binary_op (EXPR_OR, $1, $2, $3); } | |
| 820 | simple_expr EXPR_AND_AND simple_expr | |
| 821 { $$ = make_boolean_op (EXPR_AND_AND, $1, $2, $3); } | |
| 822 | simple_expr EXPR_OR_OR simple_expr | |
| 823 { $$ = make_boolean_op (EXPR_OR_OR, $1, $2, $3); } | |
| 824 ; | |
| 825 | |
| 826 // Arrange for the lexer to return CLOSE_BRACE for `]' by looking ahead | |
| 827 // one token for an assignment op. | |
| 828 | |
| 829 assign_lhs : simple_expr | |
| 5841 | 830 { |
| 831 $$ = new tree_argument_list ($1); | |
| 832 $$->mark_as_simple_assign_lhs (); | |
| 833 } | |
| 5615 | 834 | '[' arg_list CLOSE_BRACE |
| 3189 | 835 { |
| 5615 | 836 $$ = $2; |
| 3189 | 837 lexer_flags.looking_at_matrix_or_assign_lhs = false; |
| 838 } | |
| 2970 | 839 ; |
| 840 | |
| 841 assign_expr : assign_lhs '=' expression | |
| 842 { $$ = make_assign_op ('=', $1, $2, $3); } | |
| 843 | assign_lhs ADD_EQ expression | |
| 844 { $$ = make_assign_op (ADD_EQ, $1, $2, $3); } | |
| 845 | assign_lhs SUB_EQ expression | |
| 846 { $$ = make_assign_op (SUB_EQ, $1, $2, $3); } | |
| 847 | assign_lhs MUL_EQ expression | |
| 848 { $$ = make_assign_op (MUL_EQ, $1, $2, $3); } | |
| 849 | assign_lhs DIV_EQ expression | |
| 850 { $$ = make_assign_op (DIV_EQ, $1, $2, $3); } | |
| 3204 | 851 | assign_lhs LEFTDIV_EQ expression |
| 852 { $$ = make_assign_op (LEFTDIV_EQ, $1, $2, $3); } | |
| 4018 | 853 | assign_lhs POW_EQ expression |
| 854 { $$ = make_assign_op (POW_EQ, $1, $2, $3); } | |
| 2970 | 855 | assign_lhs LSHIFT_EQ expression |
| 856 { $$ = make_assign_op (LSHIFT_EQ, $1, $2, $3); } | |
| 857 | assign_lhs RSHIFT_EQ expression | |
| 858 { $$ = make_assign_op (RSHIFT_EQ, $1, $2, $3); } | |
| 859 | assign_lhs EMUL_EQ expression | |
| 860 { $$ = make_assign_op (EMUL_EQ, $1, $2, $3); } | |
| 861 | assign_lhs EDIV_EQ expression | |
| 862 { $$ = make_assign_op (EDIV_EQ, $1, $2, $3); } | |
| 3204 | 863 | assign_lhs ELEFTDIV_EQ expression |
| 864 { $$ = make_assign_op (ELEFTDIV_EQ, $1, $2, $3); } | |
| 4018 | 865 | assign_lhs EPOW_EQ expression |
| 866 { $$ = make_assign_op (EPOW_EQ, $1, $2, $3); } | |
| 2970 | 867 | assign_lhs AND_EQ expression |
| 868 { $$ = make_assign_op (AND_EQ, $1, $2, $3); } | |
| 869 | assign_lhs OR_EQ expression | |
| 870 { $$ = make_assign_op (OR_EQ, $1, $2, $3); } | |
| 871 ; | |
| 872 | |
| 873 word_list_cmd : identifier word_list | |
| 3933 | 874 { $$ = make_index_expression ($1, $2, '('); } |
| 2970 | 875 ; |
| 876 | |
| 5279 | 877 word_list : string |
| 878 { $$ = new tree_argument_list ($1); } | |
| 879 | word_list string | |
| 2970 | 880 { |
| 5279 | 881 $1->append ($2); |
| 2970 | 882 $$ = $1; |
| 883 } | |
| 884 ; | |
| 885 | |
| 886 expression : simple_expr | |
| 887 { $$ = $1; } | |
| 888 | word_list_cmd | |
| 889 { $$ = $1; } | |
| 890 | assign_expr | |
| 891 { $$ = $1; } | |
| 4935 | 892 | anon_fcn_handle |
| 893 { $$ = $1; } | |
| 2970 | 894 ; |
| 895 | |
| 896 // ================================================ | |
| 897 // Commands, declarations, and function definitions | |
| 898 // ================================================ | |
| 899 | |
| 900 command : declaration | |
| 901 { $$ = $1; } | |
| 902 | select_command | |
| 903 { $$ = $1; } | |
| 904 | loop_command | |
| 905 { $$ = $1; } | |
| 4207 | 906 | jump_command |
| 907 { $$ = $1; } | |
| 2970 | 908 | except_command |
| 909 { $$ = $1; } | |
| 910 | function | |
| 911 { $$ = $1; } | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
912 | script |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
913 { $$ = $1; } |
| 2970 | 914 ; |
| 915 | |
| 916 // ===================== | |
| 917 // Declaration statemnts | |
| 918 // ===================== | |
| 919 | |
| 920 declaration : GLOBAL decl1 | |
| 921 { $$ = make_decl_command (GLOBAL, $1, $2); } | |
| 922 | STATIC decl1 | |
| 923 { $$ = make_decl_command (STATIC, $1, $2); } | |
| 924 ; | |
| 925 | |
| 926 decl1 : decl2 | |
| 927 { $$ = new tree_decl_init_list ($1); } | |
| 928 | decl1 decl2 | |
| 929 { | |
| 930 $1->append ($2); | |
| 931 $$ = $1; | |
| 932 } | |
| 933 ; | |
| 934 | |
|
7634
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
935 decl_param_init : // empty |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
936 { lexer_flags.looking_at_initializer_expression = true; } |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
937 |
| 2970 | 938 decl2 : identifier |
| 939 { $$ = new tree_decl_elt ($1); } | |
|
7634
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
940 | identifier '=' decl_param_init expression |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
941 { |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
942 lexer_flags.looking_at_initializer_expression = false; |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
943 $$ = new tree_decl_elt ($1, $4); |
|
ae90e05ad299
fix parameter list initializer bug
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
944 } |
| 2970 | 945 ; |
| 946 | |
| 947 // ==================== | |
| 948 // Selection statements | |
| 949 // ==================== | |
| 950 | |
| 951 select_command : if_command | |
| 952 { $$ = $1; } | |
| 953 | switch_command | |
| 954 { $$ = $1; } | |
| 955 ; | |
| 956 | |
| 957 // ============ | |
| 958 // If statement | |
| 959 // ============ | |
| 960 | |
| 3665 | 961 if_command : IF stash_comment if_cmd_list END |
| 2970 | 962 { |
| 3665 | 963 if (! ($$ = finish_if_command ($1, $3, $4, $2))) |
| 2970 | 964 ABORT_PARSE; |
| 965 } | |
| 966 ; | |
| 967 | |
| 968 if_cmd_list : if_cmd_list1 | |
| 969 { $$ = $1; } | |
| 970 | if_cmd_list1 else_clause | |
| 971 { | |
| 972 $1->append ($2); | |
| 973 $$ = $1; | |
| 974 } | |
| 975 ; | |
| 976 | |
| 977 if_cmd_list1 : expression opt_sep opt_list | |
| 978 { $$ = start_if_command ($1, $3); } | |
| 979 | if_cmd_list1 elseif_clause | |
| 980 { | |
| 981 $1->append ($2); | |
| 982 $$ = $1; | |
| 983 } | |
| 984 ; | |
| 985 | |
| 3665 | 986 elseif_clause : ELSEIF stash_comment opt_sep expression opt_sep opt_list |
| 987 { $$ = make_elseif_clause ($4, $6, $2); } | |
| 2970 | 988 ; |
| 989 | |
| 3665 | 990 else_clause : ELSE stash_comment opt_sep opt_list |
| 991 { | |
| 992 $$ = new tree_if_clause ($4, $2); | |
| 993 } | |
| 2970 | 994 ; |
| 995 | |
| 996 // ================ | |
| 997 // Switch statement | |
| 998 // ================ | |
| 999 | |
| 3665 | 1000 switch_command : SWITCH stash_comment expression opt_sep case_list END |
| 2970 | 1001 { |
| 3665 | 1002 if (! ($$ = finish_switch_command ($1, $3, $5, $6, $2))) |
| 2970 | 1003 ABORT_PARSE; |
| 1004 } | |
| 1005 ; | |
| 1006 | |
| 4044 | 1007 case_list : // empty |
| 1008 { $$ = new tree_switch_case_list (); } | |
| 1009 | case_list1 | |
| 2970 | 1010 { $$ = $1; } |
| 1011 | case_list1 default_case | |
| 1012 { | |
| 1013 $1->append ($2); | |
| 1014 $$ = $1; | |
| 1015 } | |
| 1016 ; | |
| 1017 | |
| 1018 case_list1 : switch_case | |
| 1019 { $$ = new tree_switch_case_list ($1); } | |
| 1020 | case_list1 switch_case | |
| 1021 { | |
| 1022 $1->append ($2); | |
| 1023 $$ = $1; | |
| 1024 } | |
| 1025 ; | |
| 1026 | |
| 4025 | 1027 switch_case : CASE stash_comment opt_sep expression opt_sep opt_list |
| 3665 | 1028 { $$ = make_switch_case ($4, $6, $2); } |
| 2970 | 1029 ; |
| 1030 | |
| 3665 | 1031 default_case : OTHERWISE stash_comment opt_sep opt_list |
| 1032 { | |
| 1033 $$ = new tree_switch_case ($4, $2); | |
| 1034 } | |
| 2970 | 1035 ; |
| 1036 | |
| 1037 // ======= | |
| 1038 // Looping | |
| 1039 // ======= | |
| 1040 | |
| 3665 | 1041 loop_command : WHILE stash_comment expression opt_sep opt_list END |
| 2970 | 1042 { |
| 3665 | 1043 if (! ($$ = make_while_command ($1, $3, $5, $6, $2))) |
| 2970 | 1044 ABORT_PARSE; |
| 1045 } | |
| 3665 | 1046 | DO stash_comment opt_sep opt_list UNTIL expression |
| 3484 | 1047 { |
| 3665 | 1048 if (! ($$ = make_do_until_command ($1, $4, $6, $2))) |
| 3484 | 1049 ABORT_PARSE; |
| 1050 } | |
| 3665 | 1051 | FOR stash_comment assign_lhs '=' expression opt_sep opt_list END |
| 2970 | 1052 { |
| 3665 | 1053 if (! ($$ = make_for_command ($1, $3, $5, $7, $8, $2))) |
| 2970 | 1054 ABORT_PARSE; |
| 1055 } | |
| 5127 | 1056 | FOR stash_comment '(' assign_lhs '=' expression ')' opt_sep opt_list END |
| 1057 { | |
| 1058 if (! ($$ = make_for_command ($1, $4, $6, $9, $10, $2))) | |
| 1059 ABORT_PARSE; | |
| 1060 } | |
| 2970 | 1061 ; |
| 1062 | |
| 1063 // ======= | |
| 1064 // Jumping | |
| 1065 // ======= | |
| 1066 | |
| 4207 | 1067 jump_command : BREAK |
| 2970 | 1068 { |
| 4207 | 1069 if (! ($$ = make_break_command ($1))) |
| 2970 | 1070 ABORT_PARSE; |
| 1071 } | |
| 1072 | CONTINUE | |
| 1073 { | |
| 4207 | 1074 if (! ($$ = make_continue_command ($1))) |
| 2970 | 1075 ABORT_PARSE; |
| 1076 } | |
| 1077 | FUNC_RET | |
| 1078 { | |
| 4207 | 1079 if (! ($$ = make_return_command ($1))) |
| 2970 | 1080 ABORT_PARSE; |
| 1081 } | |
| 1082 ; | |
| 1083 | |
| 1084 // ========== | |
| 1085 // Exceptions | |
| 1086 // ========== | |
| 1087 | |
| 3665 | 1088 except_command : UNWIND stash_comment opt_sep opt_list CLEANUP |
| 1089 stash_comment opt_sep opt_list END | |
| 2970 | 1090 { |
| 3665 | 1091 if (! ($$ = make_unwind_command ($1, $4, $8, $9, $2, $6))) |
| 2970 | 1092 ABORT_PARSE; |
| 1093 } | |
| 3665 | 1094 | TRY stash_comment opt_sep opt_list CATCH |
| 1095 stash_comment opt_sep opt_list END | |
| 2970 | 1096 { |
| 3665 | 1097 if (! ($$ = make_try_command ($1, $4, $8, $9, $2, $6))) |
| 2970 | 1098 ABORT_PARSE; |
| 1099 } | |
| 5344 | 1100 | TRY stash_comment opt_sep opt_list END |
| 1101 { | |
| 1102 if (! ($$ = make_try_command ($1, $4, 0, $5, $2, 0))) | |
| 1103 ABORT_PARSE; | |
| 1104 } | |
| 2970 | 1105 ; |
| 1106 | |
| 1107 // =========================================== | |
| 1108 // Some `subroutines' for function definitions | |
| 1109 // =========================================== | |
| 1110 | |
| 7336 | 1111 push_fcn_symtab : // empty |
| 1112 { | |
| 1113 symtab_context.push (symbol_table::current_scope ()); | |
| 1114 symbol_table::set_scope (symbol_table::alloc_scope ()); | |
| 1115 | |
| 1116 if (! lexer_flags.parsing_nested_function) | |
| 1117 symbol_table::set_parent_scope (symbol_table::current_scope ()); | |
| 1118 } | |
| 2970 | 1119 ; |
| 1120 | |
| 1121 // =========================== | |
| 1122 // List of function parameters | |
| 1123 // =========================== | |
| 1124 | |
| 1125 param_list_beg : '(' | |
| 4935 | 1126 { |
| 1127 lexer_flags.looking_at_parameter_list = true; | |
| 1128 | |
| 1129 if (lexer_flags.looking_at_function_handle) | |
| 1130 { | |
| 7336 | 1131 symtab_context.push (symbol_table::current_scope ()); |
| 1132 symbol_table::set_scope (symbol_table::alloc_scope ()); | |
| 4935 | 1133 lexer_flags.looking_at_function_handle--; |
| 1134 } | |
| 1135 } | |
| 2970 | 1136 ; |
| 1137 | |
| 1138 param_list_end : ')' | |
| 1139 { lexer_flags.looking_at_parameter_list = false; } | |
| 1140 ; | |
| 1141 | |
| 4935 | 1142 param_list : param_list_beg param_list1 param_list_end |
| 2970 | 1143 { |
| 1144 lexer_flags.quote_is_transpose = false; | |
| 4935 | 1145 $$ = $2; |
| 2970 | 1146 } |
| 1147 | param_list_beg error | |
| 1148 { | |
| 1149 yyerror ("invalid parameter list"); | |
| 1150 $$ = 0; | |
| 1151 ABORT_PARSE; | |
| 1152 } | |
| 4935 | 1153 ; |
| 1154 | |
| 1155 param_list1 : // empty | |
| 1156 { $$ = 0; } | |
| 1157 | param_list2 | |
| 1158 { | |
| 1159 $1->mark_as_formal_parameters (); | |
|
7587
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1160 if ($1->validate (tree_parameter_list::in)) |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1161 $$ = $1; |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1162 else |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1163 ABORT_PARSE; |
| 4935 | 1164 } |
| 1165 ; | |
| 1166 | |
| 6215 | 1167 param_list2 : decl2 |
| 4935 | 1168 { $$ = new tree_parameter_list ($1); } |
| 6215 | 1169 | param_list2 ',' decl2 |
| 4935 | 1170 { |
| 1171 $1->append ($3); | |
| 1172 $$ = $1; | |
| 2970 | 1173 } |
| 1174 ; | |
| 1175 | |
| 1176 // =================================== | |
| 1177 // List of function return value names | |
| 1178 // =================================== | |
| 1179 | |
| 7336 | 1180 return_list : '[' ']' |
| 2970 | 1181 { |
| 1182 lexer_flags.looking_at_return_list = false; | |
| 1183 $$ = new tree_parameter_list (); | |
| 1184 } | |
| 7336 | 1185 | return_list1 |
| 1186 { | |
| 1187 lexer_flags.looking_at_return_list = false; | |
|
7587
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1188 if ($1->validate (tree_parameter_list::out)) |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1189 $$ = $1; |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1190 else |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1191 ABORT_PARSE; |
| 7336 | 1192 } |
| 1193 | '[' return_list1 ']' | |
| 2970 | 1194 { |
| 1195 lexer_flags.looking_at_return_list = false; | |
|
7587
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1196 if ($2->validate (tree_parameter_list::out)) |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1197 $$ = $2; |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1198 else |
|
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7562
diff
changeset
|
1199 ABORT_PARSE; |
| 2970 | 1200 } |
| 1201 ; | |
| 1202 | |
| 1203 return_list1 : identifier | |
| 6215 | 1204 { $$ = new tree_parameter_list (new tree_decl_elt ($1)); } |
| 2970 | 1205 | return_list1 ',' identifier |
| 1206 { | |
| 6215 | 1207 $1->append (new tree_decl_elt ($3)); |
| 2970 | 1208 $$ = $1; |
| 1209 } | |
| 1210 ; | |
| 1211 | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1212 // =========== |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1213 // Script file |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1214 // =========== |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1215 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1216 script : SCRIPT opt_list END_OF_INPUT |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1217 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1218 make_script ($2); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1219 $$ = 0; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1220 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1221 ; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1222 |
| 2970 | 1223 // =================== |
| 1224 // Function definition | |
| 1225 // =================== | |
| 1226 | |
| 7336 | 1227 function_beg : push_fcn_symtab FCN stash_comment |
| 1228 { $$ = $3; } | |
| 2970 | 1229 ; |
| 1230 | |
| 7336 | 1231 function : function_beg function1 |
| 2970 | 1232 { |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1233 $$ = finish_function (0, $2, $1); |
| 2970 | 1234 recover_from_parsing_function (); |
| 1235 } | |
| 7336 | 1236 | function_beg return_list '=' function1 |
| 2970 | 1237 { |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
1238 $$ = finish_function ($2, $4, $1); |
| 2970 | 1239 recover_from_parsing_function (); |
| 1240 } | |
| 1241 ; | |
| 1242 | |
| 7336 | 1243 fcn_name : identifier |
| 2970 | 1244 { |
| 4238 | 1245 std::string id_name = $1->name (); |
| 1246 | |
| 1247 if (reading_fcn_file | |
| 1248 && ! lexer_flags.parsing_nested_function) | |
| 1249 parent_function_name = (curr_fcn_file_name == id_name) | |
| 1250 ? id_name : curr_fcn_file_name; | |
| 1251 | |
| 1252 lexer_flags.parsed_function_name = true; | |
| 1253 | |
| 1254 $$ = $1; | |
| 1255 } | |
| 1256 ; | |
| 1257 | |
| 7336 | 1258 function1 : fcn_name function2 |
| 4238 | 1259 { |
| 4872 | 1260 std::string fname = $1->name (); |
| 1261 | |
| 1262 delete $1; | |
| 1263 | |
| 1264 if (! ($$ = frob_function (fname, $2))) | |
| 2970 | 1265 ABORT_PARSE; |
| 1266 } | |
| 1267 ; | |
| 1268 | |
| 7336 | 1269 function2 : param_list opt_sep opt_list function_end |
| 1270 { $$ = start_function ($1, $3); } | |
| 1271 | opt_sep opt_list function_end | |
| 1272 { $$ = start_function (0, $2); } | |
| 2970 | 1273 ; |
| 1274 | |
| 1275 function_end : END | |
| 1276 { | |
| 4238 | 1277 if (! end_token_ok ($1, token::function_end)) |
| 2970 | 1278 ABORT_PARSE; |
| 1279 } | |
| 1280 | END_OF_INPUT | |
| 1281 { | |
| 4240 | 1282 if (lexer_flags.parsing_nested_function) |
| 1283 lexer_flags.parsing_nested_function = -1; | |
| 4238 | 1284 |
| 3939 | 1285 if (! (reading_fcn_file || reading_script_file |
| 1286 || get_input_from_eval_string)) | |
| 2970 | 1287 YYABORT; |
| 1288 } | |
| 1289 ; | |
| 1290 | |
| 1291 // ============= | |
| 1292 // Miscellaneous | |
| 1293 // ============= | |
| 1294 | |
| 3665 | 1295 stash_comment : // empty |
| 1296 { $$ = octave_comment_buffer::get_comment (); } | |
| 1297 ; | |
| 1298 | |
| 2970 | 1299 parse_error : LEXICAL_ERROR |
| 1300 { yyerror ("parse error"); } | |
| 1301 | error | |
| 1 | 1302 ; |
| 1303 | |
| 2525 | 1304 sep_no_nl : ',' |
| 1305 { $$ = ','; } | |
| 1306 | ';' | |
| 1307 { $$ = ';'; } | |
| 1308 | sep_no_nl ',' | |
| 1309 { $$ = $1; } | |
| 1310 | sep_no_nl ';' | |
| 1311 { $$ = $1; } | |
| 1312 ; | |
| 1313 | |
| 1314 opt_sep_no_nl : // empty | |
| 1315 { $$ = 0; } | |
| 1316 | sep_no_nl | |
| 1317 { $$ = $1; } | |
| 1318 ; | |
| 1319 | |
| 1320 sep : ',' | |
| 1321 { $$ = ','; } | |
| 1322 | ';' | |
| 1323 { $$ = ';'; } | |
| 1324 | '\n' | |
| 1325 { $$ = '\n'; } | |
| 1326 | sep ',' | |
| 1327 { $$ = $1; } | |
| 1328 | sep ';' | |
| 1329 { $$ = $1; } | |
| 1330 | sep '\n' | |
| 1331 { $$ = $1; } | |
| 1332 ; | |
| 1333 | |
| 1334 opt_sep : // empty | |
| 1335 { $$ = 0; } | |
| 1336 | sep | |
| 1337 { $$ = $1; } | |
| 1338 ; | |
| 1339 | |
| 1 | 1340 %% |
| 1341 | |
| 666 | 1342 // Generic error messages. |
| 1343 | |
| 1 | 1344 static void |
| 2805 | 1345 yyerror (const char *s) |
| 1 | 1346 { |
| 143 | 1347 int err_col = current_input_column - 1; |
| 1 | 1348 |
| 5765 | 1349 std::ostringstream output_buf; |
| 1 | 1350 |
| 1005 | 1351 if (reading_fcn_file || reading_script_file) |
| 1352 output_buf << "parse error near line " << input_line_number | |
| 1607 | 1353 << " of file " << curr_fcn_file_full_name; |
| 1005 | 1354 else |
| 1355 output_buf << "parse error:"; | |
| 581 | 1356 |
| 1005 | 1357 if (s && strcmp (s, "parse error") != 0) |
| 1358 output_buf << "\n\n " << s; | |
| 1359 | |
| 1360 output_buf << "\n\n"; | |
| 1 | 1361 |
| 1755 | 1362 if (! current_input_line.empty ()) |
| 1 | 1363 { |
| 1755 | 1364 size_t len = current_input_line.length (); |
| 1060 | 1365 |
| 1755 | 1366 if (current_input_line[len-1] == '\n') |
| 1367 current_input_line.resize (len-1); | |
| 1005 | 1368 |
| 4051 | 1369 // Print the line, maybe with a pointer near the error token. |
| 1005 | 1370 |
| 1755 | 1371 output_buf << ">>> " << current_input_line << "\n"; |
| 1060 | 1372 |
| 1373 if (err_col == 0) | |
| 1374 err_col = len; | |
| 1375 | |
| 1376 for (int i = 0; i < err_col + 3; i++) | |
| 1377 output_buf << " "; | |
| 1378 | |
| 1379 output_buf << "^"; | |
| 1 | 1380 } |
| 1005 | 1381 |
| 5765 | 1382 output_buf << "\n"; |
| 1383 | |
| 1384 std::string msg = output_buf.str (); | |
| 1385 | |
| 1386 parse_error ("%s", msg.c_str ()); | |
| 1 | 1387 } |
| 1388 | |
| 666 | 1389 // Error mesages for mismatched end tokens. |
| 1390 | |
| 496 | 1391 static void |
| 2805 | 1392 end_error (const char *type, token::end_tok_type ettype, int l, int c) |
| 496 | 1393 { |
| 2805 | 1394 static const char *fmt |
| 1395 = "`%s' command matched by `%s' near line %d column %d"; | |
| 496 | 1396 |
| 1397 switch (ettype) | |
| 1398 { | |
| 1399 case token::simple_end: | |
| 1400 error (fmt, type, "end", l, c); | |
| 1401 break; | |
| 777 | 1402 |
| 496 | 1403 case token::for_end: |
| 1404 error (fmt, type, "endfor", l, c); | |
| 1405 break; | |
| 777 | 1406 |
| 496 | 1407 case token::function_end: |
| 1408 error (fmt, type, "endfunction", l, c); | |
| 1409 break; | |
| 777 | 1410 |
| 496 | 1411 case token::if_end: |
| 1412 error (fmt, type, "endif", l, c); | |
| 1413 break; | |
| 777 | 1414 |
| 3233 | 1415 case token::switch_end: |
| 1416 error (fmt, type, "endswitch", l, c); | |
| 1417 break; | |
| 1418 | |
| 496 | 1419 case token::while_end: |
| 1420 error (fmt, type, "endwhile", l, c); | |
| 1421 break; | |
| 777 | 1422 |
| 5400 | 1423 case token::try_catch_end: |
| 1424 error (fmt, type, "end_try_catch", l, c); | |
| 1425 break; | |
| 1426 | |
| 1371 | 1427 case token::unwind_protect_end: |
| 1428 error (fmt, type, "end_unwind_protect", l, c); | |
| 1429 break; | |
| 1430 | |
| 496 | 1431 default: |
| 1432 panic_impossible (); | |
| 1433 break; | |
| 1434 } | |
| 1435 } | |
| 1436 | |
| 666 | 1437 // Check to see that end tokens are properly matched. |
| 1438 | |
| 2857 | 1439 static bool |
| 1440 end_token_ok (token *tok, token::end_tok_type expected) | |
| 143 | 1441 { |
| 2857 | 1442 bool retval = true; |
| 1443 | |
| 143 | 1444 token::end_tok_type ettype = tok->ettype (); |
| 2857 | 1445 |
| 143 | 1446 if (ettype != expected && ettype != token::simple_end) |
| 1447 { | |
| 2857 | 1448 retval = false; |
| 1449 | |
| 143 | 1450 yyerror ("parse error"); |
| 1451 | |
| 1452 int l = tok->line (); | |
| 1453 int c = tok->column (); | |
| 1454 | |
| 1455 switch (expected) | |
| 1456 { | |
| 1457 case token::for_end: | |
| 1458 end_error ("for", ettype, l, c); | |
| 1459 break; | |
| 777 | 1460 |
| 143 | 1461 case token::function_end: |
| 1462 end_error ("function", ettype, l, c); | |
| 1463 break; | |
| 777 | 1464 |
| 143 | 1465 case token::if_end: |
| 1466 end_error ("if", ettype, l, c); | |
| 1467 break; | |
| 777 | 1468 |
| 1489 | 1469 case token::try_catch_end: |
| 1470 end_error ("try", ettype, l, c); | |
| 1471 break; | |
| 1472 | |
| 2764 | 1473 case token::switch_end: |
| 1474 end_error ("switch", ettype, l, c); | |
| 1475 break; | |
| 1476 | |
| 1489 | 1477 case token::unwind_protect_end: |
| 1478 end_error ("unwind_protect", ettype, l, c); | |
| 1479 break; | |
| 1480 | |
| 143 | 1481 case token::while_end: |
| 1482 end_error ("while", ettype, l, c); | |
| 1483 break; | |
| 777 | 1484 |
| 143 | 1485 default: |
| 1486 panic_impossible (); | |
| 1487 break; | |
| 1488 } | |
| 1489 } | |
| 2857 | 1490 |
| 1491 return retval; | |
| 143 | 1492 } |
| 1493 | |
| 666 | 1494 // Maybe print a warning if an assignment expression is used as the |
| 1495 // test in a logical expression. | |
| 1496 | |
| 496 | 1497 static void |
| 1498 maybe_warn_assign_as_truth_value (tree_expression *expr) | |
| 1 | 1499 { |
| 5781 | 1500 if (expr->is_assignment_expression () |
| 2961 | 1501 && expr->paren_count () < 2) |
| 1 | 1502 { |
| 5781 | 1503 warning_with_id |
| 1504 ("Octave:assign-as-truth-value", | |
| 1505 "suggest parenthesis around assignment used as truth value"); | |
| 1 | 1506 } |
| 1507 } | |
| 578 | 1508 |
| 2764 | 1509 // Maybe print a warning about switch labels that aren't constants. |
| 1510 | |
| 1511 static void | |
| 1512 maybe_warn_variable_switch_label (tree_expression *expr) | |
| 1513 { | |
| 5781 | 1514 if (! expr->is_constant ()) |
| 5878 | 1515 warning_with_id ("Octave:variable-switch-label", |
| 5781 | 1516 "variable switch label"); |
| 2764 | 1517 } |
| 1518 | |
| 2533 | 1519 static tree_expression * |
| 1520 fold (tree_binary_expression *e) | |
| 1521 { | |
| 3110 | 1522 tree_expression *retval = e; |
| 1523 | |
| 3292 | 1524 unwind_protect::begin_frame ("fold_binary_expression"); |
| 3110 | 1525 |
| 1526 unwind_protect_int (error_state); | |
| 4452 | 1527 unwind_protect_int (warning_state); |
| 3110 | 1528 |
| 3815 | 1529 unwind_protect_bool (discard_error_messages); |
| 4452 | 1530 unwind_protect_bool (discard_warning_messages); |
| 1531 | |
| 3815 | 1532 discard_error_messages = true; |
| 4452 | 1533 discard_warning_messages = true; |
| 2533 | 1534 |
| 1535 tree_expression *op1 = e->lhs (); | |
| 1536 tree_expression *op2 = e->rhs (); | |
| 1537 | |
| 5161 | 1538 octave_value::binary_op op_type = e->op_type (); |
| 1539 | |
| 1540 if (op1->is_constant () && op2->is_constant () | |
| 5781 | 1541 && (! ((warning_enabled ("Octave:associativity-change") |
| 5161 | 1542 && (op_type == POW || op_type == EPOW)) |
| 5781 | 1543 || (warning_enabled ("Octave:precedence-change") |
| 5161 | 1544 && (op_type == EXPR_OR || op_type == EXPR_OR_OR))))) |
| 2533 | 1545 { |
| 2970 | 1546 octave_value tmp = e->rvalue (); |
| 2533 | 1547 |
| 3489 | 1548 if (! (error_state || warning_state)) |
| 2533 | 1549 { |
| 1550 tree_constant *tc_retval = new tree_constant (tmp); | |
| 1551 | |
| 5765 | 1552 std::ostringstream buf; |
| 2533 | 1553 |
| 1554 tree_print_code tpc (buf); | |
| 1555 | |
| 1556 e->accept (tpc); | |
| 1557 | |
| 5765 | 1558 tc_retval->stash_original_text (buf.str ()); |
| 2533 | 1559 |
| 1560 delete e; | |
| 1561 | |
| 1562 retval = tc_retval; | |
| 1563 } | |
| 1564 } | |
| 3110 | 1565 |
| 3292 | 1566 unwind_protect::run_frame ("fold_binary_expression"); |
| 1567 | |
| 1568 return retval; | |
| 1569 } | |
| 1570 | |
| 1571 static tree_expression * | |
| 1572 fold (tree_unary_expression *e) | |
| 1573 { | |
| 1574 tree_expression *retval = e; | |
| 1575 | |
| 1576 unwind_protect::begin_frame ("fold_unary_expression"); | |
| 1577 | |
| 1578 unwind_protect_int (error_state); | |
| 4452 | 1579 unwind_protect_int (warning_state); |
| 3292 | 1580 |
| 3815 | 1581 unwind_protect_bool (discard_error_messages); |
| 4452 | 1582 unwind_protect_bool (discard_warning_messages); |
| 1583 | |
| 3815 | 1584 discard_error_messages = true; |
| 4452 | 1585 discard_warning_messages = true; |
| 3292 | 1586 |
| 1587 tree_expression *op = e->operand (); | |
| 1588 | |
| 1589 if (op->is_constant ()) | |
| 1590 { | |
| 1591 octave_value tmp = e->rvalue (); | |
| 1592 | |
| 3489 | 1593 if (! (error_state || warning_state)) |
| 3292 | 1594 { |
| 1595 tree_constant *tc_retval = new tree_constant (tmp); | |
| 1596 | |
| 5765 | 1597 std::ostringstream buf; |
| 3292 | 1598 |
| 1599 tree_print_code tpc (buf); | |
| 1600 | |
| 1601 e->accept (tpc); | |
| 1602 | |
| 5765 | 1603 tc_retval->stash_original_text (buf.str ()); |
| 3292 | 1604 |
| 1605 delete e; | |
| 1606 | |
| 1607 retval = tc_retval; | |
| 1608 } | |
| 1609 } | |
| 1610 | |
| 1611 unwind_protect::run_frame ("fold_unary_expression"); | |
| 2533 | 1612 |
| 1613 return retval; | |
| 1614 } | |
| 1615 | |
| 1623 | 1616 // Finish building a range. |
| 1617 | |
| 1618 static tree_expression * | |
| 1619 finish_colon_expression (tree_colon_expression *e) | |
| 1620 { | |
| 3110 | 1621 tree_expression *retval = e; |
| 1622 | |
| 1623 unwind_protect::begin_frame ("finish_colon_expression"); | |
| 1624 | |
| 1625 unwind_protect_int (error_state); | |
| 4452 | 1626 unwind_protect_int (warning_state); |
| 3110 | 1627 |
| 3815 | 1628 unwind_protect_bool (discard_error_messages); |
| 4452 | 1629 unwind_protect_bool (discard_warning_messages); |
| 1630 | |
| 3815 | 1631 discard_error_messages = true; |
| 4452 | 1632 discard_warning_messages = true; |
| 1623 | 1633 |
| 2533 | 1634 tree_expression *base = e->base (); |
| 1635 tree_expression *limit = e->limit (); | |
| 1636 tree_expression *incr = e->increment (); | |
| 1637 | |
| 2970 | 1638 if (base) |
| 1623 | 1639 { |
| 2970 | 1640 if (limit) |
| 2533 | 1641 { |
| 2970 | 1642 if (base->is_constant () && limit->is_constant () |
| 1643 && (! incr || (incr && incr->is_constant ()))) | |
| 1644 { | |
| 1645 octave_value tmp = e->rvalue (); | |
| 1646 | |
| 3489 | 1647 if (! (error_state || warning_state)) |
| 2970 | 1648 { |
| 1649 tree_constant *tc_retval = new tree_constant (tmp); | |
| 1650 | |
| 5765 | 1651 std::ostringstream buf; |
| 2970 | 1652 |
| 1653 tree_print_code tpc (buf); | |
| 1654 | |
| 1655 e->accept (tpc); | |
| 1656 | |
| 5765 | 1657 tc_retval->stash_original_text (buf.str ()); |
| 2970 | 1658 |
| 1659 delete e; | |
| 1660 | |
| 1661 retval = tc_retval; | |
| 1662 } | |
| 1663 } | |
| 2533 | 1664 } |
| 1665 else | |
| 2970 | 1666 { |
| 2990 | 1667 e->preserve_base (); |
| 1668 delete e; | |
| 2970 | 1669 |
| 5775 | 1670 // FIXME -- need to attempt constant folding here |
| 2970 | 1671 // too (we need a generic way to do that). |
| 1672 retval = base; | |
| 1673 } | |
| 1623 | 1674 } |
| 1675 | |
| 3110 | 1676 unwind_protect::run_frame ("finish_colon_expression"); |
| 1677 | |
| 1623 | 1678 return retval; |
| 1679 } | |
| 1680 | |
| 1607 | 1681 // Make a constant. |
| 1682 | |
| 2375 | 1683 static tree_constant * |
| 1607 | 1684 make_constant (int op, token *tok_val) |
| 1685 { | |
| 1686 int l = tok_val->line (); | |
| 1687 int c = tok_val->column (); | |
| 1688 | |
| 3216 | 1689 tree_constant *retval = 0; |
| 1607 | 1690 |
| 1691 switch (op) | |
| 1692 { | |
| 1693 case NUM: | |
| 2533 | 1694 { |
| 2883 | 1695 octave_value tmp (tok_val->number ()); |
| 1696 retval = new tree_constant (tmp, l, c); | |
| 2533 | 1697 retval->stash_original_text (tok_val->text_rep ()); |
| 1698 } | |
| 1607 | 1699 break; |
| 1700 | |
| 1701 case IMAG_NUM: | |
| 1702 { | |
| 2883 | 1703 octave_value tmp (Complex (0.0, tok_val->number ())); |
| 1704 retval = new tree_constant (tmp, l, c); | |
| 1607 | 1705 retval->stash_original_text (tok_val->text_rep ()); |
| 1706 } | |
| 1707 break; | |
| 1708 | |
| 5279 | 1709 case DQ_STRING: |
| 1710 case SQ_STRING: | |
| 2883 | 1711 { |
|
7699
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1712 std::string txt = tok_val->text (); |
|
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1713 |
|
7690
97e535ec65db
make_constant: stash original text for strings
John W. Eaton <jwe@octave.org>
parents:
7634
diff
changeset
|
1714 char delim = op == DQ_STRING ? '"' : '\''; |
|
7699
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1715 |
|
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1716 octave_value tmp (txt, delim); |
| 2883 | 1717 retval = new tree_constant (tmp, l, c); |
|
7699
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1718 |
|
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1719 if (op == DQ_STRING) |
|
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1720 txt = undo_string_escapes (txt); |
|
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1721 |
|
7690
97e535ec65db
make_constant: stash original text for strings
John W. Eaton <jwe@octave.org>
parents:
7634
diff
changeset
|
1722 // FIXME -- maybe this should also be handled by |
|
97e535ec65db
make_constant: stash original text for strings
John W. Eaton <jwe@octave.org>
parents:
7634
diff
changeset
|
1723 // tok_val->text_rep () for character strings? |
|
7699
27a5f578750c
make_constant: handle escape sequences in dq-strings
John W. Eaton <jwe@octave.org>
parents:
7690
diff
changeset
|
1724 retval->stash_original_text (delim + txt + delim); |
| 2883 | 1725 } |
| 1607 | 1726 break; |
| 1727 | |
| 1728 default: | |
| 1729 panic_impossible (); | |
| 1730 break; | |
| 1731 } | |
| 1732 | |
| 1733 return retval; | |
| 1734 } | |
| 1735 | |
| 4342 | 1736 // Make a function handle. |
| 1737 | |
| 1738 static tree_fcn_handle * | |
| 1739 make_fcn_handle (token *tok_val) | |
| 1740 { | |
| 1741 int l = tok_val->line (); | |
| 1742 int c = tok_val->column (); | |
| 1743 | |
| 1744 tree_fcn_handle *retval = new tree_fcn_handle (tok_val->text (), l, c); | |
| 1745 | |
| 1746 return retval; | |
| 1747 } | |
| 1748 | |
| 4935 | 1749 // Make an anonymous function handle. |
| 1750 | |
| 5861 | 1751 static tree_anon_fcn_handle * |
| 4935 | 1752 make_anon_fcn_handle (tree_parameter_list *param_list, tree_statement *stmt) |
| 1753 { | |
| 5775 | 1754 // FIXME -- need to get these from the location of the @ symbol. |
| 4935 | 1755 |
| 1756 int l = -1; | |
| 1757 int c = -1; | |
| 1758 | |
| 1759 tree_parameter_list *ret_list = 0; | |
| 1760 | |
| 7336 | 1761 symbol_table::scope_id fcn_scope = symbol_table::current_scope (); |
| 5861 | 1762 |
| 1763 if (symtab_context.empty ()) | |
| 1764 panic_impossible (); | |
| 1765 | |
| 7336 | 1766 symbol_table::set_scope (symtab_context.top ()); |
| 5861 | 1767 |
| 1768 symtab_context.pop (); | |
| 1769 | |
| 7351 | 1770 stmt->set_print_flag (false); |
| 4935 | 1771 |
| 1772 tree_statement_list *body = new tree_statement_list (stmt); | |
| 1773 | |
| 5861 | 1774 tree_anon_fcn_handle *retval |
| 7336 | 1775 = new tree_anon_fcn_handle (param_list, ret_list, body, fcn_scope, l, c); |
| 4935 | 1776 |
| 1777 return retval; | |
| 1778 } | |
| 1779 | |
| 5161 | 1780 static void |
| 1781 maybe_warn_associativity_change (tree_expression *op) | |
| 1782 { | |
| 5781 | 1783 if (op->paren_count () == 0 && op->is_binary_expression ()) |
| 5161 | 1784 { |
| 1785 tree_binary_expression *e | |
| 1786 = dynamic_cast<tree_binary_expression *> (op); | |
| 1787 | |
| 1788 octave_value::binary_op op_type = e->op_type (); | |
| 1789 | |
| 1790 if (op_type == octave_value::op_pow | |
| 1791 || op_type == octave_value::op_el_pow) | |
| 1792 { | |
| 1793 std::string op_str = octave_value::binary_op_as_string (op_type); | |
| 1794 | |
| 5781 | 1795 warning_with_id |
| 1796 ("Octave:associativity-change", | |
| 1797 "meaning may have changed due to change in associativity for %s operator", op_str.c_str ()); | |
| 5161 | 1798 } |
| 1799 } | |
| 1800 } | |
| 1801 | |
| 666 | 1802 // Build a binary expression. |
| 1803 | |
| 578 | 1804 static tree_expression * |
| 1805 make_binary_op (int op, tree_expression *op1, token *tok_val, | |
| 1806 tree_expression *op2) | |
| 1807 { | |
| 2883 | 1808 octave_value::binary_op t = octave_value::unknown_binary_op; |
| 1623 | 1809 |
| 578 | 1810 switch (op) |
| 1811 { | |
| 1812 case POW: | |
| 3525 | 1813 t = octave_value::op_pow; |
| 5161 | 1814 maybe_warn_associativity_change (op1); |
| 578 | 1815 break; |
| 777 | 1816 |
| 578 | 1817 case EPOW: |
| 3525 | 1818 t = octave_value::op_el_pow; |
| 5161 | 1819 maybe_warn_associativity_change (op1); |
| 578 | 1820 break; |
| 777 | 1821 |
| 578 | 1822 case '+': |
| 3525 | 1823 t = octave_value::op_add; |
| 578 | 1824 break; |
| 777 | 1825 |
| 578 | 1826 case '-': |
| 3525 | 1827 t = octave_value::op_sub; |
| 578 | 1828 break; |
| 777 | 1829 |
| 578 | 1830 case '*': |
| 3525 | 1831 t = octave_value::op_mul; |
| 578 | 1832 break; |
| 777 | 1833 |
| 578 | 1834 case '/': |
| 3525 | 1835 t = octave_value::op_div; |
| 578 | 1836 break; |
| 777 | 1837 |
| 578 | 1838 case EMUL: |
| 3525 | 1839 t = octave_value::op_el_mul; |
| 578 | 1840 break; |
| 777 | 1841 |
| 578 | 1842 case EDIV: |
| 3525 | 1843 t = octave_value::op_el_div; |
| 578 | 1844 break; |
| 777 | 1845 |
| 578 | 1846 case LEFTDIV: |
| 3525 | 1847 t = octave_value::op_ldiv; |
| 578 | 1848 break; |
| 777 | 1849 |
| 578 | 1850 case ELEFTDIV: |
| 3525 | 1851 t = octave_value::op_el_ldiv; |
| 578 | 1852 break; |
| 777 | 1853 |
| 2899 | 1854 case LSHIFT: |
| 3525 | 1855 t = octave_value::op_lshift; |
| 2899 | 1856 break; |
| 1857 | |
| 1858 case RSHIFT: | |
| 3525 | 1859 t = octave_value::op_rshift; |
| 2899 | 1860 break; |
| 1861 | |
| 578 | 1862 case EXPR_LT: |
| 3525 | 1863 t = octave_value::op_lt; |
| 578 | 1864 break; |
| 777 | 1865 |
| 578 | 1866 case EXPR_LE: |
| 3525 | 1867 t = octave_value::op_le; |
| 578 | 1868 break; |
| 777 | 1869 |
| 578 | 1870 case EXPR_EQ: |
| 3525 | 1871 t = octave_value::op_eq; |
| 578 | 1872 break; |
| 777 | 1873 |
| 578 | 1874 case EXPR_GE: |
| 3525 | 1875 t = octave_value::op_ge; |
| 578 | 1876 break; |
| 777 | 1877 |
| 578 | 1878 case EXPR_GT: |
| 3525 | 1879 t = octave_value::op_gt; |
| 578 | 1880 break; |
| 777 | 1881 |
| 578 | 1882 case EXPR_NE: |
| 3525 | 1883 t = octave_value::op_ne; |
| 578 | 1884 break; |
| 777 | 1885 |
| 578 | 1886 case EXPR_AND: |
| 3525 | 1887 t = octave_value::op_el_and; |
| 578 | 1888 break; |
| 777 | 1889 |
| 578 | 1890 case EXPR_OR: |
| 3525 | 1891 t = octave_value::op_el_or; |
| 5781 | 1892 if (op2->paren_count () == 0 && op2->is_binary_expression ()) |
| 4023 | 1893 { |
| 1894 tree_binary_expression *e | |
| 1895 = dynamic_cast<tree_binary_expression *> (op2); | |
| 1896 | |
| 1897 if (e->op_type () == octave_value::op_el_and) | |
| 5781 | 1898 warning_with_id |
| 1899 ("Octave:precedence-change", | |
| 1900 "meaning may have changed due to change in precedence for & and | operators"); | |
| 4023 | 1901 } |
| 578 | 1902 break; |
| 777 | 1903 |
| 578 | 1904 default: |
| 1905 panic_impossible (); | |
| 1906 break; | |
| 1907 } | |
| 1908 | |
| 1909 int l = tok_val->line (); | |
| 1910 int c = tok_val->column (); | |
| 1911 | |
| 2533 | 1912 tree_binary_expression *e |
| 1913 = new tree_binary_expression (op1, op2, l, c, t); | |
| 1623 | 1914 |
| 2533 | 1915 return fold (e); |
| 578 | 1916 } |
| 1917 | |
| 2375 | 1918 // Build a boolean expression. |
| 666 | 1919 |
| 578 | 1920 static tree_expression * |
| 2375 | 1921 make_boolean_op (int op, tree_expression *op1, token *tok_val, |
| 1922 tree_expression *op2) | |
| 578 | 1923 { |
| 2375 | 1924 tree_boolean_expression::type t; |
| 1925 | |
| 578 | 1926 switch (op) |
| 1927 { | |
| 2375 | 1928 case EXPR_AND_AND: |
| 2805 | 1929 t = tree_boolean_expression::bool_and; |
| 578 | 1930 break; |
| 777 | 1931 |
| 2375 | 1932 case EXPR_OR_OR: |
| 2805 | 1933 t = tree_boolean_expression::bool_or; |
| 5781 | 1934 if (op2->paren_count () == 0 && op2->is_boolean_expression ()) |
| 4023 | 1935 { |
| 1936 tree_boolean_expression *e | |
| 1937 = dynamic_cast<tree_boolean_expression *> (op2); | |
| 1938 | |
| 1939 if (e->op_type () == tree_boolean_expression::bool_and) | |
| 5781 | 1940 warning_with_id |
| 1941 ("Octave:precedence-change", | |
| 1942 "meaning may have changed due to change in precedence for && and || operators"); | |
| 4023 | 1943 } |
| 578 | 1944 break; |
| 777 | 1945 |
| 578 | 1946 default: |
| 1947 panic_impossible (); | |
| 1948 break; | |
| 1949 } | |
| 1950 | |
| 1951 int l = tok_val->line (); | |
| 1952 int c = tok_val->column (); | |
| 1953 | |
| 2533 | 1954 tree_boolean_expression *e |
| 1955 = new tree_boolean_expression (op1, op2, l, c, t); | |
| 2375 | 1956 |
| 2533 | 1957 return fold (e); |
| 578 | 1958 } |
| 1959 | |
| 2375 | 1960 // Build a prefix expression. |
| 666 | 1961 |
| 578 | 1962 static tree_expression * |
| 2960 | 1963 make_prefix_op (int op, tree_expression *op1, token *tok_val) |
| 578 | 1964 { |
| 3203 | 1965 octave_value::unary_op t = octave_value::unknown_unary_op; |
| 2375 | 1966 |
| 578 | 1967 switch (op) |
| 1968 { | |
| 2960 | 1969 case EXPR_NOT: |
| 3525 | 1970 t = octave_value::op_not; |
| 2960 | 1971 break; |
| 1972 | |
| 4965 | 1973 case '+': |
| 1974 t = octave_value::op_uplus; | |
| 1975 break; | |
| 1976 | |
| 2960 | 1977 case '-': |
| 3525 | 1978 t = octave_value::op_uminus; |
| 2960 | 1979 break; |
| 1980 | |
| 578 | 1981 case PLUS_PLUS: |
| 3525 | 1982 t = octave_value::op_incr; |
| 578 | 1983 break; |
| 777 | 1984 |
| 578 | 1985 case MINUS_MINUS: |
| 3525 | 1986 t = octave_value::op_decr; |
| 578 | 1987 break; |
| 777 | 1988 |
| 578 | 1989 default: |
| 1990 panic_impossible (); | |
| 1991 break; | |
| 1992 } | |
| 1993 | |
| 1994 int l = tok_val->line (); | |
| 1995 int c = tok_val->column (); | |
| 1996 | |
| 3292 | 1997 tree_prefix_expression *e |
| 1998 = new tree_prefix_expression (op1, l, c, t); | |
| 1999 | |
| 2000 return fold (e); | |
| 578 | 2001 } |
| 2002 | |
| 2375 | 2003 // Build a postfix expression. |
| 666 | 2004 |
| 578 | 2005 static tree_expression * |
| 2960 | 2006 make_postfix_op (int op, tree_expression *op1, token *tok_val) |
| 578 | 2007 { |
| 3203 | 2008 octave_value::unary_op t = octave_value::unknown_unary_op; |
| 1623 | 2009 |
| 578 | 2010 switch (op) |
| 2011 { | |
| 2960 | 2012 case QUOTE: |
| 3525 | 2013 t = octave_value::op_hermitian; |
| 2960 | 2014 break; |
| 2015 | |
| 2016 case TRANSPOSE: | |
| 3525 | 2017 t = octave_value::op_transpose; |
| 2960 | 2018 break; |
| 2019 | |
| 2375 | 2020 case PLUS_PLUS: |
| 3525 | 2021 t = octave_value::op_incr; |
| 578 | 2022 break; |
| 777 | 2023 |
| 2375 | 2024 case MINUS_MINUS: |
| 3525 | 2025 t = octave_value::op_decr; |
| 578 | 2026 break; |
| 777 | 2027 |
| 578 | 2028 default: |
| 2029 panic_impossible (); | |
| 2030 break; | |
| 2031 } | |
| 2032 | |
| 2033 int l = tok_val->line (); | |
| 2034 int c = tok_val->column (); | |
| 2035 | |
| 3292 | 2036 tree_postfix_expression *e |
| 2037 = new tree_postfix_expression (op1, l, c, t); | |
| 2038 | |
| 2039 return fold (e); | |
| 1623 | 2040 } |
| 2041 | |
| 2042 // Build an unwind-protect command. | |
| 2043 | |
| 2044 static tree_command * | |
| 2045 make_unwind_command (token *unwind_tok, tree_statement_list *body, | |
| 3665 | 2046 tree_statement_list *cleanup, token *end_tok, |
| 2047 octave_comment_list *lc, octave_comment_list *mc) | |
| 1623 | 2048 { |
| 2049 tree_command *retval = 0; | |
| 2050 | |
| 2857 | 2051 if (end_token_ok (end_tok, token::unwind_protect_end)) |
| 1623 | 2052 { |
| 3665 | 2053 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2054 | |
| 1623 | 2055 int l = unwind_tok->line (); |
| 2056 int c = unwind_tok->column (); | |
| 2057 | |
| 3665 | 2058 retval = new tree_unwind_protect_command (body, cleanup, |
| 2059 lc, mc, tc, l, c); | |
| 1623 | 2060 } |
| 2061 | |
| 2062 return retval; | |
| 2063 } | |
| 2064 | |
| 2065 // Build a try-catch command. | |
| 2066 | |
| 2067 static tree_command * | |
| 2068 make_try_command (token *try_tok, tree_statement_list *body, | |
| 3665 | 2069 tree_statement_list *cleanup, token *end_tok, |
| 2070 octave_comment_list *lc, octave_comment_list *mc) | |
| 1623 | 2071 { |
| 2072 tree_command *retval = 0; | |
| 2073 | |
| 2857 | 2074 if (end_token_ok (end_tok, token::try_catch_end)) |
| 1623 | 2075 { |
| 3665 | 2076 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2077 | |
| 1623 | 2078 int l = try_tok->line (); |
| 2079 int c = try_tok->column (); | |
| 2080 | |
| 3665 | 2081 retval = new tree_try_catch_command (body, cleanup, |
| 2082 lc, mc, tc, l, c); | |
| 1623 | 2083 } |
| 2084 | |
| 2085 return retval; | |
| 2086 } | |
| 2087 | |
| 2088 // Build a while command. | |
| 2089 | |
| 2090 static tree_command * | |
| 2091 make_while_command (token *while_tok, tree_expression *expr, | |
| 3665 | 2092 tree_statement_list *body, token *end_tok, |
| 2093 octave_comment_list *lc) | |
| 1623 | 2094 { |
| 2095 tree_command *retval = 0; | |
| 2096 | |
| 2097 maybe_warn_assign_as_truth_value (expr); | |
| 2098 | |
| 2857 | 2099 if (end_token_ok (end_tok, token::while_end)) |
| 1623 | 2100 { |
| 3665 | 2101 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2102 | |
| 1826 | 2103 lexer_flags.looping--; |
| 1623 | 2104 |
| 2105 int l = while_tok->line (); | |
| 2106 int c = while_tok->column (); | |
| 2107 | |
| 3665 | 2108 retval = new tree_while_command (expr, body, lc, tc, l, c); |
| 1623 | 2109 } |
| 2110 | |
| 2111 return retval; | |
| 2112 } | |
| 2113 | |
| 3484 | 2114 // Build a do-until command. |
| 2115 | |
| 2116 static tree_command * | |
| 2117 make_do_until_command (token *do_tok, tree_statement_list *body, | |
| 3665 | 2118 tree_expression *expr, octave_comment_list *lc) |
| 3484 | 2119 { |
| 2120 tree_command *retval = 0; | |
| 2121 | |
| 2122 maybe_warn_assign_as_truth_value (expr); | |
| 2123 | |
| 3665 | 2124 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2125 | |
| 3484 | 2126 lexer_flags.looping--; |
| 2127 | |
| 2128 int l = do_tok->line (); | |
| 2129 int c = do_tok->column (); | |
| 2130 | |
| 3665 | 2131 retval = new tree_do_until_command (expr, body, lc, tc, l, c); |
| 3484 | 2132 |
| 2133 return retval; | |
| 2134 } | |
| 2135 | |
| 1623 | 2136 // Build a for command. |
| 2137 | |
| 2138 static tree_command * | |
| 2970 | 2139 make_for_command (token *for_tok, tree_argument_list *lhs, |
| 1623 | 2140 tree_expression *expr, tree_statement_list *body, |
| 3665 | 2141 token *end_tok, octave_comment_list *lc) |
| 1623 | 2142 { |
| 2143 tree_command *retval = 0; | |
| 2144 | |
| 2857 | 2145 if (end_token_ok (end_tok, token::for_end)) |
| 1623 | 2146 { |
| 3665 | 2147 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2148 | |
| 1826 | 2149 lexer_flags.looping--; |
| 1623 | 2150 |
| 2151 int l = for_tok->line (); | |
| 2152 int c = for_tok->column (); | |
| 2153 | |
| 2970 | 2154 if (lhs->length () == 1) |
| 2155 { | |
| 2156 tree_expression *tmp = lhs->remove_front (); | |
| 2157 | |
| 3665 | 2158 retval = new tree_simple_for_command (tmp, expr, body, |
| 2159 lc, tc, l, c); | |
| 2970 | 2160 |
| 2161 delete lhs; | |
| 2162 } | |
| 2163 else | |
| 3665 | 2164 retval = new tree_complex_for_command (lhs, expr, body, |
| 2165 lc, tc, l, c); | |
| 1623 | 2166 } |
| 2167 | |
| 2168 return retval; | |
| 2169 } | |
| 2170 | |
| 4207 | 2171 // Build a break command. |
| 2172 | |
| 2173 static tree_command * | |
| 2174 make_break_command (token *break_tok) | |
| 1623 | 2175 { |
| 4207 | 2176 tree_command *retval = 0; |
| 1623 | 2177 |
| 2620 | 2178 int l = break_tok->line (); |
| 2179 int c = break_tok->column (); | |
| 2180 | |
| 3489 | 2181 if (lexer_flags.looping || lexer_flags.defining_func |
| 3877 | 2182 || reading_script_file || evaluating_function_body |
| 2183 || evaluating_looping_command) | |
| 4207 | 2184 retval = new tree_break_command (l, c); |
| 1623 | 2185 else |
| 4207 | 2186 retval = new tree_no_op_command ("break", l, c); |
| 1623 | 2187 |
| 2188 return retval; | |
| 2189 } | |
| 2190 | |
| 4207 | 2191 // Build a continue command. |
| 2192 | |
| 2193 static tree_command * | |
| 2194 make_continue_command (token *continue_tok) | |
| 1623 | 2195 { |
| 4207 | 2196 tree_command *retval = 0; |
| 1623 | 2197 |
| 2620 | 2198 int l = continue_tok->line (); |
| 2199 int c = continue_tok->column (); | |
| 2200 | |
| 3877 | 2201 if (lexer_flags.looping || evaluating_looping_command) |
| 4207 | 2202 retval = new tree_continue_command (l, c); |
| 1623 | 2203 else |
| 4207 | 2204 retval = new tree_no_op_command ("continue", l, c); |
| 1623 | 2205 |
| 2206 return retval; | |
| 2207 } | |
| 2208 | |
| 4207 | 2209 // Build a return command. |
| 2210 | |
| 2211 static tree_command * | |
| 2212 make_return_command (token *return_tok) | |
| 1623 | 2213 { |
| 4207 | 2214 tree_command *retval = 0; |
| 1623 | 2215 |
| 2620 | 2216 int l = return_tok->line (); |
| 2217 int c = return_tok->column (); | |
| 2218 | |
| 3489 | 2219 if (lexer_flags.defining_func || reading_script_file |
| 2220 || evaluating_function_body) | |
| 4207 | 2221 retval = new tree_return_command (l, c); |
| 1623 | 2222 else |
| 4207 | 2223 retval = new tree_no_op_command ("return", l, c); |
| 1623 | 2224 |
| 2225 return retval; | |
| 2226 } | |
| 2227 | |
| 2228 // Start an if command. | |
| 2229 | |
| 2230 static tree_if_command_list * | |
| 2231 start_if_command (tree_expression *expr, tree_statement_list *list) | |
| 2232 { | |
| 2233 maybe_warn_assign_as_truth_value (expr); | |
| 2234 | |
| 2235 tree_if_clause *t = new tree_if_clause (expr, list); | |
| 2236 | |
| 2237 return new tree_if_command_list (t); | |
| 2238 } | |
| 2239 | |
| 2240 // Finish an if command. | |
| 2241 | |
| 2242 static tree_if_command * | |
| 2243 finish_if_command (token *if_tok, tree_if_command_list *list, | |
| 3665 | 2244 token *end_tok, octave_comment_list *lc) |
| 1623 | 2245 { |
| 2246 tree_if_command *retval = 0; | |
| 2247 | |
| 2857 | 2248 if (end_token_ok (end_tok, token::if_end)) |
| 1623 | 2249 { |
| 3665 | 2250 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2251 | |
| 1623 | 2252 int l = if_tok->line (); |
| 2253 int c = if_tok->column (); | |
| 2254 | |
| 3665 | 2255 retval = new tree_if_command (list, lc, tc, l, c); |
| 1623 | 2256 } |
| 2257 | |
| 2258 return retval; | |
| 2259 } | |
| 2260 | |
| 2261 // Build an elseif clause. | |
| 2262 | |
| 2263 static tree_if_clause * | |
| 3665 | 2264 make_elseif_clause (tree_expression *expr, tree_statement_list *list, |
| 2265 octave_comment_list *lc) | |
| 1623 | 2266 { |
| 2267 maybe_warn_assign_as_truth_value (expr); | |
| 2268 | |
| 3665 | 2269 return new tree_if_clause (expr, list, lc); |
| 1623 | 2270 } |
| 2271 | |
| 2764 | 2272 // Finish a switch command. |
| 2273 | |
| 2274 static tree_switch_command * | |
| 2275 finish_switch_command (token *switch_tok, tree_expression *expr, | |
| 3665 | 2276 tree_switch_case_list *list, token *end_tok, |
| 2277 octave_comment_list *lc) | |
| 2764 | 2278 { |
| 2279 tree_switch_command *retval = 0; | |
| 2280 | |
| 2857 | 2281 if (end_token_ok (end_tok, token::switch_end)) |
| 2764 | 2282 { |
| 3665 | 2283 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2284 | |
| 2764 | 2285 int l = switch_tok->line (); |
| 2286 int c = switch_tok->column (); | |
| 2287 | |
| 3665 | 2288 retval = new tree_switch_command (expr, list, lc, tc, l, c); |
| 2764 | 2289 } |
| 2290 | |
| 2291 return retval; | |
| 2292 } | |
| 2293 | |
| 2294 // Build a switch case. | |
| 2295 | |
| 2296 static tree_switch_case * | |
| 3665 | 2297 make_switch_case (tree_expression *expr, tree_statement_list *list, |
| 2298 octave_comment_list *lc) | |
| 2764 | 2299 { |
| 2300 maybe_warn_variable_switch_label (expr); | |
| 2301 | |
| 3665 | 2302 return new tree_switch_case (expr, list, lc); |
| 2764 | 2303 } |
| 2304 | |
| 1623 | 2305 // Build an assignment to a variable. |
| 2306 | |
| 2307 static tree_expression * | |
| 2970 | 2308 make_assign_op (int op, tree_argument_list *lhs, token *eq_tok, |
| 2309 tree_expression *rhs) | |
| 1623 | 2310 { |
| 2970 | 2311 tree_expression *retval = 0; |
| 2312 | |
| 2883 | 2313 octave_value::assign_op t = octave_value::unknown_assign_op; |
| 2314 | |
| 2315 switch (op) | |
| 2316 { | |
| 2317 case '=': | |
| 3525 | 2318 t = octave_value::op_asn_eq; |
| 2883 | 2319 break; |
| 2320 | |
| 2321 case ADD_EQ: | |
| 3525 | 2322 t = octave_value::op_add_eq; |
| 2883 | 2323 break; |
| 2324 | |
| 2325 case SUB_EQ: | |
| 3525 | 2326 t = octave_value::op_sub_eq; |
| 2883 | 2327 break; |
| 2328 | |
| 2329 case MUL_EQ: | |
| 3525 | 2330 t = octave_value::op_mul_eq; |
| 2883 | 2331 break; |
| 2332 | |
| 2333 case DIV_EQ: | |
| 3525 | 2334 t = octave_value::op_div_eq; |
| 2883 | 2335 break; |
| 2336 | |
| 3204 | 2337 case LEFTDIV_EQ: |
| 3525 | 2338 t = octave_value::op_ldiv_eq; |
| 3204 | 2339 break; |
| 2340 | |
| 4018 | 2341 case POW_EQ: |
| 2342 t = octave_value::op_pow_eq; | |
| 2343 break; | |
| 2344 | |
| 2899 | 2345 case LSHIFT_EQ: |
| 3525 | 2346 t = octave_value::op_lshift_eq; |
| 2899 | 2347 break; |
| 2348 | |
| 2349 case RSHIFT_EQ: | |
| 3525 | 2350 t = octave_value::op_rshift_eq; |
| 2899 | 2351 break; |
| 2352 | |
| 2883 | 2353 case EMUL_EQ: |
| 3525 | 2354 t = octave_value::op_el_mul_eq; |
| 2883 | 2355 break; |
| 2356 | |
| 2357 case EDIV_EQ: | |
| 3525 | 2358 t = octave_value::op_el_div_eq; |
| 2883 | 2359 break; |
| 2360 | |
| 3204 | 2361 case ELEFTDIV_EQ: |
| 3525 | 2362 t = octave_value::op_el_ldiv_eq; |
| 3204 | 2363 break; |
| 2364 | |
| 4018 | 2365 case EPOW_EQ: |
| 2366 t = octave_value::op_el_pow_eq; | |
| 2367 break; | |
| 2368 | |
| 2883 | 2369 case AND_EQ: |
| 3525 | 2370 t = octave_value::op_el_and_eq; |
| 2883 | 2371 break; |
| 2372 | |
| 2373 case OR_EQ: | |
| 3525 | 2374 t = octave_value::op_el_or_eq; |
| 2883 | 2375 break; |
| 2376 | |
| 2377 default: | |
| 2378 panic_impossible (); | |
| 2379 break; | |
| 2380 } | |
| 2381 | |
| 1623 | 2382 int l = eq_tok->line (); |
| 2383 int c = eq_tok->column (); | |
| 2384 | |
| 5841 | 2385 if (lhs->is_simple_assign_lhs ()) |
| 666 | 2386 { |
| 2970 | 2387 tree_expression *tmp = lhs->remove_front (); |
| 2388 | |
| 2389 retval = new tree_simple_assignment (tmp, rhs, false, l, c, t); | |
| 2390 | |
| 2391 delete lhs; | |
| 666 | 2392 } |
| 2393 else | |
| 3208 | 2394 return new tree_multi_assignment (lhs, rhs, false, l, c, t); |
| 666 | 2395 |
| 2396 return retval; | |
| 2397 } | |
| 751 | 2398 |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2399 // Define a function. |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2400 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2401 static void |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2402 make_script (tree_statement_list *cmds) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2403 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2404 std::string doc_string; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2405 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2406 if (! help_buf.empty ()) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2407 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2408 doc_string = help_buf.top (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2409 help_buf.pop (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2410 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2411 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2412 octave_user_script *script |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2413 = new octave_user_script (curr_fcn_file_full_name, curr_fcn_file_name, |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2414 cmds, doc_string); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2415 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2416 octave_time now; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2417 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2418 script->stash_fcn_file_time (now); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2419 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2420 curr_fcn_ptr = script; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2421 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2422 |
| 1623 | 2423 // Begin defining a function. |
| 2424 | |
| 2891 | 2425 static octave_user_function * |
| 2426 start_function (tree_parameter_list *param_list, tree_statement_list *body) | |
| 1623 | 2427 { |
| 2891 | 2428 // We'll fill in the return list later. |
| 2429 | |
| 2430 octave_user_function *fcn | |
| 7336 | 2431 = new octave_user_function (symbol_table::current_scope (), |
| 2432 param_list, 0, body); | |
| 2433 | |
| 1623 | 2434 |
| 3665 | 2435 if (fcn) |
| 2436 { | |
| 2437 octave_comment_list *tc = octave_comment_buffer::get_comment (); | |
| 2438 | |
| 2439 fcn->stash_trailing_comment (tc); | |
| 2440 } | |
| 2441 | |
| 1623 | 2442 return fcn; |
| 2443 } | |
| 2444 | |
| 2445 // Do most of the work for defining a function. | |
| 2446 | |
| 2891 | 2447 static octave_user_function * |
| 4872 | 2448 frob_function (const std::string& fname, octave_user_function *fcn) |
| 1623 | 2449 { |
| 4872 | 2450 std::string id_name = fname; |
| 1623 | 2451 |
| 2452 // If input is coming from a file, issue a warning if the name of | |
| 2453 // the file does not match the name of the function stated in the | |
| 2454 // file. Matlab doesn't provide a diagnostic (it ignores the stated | |
| 2455 // name). | |
| 2456 | |
| 5484 | 2457 if (reading_fcn_file || autoloading) |
| 1623 | 2458 { |
| 7336 | 2459 if (! (autoloading |
| 2460 || lexer_flags.parsing_nested_function | |
| 2461 || lexer_flags.parsing_class_method)) | |
| 1623 | 2462 { |
| 7336 | 2463 // FIXME -- should curr_fcn_file_name already be |
| 2464 // preprocessed when we get here? It seems to only be a | |
| 2465 // problem with relative file names. | |
| 2466 | |
| 2467 std::string nm = curr_fcn_file_name; | |
| 2468 | |
| 2469 size_t pos = nm.find_last_of (file_ops::dir_sep_chars); | |
| 2470 | |
| 2471 if (pos != NPOS) | |
| 2472 nm = curr_fcn_file_name.substr (pos+1); | |
| 2473 | |
| 2474 if (nm != id_name) | |
| 2475 { | |
| 2476 warning_with_id | |
| 2477 ("Octave:function-name-clash", | |
| 2478 "function name `%s' does not agree with function file name `%s'", | |
| 2479 id_name.c_str (), curr_fcn_file_full_name.c_str ()); | |
| 2480 | |
| 2481 id_name = nm; | |
| 2482 } | |
| 1623 | 2483 } |
| 2484 | |
| 3712 | 2485 octave_time now; |
| 3162 | 2486 |
| 4343 | 2487 fcn->stash_fcn_file_name (curr_fcn_file_full_name); |
| 3162 | 2488 fcn->stash_fcn_file_time (now); |
| 1623 | 2489 fcn->mark_as_system_fcn_file (); |
| 3162 | 2490 |
| 6323 | 2491 if (fcn_file_from_relative_lookup) |
| 2492 fcn->mark_relative (); | |
| 2493 | |
| 2494 if (lexer_flags.parsing_nested_function) | |
| 2495 fcn->stash_parent_fcn_name (parent_function_name); | |
| 2496 | |
| 7336 | 2497 if (lexer_flags.parsing_class_method) |
| 2498 { | |
| 2499 if (current_class_name == id_name) | |
| 2500 fcn->mark_as_class_constructor (); | |
| 2501 else | |
| 2502 fcn->mark_as_class_method (); | |
| 2503 | |
| 2504 fcn->stash_dispatch_class (current_class_name); | |
| 2505 } | |
| 2506 | |
| 5781 | 2507 std::string nm = fcn->fcn_file_name (); |
| 2508 | |
| 2509 file_stat fs (nm); | |
| 2510 | |
| 2511 if (fs && fs.is_newer (now)) | |
| 2512 warning_with_id ("Octave:future-time-stamp", | |
| 2513 "time stamp for `%s' is in the future", nm.c_str ()); | |
| 1623 | 2514 } |
| 2515 else if (! (input_from_tmp_history_file || input_from_startup_file) | |
| 2516 && reading_script_file | |
| 1755 | 2517 && curr_fcn_file_name == id_name) |
| 1623 | 2518 { |
| 2519 warning ("function `%s' defined within script file `%s'", | |
| 1755 | 2520 id_name.c_str (), curr_fcn_file_full_name.c_str ()); |
| 1623 | 2521 } |
| 2522 | |
| 4872 | 2523 fcn->stash_function_name (id_name); |
| 2524 | |
| 7336 | 2525 if (! help_buf.empty ()) |
| 2526 { | |
| 2527 fcn->document (help_buf.top ()); | |
| 2528 | |
| 2529 help_buf.pop (); | |
| 2530 } | |
| 2531 | |
| 2532 if (lexer_flags.parsing_nested_function) | |
| 5609 | 2533 { |
| 7336 | 2534 std::string nm = fcn->name (); |
| 2535 | |
| 2536 fcn->mark_as_nested_function (); | |
| 2537 | |
| 2538 symbol_table::install_subfunction (nm, octave_value (fcn)); | |
| 2539 | |
| 2540 if (lexer_flags.parsing_nested_function < 0) | |
| 2541 { | |
| 2542 lexer_flags.parsing_nested_function = 0; | |
| 2543 symbol_table::reset_parent_scope (); | |
| 5397 | 2544 } |
| 4238 | 2545 } |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2546 else if (reading_fcn_file) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2547 curr_fcn_ptr = fcn; |
| 7336 | 2548 else |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2549 curr_fcn_ptr = 0; |
| 4426 | 2550 |
| 1623 | 2551 return fcn; |
| 2552 } | |
| 2553 | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2554 static tree_function_def * |
| 3665 | 2555 finish_function (tree_parameter_list *ret_list, |
| 2556 octave_user_function *fcn, octave_comment_list *lc) | |
| 1623 | 2557 { |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2558 tree_function_def *retval = 0; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2559 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2560 if (ret_list) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2561 ret_list->mark_as_formal_parameters (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2562 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2563 if (fcn) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2564 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2565 if (lc) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2566 fcn->stash_leading_comment (lc); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2567 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2568 fcn->define_ret_list (ret_list); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2569 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2570 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2571 if (! curr_fcn_ptr) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2572 retval = new tree_function_def (fcn); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2573 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2574 return retval; |
| 1623 | 2575 } |
| 2576 | |
| 2883 | 2577 static void |
| 2578 recover_from_parsing_function (void) | |
| 2579 { | |
| 4238 | 2580 if (symtab_context.empty ()) |
| 3903 | 2581 panic_impossible (); |
| 2582 | |
| 7336 | 2583 symbol_table::set_scope (symtab_context.top ()); |
| 4238 | 2584 symtab_context.pop (); |
| 2883 | 2585 |
| 2586 lexer_flags.defining_func = false; | |
| 2587 lexer_flags.parsed_function_name = false; | |
| 2588 lexer_flags.looking_at_return_list = false; | |
| 2589 lexer_flags.looking_at_parameter_list = false; | |
| 2590 } | |
| 2591 | |
| 2846 | 2592 // Make an index expression. |
| 2593 | |
| 751 | 2594 static tree_index_expression * |
| 3929 | 2595 make_index_expression (tree_expression *expr, tree_argument_list *args, |
| 3933 | 2596 char type) |
| 751 | 2597 { |
| 2598 tree_index_expression *retval = 0; | |
| 2599 | |
| 2970 | 2600 int l = expr->line (); |
| 2601 int c = expr->column (); | |
| 2602 | |
| 2603 expr->mark_postfix_indexed (); | |
| 2604 | |
| 3933 | 2605 if (expr->is_index_expression ()) |
| 2606 { | |
| 2607 tree_index_expression *tmp = static_cast<tree_index_expression *> (expr); | |
| 2608 | |
| 2609 tmp->append (args, type); | |
| 2610 | |
| 2611 retval = tmp; | |
| 2612 } | |
| 2613 else | |
| 2614 retval = new tree_index_expression (expr, args, l, c, type); | |
| 2970 | 2615 |
| 2616 return retval; | |
| 2617 } | |
| 2618 | |
| 2619 // Make an indirect reference expression. | |
| 2620 | |
| 3930 | 2621 static tree_index_expression * |
| 3523 | 2622 make_indirect_ref (tree_expression *expr, const std::string& elt) |
| 2970 | 2623 { |
| 3930 | 2624 tree_index_expression *retval = 0; |
| 2970 | 2625 |
| 2626 int l = expr->line (); | |
| 2627 int c = expr->column (); | |
| 2628 | |
| 3933 | 2629 if (expr->is_index_expression ()) |
| 2630 { | |
| 2631 tree_index_expression *tmp = static_cast<tree_index_expression *> (expr); | |
| 2632 | |
| 2633 tmp->append (elt); | |
| 2634 | |
| 2635 retval = tmp; | |
| 2636 } | |
| 2637 else | |
| 2638 retval = new tree_index_expression (expr, elt, l, c); | |
| 2970 | 2639 |
| 2640 lexer_flags.looking_at_indirect_ref = false; | |
| 751 | 2641 |
| 2642 return retval; | |
| 2643 } | |
| 1511 | 2644 |
| 4131 | 2645 // Make an indirect reference expression with dynamic field name. |
| 2646 | |
| 2647 static tree_index_expression * | |
| 2648 make_indirect_ref (tree_expression *expr, tree_expression *elt) | |
| 2649 { | |
| 2650 tree_index_expression *retval = 0; | |
| 2651 | |
| 2652 int l = expr->line (); | |
| 2653 int c = expr->column (); | |
| 2654 | |
| 2655 if (expr->is_index_expression ()) | |
| 2656 { | |
| 2657 tree_index_expression *tmp = static_cast<tree_index_expression *> (expr); | |
| 2658 | |
| 2659 tmp->append (elt); | |
| 2660 | |
| 2661 retval = tmp; | |
| 2662 } | |
| 2663 else | |
| 2664 retval = new tree_index_expression (expr, elt, l, c); | |
| 2665 | |
| 2666 lexer_flags.looking_at_indirect_ref = false; | |
| 2667 | |
| 2668 return retval; | |
| 2669 } | |
| 2670 | |
| 2846 | 2671 // Make a declaration command. |
| 2672 | |
| 2673 static tree_decl_command * | |
| 2674 make_decl_command (int tok, token *tok_val, tree_decl_init_list *lst) | |
| 2675 { | |
| 2676 tree_decl_command *retval = 0; | |
| 2677 | |
| 2678 int l = tok_val->line (); | |
| 2679 int c = tok_val->column (); | |
| 2680 | |
| 2681 switch (tok) | |
| 2682 { | |
| 2683 case GLOBAL: | |
| 2684 retval = new tree_global_command (lst, l, c); | |
| 2685 break; | |
| 2686 | |
| 2687 case STATIC: | |
| 2688 if (lexer_flags.defining_func) | |
| 2689 retval = new tree_static_command (lst, l, c); | |
| 2690 else | |
| 2691 { | |
| 2692 if (reading_script_file) | |
| 4844 | 2693 warning ("ignoring persistent declaration near line %d of file `%s'", |
| 2846 | 2694 l, curr_fcn_file_full_name.c_str ()); |
| 2695 else | |
| 4844 | 2696 warning ("ignoring persistent declaration near line %d", l); |
| 2846 | 2697 } |
| 2698 break; | |
| 2699 | |
| 2700 default: | |
| 2701 panic_impossible (); | |
| 2702 break; | |
| 2703 } | |
| 2704 | |
| 2705 return retval; | |
| 2706 } | |
| 2707 | |
| 1623 | 2708 // Finish building a matrix list. |
| 2709 | |
| 2710 static tree_expression * | |
| 1829 | 2711 finish_matrix (tree_matrix *m) |
| 1623 | 2712 { |
| 3110 | 2713 tree_expression *retval = m; |
| 2714 | |
| 2715 unwind_protect::begin_frame ("finish_matrix"); | |
| 2716 | |
| 2717 unwind_protect_int (error_state); | |
| 4452 | 2718 unwind_protect_int (warning_state); |
| 3110 | 2719 |
| 3815 | 2720 unwind_protect_bool (discard_error_messages); |
| 4452 | 2721 unwind_protect_bool (discard_warning_messages); |
| 2722 | |
| 3815 | 2723 discard_error_messages = true; |
| 4452 | 2724 discard_warning_messages = true; |
| 1623 | 2725 |
| 2533 | 2726 if (m->all_elements_are_constant ()) |
| 1829 | 2727 { |
| 2970 | 2728 octave_value tmp = m->rvalue (); |
| 1623 | 2729 |
| 3489 | 2730 if (! (error_state || warning_state)) |
| 2533 | 2731 { |
| 2732 tree_constant *tc_retval = new tree_constant (tmp); | |
| 2733 | |
| 5765 | 2734 std::ostringstream buf; |
| 2533 | 2735 |
| 2736 tree_print_code tpc (buf); | |
| 2737 | |
| 2738 m->accept (tpc); | |
| 2739 | |
| 5765 | 2740 tc_retval->stash_original_text (buf.str ()); |
| 2533 | 2741 |
| 2742 delete m; | |
| 2743 | |
| 2744 retval = tc_retval; | |
| 2745 } | |
| 1623 | 2746 } |
| 3110 | 2747 |
| 2748 unwind_protect::run_frame ("finish_matrix"); | |
| 1623 | 2749 |
| 2750 return retval; | |
| 2751 } | |
| 2752 | |
| 3351 | 2753 // Finish building a cell list. |
| 2754 | |
| 2755 static tree_expression * | |
| 2756 finish_cell (tree_cell *c) | |
| 2757 { | |
| 5875 | 2758 return finish_matrix (c); |
| 3351 | 2759 } |
| 2760 | |
| 1511 | 2761 static void |
| 2762 maybe_warn_missing_semi (tree_statement_list *t) | |
| 2763 { | |
| 5781 | 2764 if (lexer_flags.defining_func) |
| 1511 | 2765 { |
| 4219 | 2766 tree_statement *tmp = t->back(); |
| 1607 | 2767 |
| 1511 | 2768 if (tmp->is_expression ()) |
| 5781 | 2769 warning_with_id |
| 2770 ("Octave:missing-semicolon", | |
| 2771 "missing semicolon near line %d, column %d in file `%s'", | |
| 2772 tmp->line (), tmp->column (), curr_fcn_file_full_name.c_str ()); | |
| 1511 | 2773 } |
| 2774 } | |
| 1994 | 2775 |
| 2525 | 2776 static void |
| 2777 set_stmt_print_flag (tree_statement_list *list, char sep, | |
| 2778 bool warn_missing_semi) | |
| 2779 { | |
| 2780 switch (sep) | |
| 2781 { | |
| 2782 case ';': | |
| 2783 { | |
| 4219 | 2784 tree_statement *tmp = list->back (); |
| 2525 | 2785 tmp->set_print_flag (0); |
| 2786 } | |
| 2787 break; | |
| 2788 | |
| 2789 case 0: | |
| 2790 case ',': | |
| 2791 case '\n': | |
| 2792 if (warn_missing_semi) | |
| 2793 maybe_warn_missing_semi (list); | |
| 2794 break; | |
| 2795 | |
| 2796 default: | |
| 2797 warning ("unrecognized separator type!"); | |
| 2798 break; | |
| 2799 } | |
| 2800 } | |
| 2801 | |
| 3021 | 2802 static void |
| 2803 safe_fclose (void *f) | |
| 2804 { | |
| 5775 | 2805 // FIXME -- comments at the end of an input file are |
| 3765 | 2806 // discarded (otherwise, they would be appended to the next |
| 2807 // statement, possibly from the command line or another file, which | |
| 2808 // can be quite confusing). | |
| 2809 | |
| 5308 | 2810 octave_comment_list *tc = octave_comment_buffer::get_comment (); |
| 2811 | |
| 2812 delete tc; | |
| 3765 | 2813 |
| 3021 | 2814 if (f) |
| 2815 fclose (static_cast<FILE *> (f)); | |
| 2816 } | |
| 2817 | |
| 2818 static bool | |
| 5175 | 2819 looks_like_copyright (const std::string& s) |
| 3021 | 2820 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2821 bool retval = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2822 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2823 if (! s.empty ()) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2824 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2825 size_t offset = s.find_first_not_of (" \t"); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2826 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2827 retval = (s.substr (offset, 9) == "Copyright"); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2828 } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2829 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2830 return retval; |
| 3021 | 2831 } |
| 2832 | |
| 4540 | 2833 static int |
| 2834 text_getc (FILE *f) | |
| 2835 { | |
| 2836 int c = getc (f); | |
| 2837 | |
|
7728
13820b9f5fd9
more consistent handling of CR/CRLF/LF line endings in lexer and parser
John W. Eaton <jwe@octave.org>
parents:
7723
diff
changeset
|
2838 // Convert CRLF into just LF and single CR into LF. |
| 4540 | 2839 |
| 2840 if (c == '\r') | |
| 2841 { | |
| 2842 c = getc (f); | |
| 2843 | |
|
7723
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2844 if (c == '\n') |
|
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2845 input_line_number++; |
|
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2846 else |
| 4540 | 2847 { |
| 2848 ungetc (c, f); | |
|
7728
13820b9f5fd9
more consistent handling of CR/CRLF/LF line endings in lexer and parser
John W. Eaton <jwe@octave.org>
parents:
7723
diff
changeset
|
2849 c = '\n'; |
| 4540 | 2850 } |
| 2851 } | |
|
7723
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2852 else if (c == '\n') |
|
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2853 input_line_number++; |
| 4540 | 2854 |
| 2855 return c; | |
| 2856 } | |
| 2857 | |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2858 class |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2859 stdio_stream_reader : public stream_reader |
| 3021 | 2860 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2861 public: |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2862 stdio_stream_reader (FILE *f_arg) : stream_reader (), f (f_arg) { } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2863 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2864 int getc (void) { return ::text_getc (f); } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2865 int ungetc (int c) { return ::ungetc (c, f); } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2866 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2867 private: |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2868 FILE *f; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2869 }; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2870 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2871 static bool |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2872 skip_white_space (stream_reader& reader) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2873 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2874 int c = 0; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2875 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2876 while ((c = reader.getc ()) != EOF) |
| 3021 | 2877 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2878 switch (c) |
| 3021 | 2879 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2880 case ' ': |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2881 case '\t': |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2882 current_input_column++; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2883 break; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2884 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2885 case '\n': |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2886 current_input_column = 0; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2887 break; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2888 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2889 default: |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2890 current_input_column--; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2891 reader.ungetc (c); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2892 goto done; |
| 3021 | 2893 } |
| 2894 } | |
| 2895 | |
| 2896 done: | |
| 2897 | |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2898 return (c == EOF); |
| 3021 | 2899 } |
| 2900 | |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2901 static std::string |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2902 gobble_leading_white_space (FILE *ffile, bool& eof) |
| 3021 | 2903 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2904 std::string help_txt; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2905 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2906 eof = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2907 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2908 // TRUE means we have already cached the help text. |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2909 bool have_help_text = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2910 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2911 std::string txt; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2912 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2913 stdio_stream_reader stdio_reader (ffile); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2914 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2915 while (true) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2916 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2917 eof = skip_white_space (stdio_reader); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2918 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2919 if (eof) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2920 break; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2921 |
|
7723
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
2922 txt = grab_comment_block (stdio_reader, true, eof); |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2923 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2924 if (txt.empty ()) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2925 break; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2926 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2927 if (! (have_help_text || looks_like_copyright (txt))) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2928 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2929 help_txt = txt; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2930 have_help_text = true; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2931 } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2932 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2933 octave_comment_buffer::append (txt); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2934 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2935 if (eof) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2936 break; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2937 } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2938 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
2939 return help_txt; |
| 3021 | 2940 } |
| 2941 | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2942 static bool |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2943 looking_at_function_keyword (FILE *ffile) |
| 5931 | 2944 { |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2945 bool status = false; |
| 3021 | 2946 |
| 2947 long pos = ftell (ffile); | |
| 2948 | |
| 2949 char buf [10]; | |
| 2950 fgets (buf, 10, ffile); | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2951 size_t len = strlen (buf); |
| 3021 | 2952 if (len > 8 && strncmp (buf, "function", 8) == 0 |
| 2953 && ! (isalnum (buf[8]) || buf[8] == '_')) | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2954 status = true; |
| 3021 | 2955 |
| 2956 fseek (ffile, pos, SEEK_SET); | |
| 2957 | |
| 2958 return status; | |
| 2959 } | |
| 2960 | |
| 2961 static void | |
| 2962 restore_command_history (void *) | |
| 2963 { | |
| 2964 command_history::ignore_entries (! Vsaving_history); | |
| 2965 } | |
| 2966 | |
| 2967 static void | |
| 2968 restore_input_stream (void *f) | |
| 2969 { | |
| 2970 command_editor::set_input_stream (static_cast<FILE *> (f)); | |
| 2971 } | |
| 2972 | |
| 7336 | 2973 static octave_function * |
| 2974 parse_fcn_file (const std::string& ff, const std::string& dispatch_type, | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2975 bool force_script = false, bool require_file = true, |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
2976 const std::string& warn_for = std::string ()) |
| 3021 | 2977 { |
| 2978 unwind_protect::begin_frame ("parse_fcn_file"); | |
| 2979 | |
| 7336 | 2980 octave_function *fcn_ptr = 0; |
| 3021 | 2981 |
| 2982 // Open function file and parse. | |
| 2983 | |
| 2984 bool old_reading_fcn_file_state = reading_fcn_file; | |
| 2985 | |
| 2986 FILE *in_stream = command_editor::get_input_stream (); | |
| 2987 | |
| 2988 unwind_protect::add (restore_input_stream, in_stream); | |
| 2989 | |
| 2990 unwind_protect_ptr (ff_instream); | |
| 2991 | |
| 2992 unwind_protect_int (input_line_number); | |
| 2993 unwind_protect_int (current_input_column); | |
| 4238 | 2994 unwind_protect_int (end_tokens_expected); |
| 3021 | 2995 unwind_protect_bool (reading_fcn_file); |
| 2996 unwind_protect_bool (line_editing); | |
| 4238 | 2997 unwind_protect_str (parent_function_name); |
| 7336 | 2998 unwind_protect_str (current_class_name); |
| 3021 | 2999 |
| 3000 input_line_number = 0; | |
| 3001 current_input_column = 1; | |
| 4238 | 3002 end_tokens_expected = 0; |
| 3021 | 3003 reading_fcn_file = true; |
| 3004 line_editing = false; | |
| 4238 | 3005 parent_function_name = ""; |
| 7336 | 3006 current_class_name = dispatch_type; |
| 3021 | 3007 |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3008 // The next four lines must be in this order. |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3009 unwind_protect::add (restore_command_history, 0); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3010 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3011 // FIXME -- we shouldn't need both the |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3012 // command_history object and the |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3013 // Vsaving_history variable... |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3014 command_history::ignore_entries (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3015 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3016 unwind_protect_bool (Vsaving_history); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3017 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3018 Vsaving_history = false; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3019 |
| 3021 | 3020 FILE *ffile = get_input_from_file (ff, 0); |
| 3021 | |
| 3022 unwind_protect::add (safe_fclose, ffile); | |
| 3023 | |
| 3024 if (ffile) | |
| 3025 { | |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3026 bool eof; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3027 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3028 std::string help_txt = gobble_leading_white_space (ffile, eof); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3029 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3030 if (! eof) |
| 3021 | 3031 { |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3032 std::string file_type; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3033 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3034 bool parsing_script = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3035 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3036 if (! force_script && looking_at_function_keyword (ffile)) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3037 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3038 file_type = "function"; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3039 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3040 unwind_protect_int (Vecho_executing_commands); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3041 unwind_protect_bool (reading_fcn_file); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3042 unwind_protect_bool (get_input_from_eval_string); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3043 unwind_protect_bool (parser_end_of_input); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3044 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3045 Vecho_executing_commands = ECHO_OFF; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3046 reading_fcn_file = true; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3047 get_input_from_eval_string = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3048 parser_end_of_input = false; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3049 } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3050 else |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3051 { |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3052 file_type = "script"; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3053 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3054 // The value of `reading_fcn_file' will be restored to the |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3055 // proper value when we unwind from this frame. |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3056 reading_fcn_file = old_reading_fcn_file_state; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3057 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3058 unwind_protect_bool (reading_script_file); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3059 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3060 reading_script_file = true; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3061 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3062 parsing_script = true; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3063 } |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3064 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3065 YY_BUFFER_STATE old_buf = current_buffer (); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3066 YY_BUFFER_STATE new_buf = create_buffer (ffile); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3067 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3068 unwind_protect::add (restore_input_buffer, old_buf); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3069 unwind_protect::add (delete_input_buffer, new_buf); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3070 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3071 switch_to_buffer (new_buf); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3072 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3073 unwind_protect_ptr (curr_fcn_ptr); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3074 curr_fcn_ptr = 0; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3075 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3076 reset_parser (); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3077 |
|
7723
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
3078 if (! help_txt.empty ()) |
|
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
3079 help_buf.push (help_txt); |
|
74f5e0c7de9e
first pass at handling block comments
John W. Eaton <jwe@octave.org>
parents:
7720
diff
changeset
|
3080 |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3081 if (parsing_script) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3082 prep_lexer_for_script (); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3083 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3084 lexer_flags.parsing_class_method = ! dispatch_type.empty (); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3085 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3086 int status = yyparse (); |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3087 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3088 fcn_ptr = curr_fcn_ptr; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3089 |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3090 if (status != 0) |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3091 error ("parse error while reading %s file %s", |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3092 file_type.c_str(), ff.c_str ()); |
| 3021 | 3093 } |
| 3094 } | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3095 else if (require_file) |
| 3880 | 3096 error ("no such file, `%s'", ff.c_str ()); |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3097 else if (! warn_for.empty ()) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3098 error ("%s: unable to open file `%s'", warn_for.c_str (), ff.c_str ()); |
| 3021 | 3099 |
| 3100 unwind_protect::run_frame ("parse_fcn_file"); | |
| 3101 | |
| 7336 | 3102 return fcn_ptr; |
| 3021 | 3103 } |
| 3104 | |
| 5484 | 3105 std::string |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3106 get_help_from_file (const std::string& nm, bool& symbol_found, |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3107 std::string& file) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3108 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3109 std::string retval; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3110 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3111 file = fcn_file_in_path (nm); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3112 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3113 if (! file.empty ()) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3114 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3115 symbol_found = true; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3116 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3117 FILE *fptr = fopen (file.c_str (), "r"); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3118 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3119 if (fptr) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3120 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3121 unwind_protect::add (safe_fclose, fptr); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3122 |
|
7720
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3123 bool eof; |
|
4e2eafef689c
unify comment and help text processing in lex.l and parse.y
John W. Eaton <jwe@octave.org>
parents:
7719
diff
changeset
|
3124 retval = gobble_leading_white_space (fptr, eof); |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3125 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3126 if (retval.empty ()) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3127 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3128 octave_function *fcn = parse_fcn_file (file, ""); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3129 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3130 if (fcn) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3131 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3132 retval = fcn->doc_string (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3133 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3134 delete fcn; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3135 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3136 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3137 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3138 unwind_protect::run (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3139 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3140 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3141 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3142 return retval; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3143 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3144 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3145 std::string |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3146 get_help_from_file (const std::string& nm, bool& symbol_found) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3147 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3148 std::string file; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3149 return get_help_from_file (nm, symbol_found, file); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3150 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3151 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3152 std::string |
| 5484 | 3153 lookup_autoload (const std::string& nm) |
| 3154 { | |
| 5626 | 3155 std::string retval; |
| 3156 | |
| 3157 typedef std::map<std::string, std::string>::const_iterator am_iter; | |
| 3158 | |
| 3159 am_iter p = autoload_map.find (nm); | |
| 3160 | |
| 3161 if (p != autoload_map.end ()) | |
| 6323 | 3162 retval = load_path::find_file (p->second); |
| 5626 | 3163 |
| 3164 return retval; | |
| 5484 | 3165 } |
| 3166 | |
| 5592 | 3167 string_vector |
| 3168 autoloaded_functions (void) | |
| 3169 { | |
| 3170 string_vector names (autoload_map.size()); | |
| 3171 | |
| 3172 octave_idx_type i = 0; | |
| 5626 | 3173 typedef std::map<std::string, std::string>::const_iterator am_iter; |
| 3174 for (am_iter p = autoload_map.begin (); p != autoload_map.end (); p++) | |
| 5592 | 3175 names[i++] = p->first; |
| 3176 | |
| 3177 return names; | |
| 3178 } | |
| 3179 | |
| 3180 string_vector | |
| 3181 reverse_lookup_autoload (const std::string& nm) | |
| 3182 { | |
| 3183 string_vector names; | |
| 3184 | |
| 5626 | 3185 typedef std::map<std::string, std::string>::const_iterator am_iter; |
| 3186 for (am_iter p = autoload_map.begin (); p != autoload_map.end (); p++) | |
| 5592 | 3187 if (nm == p->second) |
| 3188 names.append (p->first); | |
| 3189 | |
| 3190 return names; | |
| 3191 } | |
| 3192 | |
| 7336 | 3193 octave_function * |
| 3194 load_fcn_from_file (const std::string& file_name, const std::string& dir_name, | |
| 3195 const std::string& dispatch_type, | |
| 3196 const std::string& fcn_name, bool autoload) | |
| 3021 | 3197 { |
| 7336 | 3198 octave_function *retval = 0; |
| 3199 | |
| 5484 | 3200 unwind_protect::begin_frame ("load_fcn_from_file"); |
| 3201 | |
| 7336 | 3202 std::string nm = file_name; |
| 6238 | 3203 |
| 3204 size_t nm_len = nm.length (); | |
| 5472 | 3205 |
| 3206 std::string file; | |
| 3207 | |
| 6323 | 3208 unwind_protect_bool (fcn_file_from_relative_lookup); |
| 3209 | |
| 3210 fcn_file_from_relative_lookup = false; | |
| 3211 | |
| 7336 | 3212 file = nm; |
| 3213 | |
| 3214 if ((nm_len > 4 && nm.substr (nm_len-4) == ".oct") | |
| 3215 || (nm_len > 4 && nm.substr (nm_len-4) == ".mex") | |
| 3216 || (nm_len > 2 && nm.substr (nm_len-2) == ".m")) | |
| 5472 | 3217 { |
| 6238 | 3218 nm = octave_env::base_pathname (file); |
| 3219 nm = nm.substr (0, nm.find_last_of ('.')); | |
| 5472 | 3220 } |
| 7336 | 3221 |
| 3222 if (autoload) | |
| 5472 | 3223 { |
| 7336 | 3224 unwind_protect_bool (autoloading); |
| 3225 autoloading = true; | |
| 3226 } | |
| 3227 | |
|
7749
14e05160b99f
reference counting for functions loaded from shared libraries
John W. Eaton <jwe@octave.org>
parents:
7736
diff
changeset
|
3228 fcn_file_from_relative_lookup = ! octave_env::absolute_pathname (file); |
|
14e05160b99f
reference counting for functions loaded from shared libraries
John W. Eaton <jwe@octave.org>
parents:
7736
diff
changeset
|
3229 |
|
14e05160b99f
reference counting for functions loaded from shared libraries
John W. Eaton <jwe@octave.org>
parents:
7736
diff
changeset
|
3230 file = octave_env::make_absolute (file, octave_env::getcwd ()); |
| 4243 | 3231 |
| 3232 int len = file.length (); | |
| 3233 | |
| 4244 | 3234 if (len > 4 && file.substr (len-4, len-1) == ".oct") |
| 3021 | 3235 { |
| 7336 | 3236 if (autoload && ! fcn_name.empty ()) |
| 3237 nm = fcn_name; | |
| 3238 | |
| 3239 retval = octave_dynamic_loader::load_oct (nm, file, fcn_file_from_relative_lookup); | |
| 5864 | 3240 } |
| 3241 else if (len > 4 && file.substr (len-4, len-1) == ".mex") | |
| 7336 | 3242 retval = octave_dynamic_loader::load_mex (nm, file, fcn_file_from_relative_lookup); |
| 4244 | 3243 else if (len > 2) |
| 3021 | 3244 { |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3245 // These are needed by yyparse. |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3246 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3247 unwind_protect_str (curr_fcn_file_name); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3248 unwind_protect_str (curr_fcn_file_full_name); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3249 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3250 curr_fcn_file_name = nm; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3251 curr_fcn_file_full_name = file; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3252 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3253 retval = parse_fcn_file (file, dispatch_type, autoloading); |
| 3021 | 3254 } |
| 3255 | |
| 7336 | 3256 if (retval) |
| 3257 retval->stash_dir_name (dir_name); | |
| 3258 | |
| 5484 | 3259 unwind_protect::run_frame ("load_fcn_from_file"); |
| 3260 | |
| 7336 | 3261 return retval; |
| 5312 | 3262 } |
| 3263 | |
| 5484 | 3264 DEFCMD (autoload, args, , |
| 3265 "-*- texinfo -*-\n\ | |
| 3266 @deftypefn {Built-in Function} {} autoload (@var{function}, @var{file})\n\ | |
| 3267 Define @var{function} to autoload from @var{file}.\n\ | |
| 5626 | 3268 \n\ |
| 6926 | 3269 The second argument, @var{file}, should be an absolute file name or\n\ |
| 3270 a file name in the same directory as the function or script from which\n\ | |
| 3271 the autoload command was run. @var{file} should not depend on the\n\ | |
| 3272 Octave load path.\n\ | |
| 6380 | 3273 \n\ |
| 3274 Normally, calls to @code{autoload} appear in PKG_ADD script files that\n\ | |
| 3275 are evaluated when a directory is added to the Octave's load path. To\n\ | |
| 6926 | 3276 avoid having to hardcode directory names in @var{file}, if @var{file}\n\ |
| 3277 is in the same directory as the PKG_ADD script then\n\ | |
| 6380 | 3278 \n\ |
| 3279 @example\n\ | |
| 6926 | 3280 autoload (\"foo\", \"bar.oct\");\n\ |
| 6380 | 3281 @end example\n\ |
| 3282 \n\ | |
| 6926 | 3283 will load the function @code{foo} from the file @code{bar.oct}. The above\n\ |
| 3284 when @code{bar.oct} is not in the same directory or uses like\n\ | |
| 6380 | 3285 \n\ |
| 3286 @example\n\ | |
| 6637 | 3287 autoload (\"foo\", file_in_loadpath (\"bar.oct\"))\n\ |
| 6380 | 3288 @end example\n\ |
| 3289 \n\ | |
| 3290 @noindent\n\ | |
| 6926 | 3291 are strongly discouraged, as their behavior might be unpredictable.\n\ |
| 6380 | 3292 \n\ |
| 6637 | 3293 With no arguments, return a structure containing the current autoload map.\n\ |
| 6380 | 3294 @seealso{PKG_ADD}\n\ |
| 5484 | 3295 @end deftypefn") |
| 3296 { | |
| 5626 | 3297 octave_value retval; |
| 5484 | 3298 |
| 3299 int nargin = args.length (); | |
| 3300 | |
| 5626 | 3301 if (nargin == 0) |
| 3302 { | |
| 3303 Cell func_names (dim_vector (autoload_map.size ()), 1); | |
| 3304 Cell file_names (dim_vector (autoload_map.size ()), 1); | |
| 3305 | |
| 3306 octave_idx_type i = 0; | |
| 3307 typedef std::map<std::string, std::string>::const_iterator am_iter; | |
| 3308 for (am_iter p = autoload_map.begin (); p != autoload_map.end (); p++) | |
| 3309 { | |
| 3310 func_names(i) = p->first; | |
| 3311 file_names(i) = p->second; | |
| 3312 | |
| 3313 i++; | |
| 3314 } | |
| 3315 | |
| 3316 Octave_map m; | |
| 3317 | |
| 3318 m.assign ("function", func_names); | |
| 3319 m.assign ("file", file_names); | |
| 3320 | |
| 3321 retval = m; | |
| 3322 } | |
| 3323 else if (nargin == 2) | |
| 5484 | 3324 { |
| 3325 string_vector argv = args.make_argv ("autoload"); | |
| 3326 | |
| 3327 if (! error_state) | |
| 6380 | 3328 { |
| 3329 std::string nm = argv[2]; | |
| 3330 | |
| 3331 if (! octave_env::absolute_pathname (nm)) | |
| 6926 | 3332 { |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3333 octave_user_code *fcn = octave_call_stack::caller_user_code (); |
|
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3334 |
| 6926 | 3335 bool found = false; |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3336 |
| 6926 | 3337 if (fcn) |
| 3338 { | |
| 3339 std::string fname = fcn->fcn_file_name (); | |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3340 |
| 6926 | 3341 if (! fname.empty ()) |
| 3342 { | |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3343 fname = octave_env::make_absolute (fname, octave_env::getcwd ()); |
|
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3344 fname = fname.substr (0, fname.find_last_of (file_ops::dir_sep_str) + 1); |
|
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3345 |
| 6926 | 3346 file_stat fs (fname + nm); |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3347 |
| 6926 | 3348 if (fs.exists ()) |
| 3349 { | |
| 3350 nm = fname + nm; | |
| 3351 found = true; | |
| 3352 } | |
| 3353 } | |
| 3354 } | |
| 3355 if (! found) | |
| 3356 warning_with_id ("Octave:autoload-relative-file-name", | |
| 3357 "autoload: `%s' is not an absolute file name", | |
| 3358 nm.c_str ()); | |
| 3359 } | |
| 6380 | 3360 autoload_map[argv[1]] = nm; |
| 3361 } | |
| 5484 | 3362 } |
| 3363 else | |
| 5823 | 3364 print_usage (); |
| 5484 | 3365 |
| 3366 return retval; | |
| 3367 } | |
| 3368 | |
| 4486 | 3369 void |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3370 source_file (const std::string& file_name, const std::string& context, |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3371 bool verbose, bool require_file, const std::string& warn_for) |
| 4486 | 3372 { |
| 3373 std::string file_full_name = file_ops::tilde_expand (file_name); | |
| 3374 | |
| 3375 unwind_protect::begin_frame ("source_file"); | |
| 3376 | |
| 3377 unwind_protect_str (curr_fcn_file_name); | |
| 3378 unwind_protect_str (curr_fcn_file_full_name); | |
| 3379 | |
| 3380 curr_fcn_file_name = file_name; | |
| 3381 curr_fcn_file_full_name = file_full_name; | |
| 3382 | |
| 5975 | 3383 if (! context.empty ()) |
| 3384 { | |
| 3385 if (context == "caller") | |
| 7336 | 3386 symbol_table::push_scope (symbol_table::current_caller_scope ()); |
| 5975 | 3387 else if (context == "base") |
| 7336 | 3388 symbol_table::push_scope (symbol_table::top_scope ()); |
| 5975 | 3389 else |
| 3390 error ("source: context must be \"caller\" or \"base\""); | |
| 7336 | 3391 |
| 3392 if (! error_state) | |
| 3393 unwind_protect::add (symbol_table::pop_scope); | |
| 5975 | 3394 } |
| 3395 | |
| 3396 if (! error_state) | |
| 3397 { | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3398 octave_function *fcn = parse_fcn_file (file_full_name, "", true, |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3399 require_file, warn_for); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3400 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3401 if (! error_state) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3402 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3403 if (fcn && fcn->is_user_script ()) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3404 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3405 octave_value_list args; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3406 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3407 if (verbose) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3408 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3409 std::cout << "executing commands from " << file_full_name << " ... "; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3410 reading_startup_message_printed = true; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3411 std::cout.flush (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3412 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3413 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3414 fcn->do_multi_index_op (0, args); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3415 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3416 if (verbose) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3417 std::cout << "done." << std::endl; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3418 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3419 delete fcn; |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3420 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3421 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7699
diff
changeset
|
3422 else |
| 5975 | 3423 error ("source: error sourcing file `%s'", |
| 3424 file_full_name.c_str ()); | |
| 3425 } | |
| 4486 | 3426 |
| 3427 unwind_protect::run_frame ("source_file"); | |
| 3428 } | |
| 3429 | |
| 5739 | 3430 DEFUN (mfilename, args, , |
| 3431 "-*- texinfo -*-\n\ | |
| 3432 @deftypefn {Built-in Function} {} mfilename ()\n\ | |
| 3433 @deftypefnx {Built-in Function} {} mfilename (@code{\"fullpath\"})\n\ | |
| 3434 @deftypefnx {Built-in Function} {} mfilename (@code{\"fullpathext\"})\n\ | |
| 3435 Return the name of the currently executing file. At the top-level,\n\ | |
| 3436 return the empty string. Given the argument @code{\"fullpath\"},\n\ | |
| 3437 include the directory part of the file name, but not the extension.\n\ | |
| 3438 Given the argument @code{\"fullpathext\"}, include the directory part\n\ | |
| 3439 of the file name and the extension.\n\ | |
| 5774 | 3440 @end deftypefn") |
| 5739 | 3441 { |
| 3442 octave_value retval; | |
| 3443 | |
| 3444 int nargin = args.length (); | |
| 3445 | |
| 3446 if (nargin > 1) | |
| 3447 { | |
| 5823 | 3448 print_usage (); |
| 5739 | 3449 return retval; |
| 3450 } | |
| 3451 | |
| 3452 std::string arg; | |
| 3453 | |
| 3454 if (nargin == 1) | |
| 3455 { | |
| 3456 arg = args(0).string_value (); | |
| 3457 | |
| 3458 if (error_state) | |
| 3459 { | |
| 3460 error ("mfilename: expecting argument to be a character string"); | |
| 3461 return retval; | |
| 3462 } | |
| 3463 } | |
| 3464 | |
| 3465 std::string fname; | |
| 3466 | |
|
7719
87eda1f8faaa
octave_user_code: new base class for octave_user_script and octave_user_function
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
3467 octave_user_code *fcn = octave_call_stack::caller_user_code (); |
| 5743 | 3468 |
| 3469 if (fcn) | |
| 3470 { | |
| 3471 fname = fcn->fcn_file_name (); | |
| 3472 | |
| 3473 if (fname.empty ()) | |
| 3474 fname = fcn->name (); | |
| 3475 } | |
| 5739 | 3476 |
| 3477 if (arg == "fullpathext") | |
| 3478 retval = fname; | |
| 3479 else | |
| 3480 { | |
| 5747 | 3481 size_t dpos = fname.rfind (file_ops::dir_sep_char); |
| 3482 size_t epos = fname.rfind ('.'); | |
| 3483 | |
| 3484 if (epos <= dpos) | |
| 3485 epos = NPOS; | |
| 3486 | |
| 3487 fname = (epos != NPOS) ? fname.substr (0, epos) : fname; | |
| 5739 | 3488 |
| 3489 if (arg == "fullpath") | |
| 3490 retval = fname; | |
| 3491 else | |
| 5747 | 3492 retval = (dpos != NPOS) ? fname.substr (dpos+1) : fname; |
| 5739 | 3493 } |
| 3494 | |
| 3495 return retval; | |
| 3496 } | |
| 3497 | |
| 3498 | |
| 3021 | 3499 DEFUN (source, args, , |
| 3371 | 3500 "-*- texinfo -*-\n\ |
| 3501 @deftypefn {Built-in Function} {} source (@var{file})\n\ | |
| 3502 Parse and execute the contents of @var{file}. This is equivalent to\n\ | |
| 3503 executing commands from a script file, but without requiring the file to\n\ | |
| 3504 be named @file{@var{file}.m}.\n\ | |
| 3505 @end deftypefn") | |
| 3021 | 3506 { |
| 3507 octave_value_list retval; | |
| 3508 | |
| 3509 int nargin = args.length (); | |
| 3510 | |
| 5975 | 3511 if (nargin == 1 || nargin == 2) |
| 3021 | 3512 { |
| 3523 | 3513 std::string file_name = args(0).string_value (); |
| 3021 | 3514 |
| 3515 if (! error_state) | |
| 5975 | 3516 { |
| 3517 std::string context; | |
| 3518 | |
| 3519 if (nargin == 2) | |
| 3520 context = args(1).string_value (); | |
| 3521 | |
| 3522 if (! error_state) | |
| 3523 source_file (file_name, context); | |
| 3524 else | |
| 3525 error ("source: expecting context to be character string"); | |
| 3526 } | |
| 3021 | 3527 else |
| 3528 error ("source: expecting file name as argument"); | |
| 3529 } | |
| 3530 else | |
| 5823 | 3531 print_usage (); |
| 3021 | 3532 |
| 3533 return retval; | |
| 3534 } | |
| 3535 | |
| 3726 | 3536 // Evaluate an Octave function (built-in or interpreted) and return |
| 3844 | 3537 // the list of result values. NAME is the name of the function to |
| 3538 // call. ARGS are the arguments to the function. NARGOUT is the | |
| 3539 // number of output arguments expected. | |
| 3726 | 3540 |
| 3021 | 3541 octave_value_list |
| 3523 | 3542 feval (const std::string& name, const octave_value_list& args, int nargout) |
| 3156 | 3543 { |
| 3544 octave_value_list retval; | |
| 3545 | |
| 7336 | 3546 octave_value fcn = symbol_table::find_function (name, args); |
| 3547 | |
| 3548 if (fcn.is_defined ()) | |
| 3549 retval = fcn.do_multi_index_op (nargout, args); | |
| 3550 else | |
| 3551 error ("feval: function `%s' not found", name.c_str ()); | |
| 3156 | 3552 |
| 3553 return retval; | |
| 3554 } | |
| 3555 | |
| 4342 | 3556 octave_value_list |
| 3557 feval (octave_function *fcn, const octave_value_list& args, int nargout) | |
| 3558 { | |
| 3559 octave_value_list retval; | |
| 3560 | |
| 3561 if (fcn) | |
| 3562 retval = fcn->do_multi_index_op (nargout, args); | |
| 3563 | |
| 3564 return retval; | |
| 3565 } | |
| 3566 | |
| 3567 static octave_value_list | |
| 3568 get_feval_args (const octave_value_list& args) | |
| 3569 { | |
| 3570 int tmp_nargin = args.length () - 1; | |
| 3571 | |
| 3572 octave_value_list retval (tmp_nargin, octave_value ()); | |
| 3573 | |
| 3574 for (int i = 0; i < tmp_nargin; i++) | |
| 3575 retval(i) = args(i+1); | |
| 3576 | |
| 3577 string_vector arg_names = args.name_tags (); | |
| 3578 | |
| 3579 if (! arg_names.empty ()) | |
| 3580 { | |
| 3581 // tmp_nargin and arg_names.length () - 1 may differ if | |
| 3582 // we are passed all_va_args. | |
| 3583 | |
| 3584 int n = arg_names.length () - 1; | |
| 3585 | |
| 3586 int len = n > tmp_nargin ? tmp_nargin : n; | |
| 3587 | |
| 3588 string_vector tmp_arg_names (len); | |
| 3589 | |
| 3590 for (int i = 0; i < len; i++) | |
| 3591 tmp_arg_names(i) = arg_names(i+1); | |
| 3592 | |
| 3593 retval.stash_name_tags (tmp_arg_names); | |
| 3594 } | |
| 3595 | |
| 3596 return retval; | |
| 3597 } | |
| 3598 | |
| 3599 | |
| 3726 | 3600 // Evaluate an Octave function (built-in or interpreted) and return |
| 3601 // the list of result values. The first element of ARGS should be a | |
| 3602 // string containing the name of the function to call, then the rest | |
| 3603 // are the actual arguments to the function. NARGOUT is the number of | |
| 3604 // output arguments expected. | |
| 3605 | |
| 3156 | 3606 octave_value_list |
| 3021 | 3607 feval (const octave_value_list& args, int nargout) |
| 3608 { | |
| 3609 octave_value_list retval; | |
| 3610 | |
| 4342 | 3611 int nargin = args.length (); |
| 3612 | |
| 3613 if (nargin > 0) | |
| 3021 | 3614 { |
| 4342 | 3615 octave_value f_arg = args(0); |
| 3616 | |
| 3617 if (f_arg.is_string ()) | |
| 3618 { | |
| 3619 std::string name = f_arg.string_value (); | |
| 3620 | |
| 3621 if (! error_state) | |
| 3156 | 3622 { |
| 4342 | 3623 octave_value_list tmp_args = get_feval_args (args); |
| 3624 | |
| 3625 retval = feval (name, tmp_args, nargout); | |
| 3156 | 3626 } |
| 4342 | 3627 } |
| 3628 else | |
| 3629 { | |
| 3630 octave_function *fcn = f_arg.function_value (); | |
| 3631 | |
| 3632 if (fcn) | |
| 3633 { | |
| 3634 octave_value_list tmp_args = get_feval_args (args); | |
| 3635 | |
| 3636 retval = feval (fcn, tmp_args, nargout); | |
| 3637 } | |
| 3021 | 3638 } |
| 3639 } | |
| 3640 | |
| 3641 return retval; | |
| 3642 } | |
| 3643 | |
| 3644 DEFUN (feval, args, nargout, | |
| 3371 | 3645 "-*- texinfo -*-\n\ |
| 3646 @deftypefn {Built-in Function} {} feval (@var{name}, @dots{})\n\ | |
| 3647 Evaluate the function named @var{name}. Any arguments after the first\n\ | |
| 3648 are passed on to the named function. For example,\n\ | |
| 3649 \n\ | |
| 3650 @example\n\ | |
| 3651 feval (\"acos\", -1)\n\ | |
| 3652 @result{} 3.1416\n\ | |
| 3653 @end example\n\ | |
| 3021 | 3654 \n\ |
| 3371 | 3655 @noindent\n\ |
| 3656 calls the function @code{acos} with the argument @samp{-1}.\n\ | |
| 3657 \n\ | |
| 3658 The function @code{feval} is necessary in order to be able to write\n\ | |
| 3659 functions that call user-supplied functions, because Octave does not\n\ | |
| 3660 have a way to declare a pointer to a function (like C) or to declare a\n\ | |
| 3661 special kind of variable that can be used to hold the name of a function\n\ | |
| 3662 (like @code{EXTERNAL} in Fortran). Instead, you must refer to functions\n\ | |
| 3663 by name, and use @code{feval} to call them.\n\ | |
| 3664 @end deftypefn") | |
| 3021 | 3665 { |
| 3666 octave_value_list retval; | |
| 3667 | |
| 3668 int nargin = args.length (); | |
| 3669 | |
| 3670 if (nargin > 0) | |
| 3671 retval = feval (args, nargout); | |
| 3672 else | |
| 5823 | 3673 print_usage (); |
| 3021 | 3674 |
| 3675 return retval; | |
| 3676 } | |
| 3677 | |
| 3099 | 3678 octave_value_list |
| 3523 | 3679 eval_string (const std::string& s, bool silent, int& parse_status, int nargout) |
| 3021 | 3680 { |
| 3877 | 3681 octave_value_list retval; |
| 3682 | |
| 3021 | 3683 unwind_protect::begin_frame ("eval_string"); |
| 3684 | |
| 3685 unwind_protect_bool (get_input_from_eval_string); | |
| 3877 | 3686 unwind_protect_bool (input_from_eval_string_pending); |
| 3883 | 3687 unwind_protect_bool (parser_end_of_input); |
| 5189 | 3688 unwind_protect_bool (line_editing); |
| 3021 | 3689 unwind_protect_str (current_eval_string); |
| 3690 | |
| 3691 get_input_from_eval_string = true; | |
| 3877 | 3692 input_from_eval_string_pending = true; |
| 3883 | 3693 parser_end_of_input = false; |
| 5189 | 3694 line_editing = false; |
| 3695 | |
| 3021 | 3696 current_eval_string = s; |
| 3697 | |
| 3877 | 3698 unwind_protect_ptr (global_command); |
| 3699 | |
| 3021 | 3700 YY_BUFFER_STATE old_buf = current_buffer (); |
| 3701 YY_BUFFER_STATE new_buf = create_buffer (0); | |
| 3702 | |
| 3703 unwind_protect::add (restore_input_buffer, old_buf); | |
| 3704 unwind_protect::add (delete_input_buffer, new_buf); | |
| 3705 | |
| 3706 switch_to_buffer (new_buf); | |
| 3707 | |
| 3877 | 3708 do |
| 3709 { | |
| 4318 | 3710 reset_parser (); |
| 3711 | |
| 3877 | 3712 parse_status = yyparse (); |
| 3713 | |
| 3714 tree_statement_list *command = global_command; | |
| 3715 | |
| 3883 | 3716 if (parse_status == 0) |
| 3877 | 3717 { |
| 3883 | 3718 if (command) |
| 3719 { | |
| 3720 retval = command->eval (silent, nargout); | |
| 3721 | |
| 3722 delete command; | |
| 3723 | |
| 3724 command = 0; | |
| 3725 | |
| 3726 if (error_state | |
| 4207 | 3727 || tree_return_command::returning |
| 3728 || tree_break_command::breaking | |
| 3729 || tree_continue_command::continuing) | |
| 3883 | 3730 break; |
| 3731 } | |
| 3732 else if (parser_end_of_input) | |
| 3877 | 3733 break; |
| 3883 | 3734 } |
| 3877 | 3735 } |
| 3736 while (parse_status == 0); | |
| 3021 | 3737 |
| 3738 unwind_protect::run_frame ("eval_string"); | |
| 3739 | |
| 3740 return retval; | |
| 3741 } | |
| 3742 | |
| 3743 octave_value | |
| 3523 | 3744 eval_string (const std::string& s, bool silent, int& parse_status) |
| 3021 | 3745 { |
| 3746 octave_value retval; | |
| 3747 | |
| 3748 octave_value_list tmp = eval_string (s, silent, parse_status, 1); | |
| 3749 | |
| 3750 if (! tmp.empty ()) | |
| 3751 retval = tmp(0); | |
| 3752 | |
| 3753 return retval; | |
| 3754 } | |
| 3755 | |
| 3756 static octave_value_list | |
| 3757 eval_string (const octave_value& arg, bool silent, int& parse_status, | |
| 3758 int nargout) | |
| 3759 { | |
| 3523 | 3760 std::string s = arg.string_value (); |
| 3021 | 3761 |
| 3762 if (error_state) | |
| 3763 { | |
| 3523 | 3764 error ("eval: expecting std::string argument"); |
| 4233 | 3765 return octave_value (-1); |
| 3021 | 3766 } |
| 3767 | |
| 3768 return eval_string (s, silent, parse_status, nargout); | |
| 3769 } | |
| 3770 | |
| 3771 DEFUN (eval, args, nargout, | |
| 3371 | 3772 "-*- texinfo -*-\n\ |
| 3773 @deftypefn {Built-in Function} {} eval (@var{try}, @var{catch})\n\ | |
| 3774 Parse the string @var{try} and evaluate it as if it were an Octave\n\ | |
| 6643 | 3775 program. If that fails, evaluate the optional string @var{catch}.\n\ |
| 4463 | 3776 The string @var{try} is evaluated in the current context,\n\ |
| 3777 so any results remain available after @code{eval} returns.\n\ | |
| 6643 | 3778 \n\ |
| 3779 The following example makes the variable @var{a} with the approximate\n\ | |
| 3780 value 3.1416 available.\n\ | |
| 3781 \n\ | |
| 3782 @example\n\ | |
| 3783 eval(\"a = acos(-1);\");\n\ | |
| 3784 @end example\n\ | |
| 3785 \n\ | |
| 3786 If an error occurs during the evaluation of @var{try} the @var{catch}\n\ | |
| 3787 string is evaluated, as the following example shows.\n\ | |
| 3788 \n\ | |
| 3789 @example\n\ | |
| 3790 eval ('error (\"This is a bad example\");',\n\ | |
| 7001 | 3791 'printf (\"This error occurred:\\n%s\", lasterr ());');\n\ |
| 3792 @print{} This error occurred:\n\ | |
| 6643 | 3793 error: This is a bad example\n\ |
| 3794 @end example\n\ | |
| 3371 | 3795 @end deftypefn") |
| 3021 | 3796 { |
| 3797 octave_value_list retval; | |
| 3798 | |
| 3799 int nargin = args.length (); | |
| 3800 | |
| 3801 if (nargin > 0) | |
| 3802 { | |
| 3803 unwind_protect::begin_frame ("Feval"); | |
| 3804 | |
| 3805 if (nargin > 1) | |
| 3806 { | |
| 4699 | 3807 unwind_protect_int (buffer_error_messages); |
| 3808 buffer_error_messages++; | |
| 3021 | 3809 } |
| 3810 | |
| 3811 int parse_status = 0; | |
| 3812 | |
| 4463 | 3813 octave_value_list tmp = eval_string (args(0), nargout > 0, |
| 3814 parse_status, nargout); | |
| 3815 | |
| 3816 if (nargout > 0) | |
| 3817 retval = tmp; | |
| 3021 | 3818 |
| 3819 if (nargin > 1 && (parse_status != 0 || error_state)) | |
| 3820 { | |
| 3821 error_state = 0; | |
| 3822 | |
| 3823 // Set up for letting the user print any messages from | |
| 3824 // errors that occurred in the first part of this eval(). | |
| 3825 | |
| 4699 | 3826 buffer_error_messages--; |
| 3021 | 3827 |
| 3828 eval_string (args(1), 0, parse_status, nargout); | |
| 3829 | |
| 3830 retval = octave_value_list (); | |
| 3831 } | |
| 3832 | |
| 3833 unwind_protect::run_frame ("Feval"); | |
| 3834 } | |
| 3835 else | |
| 5823 | 3836 print_usage (); |
| 3021 | 3837 |
| 3838 return retval; | |
| 3839 } | |
| 3840 | |
|
7562
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3841 /* |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3842 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3843 %% test/octave.test/eval/eval-1.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3844 %!#test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3845 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3846 %! assert(eval ("x"),1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3847 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3848 %% test/octave.test/eval/eval-2.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3849 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3850 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3851 %! assert(eval ("x;")); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3852 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3853 %% test/octave.test/eval/eval-3.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3854 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3855 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3856 %! assert(eval ("x;"),1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3857 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3858 %% FIXME |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3859 %% Disable this test as adding the ";" is redundant with eval-1 and |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3860 %% in any case is a syntax error with assert |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3861 %% test/octave.test/eval/eval-4.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3862 %!#test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3863 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3864 %! assert(eval ("x");,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3865 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3866 %% test/octave.test/eval/eval-5.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3867 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3868 %! eval ("flipud = 2;"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3869 %! assert(flipud,2); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3870 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3871 %% test/octave.test/eval/eval-6.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3872 %!function y = f () |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3873 %! eval ("flipud = 2;"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3874 %! y = flipud; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3875 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3876 %! assert(f,2); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3877 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3878 %% test/octave.test/eval/eval-7.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3879 %!#test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3880 %! eval ("x = 1"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3881 %! assert(x,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3882 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3883 %% test/octave.test/eval/eval-8.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3884 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3885 %! eval ("x = 1;") |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3886 %! assert(x,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3887 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3888 %% test/octave.test/eval/eval-9.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3889 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3890 %! eval ("x = 1;"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3891 %! assert(x,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3892 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3893 %% test/octave.test/eval/eval-10.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3894 %!#test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3895 %! eval ("x = 1") |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3896 %! assert(x,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3897 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3898 %% test/octave.test/eval/eval-11.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3899 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3900 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3901 %! y = eval ("x"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3902 %! assert(y,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3903 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3904 %% test/octave.test/eval/eval-12.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3905 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3906 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3907 %! y = eval ("x;"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3908 %! assert(y,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3909 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3910 %% test/octave.test/eval/eval-13.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3911 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3912 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3913 %! y = eval ("x;"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3914 %! assert(y,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3915 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3916 %% test/octave.test/eval/eval-14.m |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3917 %!test |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3918 %! x = 1; |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3919 %! y = eval ("x"); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3920 %! assert(y,1); |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3921 |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3922 */ |
|
c827f5673321
move tests to individual source files
John W. Eaton <jwe@octave.org>
parents:
7351
diff
changeset
|
3923 |
| 4661 | 3924 DEFUN (assignin, args, , |
| 4297 | 3925 "-*- texinfo -*-\n\ |
| 3926 @deftypefn {Built-in Function} {} assignin (@var{context}, @var{varname}, @var{value})\n\ | |
| 3927 Assign @var{value} to @var{varname} in context @var{context}, which\n\ | |
| 3928 may be either @code{\"base\"} or @code{\"caller\"}.\n\ | |
| 3929 @end deftypefn") | |
| 3930 { | |
| 3931 octave_value_list retval; | |
| 3932 | |
| 3933 int nargin = args.length (); | |
| 3934 | |
| 3935 if (nargin == 3) | |
| 3936 { | |
| 3937 std::string context = args(0).string_value (); | |
| 3938 | |
| 3939 if (! error_state) | |
| 3940 { | |
| 7336 | 3941 symbol_table::scope_id scope = -1; |
| 4297 | 3942 |
| 3943 if (context == "caller") | |
| 7336 | 3944 { |
| 3945 if (symbol_table::current_scope () == symbol_table::current_caller_scope ()) | |
| 3946 { | |
| 3947 error ("assignin: assignment in caller not implemented yet for direct recursion"); | |
| 3948 return retval; | |
| 3949 } | |
| 3950 else | |
| 3951 scope = symbol_table::current_caller_scope (); | |
| 3952 } | |
| 4297 | 3953 else if (context == "base") |
| 7336 | 3954 scope = symbol_table::top_scope (); |
| 4297 | 3955 else |
| 3956 error ("assignin: context must be \"caller\" or \"base\""); | |
| 3957 | |
| 3958 if (! error_state) | |
| 3959 { | |
| 3960 std::string nm = args(1).string_value (); | |
| 3961 | |
| 3962 if (! error_state) | |
| 3963 { | |
| 3964 if (valid_identifier (nm)) | |
| 7336 | 3965 symbol_table::varref (nm, scope) = args(2); |
| 4297 | 3966 else |
| 3967 error ("assignin: invalid variable name"); | |
| 3968 } | |
| 3969 else | |
| 3970 error ("assignin: expecting variable name as second argument"); | |
| 3971 } | |
| 3972 } | |
| 3973 else | |
| 3974 error ("assignin: expecting string as first argument"); | |
| 3975 } | |
| 3976 else | |
| 5823 | 3977 print_usage (); |
| 4297 | 3978 |
| 3979 return retval; | |
| 3980 } | |
| 3981 | |
| 4245 | 3982 DEFUN (evalin, args, nargout, |
| 3983 "-*- texinfo -*-\n\ | |
| 3984 @deftypefn {Built-in Function} {} evalin (@var{context}, @var{try}, @var{catch})\n\ | |
| 3985 Like @code{eval}, except that the expressions are evaluated in the\n\ | |
| 3986 context @var{context}, which may be either @code{\"caller\"} or\n\ | |
| 4246 | 3987 @code{\"base\"}.\n\ |
| 4245 | 3988 @end deftypefn") |
| 3989 { | |
| 3990 octave_value_list retval; | |
| 3991 | |
| 3992 int nargin = args.length (); | |
| 3993 | |
| 3994 if (nargin > 1) | |
| 3995 { | |
| 3996 std::string context = args(0).string_value (); | |
| 3997 | |
| 3998 if (! error_state) | |
| 3999 { | |
| 4000 unwind_protect::begin_frame ("Fevalin"); | |
| 4001 | |
| 4002 if (context == "caller") | |
| 7336 | 4003 { |
| 4004 if (symbol_table::current_scope () == symbol_table::current_caller_scope ()) | |
| 4005 { | |
| 4006 error ("evalin: evaluation in caller not implemented yet for direct recursion"); | |
| 4007 return retval; | |
| 4008 } | |
| 4009 else | |
| 4010 symbol_table::push_scope (symbol_table::current_caller_scope ()); | |
| 4011 } | |
| 4245 | 4012 else if (context == "base") |
| 7336 | 4013 symbol_table::push_scope (symbol_table::top_scope ()); |
| 4245 | 4014 else |
| 4015 error ("evalin: context must be \"caller\" or \"base\""); | |
| 4016 | |
| 4297 | 4017 if (! error_state) |
| 4245 | 4018 { |
| 7336 | 4019 unwind_protect::add (symbol_table::pop_scope); |
| 4020 | |
| 4297 | 4021 if (nargin > 2) |
| 4022 { | |
| 4699 | 4023 unwind_protect_int (buffer_error_messages); |
| 4024 buffer_error_messages++; | |
| 4297 | 4025 } |
| 4026 | |
| 4027 int parse_status = 0; | |
| 4028 | |
| 4463 | 4029 octave_value_list tmp = eval_string (args(1), nargout > 0, |
| 4030 parse_status, nargout); | |
| 4031 | |
| 4032 if (nargout > 0) | |
| 4033 retval = tmp; | |
| 4297 | 4034 |
| 4035 if (nargin > 2 && (parse_status != 0 || error_state)) | |
| 4036 { | |
| 4037 error_state = 0; | |
| 4038 | |
| 4039 // Set up for letting the user print any messages from | |
| 4040 // errors that occurred in the first part of this eval(). | |
| 4041 | |
| 4699 | 4042 buffer_error_messages--; |
| 4297 | 4043 |
| 4044 eval_string (args(2), 0, parse_status, nargout); | |
| 4045 | |
| 4046 retval = octave_value_list (); | |
| 4047 } | |
| 4245 | 4048 } |
| 4049 | |
| 4050 unwind_protect::run_frame ("Fevalin"); | |
| 4051 } | |
| 4052 else | |
| 4053 error ("evalin: expecting string as first argument"); | |
| 4054 } | |
| 4055 else | |
| 5823 | 4056 print_usage (); |
| 4245 | 4057 |
| 4058 return retval; | |
| 4059 } | |
| 4060 | |
| 1994 | 4061 /* |
| 4062 ;;; Local Variables: *** | |
| 4063 ;;; mode: text *** | |
| 4064 ;;; End: *** | |
| 4065 */ |