Mercurial > hg > octave-nkf
annotate src/pt-idx.cc @ 12111:050b8c0e1531 release-3-2-x
correct previous patch
author | Jaroslav Hajek <highegg@gmail.com> |
---|---|
date | Thu, 26 Nov 2009 14:39:55 +0100 |
parents | c663c1a78c4a |
children |
rev | line source |
---|---|
2980 | 1 /* |
2 | |
7017 | 3 Copyright (C) 1996, 1997, 1998, 2000, 2002, 2003, 2004, 2005, 2006, |
8920 | 4 2007, 2008, 2009 John W. Eaton |
2980 | 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. | |
2980 | 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/>. | |
2980 | 21 |
22 */ | |
23 | |
24 #ifdef HAVE_CONFIG_H | |
25 #include <config.h> | |
26 #endif | |
27 | |
3933 | 28 #include "Cell.h" |
2980 | 29 #include "error.h" |
3930 | 30 #include "oct-map.h" |
2980 | 31 #include "oct-obj.h" |
32 #include "oct-lvalue.h" | |
33 #include "ov.h" | |
3930 | 34 #include "pager.h" |
2982 | 35 #include "pt-arg-list.h" |
3930 | 36 #include "pt-bp.h" |
7336 | 37 #include "pt-id.h" |
2980 | 38 #include "pt-idx.h" |
39 #include "pt-walk.h" | |
3930 | 40 #include "utils.h" |
41 #include "variables.h" | |
8579
7e0f36dfefbe
implement octave_value_list using Array
Jaroslav Hajek <highegg@gmail.com>
parents:
8564
diff
changeset
|
42 #include "gripes.h" |
2980 | 43 |
44 // Index expressions. | |
45 | |
5861 | 46 tree_index_expression::tree_index_expression (int l, int c) |
7791
975e9540be2c
pt-idx.cc: initialize fields in constructors
John W. Eaton <jwe@octave.org>
parents:
7790
diff
changeset
|
47 : tree_expression (l, c), expr (0), args (0), type (), |
5861 | 48 arg_nm (), dyn_field () { } |
49 | |
3546 | 50 tree_index_expression::tree_index_expression (tree_expression *e, |
51 tree_argument_list *lst, | |
3933 | 52 int l, int c, char t) |
7791
975e9540be2c
pt-idx.cc: initialize fields in constructors
John W. Eaton <jwe@octave.org>
parents:
7790
diff
changeset
|
53 : tree_expression (l, c), expr (e), args (0), type (), |
4131 | 54 arg_nm (), dyn_field () |
3933 | 55 { |
56 append (lst, t); | |
57 } | |
3215 | 58 |
3930 | 59 tree_index_expression::tree_index_expression (tree_expression *e, |
60 const std::string& n, | |
3944 | 61 int l, int c) |
7791
975e9540be2c
pt-idx.cc: initialize fields in constructors
John W. Eaton <jwe@octave.org>
parents:
7790
diff
changeset
|
62 : tree_expression (l, c), expr (e), args (0), type (), |
4131 | 63 arg_nm (), dyn_field () |
3933 | 64 { |
65 append (n); | |
66 } | |
67 | |
4131 | 68 tree_index_expression::tree_index_expression (tree_expression *e, |
69 tree_expression *df, | |
70 int l, int c) | |
7791
975e9540be2c
pt-idx.cc: initialize fields in constructors
John W. Eaton <jwe@octave.org>
parents:
7790
diff
changeset
|
71 : tree_expression (l, c), expr (e), args (0), type (), |
4131 | 72 arg_nm (), dyn_field () |
73 { | |
74 append (df); | |
75 } | |
76 | |
3933 | 77 void |
78 tree_index_expression::append (tree_argument_list *lst, char t) | |
79 { | |
4219 | 80 args.push_back (lst); |
3933 | 81 type.append (1, t); |
4219 | 82 arg_nm.push_back (lst ? lst->get_arg_names () : string_vector ()); |
83 dyn_field.push_back (static_cast<tree_expression *> (0)); | |
3933 | 84 } |
85 | |
86 void | |
87 tree_index_expression::append (const std::string& n) | |
88 { | |
4219 | 89 args.push_back (static_cast<tree_argument_list *> (0)); |
3933 | 90 type.append ("."); |
4219 | 91 arg_nm.push_back (n); |
92 dyn_field.push_back (static_cast<tree_expression *> (0)); | |
4131 | 93 } |
94 | |
95 void | |
96 tree_index_expression::append (tree_expression *df) | |
97 { | |
4219 | 98 args.push_back (static_cast<tree_argument_list *> (0)); |
4131 | 99 type.append ("."); |
4219 | 100 arg_nm.push_back (""); |
101 dyn_field.push_back (df); | |
3933 | 102 } |
3930 | 103 |
2980 | 104 tree_index_expression::~tree_index_expression (void) |
105 { | |
106 delete expr; | |
3933 | 107 |
108 while (! args.empty ()) | |
109 { | |
4219 | 110 std::list<tree_argument_list *>::iterator p = args.begin (); |
111 delete *p; | |
112 args.erase (p); | |
3933 | 113 } |
2980 | 114 } |
115 | |
5099 | 116 bool |
117 tree_index_expression::has_magic_end (void) const | |
118 { | |
119 for (std::list<tree_argument_list *>::const_iterator p = args.begin (); | |
120 p != args.end (); | |
121 p++) | |
122 { | |
123 tree_argument_list *elt = *p; | |
124 | |
125 if (elt && elt->has_magic_end ()) | |
126 return true; | |
127 } | |
128 | |
129 return false; | |
130 } | |
131 | |
2991 | 132 // This is useful for printing the name of the variable in an indexed |
133 // assignment. | |
134 | |
3536 | 135 std::string |
2991 | 136 tree_index_expression::name (void) const |
137 { | |
4131 | 138 return expr->name (); |
3933 | 139 } |
140 | |
141 static Cell | |
142 make_subs_cell (tree_argument_list *args, const string_vector& arg_nm) | |
143 { | |
144 Cell retval; | |
145 | |
146 octave_value_list arg_values; | |
147 | |
148 if (args) | |
149 arg_values = args->convert_to_const_vector (); | |
150 | |
151 if (! error_state) | |
152 { | |
153 int n = arg_values.length (); | |
154 | |
155 if (n > 0) | |
156 { | |
157 arg_values.stash_name_tags (arg_nm); | |
158 | |
4548 | 159 retval.resize (dim_vector (1, n)); |
3933 | 160 |
161 for (int i = 0; i < n; i++) | |
162 retval(0,i) = arg_values(i); | |
163 } | |
164 } | |
165 | |
166 return retval; | |
167 } | |
168 | |
169 static inline octave_value_list | |
4234 | 170 make_value_list (tree_argument_list *args, const string_vector& arg_nm, |
171 const octave_value *object) | |
3933 | 172 { |
173 octave_value_list retval; | |
174 | |
175 if (args) | |
9125
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
176 { |
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
177 if (object && args->has_magic_end () && object->is_undefined ()) |
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
178 gripe_invalid_inquiry_subscript (); |
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
179 else |
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
180 retval = args->convert_to_const_vector (object); |
8ab1e6f63cdc
gripe on magic end query for undefined variable
Jaroslav Hajek <highegg@gmail.com>
parents:
8920
diff
changeset
|
181 } |
3933 | 182 |
183 if (! error_state) | |
184 { | |
185 int n = retval.length (); | |
186 | |
187 if (n > 0) | |
188 retval.stash_name_tags (arg_nm); | |
189 } | |
190 | |
191 return retval; | |
192 } | |
193 | |
4131 | 194 std::string |
4219 | 195 tree_index_expression::get_struct_index |
196 (std::list<string_vector>::const_iterator p_arg_nm, | |
197 std::list<tree_expression *>::const_iterator p_dyn_field) const | |
4131 | 198 { |
4219 | 199 std::string fn = (*p_arg_nm)(0); |
4131 | 200 |
201 if (fn.empty ()) | |
202 { | |
4219 | 203 tree_expression *df = *p_dyn_field; |
4131 | 204 |
205 if (df) | |
206 { | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8580
diff
changeset
|
207 octave_value t = df->rvalue1 (); |
4131 | 208 |
209 if (! error_state) | |
4143 | 210 { |
211 fn = t.string_value (); | |
212 | |
213 if (! valid_identifier (fn)) | |
6811 | 214 ::error ("invalid structure field name `%s'", fn.c_str ()); |
4143 | 215 } |
4131 | 216 } |
217 else | |
218 panic_impossible (); | |
219 } | |
220 | |
221 return fn; | |
222 } | |
223 | |
3933 | 224 Octave_map |
225 tree_index_expression::make_arg_struct (void) const | |
226 { | |
4219 | 227 int n = args.size (); |
3933 | 228 |
7336 | 229 Cell type_field (n, 1); |
230 Cell subs_field (n, 1); | |
3933 | 231 |
4219 | 232 std::list<tree_argument_list *>::const_iterator p_args = args.begin (); |
233 std::list<string_vector>::const_iterator p_arg_nm = arg_nm.begin (); | |
234 std::list<tree_expression *>::const_iterator p_dyn_field = dyn_field.begin (); | |
3933 | 235 |
236 Octave_map m; | |
237 | |
238 for (int i = 0; i < n; i++) | |
239 { | |
240 switch (type[i]) | |
241 { | |
242 case '(': | |
7336 | 243 subs_field(i) = make_subs_cell (*p_args, *p_arg_nm); |
3933 | 244 break; |
245 | |
246 case '{': | |
7336 | 247 subs_field(i) = make_subs_cell (*p_args, *p_arg_nm); |
3933 | 248 break; |
249 | |
250 case '.': | |
8011
3100283874d7
improve backtrace error messages
John W. Eaton <jwe@octave.org>
parents:
7791
diff
changeset
|
251 subs_field(i) = get_struct_index (p_arg_nm, p_dyn_field); |
3933 | 252 break; |
253 | |
254 default: | |
255 panic_impossible (); | |
256 } | |
257 | |
258 if (error_state) | |
259 return m; | |
260 | |
4219 | 261 p_args++; |
262 p_arg_nm++; | |
263 p_dyn_field++; | |
3933 | 264 } |
265 | |
7336 | 266 m.assign ("type", type_field); |
267 m.assign ("subs", subs_field); | |
3933 | 268 |
269 return m; | |
2991 | 270 } |
271 | |
2980 | 272 octave_value_list |
273 tree_index_expression::rvalue (int nargout) | |
274 { | |
275 octave_value_list retval; | |
276 | |
277 if (error_state) | |
278 return retval; | |
279 | |
7336 | 280 octave_value first_expr_val; |
281 | |
282 octave_value_list first_args; | |
283 | |
284 bool have_args = false; | |
285 | |
286 if (expr->is_identifier () && type[0] == '(') | |
287 { | |
288 tree_identifier *id = dynamic_cast<tree_identifier *> (expr); | |
289 | |
290 if (! (id->is_variable () || args.empty ())) | |
291 { | |
292 tree_argument_list *al = *(args.begin ()); | |
293 | |
294 size_t n = al ? al->length () : 0; | |
295 | |
296 if (n > 0) | |
297 { | |
298 string_vector anm = *(arg_nm.begin ()); | |
299 | |
300 first_expr_val = id->do_lookup (al, anm, first_args, have_args); | |
301 } | |
302 } | |
303 } | |
2980 | 304 |
305 if (! error_state) | |
306 { | |
7336 | 307 if (first_expr_val.is_undefined ()) |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8580
diff
changeset
|
308 first_expr_val = expr->rvalue1 (); |
7336 | 309 |
310 octave_value tmp = first_expr_val; | |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
311 octave_idx_type tmpi = 0; |
7336 | 312 |
4219 | 313 std::list<octave_value_list> idx; |
3930 | 314 |
4219 | 315 int n = args.size (); |
3933 | 316 |
4219 | 317 std::list<tree_argument_list *>::iterator p_args = args.begin (); |
318 std::list<string_vector>::iterator p_arg_nm = arg_nm.begin (); | |
319 std::list<tree_expression *>::iterator p_dyn_field = dyn_field.begin (); | |
3930 | 320 |
3933 | 321 for (int i = 0; i < n; i++) |
322 { | |
4432 | 323 if (i > 0) |
324 { | |
325 tree_argument_list *al = *p_args; | |
326 | |
327 if (al && al->has_magic_end ()) | |
328 { | |
329 // We have an expression like | |
330 // | |
331 // x{end}.a(end) | |
332 // | |
333 // and we are looking at the argument list that | |
334 // contains the second (or third, etc.) "end" token, | |
335 // so we must evaluate everything up to the point of | |
7336 | 336 // that argument list so we can pass the appropriate |
4432 | 337 // value to the built-in __end__ function. |
338 | |
8580
188d38a553c7
further indexing optimization touches
Jaroslav Hajek <highegg@gmail.com>
parents:
8579
diff
changeset
|
339 const octave_value_list tmp_list |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
340 = tmp.subsref (type.substr (tmpi, i - tmpi), idx, nargout); |
4432 | 341 |
342 tmp = tmp_list(0); | |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
343 tmpi = i; |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
344 idx.clear (); |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
345 |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
346 if (tmp.is_cs_list ()) |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
347 gripe_indexed_cs_list (); |
4432 | 348 |
349 if (error_state) | |
350 break; | |
351 } | |
352 } | |
353 | |
3933 | 354 switch (type[i]) |
355 { | |
356 case '(': | |
7336 | 357 if (have_args) |
358 { | |
359 idx.push_back (first_args); | |
360 have_args = false; | |
361 } | |
362 else | |
363 idx.push_back (make_value_list (*p_args, *p_arg_nm, &tmp)); | |
3933 | 364 break; |
3930 | 365 |
3933 | 366 case '{': |
4234 | 367 idx.push_back (make_value_list (*p_args, *p_arg_nm, &tmp)); |
3933 | 368 break; |
2980 | 369 |
3933 | 370 case '.': |
8011
3100283874d7
improve backtrace error messages
John W. Eaton <jwe@octave.org>
parents:
7791
diff
changeset
|
371 idx.push_back (octave_value (get_struct_index (p_arg_nm, p_dyn_field))); |
3933 | 372 break; |
3930 | 373 |
3933 | 374 default: |
375 panic_impossible (); | |
376 } | |
3930 | 377 |
3933 | 378 if (error_state) |
379 break; | |
380 | |
4219 | 381 p_args++; |
382 p_arg_nm++; | |
383 p_dyn_field++; | |
2980 | 384 } |
3933 | 385 |
386 if (! error_state) | |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
387 retval = tmp.subsref (type.substr (tmpi, n - tmpi), idx, nargout); |
2980 | 388 } |
389 | |
390 return retval; | |
391 } | |
392 | |
393 octave_value | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8580
diff
changeset
|
394 tree_index_expression::rvalue1 (int nargout) |
2980 | 395 { |
396 octave_value retval; | |
397 | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8580
diff
changeset
|
398 const octave_value_list tmp = rvalue (nargout); |
2980 | 399 |
400 if (! tmp.empty ()) | |
401 retval = tmp(0); | |
402 | |
403 return retval; | |
404 } | |
405 | |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
406 static octave_idx_type |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
407 get_numel (const octave_value& val, |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
408 const octave_value_list& idx) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
409 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
410 octave_idx_type retval; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
411 |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
412 octave_idx_type len = idx.length (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
413 |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
414 if (len == 0) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
415 retval = val.numel (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
416 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
417 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
418 const dim_vector dv = val.dims ().redim (len); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
419 retval = 1; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
420 for (octave_idx_type i = 0; i < len; i++) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
421 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
422 if (idx(i).is_magic_colon ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
423 retval *= dv(i); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
424 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
425 retval *= idx(i).numel (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
426 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
427 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
428 |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
429 return retval; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
430 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
431 |
2980 | 432 octave_lvalue |
433 tree_index_expression::lvalue (void) | |
434 { | |
435 octave_lvalue retval; | |
436 | |
4219 | 437 std::list<octave_value_list> idx; |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
438 std::string tmp_type; |
3933 | 439 |
4219 | 440 int n = args.size (); |
3933 | 441 |
4219 | 442 std::list<tree_argument_list *>::iterator p_args = args.begin (); |
443 std::list<string_vector>::iterator p_arg_nm = arg_nm.begin (); | |
444 std::list<tree_expression *>::iterator p_dyn_field = dyn_field.begin (); | |
3933 | 445 |
4234 | 446 retval = expr->lvalue (); |
3933 | 447 |
2980 | 448 if (! error_state) |
449 { | |
4432 | 450 const octave_value *tro = retval.object (); |
451 | |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
452 octave_value tmp; |
4432 | 453 |
454 if (tro) | |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
455 tmp = *tro; |
4432 | 456 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
457 octave_idx_type tmpi = 0; |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
458 std::list<octave_value_list> tmpidx; |
4234 | 459 |
460 for (int i = 0; i < n; i++) | |
461 { | |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
462 if (retval.numel () != 1) |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
463 gripe_indexed_cs_list (); |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
464 else if (tmpi < i) |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
465 { |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
466 tmp = tmp.subsref (type.substr (tmpi, i - tmpi), tmpidx, true); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
467 tmpidx.clear (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
468 } |
4432 | 469 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
470 if (error_state) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
471 break; |
4432 | 472 |
4234 | 473 switch (type[i]) |
474 { | |
475 case '(': | |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
476 { |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
477 octave_value_list tidx |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
478 = make_value_list (*p_args, *p_arg_nm, &tmp); |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
479 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
480 idx.push_back (tidx); |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
481 |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
482 if (i < n - 1) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
483 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
484 if (type[i+1] == '.') |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
485 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
486 tmpidx.push_back (tidx); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
487 tmpi = i+1; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
488 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
489 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
490 error ("() must be followed by . or close the index chain"); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
491 } |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
492 } |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
493 break; |
4234 | 494 |
495 case '{': | |
5846 | 496 { |
497 octave_value_list tidx | |
498 = make_value_list (*p_args, *p_arg_nm, &tmp); | |
499 | |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
500 if (tmp.is_undefined ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
501 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
502 if (tidx.has_magic_colon ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
503 gripe_invalid_inquiry_subscript (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
504 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
505 tmp = Cell (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
506 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
507 else if (tmp.is_zero_by_zero () |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
508 && (tmp.is_matrix_type () || tmp.is_string ())) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
509 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
510 tmp = Cell (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
511 } |
5846 | 512 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
513 retval.numel (get_numel (tmp, tidx)); |
5846 | 514 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
515 if (error_state) |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
516 break; |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
517 |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
518 idx.push_back (tidx); |
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
519 tmpidx.push_back (tidx); |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
520 tmpi = i; |
5846 | 521 } |
4234 | 522 break; |
523 | |
524 case '.': | |
525 { | |
6833 | 526 octave_value tidx = get_struct_index (p_arg_nm, p_dyn_field); |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
527 if (error_state) |
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
528 break; |
6833 | 529 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
530 bool autoconv = (tmp.is_zero_by_zero () |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
531 && (tmp.is_matrix_type () || tmp.is_string () |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
532 || tmp.is_cell ())); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
533 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
534 if (i > 0 && type [i-1] == '(') |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
535 { |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
536 octave_value_list pidx = idx.back (); |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
537 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
538 if (tmp.is_undefined ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
539 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
540 if (pidx.has_magic_colon ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
541 gripe_invalid_inquiry_subscript (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
542 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
543 tmp = Octave_map (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
544 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
545 else if (autoconv) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
546 tmp = Octave_map (); |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
547 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
548 retval.numel (get_numel (tmp, pidx)); |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
549 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
550 tmpi = i-1; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
551 tmpidx.push_back (tidx); |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
552 } |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
553 else |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
554 { |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
555 if (tmp.is_undefined () || autoconv) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
556 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
557 tmpi = i+1; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
558 tmp = octave_value (); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
559 } |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
560 else |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
561 { |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
562 retval.numel (get_numel (tmp, octave_value_list ())); |
7099 | 563 |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
564 tmpi = i; |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
565 tmpidx.push_back (tidx); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
566 } |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
567 } |
7057 | 568 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
569 if (error_state) |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
570 break; |
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
571 |
8551
906f976d35a8
further improve struct&cell indexing & indexed assignment
Jaroslav Hajek <highegg@gmail.com>
parents:
8546
diff
changeset
|
572 idx.push_back (tidx); |
4234 | 573 } |
574 break; | |
575 | |
576 default: | |
577 panic_impossible (); | |
578 } | |
579 | |
12055
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
580 if (idx.back ().empty ()) |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
581 error ("invalid empty index list"); |
c663c1a78c4a
implant tree_index_expression::lvalue from development version
Jaroslav Hajek <highegg@gmail.com>
parents:
9125
diff
changeset
|
582 |
4234 | 583 if (error_state) |
584 break; | |
585 | |
586 p_args++; | |
587 p_arg_nm++; | |
588 p_dyn_field++; | |
589 } | |
3930 | 590 |
3933 | 591 if (! error_state) |
592 retval.set_index (type, idx); | |
8546
3d8a914c580e
improve parser indexed assigment code
Jaroslav Hajek <highegg@gmail.com>
parents:
8011
diff
changeset
|
593 |
2980 | 594 } |
595 | |
596 return retval; | |
597 } | |
598 | |
7099 | 599 /* |
600 %!test | |
601 %! x = {1, 2, 3}; | |
602 %! [x{:}] = deal (4, 5, 6); | |
603 %! assert (x, {4, 5, 6}); | |
604 | |
605 %!test | |
606 %! [x.a, x.b.c] = deal (1, 2); | |
607 %! assert (x.a == 1 && x.b.c == 2); | |
608 | |
609 %!test | |
610 %! [x.a, x(2).b] = deal (1, 2); | |
611 %! assert (x(1).a == 1 && isempty (x(2).a) && isempty (x(1).b) && x(2).b == 2); | |
612 | |
613 %!test | |
614 %! x = struct (zeros (0, 1), {"a", "b"}); | |
615 %! x(2).b = 1; | |
616 %! assert (x(2).b == 1); | |
617 | |
618 %!test | |
619 %! x = struct (zeros (0, 1), {"a", "b"}); | |
620 %! x(2).b = 1; | |
621 %! assert (x(2).b == 1); | |
622 */ | |
623 | |
5861 | 624 tree_index_expression * |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
625 tree_index_expression::dup (symbol_table::scope_id scope, |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
626 symbol_table::context_id context) const |
5861 | 627 { |
628 tree_index_expression *new_idx_expr | |
629 = new tree_index_expression (line (), column ()); | |
630 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
631 new_idx_expr->expr = expr ? expr->dup (scope, context) : 0; |
5861 | 632 |
633 std::list<tree_argument_list *> new_args; | |
634 | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
635 for (std::list<tree_argument_list *>::const_iterator p = args.begin (); |
5861 | 636 p != args.end (); |
637 p++) | |
638 { | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
639 const tree_argument_list *elt = *p; |
5861 | 640 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
641 new_args.push_back (elt ? elt->dup (scope, context) : 0); |
5861 | 642 } |
643 | |
644 new_idx_expr->args = new_args; | |
645 | |
646 new_idx_expr->type = type; | |
647 | |
648 new_idx_expr->arg_nm = arg_nm; | |
649 | |
650 std::list<tree_expression *> new_dyn_field; | |
651 | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
652 for (std::list<tree_expression *>::const_iterator p = dyn_field.begin (); |
5861 | 653 p != dyn_field.end (); |
654 p++) | |
655 { | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
656 const tree_expression *elt = *p; |
5861 | 657 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
658 new_dyn_field.push_back (elt ? elt->dup (scope, context) : 0); |
5861 | 659 } |
660 | |
661 new_idx_expr->dyn_field = new_dyn_field; | |
662 | |
663 new_idx_expr->copy_base (*this); | |
664 | |
665 return new_idx_expr; | |
666 } | |
667 | |
2980 | 668 void |
669 tree_index_expression::accept (tree_walker& tw) | |
670 { | |
671 tw.visit_index_expression (*this); | |
672 } | |
673 | |
674 /* | |
675 ;;; Local Variables: *** | |
676 ;;; mode: C++ *** | |
677 ;;; End: *** | |
678 */ |