|
2980
|
1 /* |
|
|
2 |
|
|
3 Copyright (C) 1996, 1997 John W. Eaton |
|
|
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 |
|
|
9 Free Software Foundation; either version 2, or (at your option) any |
|
|
10 later version. |
|
|
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 |
|
|
18 along with Octave; see the file COPYING. If not, write to the Free |
|
|
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. |
|
|
20 |
|
|
21 */ |
|
|
22 |
|
4066
|
23 #if defined (__GNUG__) && ! defined (NO_PRAGMA_INTERFACE_IMPLEMENTATION) |
|
2980
|
24 #pragma implementation |
|
|
25 #endif |
|
|
26 |
|
|
27 #ifdef HAVE_CONFIG_H |
|
|
28 #include <config.h> |
|
|
29 #endif |
|
|
30 |
|
3933
|
31 #include "Cell.h" |
|
2980
|
32 #include "error.h" |
|
3930
|
33 #include "oct-map.h" |
|
2980
|
34 #include "oct-obj.h" |
|
|
35 #include "oct-lvalue.h" |
|
|
36 #include "ov.h" |
|
3930
|
37 #include "pager.h" |
|
2982
|
38 #include "pt-arg-list.h" |
|
3930
|
39 #include "pt-bp.h" |
|
2980
|
40 #include "pt-idx.h" |
|
|
41 #include "pt-walk.h" |
|
3930
|
42 #include "utils.h" |
|
|
43 #include "variables.h" |
|
2980
|
44 |
|
3933
|
45 #include "SLList.cc" |
|
|
46 |
|
|
47 template class SLNode<string_vector>; |
|
|
48 template class SLList<string_vector>; |
|
|
49 |
|
2980
|
50 // Index expressions. |
|
|
51 |
|
3546
|
52 tree_index_expression::tree_index_expression (tree_expression *e, |
|
|
53 tree_argument_list *lst, |
|
3933
|
54 int l, int c, char t) |
|
4131
|
55 : tree_expression (l, c), expr (e), args (), type (), |
|
|
56 arg_nm (), dyn_field () |
|
3933
|
57 { |
|
|
58 append (lst, t); |
|
|
59 } |
|
3215
|
60 |
|
3930
|
61 tree_index_expression::tree_index_expression (tree_expression *e, |
|
|
62 const std::string& n, |
|
3944
|
63 int l, int c) |
|
4131
|
64 : tree_expression (l, c), expr (e), args (), type (), |
|
|
65 arg_nm (), dyn_field () |
|
3933
|
66 { |
|
|
67 append (n); |
|
|
68 } |
|
|
69 |
|
4131
|
70 tree_index_expression::tree_index_expression (tree_expression *e, |
|
|
71 tree_expression *df, |
|
|
72 int l, int c) |
|
|
73 : tree_expression (l, c), expr (e), args (), type (), |
|
|
74 arg_nm (), dyn_field () |
|
|
75 { |
|
|
76 append (df); |
|
|
77 } |
|
|
78 |
|
3933
|
79 void |
|
|
80 tree_index_expression::append (tree_argument_list *lst, char t) |
|
|
81 { |
|
|
82 args.append (lst); |
|
|
83 type.append (1, t); |
|
|
84 arg_nm.append (lst ? lst->get_arg_names () : string_vector ()); |
|
4131
|
85 dyn_field.append (static_cast<tree_expression *> (0)); |
|
3933
|
86 } |
|
|
87 |
|
|
88 void |
|
|
89 tree_index_expression::append (const std::string& n) |
|
|
90 { |
|
|
91 args.append (static_cast<tree_argument_list *> (0)); |
|
|
92 type.append ("."); |
|
|
93 arg_nm.append (n); |
|
4131
|
94 dyn_field.append (static_cast<tree_expression *> (0)); |
|
|
95 } |
|
|
96 |
|
|
97 void |
|
|
98 tree_index_expression::append (tree_expression *df) |
|
|
99 { |
|
|
100 args.append (static_cast<tree_argument_list *> (0)); |
|
|
101 type.append ("."); |
|
|
102 arg_nm.append (""); |
|
|
103 dyn_field.append (df); |
|
3933
|
104 } |
|
3930
|
105 |
|
2980
|
106 tree_index_expression::~tree_index_expression (void) |
|
|
107 { |
|
|
108 delete expr; |
|
3933
|
109 |
|
|
110 while (! args.empty ()) |
|
|
111 { |
|
|
112 tree_argument_list *t = args.remove_front (); |
|
|
113 delete t; |
|
|
114 } |
|
2980
|
115 } |
|
|
116 |
|
2991
|
117 // This is useful for printing the name of the variable in an indexed |
|
|
118 // assignment. |
|
|
119 |
|
3536
|
120 std::string |
|
2991
|
121 tree_index_expression::name (void) const |
|
|
122 { |
|
4131
|
123 return expr->name (); |
|
3933
|
124 } |
|
|
125 |
|
|
126 static Cell |
|
|
127 make_subs_cell (tree_argument_list *args, const string_vector& arg_nm) |
|
|
128 { |
|
|
129 Cell retval; |
|
|
130 |
|
|
131 octave_value_list arg_values; |
|
|
132 |
|
|
133 if (args) |
|
|
134 arg_values = args->convert_to_const_vector (); |
|
|
135 |
|
|
136 if (! error_state) |
|
|
137 { |
|
|
138 int n = arg_values.length (); |
|
|
139 |
|
|
140 if (n > 0) |
|
|
141 { |
|
|
142 arg_values.stash_name_tags (arg_nm); |
|
|
143 |
|
|
144 retval.resize (1, n); |
|
|
145 |
|
|
146 for (int i = 0; i < n; i++) |
|
|
147 retval(0,i) = arg_values(i); |
|
|
148 } |
|
|
149 } |
|
|
150 |
|
|
151 return retval; |
|
|
152 } |
|
|
153 |
|
|
154 static inline octave_value_list |
|
|
155 make_value_list (tree_argument_list *args, const string_vector& arg_nm) |
|
|
156 { |
|
|
157 octave_value_list retval; |
|
|
158 |
|
|
159 if (args) |
|
|
160 retval = args->convert_to_const_vector (); |
|
|
161 |
|
|
162 if (! error_state) |
|
|
163 { |
|
|
164 int n = retval.length (); |
|
|
165 |
|
|
166 if (n > 0) |
|
|
167 retval.stash_name_tags (arg_nm); |
|
|
168 } |
|
|
169 |
|
|
170 return retval; |
|
|
171 } |
|
|
172 |
|
4131
|
173 std::string |
|
|
174 tree_index_expression::get_struct_index (Pix p_arg_nm, Pix p_dyn_field) const |
|
|
175 { |
|
|
176 std::string fn = arg_nm(p_arg_nm)(0); |
|
|
177 |
|
|
178 if (fn.empty ()) |
|
|
179 { |
|
|
180 tree_expression *df = dyn_field (p_dyn_field); |
|
|
181 |
|
|
182 if (df) |
|
|
183 { |
|
|
184 octave_value t = df->rvalue (); |
|
|
185 |
|
|
186 if (! error_state) |
|
4143
|
187 { |
|
|
188 fn = t.string_value (); |
|
|
189 |
|
|
190 if (! valid_identifier (fn)) |
|
|
191 ::error ("invalid structure field name"); |
|
|
192 } |
|
4131
|
193 } |
|
|
194 else |
|
|
195 panic_impossible (); |
|
|
196 } |
|
|
197 |
|
|
198 return fn; |
|
|
199 } |
|
|
200 |
|
3933
|
201 Octave_map |
|
|
202 tree_index_expression::make_arg_struct (void) const |
|
|
203 { |
|
|
204 int n = args.length (); |
|
|
205 |
|
|
206 octave_value_list subs_list (n, octave_value ()); |
|
|
207 octave_value_list type_list (n, octave_value ()); |
|
|
208 |
|
|
209 Pix p_args = args.first (); |
|
|
210 Pix p_arg_nm = arg_nm.first (); |
|
4131
|
211 Pix p_dyn_field = dyn_field.first (); |
|
3933
|
212 |
|
|
213 Octave_map m; |
|
|
214 |
|
|
215 for (int i = 0; i < n; i++) |
|
|
216 { |
|
|
217 switch (type[i]) |
|
|
218 { |
|
|
219 case '(': |
|
|
220 subs_list(i) = make_subs_cell (args(p_args), arg_nm(p_arg_nm)); |
|
|
221 break; |
|
|
222 |
|
|
223 case '{': |
|
|
224 subs_list(i) = make_subs_cell (args(p_args), arg_nm(p_arg_nm)); |
|
|
225 break; |
|
|
226 |
|
|
227 case '.': |
|
4143
|
228 { |
|
|
229 subs_list(i) = get_struct_index (p_arg_nm, p_dyn_field); |
|
|
230 |
|
|
231 if (error_state) |
|
|
232 eval_error (); |
|
|
233 } |
|
3933
|
234 break; |
|
|
235 |
|
|
236 default: |
|
|
237 panic_impossible (); |
|
|
238 } |
|
|
239 |
|
|
240 if (error_state) |
|
|
241 return m; |
|
|
242 |
|
|
243 args.next (p_args); |
|
|
244 arg_nm.next (p_arg_nm); |
|
4131
|
245 dyn_field.next (p_dyn_field); |
|
3933
|
246 } |
|
|
247 |
|
|
248 m ["subs"] = subs_list; |
|
|
249 m ["type"] = type_list; |
|
|
250 |
|
|
251 return m; |
|
2991
|
252 } |
|
|
253 |
|
2980
|
254 octave_value_list |
|
|
255 tree_index_expression::rvalue (int nargout) |
|
|
256 { |
|
|
257 octave_value_list retval; |
|
|
258 |
|
|
259 if (error_state) |
|
|
260 return retval; |
|
|
261 |
|
|
262 octave_value tmp = expr->rvalue (); |
|
|
263 |
|
|
264 if (! error_state) |
|
|
265 { |
|
3933
|
266 SLList<octave_value_list> idx; |
|
3930
|
267 |
|
3933
|
268 int n = args.length (); |
|
|
269 |
|
|
270 Pix p_args = args.first (); |
|
|
271 Pix p_arg_nm = arg_nm.first (); |
|
4131
|
272 Pix p_dyn_field = dyn_field.first (); |
|
3930
|
273 |
|
3933
|
274 for (int i = 0; i < n; i++) |
|
|
275 { |
|
|
276 switch (type[i]) |
|
|
277 { |
|
|
278 case '(': |
|
|
279 idx.append (make_value_list (args(p_args), arg_nm(p_arg_nm))); |
|
|
280 break; |
|
3930
|
281 |
|
3933
|
282 case '{': |
|
|
283 idx.append (make_value_list (args(p_args), arg_nm(p_arg_nm))); |
|
|
284 break; |
|
2980
|
285 |
|
3933
|
286 case '.': |
|
4143
|
287 { |
|
|
288 idx.append (get_struct_index (p_arg_nm, p_dyn_field)); |
|
|
289 |
|
|
290 if (error_state) |
|
|
291 eval_error (); |
|
|
292 } |
|
3933
|
293 break; |
|
3930
|
294 |
|
3933
|
295 default: |
|
|
296 panic_impossible (); |
|
|
297 } |
|
3930
|
298 |
|
3933
|
299 if (error_state) |
|
|
300 break; |
|
|
301 |
|
|
302 args.next (p_args); |
|
|
303 arg_nm.next (p_arg_nm); |
|
4131
|
304 dyn_field.next (p_dyn_field); |
|
2980
|
305 } |
|
3933
|
306 |
|
|
307 if (! error_state) |
|
|
308 retval = tmp.subsref (type, idx, nargout); |
|
2980
|
309 } |
|
|
310 |
|
|
311 return retval; |
|
|
312 } |
|
|
313 |
|
|
314 octave_value |
|
|
315 tree_index_expression::rvalue (void) |
|
|
316 { |
|
|
317 octave_value retval; |
|
|
318 |
|
|
319 octave_value_list tmp = rvalue (1); |
|
|
320 |
|
|
321 if (! tmp.empty ()) |
|
|
322 retval = tmp(0); |
|
|
323 |
|
|
324 return retval; |
|
|
325 } |
|
|
326 |
|
|
327 octave_lvalue |
|
|
328 tree_index_expression::lvalue (void) |
|
|
329 { |
|
|
330 octave_lvalue retval; |
|
|
331 |
|
3933
|
332 SLList<octave_value_list> idx; |
|
|
333 |
|
|
334 int n = args.length (); |
|
|
335 |
|
|
336 Pix p_args = args.first (); |
|
|
337 Pix p_arg_nm = arg_nm.first (); |
|
4131
|
338 Pix p_dyn_field = dyn_field.first (); |
|
3933
|
339 |
|
|
340 for (int i = 0; i < n; i++) |
|
|
341 { |
|
|
342 switch (type[i]) |
|
|
343 { |
|
|
344 case '(': |
|
|
345 idx.append (make_value_list (args(p_args), arg_nm(p_arg_nm))); |
|
|
346 break; |
|
|
347 |
|
|
348 case '{': |
|
|
349 idx.append (make_value_list (args(p_args), arg_nm(p_arg_nm))); |
|
|
350 break; |
|
|
351 |
|
|
352 case '.': |
|
4143
|
353 { |
|
|
354 idx.append (get_struct_index (p_arg_nm, p_dyn_field)); |
|
|
355 |
|
|
356 if (error_state) |
|
|
357 eval_error (); |
|
|
358 } |
|
3933
|
359 break; |
|
|
360 |
|
|
361 default: |
|
|
362 panic_impossible (); |
|
|
363 } |
|
|
364 |
|
|
365 if (error_state) |
|
|
366 break; |
|
|
367 |
|
|
368 args.next (p_args); |
|
|
369 arg_nm.next (p_arg_nm); |
|
4131
|
370 dyn_field.next (p_dyn_field); |
|
3933
|
371 } |
|
|
372 |
|
2980
|
373 if (! error_state) |
|
|
374 { |
|
3933
|
375 retval = expr->lvalue (); |
|
3930
|
376 |
|
3933
|
377 if (! error_state) |
|
|
378 retval.set_index (type, idx); |
|
2980
|
379 } |
|
|
380 |
|
|
381 return retval; |
|
|
382 } |
|
|
383 |
|
|
384 void |
|
4143
|
385 tree_index_expression::eval_error (void) const |
|
2980
|
386 { |
|
3965
|
387 int l = line (); |
|
|
388 int c = column (); |
|
2980
|
389 |
|
3965
|
390 const char *type_str; |
|
3930
|
391 |
|
3965
|
392 if (type[0] == '.') |
|
|
393 type_str = "structure reference operator"; |
|
|
394 else if (args.front ()) |
|
|
395 type_str = "index expression"; |
|
|
396 else |
|
|
397 type_str = "expression"; |
|
3930
|
398 |
|
3965
|
399 if (l != -1 && c != -1) |
|
|
400 ::error ("evaluating %s near line %d, column %d", type_str, l, c); |
|
|
401 else |
|
|
402 ::error ("evaluating %s", type_str); |
|
2980
|
403 } |
|
|
404 |
|
|
405 void |
|
|
406 tree_index_expression::accept (tree_walker& tw) |
|
|
407 { |
|
|
408 tw.visit_index_expression (*this); |
|
|
409 } |
|
|
410 |
|
|
411 /* |
|
|
412 ;;; Local Variables: *** |
|
|
413 ;;; mode: C++ *** |
|
|
414 ;;; End: *** |
|
|
415 */ |
