Mercurial > hg > octave-nkf
annotate src/pt-fcn-handle.cc @ 8906:ab87d08d9a1b
improve symbol inheritance for anonymous functions
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Tue, 03 Mar 2009 14:10:54 -0500 |
parents | 73c4516fae10 |
children | 35cd375d4bb3 |
rev | line source |
---|---|
4343 | 1 /* |
2 | |
7017 | 3 Copyright (C) 2003, 2004, 2005, 2006, 2007 John W. Eaton |
4343 | 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. | |
4343 | 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/>. | |
4343 | 20 |
21 */ | |
22 | |
23 #ifdef HAVE_CONFIG_H | |
24 #include <config.h> | |
25 #endif | |
26 | |
27 #include <iostream> | |
28 | |
29 #include "error.h" | |
30 #include "oct-obj.h" | |
31 #include "ov-fcn-handle.h" | |
32 #include "pt-fcn-handle.h" | |
33 #include "pager.h" | |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
34 #include "pt-const.h" |
4343 | 35 #include "pt-walk.h" |
5861 | 36 #include "variables.h" |
4343 | 37 |
38 void | |
39 tree_fcn_handle::print (std::ostream& os, bool pr_as_read_syntax, | |
40 bool pr_orig_text) | |
41 { | |
42 print_raw (os, pr_as_read_syntax, pr_orig_text); | |
43 } | |
44 | |
45 void | |
46 tree_fcn_handle::print_raw (std::ostream& os, bool pr_as_read_syntax, | |
47 bool pr_orig_text) | |
48 { | |
49 os << ((pr_as_read_syntax || pr_orig_text) ? "@" : "") << nm; | |
50 } | |
51 | |
52 octave_value | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8045
diff
changeset
|
53 tree_fcn_handle::rvalue1 (int) |
4343 | 54 { |
55 return make_fcn_handle (nm); | |
56 } | |
57 | |
58 octave_value_list | |
59 tree_fcn_handle::rvalue (int nargout) | |
60 { | |
61 octave_value_list retval; | |
62 | |
63 if (nargout > 1) | |
64 error ("invalid number of output arguments for function handle expression"); | |
65 else | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8045
diff
changeset
|
66 retval = rvalue1 (nargout); |
4343 | 67 |
68 return retval; | |
69 } | |
70 | |
5861 | 71 tree_expression * |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
72 tree_fcn_handle::dup (symbol_table::scope_id, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
73 symbol_table::context_id) |
5861 | 74 { |
75 tree_fcn_handle *new_fh = new tree_fcn_handle (nm, line (), column ()); | |
76 | |
77 new_fh->copy_base (*this); | |
78 | |
79 return new_fh; | |
80 } | |
81 | |
4343 | 82 void |
83 tree_fcn_handle::accept (tree_walker& tw) | |
84 { | |
85 tw.visit_fcn_handle (*this); | |
86 } | |
87 | |
5861 | 88 octave_value |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8045
diff
changeset
|
89 tree_anon_fcn_handle::rvalue1 (int) |
5861 | 90 { |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
91 // FIXME -- should CMD_LIST be limited to a single expression? |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
92 // I think that is what Matlab does. |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
93 |
7336 | 94 tree_parameter_list *param_list = parameter_list (); |
95 tree_parameter_list *ret_list = return_list (); | |
96 tree_statement_list *cmd_list = body (); | |
97 symbol_table::scope_id this_scope = scope (); | |
5861 | 98 |
7336 | 99 symbol_table::scope_id new_scope = symbol_table::dup_scope (this_scope); |
5861 | 100 |
7336 | 101 if (new_scope > 0) |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
102 symbol_table::inherit (new_scope, symbol_table::current_scope (), |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
103 symbol_table::current_context ()); |
5861 | 104 |
105 octave_user_function *uf | |
7336 | 106 = new octave_user_function (new_scope, |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
107 param_list ? param_list->dup (new_scope, 0) : 0, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
108 ret_list ? ret_list->dup (new_scope, 0) : 0, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
109 cmd_list ? cmd_list->dup (new_scope, 0) : 0); |
5861 | 110 |
6656 | 111 octave_function *curr_fcn = octave_call_stack::current (); |
112 | |
113 if (curr_fcn) | |
8032
2fd4a5ef6b59
stash parent function scope for inline functions and anonymous function handles.
John W. Eaton <jwe@octave.org>
parents:
7767
diff
changeset
|
114 { |
2fd4a5ef6b59
stash parent function scope for inline functions and anonymous function handles.
John W. Eaton <jwe@octave.org>
parents:
7767
diff
changeset
|
115 uf->stash_parent_fcn_name (curr_fcn->name ()); |
8045
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
116 |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
117 symbol_table::scope_id parent_scope = curr_fcn->parent_fcn_scope (); |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
118 |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
119 if (parent_scope < 0) |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
120 parent_scope = curr_fcn->scope (); |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
121 |
24701aa75ecb
scope fixes for anonymous and inline functions that appear inside subfunctions
John W. Eaton <jwe@octave.org>
parents:
8032
diff
changeset
|
122 uf->stash_parent_fcn_scope (parent_scope); |
8032
2fd4a5ef6b59
stash parent function scope for inline functions and anonymous function handles.
John W. Eaton <jwe@octave.org>
parents:
7767
diff
changeset
|
123 } |
6656 | 124 |
6149 | 125 uf->mark_as_inline_function (); |
126 | |
6505 | 127 octave_value ov_fcn (uf); |
5861 | 128 |
6505 | 129 octave_value fh (new octave_fcn_handle (ov_fcn, "@<anonymous>")); |
5861 | 130 |
131 return fh; | |
132 } | |
133 | |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
134 /* |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
135 %!function r = f2 (f, x) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
136 %! r = f (x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
137 %!function f = f1 (k) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
138 %! f = @(x) f2 (@(y) y-k, x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
139 %!test |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
140 %! assert ((f1 (3)) (10) == 7) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
141 %! |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
142 %!shared f, g, h |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
143 %! h = @(x) sin (x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
144 %! g = @(f, x) h (x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
145 %! f = @() g (@(x) h, pi); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
146 %!assert (f () == sin (pi)) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
147 */ |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
148 |
5861 | 149 octave_value_list |
150 tree_anon_fcn_handle::rvalue (int nargout) | |
151 { | |
152 octave_value_list retval; | |
153 | |
154 if (nargout > 1) | |
155 error ("invalid number of output arguments for anonymous function handle expression"); | |
156 else | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8045
diff
changeset
|
157 retval = rvalue1 (nargout); |
5861 | 158 |
159 return retval; | |
160 } | |
161 | |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
162 #if 0 |
5861 | 163 tree_expression * |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
164 tree_anon_fcn_handle::dup (symbol_table::scope_id parent_scope, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
165 symbol_table::context_id parent_context) |
5861 | 166 { |
7336 | 167 tree_parameter_list *param_list = parameter_list (); |
168 tree_parameter_list *ret_list = return_list (); | |
169 tree_statement_list *cmd_list = body (); | |
170 symbol_table::scope_id this_scope = scope (); | |
6505 | 171 |
7336 | 172 symbol_table::scope_id new_scope = symbol_table::dup_scope (this_scope); |
6061 | 173 |
7336 | 174 if (new_scope > 0) |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
175 symbol_table::inherit (new_scope, parent_scope, parent_context); |
6061 | 176 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
177 tree_anon_fcn_handle *new_afh = new |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
178 tree_anon_fcn_handle (param_list ? param_list->dup (new_scope, 0) : 0, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
179 ret_list ? ret_list->dup (new_scope, 0) : 0, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
180 cmd_list ? cmd_list->dup (new_scope, 0) : 0, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
181 new_scope, line (), column ()); |
5861 | 182 |
183 new_afh->copy_base (*this); | |
184 | |
185 return new_afh; | |
186 } | |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
187 #endif |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
188 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
189 tree_expression * |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
190 tree_anon_fcn_handle::dup (symbol_table::scope_id, symbol_table::context_id) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
191 { |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
192 // Instead of simply duplicating, transform to a tree_constant |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
193 // object that contains an octave_fcn_handle object with the symbol |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
194 // table of the referenced function primed with values from the |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
195 // current scope and context. |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
196 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
197 tree_parameter_list *param_list = parameter_list (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
198 tree_parameter_list *ret_list = return_list (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
199 tree_statement_list *cmd_list = body (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
200 symbol_table::scope_id this_scope = scope (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
201 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
202 symbol_table::scope_id new_scope = symbol_table::dup_scope (this_scope); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
203 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
204 if (new_scope > 0) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
205 symbol_table::inherit (new_scope, symbol_table::current_scope (), |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
206 symbol_table::current_context ()); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
207 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
208 octave_user_function *uf |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
209 = new octave_user_function (new_scope, |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
210 param_list ? param_list->dup (new_scope, 0) : 0, |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
211 ret_list ? ret_list->dup (new_scope, 0) : 0, |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
212 cmd_list ? cmd_list->dup (new_scope, 0) : 0); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
213 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
214 octave_function *curr_fcn = octave_call_stack::current (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
215 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
216 if (curr_fcn) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
217 { |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
218 uf->stash_parent_fcn_name (curr_fcn->name ()); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
219 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
220 symbol_table::scope_id parent_scope = curr_fcn->parent_fcn_scope (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
221 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
222 if (parent_scope < 0) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
223 parent_scope = curr_fcn->scope (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
224 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
225 uf->stash_parent_fcn_scope (parent_scope); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
226 } |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
227 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
228 uf->mark_as_inline_function (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
229 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
230 octave_value ov_fcn (uf); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
231 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
232 octave_value fh (new octave_fcn_handle (ov_fcn, "@<anonymous>")); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
233 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
234 return new tree_constant (fh, line (), column ()); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
235 } |
5861 | 236 |
237 void | |
238 tree_anon_fcn_handle::accept (tree_walker& tw) | |
239 { | |
240 tw.visit_anon_fcn_handle (*this); | |
241 } | |
242 | |
243 | |
244 | |
4343 | 245 /* |
246 ;;; Local Variables: *** | |
247 ;;; mode: C++ *** | |
248 ;;; End: *** | |
249 */ |