Mercurial > hg > octave-nkf
annotate src/pt-misc.cc @ 8920:eb63fbe60fab
update copyright notices
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Sat, 07 Mar 2009 10:41:27 -0500 |
parents | 35cd375d4bb3 |
children | 080e11f1b0c1 |
rev | line source |
---|---|
577 | 1 /* |
2 | |
7017 | 3 Copyright (C) 1994, 1995, 1996, 1997, 1999, 2000, 2002, 2003, 2004, |
8920 | 4 2005, 2006, 2007, 2008, 2009 John W. Eaton |
577 | 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. | |
577 | 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/>. | |
577 | 21 |
22 */ | |
23 | |
24 #ifdef HAVE_CONFIG_H | |
1192 | 25 #include <config.h> |
577 | 26 #endif |
27 | |
5848 | 28 #include "Cell.h" |
29 | |
4466 | 30 #include "defun.h" |
2982 | 31 #include "error.h" |
32 #include "ov.h" | |
33 #include "oct-lvalue.h" | |
34 #include "pt-id.h" | |
35 #include "pt-idx.h" | |
36 #include "pt-misc.h" | |
37 #include "pt-walk.h" | |
4466 | 38 #include "utils.h" |
39 | |
577 | 40 // Parameter lists. |
41 | |
1742 | 42 tree_parameter_list::~tree_parameter_list (void) |
43 { | |
4219 | 44 while (! empty ()) |
1742 | 45 { |
4219 | 46 iterator p = begin (); |
47 delete *p; | |
48 erase (p); | |
1742 | 49 } |
50 } | |
51 | |
577 | 52 void |
53 tree_parameter_list::mark_as_formal_parameters (void) | |
54 { | |
4219 | 55 for (iterator p = begin (); p != end (); p++) |
577 | 56 { |
6215 | 57 tree_decl_elt *elt = *p; |
577 | 58 elt->mark_as_formal_parameter (); |
59 } | |
60 } | |
61 | |
7587
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
62 bool |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
63 tree_parameter_list::validate (in_or_out type) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
64 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
65 bool retval = true; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
66 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
67 std::set<std::string> dict; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
68 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
69 for (iterator p = begin (); p != end (); p++) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
70 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
71 tree_decl_elt *elt = *p; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
72 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
73 tree_identifier *id = elt->ident (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
74 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
75 if (id) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
76 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
77 std::string name = id->name (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
78 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
79 if (dict.find (name) != dict.end ()) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
80 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
81 retval = false; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
82 error ("`%s' appears more than once in parameter list", |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
83 name.c_str ()); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
84 break; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
85 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
86 else |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
87 dict.insert (name); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
88 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
89 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
90 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
91 if (! error_state) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
92 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
93 std::string va_type = (type == in ? "varargin" : "varargout"); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
94 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
95 size_t len = length (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
96 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
97 if (len > 0) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
98 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
99 tree_decl_elt *elt = back (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
100 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
101 tree_identifier *id = elt->ident (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
102 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
103 if (id && id->name () == va_type) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
104 { |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
105 if (len == 1) |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
106 mark_varargs_only (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
107 else |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
108 mark_varargs (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
109 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
110 iterator p = end (); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
111 --p; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
112 delete *p; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
113 erase (p); |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
114 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
115 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
116 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
117 |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
118 return retval; |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
119 } |
1f662945c2be
handle varargin and varargout without keywords
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
120 |
577 | 121 void |
4466 | 122 tree_parameter_list::initialize_undefined_elements (const std::string& warnfor, |
123 int nargout, | |
124 const octave_value& val) | |
1093 | 125 { |
4466 | 126 bool warned = false; |
127 | |
128 int count = 0; | |
129 | |
4219 | 130 for (iterator p = begin (); p != end (); p++) |
1093 | 131 { |
4466 | 132 if (++count > nargout) |
133 break; | |
134 | |
6215 | 135 tree_decl_elt *elt = *p; |
2948 | 136 |
7336 | 137 if (! elt->is_variable ()) |
2973 | 138 { |
5781 | 139 if (! warned) |
4466 | 140 { |
141 warned = true; | |
5781 | 142 |
143 warning_with_id | |
144 ("Octave:undefined-return-values", | |
145 "%s: some elements in list of return values are undefined", | |
146 warnfor.c_str ()); | |
4466 | 147 } |
148 | |
2979 | 149 octave_lvalue tmp = elt->lvalue (); |
2973 | 150 |
3538 | 151 tmp.assign (octave_value::op_asn_eq, val); |
2973 | 152 } |
1093 | 153 } |
154 } | |
155 | |
156 void | |
2086 | 157 tree_parameter_list::define_from_arg_vector (const octave_value_list& args) |
577 | 158 { |
712 | 159 int nargin = args.length (); |
160 | |
161 int expected_nargin = length (); | |
577 | 162 |
4219 | 163 iterator p = begin (); |
577 | 164 |
712 | 165 for (int i = 0; i < expected_nargin; i++) |
577 | 166 { |
6215 | 167 tree_decl_elt *elt = *p++; |
577 | 168 |
2979 | 169 octave_lvalue ref = elt->lvalue (); |
2959 | 170 |
577 | 171 if (i < nargin) |
172 { | |
620 | 173 if (args(i).is_defined () && args(i).is_magic_colon ()) |
577 | 174 { |
6215 | 175 if (! elt->eval ()) |
176 { | |
177 ::error ("no default value for argument %d\n", i+1); | |
178 return; | |
179 } | |
577 | 180 } |
6215 | 181 else |
8150
283989f2da9b
make null assignment matlab compatible
Jaroslav Hajek <highegg@gmail.com>
parents:
7767
diff
changeset
|
182 ref.define (args(i)); |
577 | 183 } |
2891 | 184 else |
6215 | 185 elt->eval (); |
577 | 186 } |
187 } | |
188 | |
3239 | 189 void |
4219 | 190 tree_parameter_list::undefine (void) |
3239 | 191 { |
192 int len = length (); | |
193 | |
4219 | 194 iterator p = begin (); |
3239 | 195 |
196 for (int i = 0; i < len; i++) | |
197 { | |
6215 | 198 tree_decl_elt *elt = *p++; |
3239 | 199 |
200 octave_lvalue ref = elt->lvalue (); | |
201 | |
3538 | 202 ref.assign (octave_value::op_asn_eq, octave_value ()); |
3239 | 203 } |
204 } | |
205 | |
2086 | 206 octave_value_list |
5848 | 207 tree_parameter_list::convert_to_const_vector (const Cell& varargout) |
577 | 208 { |
5848 | 209 octave_idx_type vlen = varargout.numel (); |
577 | 210 |
5848 | 211 int nout = length () + vlen; |
723 | 212 |
5848 | 213 octave_value_list retval (nout, octave_value ()); |
577 | 214 |
215 int i = 0; | |
216 | |
4219 | 217 for (iterator p = begin (); p != end (); p++) |
577 | 218 { |
6215 | 219 tree_decl_elt *elt = *p; |
577 | 220 |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8150
diff
changeset
|
221 retval(i++) = elt->is_defined () ? elt->rvalue1 () : octave_value (); |
577 | 222 } |
223 | |
5848 | 224 for (octave_idx_type j = 0; j < vlen; j++) |
225 retval(i++) = varargout(j); | |
723 | 226 |
577 | 227 return retval; |
228 } | |
229 | |
1827 | 230 bool |
577 | 231 tree_parameter_list::is_defined (void) |
232 { | |
1827 | 233 bool status = true; |
577 | 234 |
4219 | 235 for (iterator p = begin (); p != end (); p++) |
577 | 236 { |
6215 | 237 tree_decl_elt *elt = *p; |
577 | 238 |
7336 | 239 if (! elt->is_variable ()) |
577 | 240 { |
1827 | 241 status = false; |
577 | 242 break; |
243 } | |
244 } | |
245 | |
246 return status; | |
247 } | |
248 | |
5861 | 249 tree_parameter_list * |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
250 tree_parameter_list::dup (symbol_table::scope_id scope, |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
251 symbol_table::context_id context) const |
5861 | 252 { |
253 tree_parameter_list *new_list = new tree_parameter_list (); | |
254 | |
255 if (takes_varargs ()) | |
256 new_list->mark_varargs (); | |
257 | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
258 for (const_iterator p = begin (); p != end (); p++) |
5861 | 259 { |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
260 const tree_decl_elt *elt = *p; |
5861 | 261 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
262 new_list->append (elt->dup (scope, context)); |
5861 | 263 } |
264 | |
265 return new_list; | |
266 } | |
267 | |
577 | 268 void |
2124 | 269 tree_parameter_list::accept (tree_walker& tw) |
581 | 270 { |
2124 | 271 tw.visit_parameter_list (*this); |
581 | 272 } |
273 | |
274 // Return lists. | |
275 | |
1742 | 276 tree_return_list::~tree_return_list (void) |
277 { | |
4219 | 278 while (! empty ()) |
1742 | 279 { |
4219 | 280 iterator p = begin (); |
281 delete *p; | |
282 erase (p); | |
1742 | 283 } |
284 } | |
285 | |
5861 | 286 tree_return_list * |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
287 tree_return_list::dup (symbol_table::scope_id scope, |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
288 symbol_table::context_id context) const |
5861 | 289 { |
290 tree_return_list *new_list = new tree_return_list (); | |
291 | |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
292 for (const_iterator p = begin (); p != end (); p++) |
5861 | 293 { |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
294 const tree_index_expression *elt = *p; |
5861 | 295 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7587
diff
changeset
|
296 new_list->append (elt->dup (scope, context)); |
5861 | 297 } |
298 | |
299 return new_list; | |
300 } | |
301 | |
581 | 302 void |
2124 | 303 tree_return_list::accept (tree_walker& tw) |
581 | 304 { |
2124 | 305 tw.visit_return_list (*this); |
581 | 306 } |
307 | |
577 | 308 /* |
309 ;;; Local Variables: *** | |
310 ;;; mode: C++ *** | |
311 ;;; End: *** | |
312 */ |