Mercurial > octave
annotate src/pt-check.cc @ 13245:027a2186cd90
parfor keyword and infrastructure, but handle parfor as normal for loop for now
* octave.gperf (octave_kw_id): New keyword ids, parfor_kw and
end_parfor_kw.
(octave_kw): Add parfor and end_parfor to the struct.
* lex.ll (is_keyword_token): Handle parfor and end_parfor.
* token.h (token::parfor_end): New end_tok_type enum value.
* oct-parse.yy (PARFOR): New token.
(loop_command): Handle PARFOR statements.
(make_for_command): New args tok_id and maxproc. Handle PARFOR loops.
* pt-loop.h (tree_simple_for_command::parallel,
tree_simple_for_command:maxproc): New data members.
(tree_simple_for_command::tree_simple_for_command): New args
parallel_arg and maxproc_arg. Initialize new data members.
(tree_simple_for_command::parallel): New function.
(tree_simple_for_command::maxproc_expr): New function.
* pt-loop.cc (tree_simple_for_command::~tree_simple_for_command):
Delete maxproc.
(tree_simple_for_command::dup): Pass parallel and maxproc to
constructor for duplicate object.
* pt-pr-code.cc (tree_print_code::visit_simple_for_command):
Handle parallel form.
* pt-check.cc (tree_checker::visit_simple_for_command): Likewise.
* pt-eval.cc (tree_evaluator::visit_simple_for_command): Note that
this is where parallel loops need to be handled.
| author | John W. Eaton <jwe@octave.org> |
|---|---|
| date | Thu, 29 Sep 2011 02:50:53 -0400 |
| parents | fd0a3ac60b0e |
| children | 72c96de7a403 |
| rev | line source |
|---|---|
| 3011 | 1 /* |
| 2 | |
| 11523 | 3 Copyright (C) 1996-2011 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 |
|
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7715
diff
changeset
|
108 tree_checker::visit_static_command (tree_static_command& cmd) |
|
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 | |
| 3011 | 360 tree_checker::visit_parameter_list (tree_parameter_list& lst) |
| 361 { | |
| 4219 | 362 tree_parameter_list::iterator p = lst.begin (); |
| 3011 | 363 |
| 4219 | 364 while (p != lst.end ()) |
| 3011 | 365 { |
| 6215 | 366 tree_decl_elt *elt = *p++; |
| 3011 | 367 |
| 368 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
369 elt->accept (*this); |
| 3011 | 370 } |
| 371 } | |
| 372 | |
| 373 void | |
| 374 tree_checker::visit_postfix_expression (tree_postfix_expression& expr) | |
| 375 { | |
| 376 tree_expression *e = expr.operand (); | |
| 377 | |
| 378 if (e) | |
| 379 e->accept (*this); | |
| 380 } | |
| 381 | |
| 382 void | |
| 383 tree_checker::visit_prefix_expression (tree_prefix_expression& expr) | |
| 384 { | |
| 385 tree_expression *e = expr.operand (); | |
| 386 | |
| 387 if (e) | |
| 388 e->accept (*this); | |
| 389 } | |
| 390 | |
| 391 void | |
| 4207 | 392 tree_checker::visit_return_command (tree_return_command&) |
| 3011 | 393 { |
| 394 } | |
| 395 | |
| 396 void | |
| 397 tree_checker::visit_return_list (tree_return_list& lst) | |
| 398 { | |
| 4219 | 399 tree_return_list::iterator p = lst.begin (); |
| 3011 | 400 |
| 4219 | 401 while (p != lst.end ()) |
| 3011 | 402 { |
| 4219 | 403 tree_index_expression *elt = *p++; |
| 3011 | 404 |
| 405 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
406 elt->accept (*this); |
| 3011 | 407 } |
| 408 } | |
| 409 | |
| 410 void | |
| 411 tree_checker::visit_simple_assignment (tree_simple_assignment& expr) | |
| 412 { | |
| 413 tree_expression *lhs = expr.left_hand_side (); | |
| 414 | |
| 415 if (lhs) | |
| 416 { | |
| 417 if (! lhs->lvalue_ok ()) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
418 gripe ("invalid lvalue in assignment", expr.line ()); |
| 3011 | 419 } |
| 420 | |
| 421 tree_expression *rhs = expr.right_hand_side (); | |
| 422 | |
| 423 if (rhs) | |
| 424 rhs->accept (*this); | |
| 425 } | |
| 426 | |
| 427 void | |
| 428 tree_checker::visit_statement (tree_statement& stmt) | |
| 429 { | |
| 430 tree_command *cmd = stmt.command (); | |
| 431 | |
| 432 if (cmd) | |
| 433 cmd->accept (*this); | |
| 434 else | |
| 435 { | |
| 436 tree_expression *expr = stmt.expression (); | |
| 437 | |
| 438 if (expr) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
439 expr->accept (*this); |
| 3011 | 440 } |
| 441 } | |
| 442 | |
| 443 void | |
| 444 tree_checker::visit_statement_list (tree_statement_list& lst) | |
| 445 { | |
| 4219 | 446 for (tree_statement_list::iterator p = lst.begin (); p != lst.end (); p++) |
| 3011 | 447 { |
| 4219 | 448 tree_statement *elt = *p; |
| 3011 | 449 |
| 450 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
451 elt->accept (*this); |
| 3011 | 452 } |
| 453 } | |
| 454 | |
| 455 void | |
| 456 tree_checker::visit_switch_case (tree_switch_case& cs) | |
| 457 { | |
| 458 tree_expression *label = cs.case_label (); | |
| 459 | |
| 460 if (label) | |
| 461 label->accept (*this); | |
| 462 | |
| 463 tree_statement_list *list = cs.commands (); | |
| 464 | |
| 465 if (list) | |
| 466 list->accept (*this); | |
| 467 } | |
| 468 | |
| 469 void | |
| 470 tree_checker::visit_switch_case_list (tree_switch_case_list& lst) | |
| 471 { | |
| 4219 | 472 tree_switch_case_list::iterator p = lst.begin (); |
| 3011 | 473 |
| 4219 | 474 while (p != lst.end ()) |
| 3011 | 475 { |
| 4219 | 476 tree_switch_case *elt = *p++; |
| 3011 | 477 |
| 478 if (elt) | |
|
10315
57a59eae83cc
untabify src C++ source files
John W. Eaton <jwe@octave.org>
parents:
10160
diff
changeset
|
479 elt->accept (*this); |
| 3011 | 480 } |
| 481 } | |
| 482 | |
| 483 void | |
| 484 tree_checker::visit_switch_command (tree_switch_command& cmd) | |
| 485 { | |
| 486 tree_expression *expr = cmd.switch_value (); | |
| 487 | |
| 488 if (expr) | |
| 489 expr->accept (*this); | |
| 490 | |
| 491 tree_switch_case_list *list = cmd.case_list (); | |
| 492 | |
| 493 if (list) | |
| 494 list->accept (*this); | |
| 495 } | |
| 496 | |
| 497 void | |
| 498 tree_checker::visit_try_catch_command (tree_try_catch_command& cmd) | |
| 499 { | |
| 500 tree_statement_list *try_code = cmd.body (); | |
| 501 | |
| 502 if (try_code) | |
| 503 try_code->accept (*this); | |
| 504 | |
| 505 tree_statement_list *catch_code = cmd.cleanup (); | |
| 506 | |
| 507 if (catch_code) | |
| 508 catch_code->accept (*this); | |
| 509 } | |
| 510 | |
| 511 void | |
| 512 tree_checker::visit_unwind_protect_command | |
| 513 (tree_unwind_protect_command& cmd) | |
| 514 { | |
| 515 tree_statement_list *unwind_protect_code = cmd.body (); | |
| 516 | |
| 517 if (unwind_protect_code) | |
| 518 unwind_protect_code->accept (*this); | |
| 519 | |
| 520 tree_statement_list *cleanup_code = cmd.cleanup (); | |
| 521 | |
| 522 if (cleanup_code) | |
| 523 cleanup_code->accept (*this); | |
| 524 } | |
| 525 | |
| 526 void | |
| 527 tree_checker::visit_while_command (tree_while_command& cmd) | |
| 528 { | |
| 529 tree_expression *expr = cmd.condition (); | |
| 530 | |
| 531 if (expr) | |
| 532 expr->accept (*this); | |
| 533 | |
| 534 tree_statement_list *list = cmd.body (); | |
| 535 | |
| 536 if (list) | |
| 537 list->accept (*this); | |
| 538 } | |
| 539 | |
| 540 void | |
| 4229 | 541 tree_checker::visit_do_until_command (tree_do_until_command& cmd) |
| 542 { | |
| 543 tree_statement_list *list = cmd.body (); | |
| 544 | |
| 545 if (list) | |
| 546 list->accept (*this); | |
| 547 | |
| 548 tree_expression *expr = cmd.condition (); | |
| 549 | |
| 550 if (expr) | |
| 551 expr->accept (*this); | |
| 552 } | |
| 553 | |
| 554 void | |
| 3523 | 555 tree_checker::gripe (const std::string& msg, int line) |
| 3011 | 556 { |
| 557 if (curr_fcn_file_name.empty ()) | |
| 558 error ("%s", msg.c_str ()); | |
| 559 else | |
| 560 error ("%s: %d: %s", curr_fcn_file_name.c_str (), line, msg.c_str ()); | |
| 561 } |