Mercurial > hg > octave-nkf
annotate libinterp/parse-tree/pt-check.cc @ 20717:0fdba3fdf40e stable
mkoctfile: Apply default C++ compiler flags when linking oct-file (bug #45280)
* mkoctfile.in.cc: Include the value of "ALL_CXXFLAGS" in the oct-file link
command line.
| author | Mike Miller <mtmiller@octave.org> |
|---|---|
| date | Tue, 22 Sep 2015 23:12:22 +0200 |
| parents | 4197fc428c7d |
| children |
| rev | line source |
|---|---|
| 3011 | 1 /* |
| 2 | |
|
19898
4197fc428c7d
maint: Update copyright notices for 2015.
John W. Eaton <jwe@octave.org>
parents:
17856
diff
changeset
|
3 Copyright (C) 1996-2015 John W. Eaton |
| 3011 | 4 |
| 5 This file is part of Octave. | |
| 6 | |
| 7 Octave is free software; you can redistribute it and/or modify it | |
| 8 under the terms of the GNU General Public License as published by the | |
| 7016 | 9 Free Software Foundation; either version 3 of the License, or (at your |
| 10 option) any later version. | |
| 3011 | 11 |
| 12 Octave is distributed in the hope that it will be useful, but WITHOUT | |
| 13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 15 for more details. | |
| 16 | |
| 17 You should have received a copy of the GNU General Public License | |
| 7016 | 18 along with Octave; see the file COPYING. If not, see |
| 19 <http://www.gnu.org/licenses/>. | |
| 3011 | 20 |
| 21 */ | |
| 22 | |
| 23 #ifdef HAVE_CONFIG_H | |
| 24 #include <config.h> | |
| 25 #endif | |
| 26 | |
| 27 #include "error.h" | |
| 28 #include "input.h" | |
| 29 #include "ov-usr-fcn.h" | |
| 30 #include "pt-all.h" | |
| 31 | |
| 32 void | |
| 33 tree_checker::visit_argument_list (tree_argument_list& lst) | |
| 34 { | |
| 4219 | 35 tree_argument_list::iterator p = lst.begin (); |
| 3011 | 36 |
| 4219 | 37 while (p != lst.end ()) |
| 3011 | 38 { |
| 4219 | 39 tree_expression *elt = *p++; |
| 3011 | 40 |
| 41 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
42 { |
|
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
43 if (do_lvalue_check && ! elt->lvalue_ok ()) |
|
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
44 gripe ("invalid lvalue in multiple assignment", elt->line ()); |
|
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
45 } |
| 3011 | 46 } |
| 47 } | |
| 48 | |
| 49 void | |
| 50 tree_checker::visit_binary_expression (tree_binary_expression& expr) | |
| 51 { | |
| 52 tree_expression *op1 = expr.lhs (); | |
| 53 | |
| 54 if (op1) | |
| 55 op1->accept (*this); | |
| 56 | |
| 57 tree_expression *op2 = expr.rhs (); | |
| 58 | |
| 59 if (op2) | |
| 60 op2->accept (*this); | |
| 61 } | |
| 62 | |
| 63 void | |
| 4207 | 64 tree_checker::visit_break_command (tree_break_command&) |
| 3011 | 65 { |
| 66 } | |
| 67 | |
| 68 void | |
| 69 tree_checker::visit_colon_expression (tree_colon_expression& expr) | |
| 70 { | |
| 71 tree_expression *op1 = expr.base (); | |
| 72 | |
| 73 if (op1) | |
| 74 op1->accept (*this); | |
| 75 | |
| 76 tree_expression *op3 = expr.increment (); | |
| 77 | |
| 78 if (op3) | |
| 79 op3->accept (*this); | |
| 80 | |
| 81 tree_expression *op2 = expr.limit (); | |
| 82 | |
| 83 if (op2) | |
| 84 op2->accept (*this); | |
| 85 } | |
| 86 | |
| 87 void | |
| 4207 | 88 tree_checker::visit_continue_command (tree_continue_command&) |
| 3011 | 89 { |
| 90 } | |
| 91 | |
| 92 void | |
|
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
93 tree_checker::do_decl_command (tree_decl_command& cmd) |
| 3011 | 94 { |
| 95 tree_decl_init_list *init_list = cmd.initializer_list (); | |
| 96 | |
| 97 if (init_list) | |
| 98 init_list->accept (*this); | |
| 99 } | |
| 100 | |
| 101 void | |
|
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
102 tree_checker::visit_global_command (tree_global_command& cmd) |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
103 { |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
104 do_decl_command (cmd); |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
105 } |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
106 |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
107 void |
|
14294
9e3983c8963c
deprecate the static keyword
John W. Eaton <jwe@octave.org>
parents:
14138
diff
changeset
|
108 tree_checker::visit_persistent_command (tree_persistent_command& cmd) |
|
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
109 { |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
110 do_decl_command (cmd); |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
111 } |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
112 |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
113 void |
| 3011 | 114 tree_checker::visit_decl_elt (tree_decl_elt& cmd) |
| 115 { | |
| 116 tree_identifier *id = cmd.ident (); | |
| 117 | |
| 118 if (id) | |
| 119 id->accept (*this); | |
| 120 | |
| 121 tree_expression *expr = cmd.expression (); | |
| 122 | |
| 123 if (expr) | |
| 124 expr->accept (*this); | |
| 125 } | |
| 126 | |
| 127 void | |
| 128 tree_checker::visit_decl_init_list (tree_decl_init_list& lst) | |
| 129 { | |
| 4219 | 130 tree_decl_init_list::iterator p = lst.begin (); |
| 3011 | 131 |
| 4219 | 132 while (p != lst.end ()) |
| 3011 | 133 { |
| 4219 | 134 tree_decl_elt *elt = *p++; |
| 3011 | 135 |
| 136 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
137 elt->accept (*this); |
| 3011 | 138 } |
| 139 } | |
| 140 | |
| 141 void | |
| 142 tree_checker::visit_simple_for_command (tree_simple_for_command& cmd) | |
| 143 { | |
| 144 tree_expression *lhs = cmd.left_hand_side (); | |
| 145 | |
| 146 if (lhs) | |
| 147 { | |
| 148 if (! lhs->lvalue_ok ()) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
149 gripe ("invalid lvalue in for command", cmd.line ()); |
| 3011 | 150 } |
| 151 | |
| 152 tree_expression *expr = cmd.control_expr (); | |
| 153 | |
| 154 if (expr) | |
| 155 expr->accept (*this); | |
| 156 | |
|
13245
027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
157 tree_expression *maxproc = cmd.maxproc_expr (); |
|
027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
158 |
|
027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
159 if (maxproc) |
|
027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
160 maxproc->accept (*this); |
|
027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
161 |
| 3011 | 162 tree_statement_list *list = cmd.body (); |
| 163 | |
| 164 if (list) | |
| 165 list->accept (*this); | |
| 166 } | |
| 167 | |
| 168 void | |
| 169 tree_checker::visit_complex_for_command (tree_complex_for_command& cmd) | |
| 170 { | |
| 171 tree_argument_list *lhs = cmd.left_hand_side (); | |
| 172 | |
| 173 if (lhs) | |
| 174 { | |
| 175 int len = lhs->length (); | |
| 176 | |
| 3018 | 177 if (len == 0 || len > 2) |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
178 gripe ("invalid number of output arguments in for command", |
|
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
179 cmd.line ()); |
| 3011 | 180 |
| 181 do_lvalue_check = true; | |
| 182 | |
| 183 lhs->accept (*this); | |
| 184 | |
| 185 do_lvalue_check = false; | |
| 186 } | |
| 187 | |
| 188 tree_expression *expr = cmd.control_expr (); | |
| 189 | |
| 190 if (expr) | |
| 191 expr->accept (*this); | |
| 192 | |
| 193 tree_statement_list *list = cmd.body (); | |
| 194 | |
| 195 if (list) | |
| 196 list->accept (*this); | |
| 197 } | |
| 198 | |
| 199 void | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
200 tree_checker::visit_octave_user_script (octave_user_script& fcn) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
201 { |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
202 tree_statement_list *cmd_list = fcn.body (); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
203 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
204 if (cmd_list) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
205 cmd_list->accept (*this); |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
206 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
207 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
208 void |
| 3011 | 209 tree_checker::visit_octave_user_function (octave_user_function& fcn) |
| 210 { | |
| 211 tree_statement_list *cmd_list = fcn.body (); | |
| 212 | |
| 213 if (cmd_list) | |
| 214 cmd_list->accept (*this); | |
| 215 } | |
| 216 | |
| 217 void | |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
218 tree_checker::visit_function_def (tree_function_def& fdef) |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
219 { |
|
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
220 octave_value fcn = fdef.function (); |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
221 |
|
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
222 octave_function *f = fcn.function_value (); |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
223 |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
224 if (f) |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
225 f->accept (*this); |
|
7715
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
226 } |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
227 |
|
5b4d278ec828
parse scripts completely before executing
John W. Eaton <jwe@octave.org>
parents:
7017
diff
changeset
|
228 void |
| 3011 | 229 tree_checker::visit_identifier (tree_identifier& /* id */) |
| 230 { | |
| 231 } | |
| 232 | |
| 233 void | |
| 234 tree_checker::visit_if_clause (tree_if_clause& cmd) | |
| 235 { | |
| 236 tree_expression *expr = cmd.condition (); | |
| 237 | |
| 238 if (expr) | |
| 239 expr->accept (*this); | |
| 240 | |
| 241 tree_statement_list *list = cmd.commands (); | |
| 242 | |
| 243 if (list) | |
| 244 list->accept (*this); | |
| 245 } | |
| 246 | |
| 247 void | |
| 248 tree_checker::visit_if_command (tree_if_command& cmd) | |
| 249 { | |
| 250 tree_if_command_list *list = cmd.cmd_list (); | |
| 251 | |
| 252 if (list) | |
| 253 list->accept (*this); | |
| 254 } | |
| 255 | |
| 256 void | |
| 257 tree_checker::visit_if_command_list (tree_if_command_list& lst) | |
| 258 { | |
| 4219 | 259 tree_if_command_list::iterator p = lst.begin (); |
| 3011 | 260 |
| 4219 | 261 while (p != lst.end ()) |
| 3011 | 262 { |
| 4219 | 263 tree_if_clause *elt = *p++; |
| 3011 | 264 |
| 265 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
266 elt->accept (*this); |
| 3011 | 267 } |
| 268 } | |
| 269 | |
| 270 void | |
| 271 tree_checker::visit_index_expression (tree_index_expression& expr) | |
| 272 { | |
| 273 tree_expression *e = expr.expression (); | |
| 274 | |
| 275 if (e) | |
| 276 e->accept (*this); | |
| 277 | |
| 4219 | 278 std::list<tree_argument_list *> lst = expr.arg_lists (); |
| 3933 | 279 |
| 4219 | 280 std::list<tree_argument_list *>::iterator p = lst.begin (); |
| 3011 | 281 |
| 4219 | 282 while (p != lst.end ()) |
| 3933 | 283 { |
| 4219 | 284 tree_argument_list *elt = *p++; |
| 3933 | 285 |
| 286 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
287 elt->accept (*this); |
| 3933 | 288 } |
| 3011 | 289 } |
| 290 | |
| 291 void | |
| 292 tree_checker::visit_matrix (tree_matrix& lst) | |
| 293 { | |
| 4219 | 294 tree_matrix::iterator p = lst.begin (); |
| 3011 | 295 |
| 4219 | 296 while (p != lst.end ()) |
| 3011 | 297 { |
| 4219 | 298 tree_argument_list *elt = *p++; |
| 299 | |
| 300 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
301 elt->accept (*this); |
| 4219 | 302 } |
| 303 } | |
| 3011 | 304 |
| 4219 | 305 void |
| 306 tree_checker::visit_cell (tree_cell& lst) | |
| 307 { | |
| 308 tree_matrix::iterator p = lst.begin (); | |
| 309 | |
| 310 while (p != lst.end ()) | |
| 311 { | |
| 312 tree_argument_list *elt = *p++; | |
| 3011 | 313 |
| 314 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
315 elt->accept (*this); |
| 3011 | 316 } |
| 317 } | |
| 318 | |
| 319 void | |
| 320 tree_checker::visit_multi_assignment (tree_multi_assignment& expr) | |
| 321 { | |
| 322 tree_argument_list *lhs = expr.left_hand_side (); | |
| 323 | |
| 324 if (lhs) | |
| 325 { | |
| 326 do_lvalue_check = true; | |
| 327 | |
| 328 lhs->accept (*this); | |
| 329 | |
| 330 do_lvalue_check = false; | |
| 331 } | |
| 332 | |
| 333 tree_expression *rhs = expr.right_hand_side (); | |
| 334 | |
| 335 if (rhs) | |
| 336 rhs->accept (*this); | |
| 337 } | |
| 338 | |
| 339 void | |
| 340 tree_checker::visit_no_op_command (tree_no_op_command& /* cmd */) | |
| 341 { | |
| 342 } | |
| 343 | |
| 344 void | |
| 5861 | 345 tree_checker::visit_anon_fcn_handle (tree_anon_fcn_handle& /* afh */) |
| 346 { | |
| 347 } | |
| 348 | |
| 349 void | |
| 3011 | 350 tree_checker::visit_constant (tree_constant& /* val */) |
| 351 { | |
| 352 } | |
| 353 | |
| 354 void | |
| 4342 | 355 tree_checker::visit_fcn_handle (tree_fcn_handle& /* fh */) |
| 356 { | |
| 357 } | |
| 358 | |
| 359 void | |
| 15035 | 360 tree_checker::visit_funcall (tree_funcall& /* fc */) |
| 361 { | |
| 362 } | |
| 363 | |
| 364 void | |
| 3011 | 365 tree_checker::visit_parameter_list (tree_parameter_list& lst) |
| 366 { | |
| 4219 | 367 tree_parameter_list::iterator p = lst.begin (); |
| 3011 | 368 |
| 4219 | 369 while (p != lst.end ()) |
| 3011 | 370 { |
| 6215 | 371 tree_decl_elt *elt = *p++; |
| 3011 | 372 |
| 373 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
374 elt->accept (*this); |
| 3011 | 375 } |
| 376 } | |
| 377 | |
| 378 void | |
| 379 tree_checker::visit_postfix_expression (tree_postfix_expression& expr) | |
| 380 { | |
| 381 tree_expression *e = expr.operand (); | |
| 382 | |
| 383 if (e) | |
| 384 e->accept (*this); | |
| 385 } | |
| 386 | |
| 387 void | |
| 388 tree_checker::visit_prefix_expression (tree_prefix_expression& expr) | |
| 389 { | |
| 390 tree_expression *e = expr.operand (); | |
| 391 | |
| 392 if (e) | |
| 393 e->accept (*this); | |
| 394 } | |
| 395 | |
| 396 void | |
| 4207 | 397 tree_checker::visit_return_command (tree_return_command&) |
| 3011 | 398 { |
| 399 } | |
| 400 | |
| 401 void | |
| 402 tree_checker::visit_return_list (tree_return_list& lst) | |
| 403 { | |
| 4219 | 404 tree_return_list::iterator p = lst.begin (); |
| 3011 | 405 |
| 4219 | 406 while (p != lst.end ()) |
| 3011 | 407 { |
| 4219 | 408 tree_index_expression *elt = *p++; |
| 3011 | 409 |
| 410 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
411 elt->accept (*this); |
| 3011 | 412 } |
| 413 } | |
| 414 | |
| 415 void | |
| 416 tree_checker::visit_simple_assignment (tree_simple_assignment& expr) | |
| 417 { | |
| 418 tree_expression *lhs = expr.left_hand_side (); | |
| 419 | |
| 420 if (lhs) | |
| 421 { | |
| 422 if (! lhs->lvalue_ok ()) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
423 gripe ("invalid lvalue in assignment", expr.line ()); |
| 3011 | 424 } |
| 425 | |
| 426 tree_expression *rhs = expr.right_hand_side (); | |
| 427 | |
| 428 if (rhs) | |
| 429 rhs->accept (*this); | |
| 430 } | |
| 431 | |
| 432 void | |
| 433 tree_checker::visit_statement (tree_statement& stmt) | |
| 434 { | |
| 435 tree_command *cmd = stmt.command (); | |
| 436 | |
| 437 if (cmd) | |
| 438 cmd->accept (*this); | |
| 439 else | |
| 440 { | |
| 441 tree_expression *expr = stmt.expression (); | |
| 442 | |
| 443 if (expr) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
444 expr->accept (*this); |
| 3011 | 445 } |
| 446 } | |
| 447 | |
| 448 void | |
| 449 tree_checker::visit_statement_list (tree_statement_list& lst) | |
| 450 { | |
| 4219 | 451 for (tree_statement_list::iterator p = lst.begin (); p != lst.end (); p++) |
| 3011 | 452 { |
| 4219 | 453 tree_statement *elt = *p; |
| 3011 | 454 |
| 455 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
456 elt->accept (*this); |
| 3011 | 457 } |
| 458 } | |
| 459 | |
| 460 void | |
| 461 tree_checker::visit_switch_case (tree_switch_case& cs) | |
| 462 { | |
| 463 tree_expression *label = cs.case_label (); | |
| 464 | |
| 465 if (label) | |
| 466 label->accept (*this); | |
| 467 | |
| 468 tree_statement_list *list = cs.commands (); | |
| 469 | |
| 470 if (list) | |
| 471 list->accept (*this); | |
| 472 } | |
| 473 | |
| 474 void | |
| 475 tree_checker::visit_switch_case_list (tree_switch_case_list& lst) | |
| 476 { | |
| 4219 | 477 tree_switch_case_list::iterator p = lst.begin (); |
| 3011 | 478 |
| 4219 | 479 while (p != lst.end ()) |
| 3011 | 480 { |
| 4219 | 481 tree_switch_case *elt = *p++; |
| 3011 | 482 |
| 483 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
484 elt->accept (*this); |
| 3011 | 485 } |
| 486 } | |
| 487 | |
| 488 void | |
| 489 tree_checker::visit_switch_command (tree_switch_command& cmd) | |
| 490 { | |
| 491 tree_expression *expr = cmd.switch_value (); | |
| 492 | |
| 493 if (expr) | |
| 494 expr->accept (*this); | |
| 495 | |
| 496 tree_switch_case_list *list = cmd.case_list (); | |
| 497 | |
| 498 if (list) | |
| 499 list->accept (*this); | |
| 500 } | |
| 501 | |
| 502 void | |
| 503 tree_checker::visit_try_catch_command (tree_try_catch_command& cmd) | |
| 504 { | |
| 505 tree_statement_list *try_code = cmd.body (); | |
| 506 | |
|
17249
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
507 tree_identifier *expr_id = cmd.identifier (); |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
508 |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
509 if (expr_id) |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
510 { |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
511 if (! expr_id->lvalue_ok ()) |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
512 gripe ("invalid lvalue used for identifier in try-catch command", |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
513 cmd.line ()); |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
514 } |
|
923ce8b42db2
improve try-catch-statement to save exception to a variable (bug #33217)
Stefan Mahr <dac922@gmx.de>
parents:
16203
diff
changeset
|
515 |
| 3011 | 516 if (try_code) |
| 517 try_code->accept (*this); | |
| 518 | |
| 519 tree_statement_list *catch_code = cmd.cleanup (); | |
| 520 | |
| 521 if (catch_code) | |
| 522 catch_code->accept (*this); | |
| 523 } | |
| 524 | |
| 525 void | |
|
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
526 tree_checker::visit_unwind_protect_command (tree_unwind_protect_command& cmd) |
| 3011 | 527 { |
| 528 tree_statement_list *unwind_protect_code = cmd.body (); | |
| 529 | |
| 530 if (unwind_protect_code) | |
| 531 unwind_protect_code->accept (*this); | |
| 532 | |
| 533 tree_statement_list *cleanup_code = cmd.cleanup (); | |
| 534 | |
| 535 if (cleanup_code) | |
| 536 cleanup_code->accept (*this); | |
| 537 } | |
| 538 | |
| 539 void | |
| 540 tree_checker::visit_while_command (tree_while_command& cmd) | |
| 541 { | |
| 542 tree_expression *expr = cmd.condition (); | |
| 543 | |
| 544 if (expr) | |
| 545 expr->accept (*this); | |
| 546 | |
| 547 tree_statement_list *list = cmd.body (); | |
| 548 | |
| 549 if (list) | |
| 550 list->accept (*this); | |
| 551 } | |
| 552 | |
| 553 void | |
| 4229 | 554 tree_checker::visit_do_until_command (tree_do_until_command& cmd) |
| 555 { | |
| 556 tree_statement_list *list = cmd.body (); | |
| 557 | |
| 558 if (list) | |
| 559 list->accept (*this); | |
| 560 | |
| 561 tree_expression *expr = cmd.condition (); | |
| 562 | |
| 563 if (expr) | |
| 564 expr->accept (*this); | |
| 565 } | |
| 566 | |
| 567 void | |
| 3523 | 568 tree_checker::gripe (const std::string& msg, int line) |
| 3011 | 569 { |
|
16203
127cccb037bf
move more global parser and lexer variables to classes
John W. Eaton <jwe@octave.org>
parents:
15195
diff
changeset
|
570 if (file_name.empty ()) |
| 3011 | 571 error ("%s", msg.c_str ()); |
| 572 else | |
|
16203
127cccb037bf
move more global parser and lexer variables to classes
John W. Eaton <jwe@octave.org>
parents:
15195
diff
changeset
|
573 error ("%s: %d: %s", file_name.c_str (), line, msg.c_str ()); |
| 3011 | 574 } |