Mercurial > hg > octave-nkf
annotate src/pt-fcn-handle.cc @ 12119:e320928eeb3a release-3-2-x release-3-2-4
version 3.2.4
author | Jaroslav Hajek <highegg@gmail.com> |
---|---|
date | Fri, 22 Jan 2010 12:43:12 +0100 |
parents | 66a639bfc523 |
children | cd96d29c5efa |
rev | line source |
---|---|
4343 | 1 /* |
2 | |
8920 | 3 Copyright (C) 2003, 2004, 2005, 2006, 2007, 2008, 2009 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, |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8906
diff
changeset
|
73 symbol_table::context_id) const |
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 %! |
11986
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
142 %!shared g |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
143 %! g = @(t) feval (@(x) t*x, 2); |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
144 %!assert (g(0.5) == 1) |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
145 %! |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
146 %!shared f, g, h |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
147 %! h = @(x) sin (x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
148 %! g = @(f, x) h (x); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
149 %! f = @() g (@(x) h, pi); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
150 %!assert (f () == sin (pi)) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
151 */ |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
152 |
5861 | 153 octave_value_list |
154 tree_anon_fcn_handle::rvalue (int nargout) | |
155 { | |
156 octave_value_list retval; | |
157 | |
158 if (nargout > 1) | |
159 error ("invalid number of output arguments for anonymous function handle expression"); | |
160 else | |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
8045
diff
changeset
|
161 retval = rvalue1 (nargout); |
5861 | 162 |
163 return retval; | |
164 } | |
165 | |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
166 tree_expression * |
8913
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8906
diff
changeset
|
167 tree_anon_fcn_handle::dup (symbol_table::scope_id, |
35cd375d4bb3
make tree::dup functions const
John W. Eaton <jwe@octave.org>
parents:
8906
diff
changeset
|
168 symbol_table::context_id) const |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
169 { |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
170 tree_parameter_list *param_list = parameter_list (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
171 tree_parameter_list *ret_list = return_list (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
172 tree_statement_list *cmd_list = body (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
173 symbol_table::scope_id this_scope = scope (); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
174 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
175 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
|
176 |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
177 if (new_scope > 0) |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
178 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
|
179 symbol_table::current_context ()); |
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
180 |
11986
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
181 tree_anon_fcn_handle *new_afh = new |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
182 tree_anon_fcn_handle (param_list ? param_list->dup (new_scope, 0) : 0, |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
183 ret_list ? ret_list->dup (new_scope, 0) : 0, |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
184 cmd_list ? cmd_list->dup (new_scope, 0) : 0, |
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
185 new_scope, line (), column ()); |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
186 |
11986
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
187 new_afh->copy_base (*this); |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
188 |
11986
66a639bfc523
tree_anon_fcn_handle::dup: don't convert to tree_constant
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
189 return new_afh; |
8906
ab87d08d9a1b
improve symbol inheritance for anonymous functions
John W. Eaton <jwe@octave.org>
parents:
8658
diff
changeset
|
190 } |
5861 | 191 |
192 void | |
193 tree_anon_fcn_handle::accept (tree_walker& tw) | |
194 { | |
195 tw.visit_anon_fcn_handle (*this); | |
196 } | |
197 | |
198 | |
199 | |
4343 | 200 /* |
201 ;;; Local Variables: *** | |
202 ;;; mode: C++ *** | |
203 ;;; End: *** | |
204 */ |