Mercurial > hg > octave-nkf
annotate src/symtab.h @ 7767:71f068b22fcc
scope and context fixes for function handles
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Wed, 07 May 2008 13:45:30 -0400 |
parents | 5adeea5de26c |
children | 791231dac333 |
rev | line source |
---|---|
8 | 1 /* |
2 | |
7017 | 3 Copyright (C) 1993, 1994, 1995, 1996, 1997, 1999, 2000, 2002, 2003, |
7346 | 4 2004, 2005, 2006, 2007, 2008 John W. Eaton |
7336 | 5 |
8 | 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. | |
8 | 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/>. | |
8 | 21 |
22 */ | |
23 | |
383 | 24 #if !defined (octave_symtab_h) |
25 #define octave_symtab_h 1 | |
8 | 26 |
7336 | 27 #include <deque> |
28 #include <list> | |
29 #include <map> | |
30 #include <set> | |
31 #include <string> | |
2953 | 32 |
7336 | 33 #include "glob-match.h" |
2846 | 34 |
7336 | 35 class tree_argument_list; |
3013 | 36 |
7336 | 37 #include "oct-obj.h" |
38 #include "ov.h" | |
1412 | 39 |
8 | 40 class |
6109 | 41 OCTINTERP_API |
8 | 42 symbol_table |
43 { | |
44 public: | |
45 | |
7336 | 46 typedef int scope_id; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
47 typedef size_t context_id; |
7336 | 48 |
49 class | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
50 scope_id_cache |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
51 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
52 protected: |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
53 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
54 typedef std::set<scope_id>::iterator set_iterator; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
55 typedef std::set<scope_id>::const_iterator set_const_iterator; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
56 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
57 // We start with 2 because we allocate 0 for the global symbols |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
58 // and 1 for the top-level workspace. |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
59 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
60 scope_id_cache (void) : next_available (2), in_use (), free_list () { } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
61 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
62 public: |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
63 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
64 ~scope_id_cache (void) { } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
65 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
66 static scope_id alloc (void) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
67 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
68 return instance_ok () ? instance->do_alloc () : -1; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
69 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
70 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
71 static void free (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
72 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
73 if (instance_ok ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
74 return instance->do_free (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
75 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
76 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
77 static std::list<scope_id> scopes (void) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
78 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
79 return instance_ok () ? instance->do_scopes () : std::list<scope_id> (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
80 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
81 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
82 static bool instance_ok (void) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
83 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
84 bool retval = true; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
85 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
86 if (! instance) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
87 instance = new scope_id_cache (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
88 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
89 if (! instance) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
90 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
91 ::error ("unable to create scope_id_cache object!"); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
92 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
93 retval = false; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
94 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
95 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
96 return retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
97 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
98 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
99 private: |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
100 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
101 static scope_id_cache *instance; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
102 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
103 // The next available scope not in the free list. |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
104 scope_id next_available; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
105 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
106 // The set of scope IDs that are currently allocated. |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
107 std::set<scope_id> in_use; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
108 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
109 // The set of scope IDs that are currently available. |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
110 std::set<scope_id> free_list; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
111 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
112 scope_id do_alloc (void) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
113 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
114 scope_id retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
115 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
116 set_iterator p = free_list.begin (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
117 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
118 if (p != free_list.end ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
119 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
120 retval = *p; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
121 free_list.erase (p); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
122 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
123 else |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
124 retval = next_available++; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
125 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
126 in_use.insert (retval); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
127 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
128 return retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
129 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
130 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
131 void do_free (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
132 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
133 set_iterator p = in_use.find (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
134 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
135 if (p != in_use.end ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
136 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
137 in_use.erase (p); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
138 free_list.insert (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
139 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
140 else |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
141 error ("free_scope: scope %d not found!", scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
142 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
143 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
144 std::list<scope_id> do_scopes (void) const |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
145 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
146 std::list<scope_id> retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
147 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
148 for (set_const_iterator p = in_use.begin (); p != in_use.end (); p++) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
149 retval.push_back (*p); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
150 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
151 retval.sort (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
152 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
153 return retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
154 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
155 }; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
156 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
157 class |
7336 | 158 symbol_record |
159 { | |
160 public: | |
161 | |
162 // generic variable | |
163 static const unsigned int local = 1; | |
164 | |
165 // varargin, argn, .nargin., .nargout. | |
166 // (FIXME -- is this really used now?) | |
167 static const unsigned int automatic = 2; | |
168 | |
169 // formal parameter | |
170 static const unsigned int formal = 4; | |
171 | |
172 // not listed or cleared (.nargin., .nargout.) | |
173 static const unsigned int hidden = 8; | |
174 | |
175 // inherited from parent scope; not cleared at function exit | |
176 static const unsigned int inherited = 16; | |
177 | |
178 // global (redirects to global scope) | |
179 static const unsigned int global = 32; | |
180 | |
181 // not cleared at function exit | |
182 static const unsigned int persistent = 64; | |
183 | |
184 private: | |
185 | |
186 class | |
187 symbol_record_rep | |
4009 | 188 { |
7336 | 189 public: |
190 | |
191 symbol_record_rep (const std::string& nm, const octave_value& v, | |
192 unsigned int sc) | |
193 : name (nm), value_stack (), storage_class (sc), count (1) | |
194 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
195 value_stack.push_back (v); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
196 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
197 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
198 octave_value& varref (context_id context) |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
199 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
200 if (is_global ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
201 return symbol_table::global_varref (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
202 else if (is_persistent ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
203 return symbol_table::persistent_varref (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
204 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
205 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
206 context_id n = value_stack.size (); |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
207 while (n++ <= context) |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
208 value_stack.push_back (octave_value ()); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
209 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
210 return value_stack[context]; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
211 } |
7336 | 212 } |
213 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
214 octave_value varval (context_id context) const |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
215 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
216 if (is_global ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
217 return symbol_table::global_varval (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
218 else if (is_persistent ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
219 return symbol_table::persistent_varval (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
220 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
221 { |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
222 if (context < value_stack.size ()) |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
223 return value_stack[context]; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
224 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
225 return octave_value (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
226 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
227 } |
7336 | 228 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
229 void push_context (void) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
230 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
231 if (! (is_persistent () || is_global ())) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
232 value_stack.push_back (octave_value ()); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
233 } |
7336 | 234 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
235 // If pop_context returns 0, we are out of values and this element |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
236 // of the symbol table should be deleted. This can happen for |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
237 // functions like |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
238 // |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
239 // function foo (n) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
240 // if (n > 0) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
241 // foo (n-1); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
242 // else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
243 // eval ("x = 1"); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
244 // endif |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
245 // endfunction |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
246 // |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
247 // Here, X should only exist in the final stack frame. |
7336 | 248 |
7374 | 249 size_t pop_context (void) |
250 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
251 size_t retval = 1; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
252 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
253 if (! (is_persistent () || is_global ())) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
254 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
255 value_stack.pop_back (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
256 retval = value_stack.size (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
257 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
258 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
259 return retval; |
7374 | 260 } |
7336 | 261 |
262 void clear (void) | |
263 { | |
264 if (! (is_hidden () || is_inherited ())) | |
265 { | |
266 if (is_global ()) | |
267 unmark_global (); | |
268 | |
269 if (is_persistent ()) | |
270 { | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
271 symbol_table::persistent_varref (name) |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
272 = varval (xcurrent_context); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
273 |
7336 | 274 unmark_persistent (); |
275 } | |
276 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
277 varref (xcurrent_context) = octave_value (); |
7336 | 278 } |
279 } | |
280 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
281 bool is_defined (context_id context) const |
7336 | 282 { |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
283 return varval (context).is_defined (); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
284 } |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
285 |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
286 bool is_variable (context_id context) const |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
287 { |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
288 return (storage_class != local || is_defined (context)); |
7336 | 289 } |
290 | |
291 bool is_local (void) const { return storage_class & local; } | |
292 bool is_automatic (void) const { return storage_class & automatic; } | |
293 bool is_formal (void) const { return storage_class & formal; } | |
294 bool is_hidden (void) const { return storage_class & hidden; } | |
295 bool is_inherited (void) const { return storage_class & inherited; } | |
296 bool is_global (void) const { return storage_class & global; } | |
297 bool is_persistent (void) const { return storage_class & persistent; } | |
298 | |
299 void mark_local (void) { storage_class |= local; } | |
300 void mark_automatic (void) { storage_class |= automatic; } | |
301 void mark_formal (void) { storage_class |= formal; } | |
302 void mark_hidden (void) { storage_class |= hidden; } | |
303 void mark_inherited (void) { storage_class |= inherited; } | |
304 void mark_global (void) | |
305 { | |
306 if (is_persistent ()) | |
307 error ("can't make persistent variable %s global", name.c_str ()); | |
308 else | |
309 storage_class |= global; | |
310 } | |
311 void mark_persistent (void) | |
312 { | |
313 if (is_global ()) | |
314 error ("can't make global variable %s persistent", name.c_str ()); | |
315 else | |
316 storage_class |= persistent; | |
317 } | |
318 | |
319 void unmark_local (void) { storage_class &= ~local; } | |
320 void unmark_automatic (void) { storage_class &= ~automatic; } | |
321 void unmark_formal (void) { storage_class &= ~formal; } | |
322 void unmark_hidden (void) { storage_class &= ~hidden; } | |
323 void unmark_inherited (void) { storage_class &= ~inherited; } | |
324 void unmark_global (void) { storage_class &= ~global; } | |
325 void unmark_persistent (void) { storage_class &= ~persistent; } | |
326 | |
327 void init_persistent (void) | |
328 { | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
329 if (! is_defined (xcurrent_context)) |
7336 | 330 { |
331 mark_persistent (); | |
332 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
333 varref (xcurrent_context) = symbol_table::persistent_varval (name); |
7336 | 334 } |
335 // FIXME -- this causes trouble with recursive calls. | |
336 // else | |
337 // error ("unable to declare existing variable persistent"); | |
338 } | |
339 | |
340 void erase_persistent (void) | |
341 { | |
342 unmark_persistent (); | |
343 symbol_table::erase_persistent (name); | |
344 } | |
345 | |
346 symbol_record_rep *dup (void) | |
347 { | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
348 return new symbol_record_rep (name, varval (xcurrent_context), |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
349 storage_class); |
7336 | 350 } |
351 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
352 void dump (std::ostream& os, const std::string& prefix) const; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
353 |
7336 | 354 std::string name; |
355 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
356 std::deque<octave_value> value_stack; |
7336 | 357 |
358 unsigned int storage_class; | |
359 | |
360 size_t count; | |
361 | |
362 private: | |
363 | |
364 // No copying! | |
365 | |
366 symbol_record_rep (const symbol_record_rep& ov); | |
367 | |
368 symbol_record_rep& operator = (const symbol_record_rep&); | |
369 }; | |
370 | |
371 public: | |
372 | |
373 symbol_record (const std::string& nm = std::string (), | |
374 const octave_value& v = octave_value (), | |
375 unsigned int sc = local) | |
376 : rep (new symbol_record_rep (nm, v, sc)) { } | |
377 | |
378 symbol_record (const symbol_record& sr) | |
379 : rep (sr.rep) | |
380 { | |
381 rep->count++; | |
382 } | |
383 | |
384 symbol_record& operator = (const symbol_record& sr) | |
385 { | |
386 if (this != &sr) | |
387 { | |
388 rep = sr.rep; | |
389 rep->count++; | |
390 } | |
391 | |
392 return *this; | |
393 } | |
394 | |
395 ~symbol_record (void) | |
396 { | |
397 if (--rep->count == 0) | |
398 delete rep; | |
399 } | |
400 | |
401 symbol_record dup (void) const { return symbol_record (rep->dup ()); } | |
402 | |
403 std::string name (void) const { return rep->name; } | |
404 | |
405 octave_value | |
406 find (tree_argument_list *args, const string_vector& arg_names, | |
407 octave_value_list& evaluated_args, bool& args_evaluated) const; | |
408 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
409 octave_value& varref (context_id context = xcurrent_context) |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
410 { |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
411 return rep->varref (context); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
412 } |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
413 |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
414 octave_value varval (context_id context = xcurrent_context) const |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
415 { |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
416 return rep->varval (context); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
417 } |
7336 | 418 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
419 void push_context (void) { rep->push_context (); } |
7336 | 420 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
421 size_t pop_context (void) { return rep->pop_context (); } |
7336 | 422 |
423 void clear (void) { rep->clear (); } | |
424 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
425 bool is_defined (context_id context = xcurrent_context) const |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
426 { |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
427 return rep->is_defined (context); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
428 } |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
429 |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
430 bool is_variable (context_id context = xcurrent_context) const |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
431 { |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
432 return rep->is_variable (context); |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
433 } |
7336 | 434 |
435 bool is_local (void) const { return rep->is_local (); } | |
436 bool is_automatic (void) const { return rep->is_automatic (); } | |
437 bool is_formal (void) const { return rep->is_formal (); } | |
438 bool is_global (void) const { return rep->is_global (); } | |
439 bool is_hidden (void) const { return rep->is_hidden (); } | |
440 bool is_inherited (void) const { return rep->is_inherited (); } | |
441 bool is_persistent (void) const { return rep->is_persistent (); } | |
442 | |
443 void mark_local (void) { rep->mark_local (); } | |
444 void mark_automatic (void) { rep->mark_automatic (); } | |
445 void mark_formal (void) { rep->mark_formal (); } | |
446 void mark_hidden (void) { rep->mark_hidden (); } | |
447 void mark_inherited (void) { rep->mark_inherited (); } | |
448 void mark_global (void) { rep->mark_global (); } | |
449 void mark_persistent (void) { rep->mark_persistent (); } | |
450 | |
451 void unmark_local (void) { rep->unmark_local (); } | |
452 void unmark_automatic (void) { rep->unmark_automatic (); } | |
453 void unmark_formal (void) { rep->unmark_formal (); } | |
454 void unmark_hidden (void) { rep->unmark_hidden (); } | |
455 void unmark_inherited (void) { rep->unmark_inherited (); } | |
456 void unmark_global (void) { rep->unmark_global (); } | |
457 void unmark_persistent (void) { rep->unmark_persistent (); } | |
458 | |
459 void init_persistent (void) { rep->init_persistent (); } | |
460 | |
461 void erase_persistent (void) { rep->erase_persistent (); } | |
462 | |
463 unsigned int xstorage_class (void) const { return rep->storage_class; } | |
464 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
465 void |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
466 dump (std::ostream& os, const std::string& prefix = std::string ()) const |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
467 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
468 rep->dump (os, prefix); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
469 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
470 |
7336 | 471 private: |
472 | |
473 symbol_record_rep *rep; | |
474 | |
475 symbol_record (symbol_record_rep *new_rep) : rep (new_rep) { } | |
476 }; | |
477 | |
478 class | |
479 fcn_info | |
480 { | |
481 public: | |
482 | |
483 typedef std::map<std::string, std::string> dispatch_map_type; | |
484 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
485 typedef std::map<scope_id, octave_value>::const_iterator scope_val_const_iterator; |
7336 | 486 typedef std::map<scope_id, octave_value>::iterator scope_val_iterator; |
4238 | 487 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
488 typedef std::map<std::string, octave_value>::const_iterator str_val_const_iterator; |
7336 | 489 typedef std::map<std::string, octave_value>::iterator str_val_iterator; |
490 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
491 typedef dispatch_map_type::const_iterator dispatch_map_const_iterator; |
7336 | 492 typedef dispatch_map_type::iterator dispatch_map_iterator; |
493 | |
494 private: | |
495 | |
496 class | |
497 fcn_info_rep | |
498 { | |
499 public: | |
500 | |
501 fcn_info_rep (const std::string& nm) | |
502 : name (nm), subfunctions (), private_functions (), | |
503 class_constructors (), class_methods (), cmdline_function (), | |
504 autoload_function (), function_on_path (), built_in_function (), | |
505 count (1) { } | |
506 | |
507 octave_value load_private_function (const std::string& dir_name); | |
508 | |
509 octave_value load_class_constructor (void); | |
510 | |
511 octave_value load_class_method (const std::string& dispatch_type); | |
512 | |
513 octave_value | |
514 find (tree_argument_list *args, const string_vector& arg_names, | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
515 octave_value_list& evaluated_args, bool& args_evaluated); |
7336 | 516 |
517 octave_value find_method (const std::string& dispatch_type); | |
518 | |
519 octave_value find_autoload (void); | |
520 | |
521 octave_value find_user_function (void); | |
522 | |
523 bool is_user_function_defined (void) const | |
524 { | |
525 return function_on_path.is_defined (); | |
526 } | |
527 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
528 octave_value find_function (void) |
7336 | 529 { |
530 octave_value_list args; | |
531 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
532 return find_function (args); |
7336 | 533 } |
534 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
535 octave_value find_function (const octave_value_list& args) |
7336 | 536 { |
537 string_vector arg_names; | |
538 octave_value_list evaluated_args = args; | |
7753
e76a4a6e3c47
initialize args_evaluated; delete useless statement
John W. Eaton <jwe@octave.org>
parents:
7752
diff
changeset
|
539 bool args_evaluated = false; |
7336 | 540 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
541 return find (0, arg_names, evaluated_args, args_evaluated); |
7336 | 542 } |
543 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
544 void lock_subfunction (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
545 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
546 scope_val_iterator p = subfunctions.find (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
547 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
548 if (p != subfunctions.end ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
549 p->second.lock (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
550 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
551 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
552 void unlock_subfunction (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
553 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
554 scope_val_iterator p = subfunctions.find (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
555 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
556 if (p != subfunctions.end ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
557 p->second.unlock (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
558 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
559 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
560 std::pair<std::string, octave_value> |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
561 subfunction_defined_in_scope (scope_id scope) const |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
562 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
563 scope_val_const_iterator p = subfunctions.find (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
564 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
565 return p == subfunctions.end () |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
566 ? std::pair<std::string, octave_value> () |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
567 : std::pair<std::string, octave_value> (name, p->second); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
568 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
569 |
7336 | 570 void install_cmdline_function (const octave_value& f) |
571 { | |
572 cmdline_function = f; | |
573 } | |
574 | |
575 void install_subfunction (const octave_value& f, scope_id scope) | |
576 { | |
577 subfunctions[scope] = f; | |
578 } | |
579 | |
580 void install_user_function (const octave_value& f) | |
581 { | |
582 function_on_path = f; | |
583 } | |
584 | |
585 void install_built_in_function (const octave_value& f) | |
586 { | |
587 built_in_function = f; | |
588 } | |
589 | |
7489
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
590 template <class T> |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
591 void |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
592 clear_unlocked (std::map<T, octave_value>& map) |
7336 | 593 { |
7489
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
594 typename std::map<T, octave_value>::iterator p = map.begin (); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
595 |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
596 while (p != map.end ()) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
597 { |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
598 if (p->second.islocked ()) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
599 p++; |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
600 else |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
601 map.erase (p++); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
602 } |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
603 } |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
604 |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
605 void clear_cmdline_function (void) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
606 { |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
607 if (! cmdline_function.islocked ()) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
608 cmdline_function = octave_value (); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
609 } |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
610 |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
611 void clear_autoload_function (void) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
612 { |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
613 if (! autoload_function.islocked ()) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
614 autoload_function = octave_value (); |
7336 | 615 } |
616 | |
617 // FIXME -- should this also clear the cmdline and other "user | |
618 // defined" functions? | |
619 void clear_user_function (void) | |
620 { | |
7489
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
621 if (! function_on_path.islocked ()) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
622 function_on_path = octave_value (); |
7336 | 623 } |
624 | |
625 void clear_mex_function (void) | |
626 { | |
627 if (function_on_path.is_mex_function ()) | |
7489
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
628 clear_user_function (); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
629 } |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
630 |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
631 void clear (void) |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
632 { |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
633 clear_unlocked (subfunctions); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
634 clear_unlocked (private_functions); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
635 clear_unlocked (class_constructors); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
636 clear_unlocked (class_methods); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
637 clear_cmdline_function (); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
638 clear_autoload_function (); |
8e4592e49fa7
don't clear locked functions
John W. Eaton <jwe@octave.org>
parents:
7374
diff
changeset
|
639 clear_user_function (); |
7336 | 640 } |
641 | |
642 void add_dispatch (const std::string& type, const std::string& fname) | |
643 { | |
644 dispatch_map[type] = fname; | |
645 } | |
646 | |
647 void clear_dispatch (const std::string& type) | |
648 { | |
649 dispatch_map_iterator p = dispatch_map.find (type); | |
650 | |
651 if (p != dispatch_map.end ()) | |
652 dispatch_map.erase (p); | |
653 } | |
654 | |
655 void print_dispatch (std::ostream& os) const; | |
656 | |
657 std::string help_for_dispatch (void) const; | |
658 | |
659 dispatch_map_type get_dispatch (void) const { return dispatch_map; } | |
660 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
661 void dump (std::ostream& os, const std::string& prefix) const; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
662 |
7336 | 663 std::string name; |
664 | |
665 // Scope id to function object. | |
666 std::map<scope_id, octave_value> subfunctions; | |
667 | |
668 // Directory name to function object. | |
669 std::map<std::string, octave_value> private_functions; | |
670 | |
671 // Class name to function object. | |
672 std::map<std::string, octave_value> class_constructors; | |
673 | |
674 // Dispatch type to function object. | |
675 std::map<std::string, octave_value> class_methods; | |
676 | |
677 // Legacy dispatch map (dispatch type name to function name). | |
678 dispatch_map_type dispatch_map; | |
679 | |
680 octave_value cmdline_function; | |
681 | |
682 octave_value autoload_function; | |
683 | |
684 octave_value function_on_path; | |
685 | |
686 octave_value built_in_function; | |
687 | |
688 size_t count; | |
689 | |
690 private: | |
691 | |
692 // No copying! | |
693 | |
694 fcn_info_rep (const fcn_info_rep&); | |
695 | |
696 fcn_info_rep& operator = (const fcn_info_rep&); | |
697 }; | |
698 | |
699 public: | |
700 | |
701 fcn_info (const std::string& nm = std::string ()) | |
702 : rep (new fcn_info_rep (nm)) { } | |
703 | |
704 fcn_info (const fcn_info& ov) : rep (ov.rep) | |
705 { | |
706 rep->count++; | |
707 } | |
708 | |
709 fcn_info& operator = (const fcn_info& ov) | |
710 { | |
711 if (this != &ov) | |
4238 | 712 { |
7336 | 713 rep = ov.rep; |
714 rep->count++; | |
4238 | 715 } |
7336 | 716 |
717 return *this; | |
718 } | |
719 | |
720 ~fcn_info (void) | |
721 { | |
722 if (--rep->count == 0) | |
723 delete rep; | |
724 } | |
725 | |
726 octave_value | |
727 find (tree_argument_list *args, const string_vector& arg_names, | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
728 octave_value_list& evaluated_args, bool& args_evaluated); |
7336 | 729 |
730 octave_value find_method (const std::string& dispatch_type) const | |
731 { | |
732 return rep->find_method (dispatch_type); | |
733 } | |
734 | |
735 octave_value find_built_in_function (void) const | |
736 { | |
737 return rep->built_in_function; | |
738 } | |
739 | |
740 octave_value find_autoload (void) | |
741 { | |
742 return rep->find_autoload (); | |
743 } | |
744 | |
745 octave_value find_user_function (void) | |
746 { | |
747 return rep->find_user_function (); | |
748 } | |
749 | |
750 bool is_user_function_defined (void) const | |
751 { | |
752 return rep->is_user_function_defined (); | |
753 } | |
754 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
755 octave_value find_function (void) |
7336 | 756 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
757 return rep->find_function (); |
7336 | 758 } |
759 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
760 octave_value find_function (const octave_value_list& args) |
7336 | 761 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
762 return rep->find_function (args); |
7336 | 763 } |
764 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
765 void lock_subfunction (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
766 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
767 rep->lock_subfunction (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
768 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
769 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
770 void unlock_subfunction (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
771 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
772 rep->unlock_subfunction (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
773 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
774 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
775 std::pair<std::string, octave_value> |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
776 subfunction_defined_in_scope (scope_id scope = xcurrent_scope) const |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
777 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
778 return rep->subfunction_defined_in_scope (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
779 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
780 |
7336 | 781 void install_cmdline_function (const octave_value& f) |
782 { | |
783 rep->install_cmdline_function (f); | |
784 } | |
785 | |
786 void install_subfunction (const octave_value& f, scope_id scope) | |
787 { | |
788 rep->install_subfunction (f, scope); | |
789 } | |
790 | |
791 void install_user_function (const octave_value& f) | |
792 { | |
793 rep->install_user_function (f); | |
794 } | |
795 | |
796 void install_built_in_function (const octave_value& f) | |
797 { | |
798 rep->install_built_in_function (f); | |
799 } | |
800 | |
801 void clear (void) { rep->clear (); } | |
802 | |
803 void clear_user_function (void) { rep->clear_user_function (); } | |
804 | |
805 void clear_mex_function (void) { rep->clear_mex_function (); } | |
806 | |
807 void add_dispatch (const std::string& type, const std::string& fname) | |
808 { | |
809 rep->add_dispatch (type, fname); | |
810 } | |
811 | |
812 void clear_dispatch (const std::string& type) | |
813 { | |
814 rep->clear_dispatch (type); | |
815 } | |
816 | |
817 void print_dispatch (std::ostream& os) const | |
818 { | |
819 rep->print_dispatch (os); | |
820 } | |
821 | |
822 std::string help_for_dispatch (void) const { return rep->help_for_dispatch (); } | |
823 | |
824 dispatch_map_type get_dispatch (void) const | |
825 { | |
826 return rep->get_dispatch (); | |
4009 | 827 } |
3011 | 828 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
829 void |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
830 dump (std::ostream& os, const std::string& prefix = std::string ()) const |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
831 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
832 rep->dump (os, prefix); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
833 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
834 |
7336 | 835 private: |
836 | |
837 fcn_info_rep *rep; | |
838 }; | |
839 | |
840 static scope_id global_scope (void) { return xglobal_scope; } | |
841 static scope_id top_scope (void) { return xtop_scope; } | |
842 | |
843 static scope_id current_scope (void) { return xcurrent_scope; } | |
844 static scope_id current_caller_scope (void) { return xcurrent_caller_scope; } | |
845 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
846 static context_id current_context (void) { return xcurrent_context; } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
847 |
7336 | 848 // We use parent_scope to handle parsing subfunctions. |
849 static scope_id parent_scope (void) { return xparent_scope; } | |
850 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
851 static scope_id alloc_scope (void) { return scope_id_cache::alloc (); } |
7336 | 852 |
853 static void set_scope (scope_id scope) | |
854 { | |
855 if (scope == xglobal_scope) | |
856 error ("can't set scope to global"); | |
857 else if (scope != xcurrent_scope) | |
858 { | |
859 all_instances_iterator p = all_instances.find (scope); | |
860 | |
861 if (p == all_instances.end ()) | |
862 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
863 symbol_table *inst = new symbol_table (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
864 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
865 if (inst) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
866 all_instances[scope] = instance = inst; |
7336 | 867 } |
868 else | |
869 instance = p->second; | |
870 | |
871 xcurrent_scope = scope; | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
872 xcurrent_context = instance->xcurrent_context_this_table; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
873 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
874 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
875 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
876 static void set_scope_and_context (scope_id scope, context_id context) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
877 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
878 if (scope == xglobal_scope) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
879 error ("can't set scope to global"); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
880 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
881 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
882 if (scope != xcurrent_scope) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
883 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
884 all_instances_iterator p = all_instances.find (scope); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
885 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
886 if (p == all_instances.end ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
887 error ("scope not found!"); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
888 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
889 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
890 instance = p->second; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
891 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
892 xcurrent_scope = scope; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
893 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
894 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
895 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
896 if (! error_state) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
897 xcurrent_context = context; |
7336 | 898 } |
899 } | |
900 | |
901 static void push_scope (scope_id scope) | |
902 { | |
903 if (scope_stack.empty ()) | |
904 scope_stack.push_front (xtop_scope); | |
905 | |
906 xcurrent_caller_scope = xcurrent_scope; | |
907 | |
908 set_scope (scope); | |
909 | |
910 scope_stack.push_front (scope); | |
911 } | |
912 | |
913 static void pop_scope (void) | |
914 { | |
915 scope_stack.pop_front (); | |
8 | 916 |
7336 | 917 set_scope (scope_stack[0]); |
918 | |
7346 | 919 xcurrent_caller_scope = scope_stack.size () > 1 ? scope_stack[1] : -1; |
7336 | 920 } |
921 | |
922 static void pop_scope (void *) { pop_scope (); } | |
923 | |
924 static void reset_scope (void) | |
925 { | |
926 scope_stack.clear (); | |
927 | |
928 scope_stack.push_front (xtop_scope); | |
572 | 929 |
7336 | 930 set_scope (xtop_scope); |
931 | |
932 xcurrent_caller_scope = -1; | |
933 } | |
934 | |
935 static void set_parent_scope (scope_id scope) | |
936 { | |
937 xparent_scope = scope; | |
938 } | |
939 | |
940 static void reset_parent_scope (void) | |
941 { | |
942 set_parent_scope (-1); | |
943 } | |
4009 | 944 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
945 static void erase_scope (scope_id scope) |
7336 | 946 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
947 assert (scope != xglobal_scope); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
948 |
7336 | 949 all_instances_iterator p = all_instances.find (scope); |
950 | |
951 if (p != all_instances.end ()) | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
952 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
953 delete p->second; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
954 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
955 all_instances.erase (p); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
956 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
957 free_scope (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
958 } |
7336 | 959 } |
960 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
961 static scope_id dup_scope (scope_id scope) |
7336 | 962 { |
963 scope_id retval = -1; | |
964 | |
965 symbol_table *inst = get_instance (scope); | |
966 | |
967 if (inst) | |
968 { | |
969 scope_id new_scope = alloc_scope (); | |
970 | |
971 symbol_table *new_symbol_table = new symbol_table (); | |
972 | |
973 if (new_symbol_table) | |
974 { | |
975 all_instances[new_scope] = new_symbol_table; | |
976 | |
977 inst->do_dup_scope (*new_symbol_table); | |
978 | |
979 retval = new_scope; | |
980 } | |
981 } | |
982 | |
983 return retval; | |
984 } | |
985 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
986 static std::list<scope_id> scopes (void) |
7336 | 987 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
988 return scope_id_cache::scopes (); |
7336 | 989 } |
990 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
991 static symbol_record |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
992 find_symbol (const std::string& name, scope_id scope = xcurrent_scope) |
7336 | 993 { |
994 symbol_table *inst = get_instance (scope); | |
995 | |
996 return inst ? inst->do_find_symbol (name) : symbol_record (); | |
997 } | |
4009 | 998 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
999 static void |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1000 inherit (scope_id scope, scope_id donor_scope, context_id donor_context) |
7336 | 1001 { |
1002 symbol_table *inst = get_instance (scope); | |
1003 | |
1004 if (inst) | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1005 inst->do_inherit (donor_scope, donor_context); |
7336 | 1006 } |
1007 | |
1008 static bool at_top_level (void) { return xcurrent_scope == xtop_scope; } | |
1009 | |
1010 // Find a value corresponding to the given name in the table. | |
1011 static octave_value | |
1012 find (const std::string& name, tree_argument_list *args, | |
1013 const string_vector& arg_names, | |
1014 octave_value_list& evaluated_args, bool& args_evaluated, | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1015 bool skip_variables = false); |
7336 | 1016 |
1017 // Insert a new name in the table. | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1018 static symbol_record& insert (const std::string& name) |
7336 | 1019 { |
1020 static symbol_record foobar; | |
1021 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1022 symbol_table *inst = get_instance (xcurrent_scope); |
4009 | 1023 |
7336 | 1024 return inst ? inst->do_insert (name) : foobar; |
1025 } | |
1026 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1027 static octave_value& varref (const std::string& name, |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1028 scope_id scope = xcurrent_scope, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1029 context_id context = xcurrent_context) |
7336 | 1030 { |
1031 static octave_value foobar; | |
1032 | |
1033 symbol_table *inst = get_instance (scope); | |
1034 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1035 return inst ? inst->do_varref (name, context) : foobar; |
7336 | 1036 } |
1037 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1038 static octave_value varval (const std::string& name, |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1039 scope_id scope = xcurrent_scope, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1040 context_id context = xcurrent_context) |
7336 | 1041 { |
1042 symbol_table *inst = get_instance (scope); | |
1043 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1044 return inst ? inst->do_varval (name, context) : octave_value (); |
7336 | 1045 } |
1046 | |
1047 static octave_value& | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1048 global_varref (const std::string& name) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1049 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1050 global_table_iterator p = global_table.find (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1051 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1052 return (p == global_table.end ()) ? global_table[name] : p->second; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1053 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1054 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1055 static octave_value |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1056 global_varval (const std::string& name) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1057 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1058 global_table_const_iterator p = global_table.find (name); |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1059 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1060 return (p != global_table.end ()) ? p->second : octave_value (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1061 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1062 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1063 static octave_value& persistent_varref (const std::string& name) |
7336 | 1064 { |
1065 static octave_value foobar; | |
1066 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1067 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1068 |
1069 return inst ? inst->do_persistent_varref (name) : foobar; | |
1070 } | |
1071 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1072 static octave_value persistent_varval (const std::string& name) |
7336 | 1073 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1074 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1075 |
1076 return inst ? inst->do_persistent_varval (name) : octave_value (); | |
1077 } | |
1078 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1079 static void erase_persistent (const std::string& name) |
7336 | 1080 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1081 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1082 |
1083 if (inst) | |
1084 inst->do_erase_persistent (name); | |
1085 } | |
8 | 1086 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1087 static bool is_variable (const std::string& name) |
7336 | 1088 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1089 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1090 |
1091 return inst ? inst->do_is_variable (name) : false; | |
1092 } | |
1093 | |
1094 static bool | |
1095 is_built_in_function_name (const std::string& name) | |
1096 { | |
1097 octave_value val = find_built_in_function (name); | |
1098 | |
1099 return val.is_defined (); | |
1100 } | |
1101 | |
1102 static octave_value | |
1103 find_method (const std::string& name, const std::string& dispatch_type) | |
1104 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1105 fcn_table_const_iterator p = fcn_table.find (name); |
8 | 1106 |
7336 | 1107 if (p != fcn_table.end ()) |
1108 return p->second.find_method (dispatch_type); | |
1109 else | |
1110 { | |
1111 fcn_info finfo (name); | |
1112 | |
1113 octave_value fcn = finfo.find_method (dispatch_type); | |
1114 | |
1115 if (fcn.is_defined ()) | |
1116 fcn_table[name] = finfo; | |
1117 | |
1118 return fcn; | |
1119 } | |
1120 } | |
1121 | |
1122 static octave_value | |
1123 find_built_in_function (const std::string& name) | |
1124 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1125 fcn_table_const_iterator p = fcn_table.find (name); |
7336 | 1126 |
1127 return (p != fcn_table.end ()) | |
1128 ? p->second.find_built_in_function () : octave_value (); | |
1129 } | |
1130 | |
1131 static octave_value | |
1132 find_autoload (const std::string& name) | |
1133 { | |
1134 fcn_table_iterator p = fcn_table.find (name); | |
4913 | 1135 |
7336 | 1136 return (p != fcn_table.end ()) |
1137 ? p->second.find_autoload () : octave_value (); | |
1138 } | |
1139 | |
1140 static octave_value | |
1141 find_function (const std::string& name, tree_argument_list *args, | |
1142 const string_vector& arg_names, | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1143 octave_value_list& evaluated_args, bool& args_evaluated); |
7336 | 1144 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1145 static octave_value find_user_function (const std::string& name) |
7336 | 1146 { |
1147 fcn_table_iterator p = fcn_table.find (name); | |
1148 | |
1149 return (p != fcn_table.end ()) | |
1150 ? p->second.find_user_function () : octave_value (); | |
1151 } | |
1152 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1153 static octave_value find_function (const std::string& name) |
7336 | 1154 { |
1155 octave_value_list evaluated_args; | |
1156 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1157 return find_function (name, evaluated_args); |
7336 | 1158 } |
1159 | |
1160 static octave_value | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1161 find_function (const std::string& name, const octave_value_list& args) |
7336 | 1162 { |
1163 string_vector arg_names; | |
1164 octave_value_list evaluated_args = args; | |
1165 bool args_evaluated = ! args.empty (); | |
1166 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1167 return find_function (name, 0, arg_names, evaluated_args, args_evaluated); |
7336 | 1168 } |
1169 | |
1170 static void install_cmdline_function (const std::string& name, | |
1171 const octave_value& fcn) | |
1172 { | |
1173 fcn_table_iterator p = fcn_table.find (name); | |
1174 | |
1175 if (p != fcn_table.end ()) | |
1176 { | |
1177 fcn_info& finfo = p->second; | |
3013 | 1178 |
7336 | 1179 finfo.install_cmdline_function (fcn); |
1180 } | |
1181 else | |
1182 { | |
1183 fcn_info finfo (name); | |
195 | 1184 |
7336 | 1185 finfo.install_cmdline_function (fcn); |
1186 | |
1187 fcn_table[name] = finfo; | |
1188 } | |
1189 } | |
1190 | |
1191 static void install_subfunction (const std::string& name, | |
1192 const octave_value& fcn, | |
1193 scope_id scope = xparent_scope) | |
1194 { | |
1195 fcn_table_iterator p = fcn_table.find (name); | |
1196 | |
1197 if (p != fcn_table.end ()) | |
1198 { | |
1199 fcn_info& finfo = p->second; | |
1200 | |
1201 finfo.install_subfunction (fcn, scope); | |
1202 } | |
1203 else | |
1204 { | |
1205 fcn_info finfo (name); | |
1206 | |
1207 finfo.install_subfunction (fcn, scope); | |
1208 | |
1209 fcn_table[name] = finfo; | |
1210 } | |
1211 } | |
1212 | |
1213 static void install_user_function (const std::string& name, | |
1214 const octave_value& fcn) | |
1215 { | |
1216 fcn_table_iterator p = fcn_table.find (name); | |
1217 | |
1218 if (p != fcn_table.end ()) | |
1219 { | |
1220 fcn_info& finfo = p->second; | |
1221 | |
1222 finfo.install_user_function (fcn); | |
1223 } | |
1224 else | |
1225 { | |
1226 fcn_info finfo (name); | |
1227 | |
1228 finfo.install_user_function (fcn); | |
1229 | |
1230 fcn_table[name] = finfo; | |
1231 } | |
1232 } | |
605 | 1233 |
7336 | 1234 static void install_built_in_function (const std::string& name, |
1235 const octave_value& fcn) | |
1236 { | |
1237 fcn_table_iterator p = fcn_table.find (name); | |
1238 | |
1239 if (p != fcn_table.end ()) | |
1240 { | |
1241 fcn_info& finfo = p->second; | |
1242 | |
1243 finfo.install_built_in_function (fcn); | |
1244 } | |
1245 else | |
1246 { | |
1247 fcn_info finfo (name); | |
1248 | |
1249 finfo.install_built_in_function (fcn); | |
1250 | |
1251 fcn_table[name] = finfo; | |
1252 } | |
1253 } | |
1254 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1255 static void clear (const std::string& name) |
7336 | 1256 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1257 clear_variable (name); |
7336 | 1258 } |
1259 | |
1260 static void clear_all (void) | |
1261 { | |
1262 clear_variables (); | |
1263 | |
1264 clear_functions (); | |
1265 } | |
1266 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1267 static void clear_variables (void) |
7336 | 1268 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1269 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1270 |
1271 if (inst) | |
1272 inst->do_clear_variables (); | |
1273 } | |
1274 | |
1275 // For unwind_protect. | |
1276 static void clear_variables (void *) { clear_variables (); } | |
1277 | |
1278 static void clear_functions (void) | |
1279 { | |
1280 for (fcn_table_iterator p = fcn_table.begin (); p != fcn_table.end (); p++) | |
1281 p->second.clear (); | |
1282 } | |
1283 | |
1284 static void clear_function (const std::string& name) | |
1285 { | |
1286 clear_user_function (name); | |
1287 } | |
1288 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1289 static void clear_global (const std::string& name) |
7336 | 1290 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1291 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1292 |
1293 if (inst) | |
1294 inst->do_clear_global (name); | |
1295 } | |
1296 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1297 static void clear_variable (const std::string& name) |
7336 | 1298 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1299 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1300 |
1301 if (inst) | |
1302 inst->do_clear_variable (name); | |
1303 } | |
1304 | |
1305 static void clear_symbol (const std::string& name) | |
1306 { | |
1307 // FIXME -- are we supposed to do both here? | |
1308 | |
1309 clear_variable (name); | |
1310 clear_function (name); | |
1311 } | |
1312 | |
1313 static void clear_function_pattern (const std::string& pat) | |
1314 { | |
1315 glob_match pattern (pat); | |
1316 | |
1317 for (fcn_table_iterator p = fcn_table.begin (); p != fcn_table.end (); p++) | |
1318 { | |
1319 if (pattern.match (p->first)) | |
1320 p->second.clear_user_function (); | |
1321 } | |
1322 } | |
1323 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1324 static void clear_global_pattern (const std::string& pat) |
7336 | 1325 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1326 symbol_table *inst = get_instance (xcurrent_scope); |
4009 | 1327 |
7336 | 1328 if (inst) |
1329 inst->do_clear_global_pattern (pat); | |
1330 } | |
1331 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1332 static void clear_variable_pattern (const std::string& pat) |
7336 | 1333 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1334 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1335 |
1336 if (inst) | |
1337 inst->do_clear_variable_pattern (pat); | |
1338 } | |
1339 | |
1340 static void clear_symbol_pattern (const std::string& pat) | |
1341 { | |
1342 // FIXME -- are we supposed to do both here? | |
1343 | |
1344 clear_variable_pattern (pat); | |
1345 clear_function_pattern (pat); | |
1346 } | |
1347 | |
1348 static void clear_user_function (const std::string& name) | |
1349 { | |
1350 fcn_table_iterator p = fcn_table.find (name); | |
1351 | |
1352 if (p != fcn_table.end ()) | |
1353 { | |
1354 fcn_info& finfo = p->second; | |
1355 | |
1356 finfo.clear_user_function (); | |
1357 } | |
1358 // FIXME -- is this necessary, or even useful? | |
1359 // else | |
1360 // error ("clear: no such function `%s'", name.c_str ()); | |
1361 } | |
1362 | |
1363 static void clear_mex_functions (void) | |
1364 { | |
1365 for (fcn_table_iterator p = fcn_table.begin (); p != fcn_table.end (); p++) | |
1366 { | |
1367 fcn_info& finfo = p->second; | |
1368 | |
1369 finfo.clear_mex_function (); | |
1370 } | |
1371 } | |
1372 | |
1373 static void alias_built_in_function (const std::string& alias, | |
1374 const std::string& name) | |
1375 { | |
1376 octave_value fcn = find_built_in_function (name); | |
1377 | |
1378 if (fcn.is_defined ()) | |
1379 { | |
1380 fcn_info finfo (alias); | |
1381 | |
1382 finfo.install_built_in_function (fcn); | |
1383 | |
1384 fcn_table[alias] = finfo; | |
1385 } | |
1386 else | |
1387 panic ("alias: `%s' is undefined", name.c_str ()); | |
1388 } | |
1389 | |
1390 static void add_dispatch (const std::string& name, const std::string& type, | |
1391 const std::string& fname) | |
1392 { | |
1393 fcn_table_iterator p = fcn_table.find (name); | |
1394 | |
1395 if (p != fcn_table.end ()) | |
1396 { | |
1397 fcn_info& finfo = p->second; | |
1398 | |
1399 finfo.add_dispatch (type, fname); | |
1400 } | |
1401 else | |
1402 { | |
1403 fcn_info finfo (name); | |
1404 | |
1405 finfo.add_dispatch (type, fname); | |
1406 | |
1407 fcn_table[name] = finfo; | |
1408 } | |
1409 } | |
1410 | |
1411 static void clear_dispatch (const std::string& name, const std::string& type) | |
1412 { | |
1413 fcn_table_iterator p = fcn_table.find (name); | |
1414 | |
1415 if (p != fcn_table.end ()) | |
1416 { | |
1417 fcn_info& finfo = p->second; | |
1418 | |
1419 finfo.clear_dispatch (type); | |
1420 } | |
1421 } | |
1422 | |
1423 static void print_dispatch (std::ostream& os, const std::string& name) | |
1424 { | |
1425 fcn_table_iterator p = fcn_table.find (name); | |
4009 | 1426 |
7336 | 1427 if (p != fcn_table.end ()) |
1428 { | |
1429 fcn_info& finfo = p->second; | |
1430 | |
1431 finfo.print_dispatch (os); | |
1432 } | |
1433 } | |
1434 | |
1435 static fcn_info::dispatch_map_type get_dispatch (const std::string& name) | |
1436 { | |
1437 fcn_info::dispatch_map_type retval; | |
1438 | |
1439 fcn_table_iterator p = fcn_table.find (name); | |
1440 | |
1441 if (p != fcn_table.end ()) | |
1442 { | |
1443 fcn_info& finfo = p->second; | |
1444 | |
1445 retval = finfo.get_dispatch (); | |
1446 } | |
1447 | |
1448 return retval; | |
1449 } | |
1450 | |
1451 static std::string help_for_dispatch (const std::string& name) | |
1452 { | |
1453 std::string retval; | |
1454 | |
1455 fcn_table_iterator p = fcn_table.find (name); | |
1456 | |
1457 if (p != fcn_table.end ()) | |
1458 { | |
1459 fcn_info& finfo = p->second; | |
1460 | |
1461 retval = finfo.help_for_dispatch (); | |
1462 } | |
1463 | |
1464 return retval; | |
1465 } | |
1466 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1467 static void push_context (void) |
7336 | 1468 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1469 if (xcurrent_scope == xglobal_scope || xcurrent_scope == xtop_scope) |
7336 | 1470 error ("invalid call to xymtab::push_context"); |
1471 else | |
1472 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1473 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1474 |
1475 if (inst) | |
1476 inst->do_push_context (); | |
1477 } | |
1478 } | |
1479 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1480 static void pop_context (void) |
7336 | 1481 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1482 if (xcurrent_scope == xglobal_scope || xcurrent_scope == xtop_scope) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1483 error ("invalid call to xymtab::pop_context"); |
7336 | 1484 else |
1485 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1486 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1487 |
1488 if (inst) | |
1489 inst->do_pop_context (); | |
1490 } | |
1491 } | |
1492 | |
1493 // For unwind_protect. | |
1494 static void pop_context (void *) { pop_context (); } | |
1495 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1496 static void mark_hidden (const std::string& name) |
7336 | 1497 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1498 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1499 |
1500 if (inst) | |
1501 inst->do_mark_hidden (name); | |
1502 } | |
1503 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1504 static void mark_global (const std::string& name) |
7336 | 1505 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1506 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1507 |
1508 if (inst) | |
1509 inst->do_mark_global (name); | |
1510 } | |
1511 | |
1512 static std::list<symbol_record> | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1513 all_variables (scope_id scope = xcurrent_scope, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1514 context_id context = xcurrent_context, |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1515 bool defined_only = true) |
7336 | 1516 { |
1517 symbol_table *inst = get_instance (scope); | |
1518 | |
1519 return inst | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1520 ? inst->do_all_variables (context, defined_only) : std::list<symbol_record> (); |
7336 | 1521 } |
3011 | 1522 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1523 static std::list<symbol_record> glob (const std::string& pattern) |
7336 | 1524 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1525 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1526 |
1527 return inst ? inst->do_glob (pattern) : std::list<symbol_record> (); | |
1528 } | |
1529 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1530 static std::list<symbol_record> glob_variables (const std::string& pattern) |
7336 | 1531 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1532 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1533 |
1534 return inst ? inst->do_glob (pattern, true) : std::list<symbol_record> (); | |
1535 } | |
1536 | |
1537 static std::list<symbol_record> | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1538 glob_global_variables (const std::string& pattern) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1539 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1540 std::list<symbol_record> retval; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1541 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1542 glob_match pat (pattern); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1543 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1544 for (global_table_const_iterator p = global_table.begin (); |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1545 p != global_table.end (); p++) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1546 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1547 // We generate a list of symbol_record objects so that |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1548 // the results from glob_variables and glob_global_variables |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1549 // may be handled the same way. |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1550 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1551 if (pat.match (p->first)) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1552 retval.push_back (symbol_record (p->first, p->second, |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1553 symbol_record::global)); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1554 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1555 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1556 return retval; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1557 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1558 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1559 static std::list<symbol_record> glob_variables (const string_vector& patterns) |
7336 | 1560 { |
1561 std::list<symbol_record> retval; | |
1562 | |
1563 size_t len = patterns.length (); | |
8 | 1564 |
7336 | 1565 for (size_t i = 0; i < len; i++) |
1566 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1567 std::list<symbol_record> tmp = glob_variables (patterns[i]); |
7336 | 1568 |
1569 retval.insert (retval.begin (), tmp.begin (), tmp.end ()); | |
1570 } | |
1571 | |
1572 return retval; | |
1573 } | |
1574 | |
1575 static std::list<std::string> user_function_names (void) | |
1576 { | |
1577 std::list<std::string> retval; | |
1578 | |
1579 for (fcn_table_iterator p = fcn_table.begin (); | |
1580 p != fcn_table.end (); p++) | |
1581 { | |
1582 if (p->second.is_user_function_defined ()) | |
1583 retval.push_back (p->first); | |
1584 } | |
1585 | |
1586 if (! retval.empty ()) | |
1587 retval.sort (); | |
1588 | |
1589 return retval; | |
1590 } | |
3011 | 1591 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1592 static std::list<std::string> global_variable_names (void) |
7336 | 1593 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1594 std::list<std::string> retval; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1595 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1596 for (global_table_const_iterator p = global_table.begin (); |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1597 p != global_table.end (); p++) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1598 retval.push_back (p->first); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1599 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1600 retval.sort (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1601 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1602 return retval; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1603 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1604 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1605 static std::list<std::string> top_level_variable_names (void) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1606 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1607 symbol_table *inst = get_instance (xtop_scope); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1608 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1609 return inst ? inst->do_variable_names () : std::list<std::string> (); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1610 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1611 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1612 static std::list<std::string> variable_names (void) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1613 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1614 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1615 |
1616 return inst ? inst->do_variable_names () : std::list<std::string> (); | |
1617 } | |
1618 | |
1619 static std::list<std::string> built_in_function_names (void) | |
1620 { | |
1621 std::list<std::string> retval; | |
1622 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1623 for (fcn_table_const_iterator p = fcn_table.begin (); |
7336 | 1624 p != fcn_table.end (); p++) |
1625 { | |
1626 octave_value fcn = p->second.find_built_in_function (); | |
1627 | |
1628 if (fcn.is_defined ()) | |
1629 retval.push_back (p->first); | |
1630 } | |
1631 | |
1632 if (! retval.empty ()) | |
1633 retval.sort (); | |
220 | 1634 |
7336 | 1635 return retval; |
1636 } | |
1637 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1638 static bool is_local_variable (const std::string& name) |
7336 | 1639 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1640 if (xcurrent_scope == xglobal_scope) |
7336 | 1641 return false; |
1642 else | |
1643 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1644 symbol_table *inst = get_instance (xcurrent_scope); |
5861 | 1645 |
7336 | 1646 return inst ? inst->do_is_local_variable (name) : false; |
1647 } | |
1648 } | |
5861 | 1649 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1650 static bool is_global (const std::string& name) |
7336 | 1651 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1652 if (xcurrent_scope == xglobal_scope) |
7336 | 1653 return true; |
1654 else | |
1655 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1656 symbol_table *inst = get_instance (xcurrent_scope); |
7336 | 1657 |
1658 return inst ? inst->do_is_global (name) : false; | |
1659 } | |
1660 } | |
3011 | 1661 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1662 static void dump (std::ostream& os, scope_id scope = xcurrent_scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1663 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1664 static void dump_global (std::ostream& os); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1665 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1666 static void dump_functions (std::ostream& os); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1667 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1668 static void cache_name (scope_id scope, const std::string& name) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1669 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1670 symbol_table *inst = get_instance (scope, false); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1671 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1672 if (inst) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1673 inst->do_cache_name (name); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1674 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1675 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1676 static void lock_subfunctions (scope_id scope = xcurrent_scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1677 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1678 for (fcn_table_iterator p = fcn_table.begin (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1679 p != fcn_table.end (); p++) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1680 p->second.lock_subfunction (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1681 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1682 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1683 static void unlock_subfunctions (scope_id scope = xcurrent_scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1684 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1685 for (fcn_table_iterator p = fcn_table.begin (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1686 p != fcn_table.end (); p++) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1687 p->second.unlock_subfunction (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1688 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1689 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1690 static void free_scope (scope_id scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1691 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1692 if (scope == xglobal_scope || scope == xtop_scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1693 error ("can't free global or top-level scopes!"); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1694 else |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1695 symbol_table::scope_id_cache::free (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1696 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1697 |
8 | 1698 private: |
1699 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1700 typedef std::map<std::string, symbol_record>::const_iterator table_const_iterator; |
7336 | 1701 typedef std::map<std::string, symbol_record>::iterator table_iterator; |
1702 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1703 typedef std::map<std::string, octave_value>::const_iterator global_table_const_iterator; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1704 typedef std::map<std::string, octave_value>::iterator global_table_iterator; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1705 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1706 typedef std::map<std::string, octave_value>::const_iterator persistent_table_const_iterator; |
7336 | 1707 typedef std::map<std::string, octave_value>::iterator persistent_table_iterator; |
1708 | |
1709 typedef std::map<scope_id, symbol_table*>::const_iterator all_instances_const_iterator; | |
1710 typedef std::map<scope_id, symbol_table*>::iterator all_instances_iterator; | |
1711 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1712 typedef std::map<std::string, fcn_info>::const_iterator fcn_table_const_iterator; |
7336 | 1713 typedef std::map<std::string, fcn_info>::iterator fcn_table_iterator; |
1714 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1715 // Name for this table (usually the file name of the function |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1716 // corresponding to the scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1717 std::string table_name; |
7336 | 1718 |
1719 // Map from symbol names to symbol info. | |
1720 std::map<std::string, symbol_record> table; | |
1721 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1722 // Map from names of global variables to values. |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1723 static std::map<std::string, octave_value> global_table; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1724 |
7336 | 1725 // Map from names of persistent variables to values. |
1726 std::map<std::string, octave_value> persistent_table; | |
1727 | |
1728 // Pointer to symbol table for current scope (variables only). | |
1729 static symbol_table *instance; | |
3011 | 1730 |
7336 | 1731 // Map from scope id to symbol table instances. |
1732 static std::map<scope_id, symbol_table*> all_instances; | |
1733 | |
1734 // Map from function names to function info (subfunctions, private | |
1735 // functions, class constructors, class methods, etc.) | |
1736 static std::map<std::string, fcn_info> fcn_table; | |
1737 | |
1738 static const scope_id xglobal_scope; | |
1739 static const scope_id xtop_scope; | |
1740 | |
1741 static scope_id xcurrent_scope; | |
1742 static scope_id xcurrent_caller_scope; | |
1743 | |
1744 // We use parent_scope to handle parsing subfunctions. | |
1745 static scope_id xparent_scope; | |
1746 | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1747 // Used to handle recursive calls. |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1748 context_id xcurrent_context_this_table; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1749 static context_id xcurrent_context; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1750 |
7336 | 1751 static std::deque<scope_id> scope_stack; |
1752 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1753 symbol_table (void) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1754 : table_name (), table (), xcurrent_context_this_table () { } |
7336 | 1755 |
1756 ~symbol_table (void) { } | |
3011 | 1757 |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1758 static symbol_table *get_instance (scope_id scope, bool create = true) |
7336 | 1759 { |
1760 symbol_table *retval = 0; | |
1761 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1762 bool ok = true; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1763 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1764 if (scope != xglobal_scope) |
7336 | 1765 { |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1766 if (scope == xcurrent_scope) |
7336 | 1767 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1768 if (! instance && create) |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1769 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1770 symbol_table *inst = new symbol_table (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1771 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1772 if (inst) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1773 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1774 all_instances[scope] = instance = inst; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1775 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1776 if (scope == xtop_scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1777 instance->do_cache_name ("top-level"); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1778 } |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1779 } |
7336 | 1780 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1781 if (! instance) |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1782 ok = false; |
7336 | 1783 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1784 retval = instance; |
7336 | 1785 } |
1786 else | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1787 { |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1788 all_instances_iterator p = all_instances.find (scope); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1789 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1790 if (p == all_instances.end ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1791 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1792 if (create) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1793 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1794 retval = new symbol_table (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1795 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1796 if (retval) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1797 all_instances[scope] = retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1798 else |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1799 ok = false; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1800 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1801 else |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1802 ok = false; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1803 } |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1804 else |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1805 retval = p->second; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1806 } |
7336 | 1807 } |
1808 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1809 if (! ok) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1810 error ("unable to %s symbol_table object for scope %d!", |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1811 create ? "create" : "find", scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1812 |
7336 | 1813 return retval; |
1814 } | |
1815 | |
1816 void insert_symbol_record (const symbol_record& sr) | |
1817 { | |
1818 table[sr.name ()] = sr; | |
1819 } | |
4238 | 1820 |
4913 | 1821 void |
7336 | 1822 do_dup_scope (symbol_table& new_symbol_table) const |
1823 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1824 for (table_const_iterator p = table.begin (); p != table.end (); p++) |
7336 | 1825 new_symbol_table.insert_symbol_record (p->second.dup ()); |
1826 } | |
1827 | |
1828 symbol_record do_find_symbol (const std::string& name) | |
1829 { | |
1830 table_iterator p = table.find (name); | |
1831 | |
1832 if (p == table.end ()) | |
1833 return do_insert (name); | |
1834 else | |
1835 return p->second; | |
1836 } | |
1837 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1838 void do_inherit (scope_id donor_scope, context_id donor_context) |
7336 | 1839 { |
1840 for (table_iterator p = table.begin (); p != table.end (); p++) | |
1841 { | |
1842 symbol_record& sr = p->second; | |
1843 | |
1844 std::string nm = sr.name (); | |
1845 | |
1846 if (! (sr.is_automatic () || sr.is_formal () || nm == "__retval__")) | |
1847 { | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1848 octave_value val |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1849 = symbol_table::varval (nm, donor_scope, donor_context); |
7336 | 1850 |
1851 if (val.is_defined ()) | |
1852 { | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1853 // Currently, inherit is always called when creating a |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1854 // new table, so it only makes sense to copy values into |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1855 // the base context (== 0), but maybe the context |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1856 // should be passed in as a parameter instead? |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1857 |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1858 sr.varref (0) = val; |
7336 | 1859 |
1860 sr.mark_inherited (); | |
1861 } | |
1862 } | |
1863 } | |
1864 } | |
1865 | |
1866 octave_value | |
1867 do_find (const std::string& name, tree_argument_list *args, | |
1868 const string_vector& arg_names, | |
1869 octave_value_list& evaluated_args, bool& args_evaluated, | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1870 bool skip_variables); |
7336 | 1871 |
1872 symbol_record& do_insert (const std::string& name) | |
1873 { | |
1874 table_iterator p = table.find (name); | |
1875 | |
1876 return p == table.end () | |
1877 ? (table[name] = symbol_record (name)) : p->second; | |
1878 } | |
1879 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1880 octave_value& do_varref (const std::string& name, context_id context) |
7336 | 1881 { |
1882 table_iterator p = table.find (name); | |
1883 | |
1884 if (p == table.end ()) | |
1885 { | |
1886 symbol_record& sr = do_insert (name); | |
1887 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1888 return sr.varref (context); |
7336 | 1889 } |
1890 else | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1891 return p->second.varref (context); |
7336 | 1892 } |
4913 | 1893 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1894 octave_value do_varval (const std::string& name, context_id context) const |
7336 | 1895 { |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1896 table_const_iterator p = table.find (name); |
7336 | 1897 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
1898 return (p != table.end ()) ? p->second.varval (context) : octave_value (); |
7336 | 1899 } |
1900 | |
1901 octave_value& do_persistent_varref (const std::string& name) | |
1902 { | |
1903 persistent_table_iterator p = persistent_table.find (name); | |
1904 | |
1905 return (p == persistent_table.end ()) | |
1906 ? persistent_table[name] : p->second; | |
1907 } | |
1908 | |
1909 octave_value do_persistent_varval (const std::string& name) | |
1910 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1911 persistent_table_const_iterator p = persistent_table.find (name); |
7336 | 1912 |
1913 return (p != persistent_table.end ()) ? p->second : octave_value (); | |
1914 } | |
1915 | |
1916 void do_erase_persistent (const std::string& name) | |
1917 { | |
1918 persistent_table_iterator p = persistent_table.find (name); | |
1919 | |
1920 if (p != persistent_table.end ()) | |
1921 persistent_table.erase (p); | |
1922 } | |
1923 | |
1924 bool do_is_variable (const std::string& name) const | |
1925 { | |
1926 bool retval = false; | |
1927 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
1928 table_const_iterator p = table.find (name); |
7336 | 1929 |
1930 if (p != table.end ()) | |
1931 { | |
1932 const symbol_record& sr = p->second; | |
1933 | |
1934 retval = sr.is_variable (); | |
1935 } | |
1936 | |
1937 return retval; | |
1938 } | |
1939 | |
1940 void do_push_context (void) | |
1941 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1942 xcurrent_context = ++xcurrent_context_this_table; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1943 |
7336 | 1944 for (table_iterator p = table.begin (); p != table.end (); p++) |
1945 p->second.push_context (); | |
1946 } | |
1947 | |
1948 void do_pop_context (void) | |
1949 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1950 xcurrent_context = --xcurrent_context_this_table; |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1951 |
7374 | 1952 for (table_iterator p = table.begin (); p != table.end (); ) |
1953 { | |
1954 if (p->second.pop_context () == 0) | |
1955 table.erase (p++); | |
1956 else | |
1957 p++; | |
1958 } | |
7336 | 1959 } |
1960 | |
1961 void do_clear_variables (void) | |
1962 { | |
1963 for (table_iterator p = table.begin (); p != table.end (); p++) | |
1964 p->second.clear (); | |
1965 } | |
1966 | |
1967 void do_clear_global (const std::string& name) | |
1968 { | |
1969 table_iterator p = table.find (name); | |
4913 | 1970 |
7336 | 1971 if (p != table.end ()) |
1972 { | |
1973 symbol_record& sr = p->second; | |
1974 | |
1975 if (sr.is_global ()) | |
1976 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1977 global_table_iterator q = global_table.find (name); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1978 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1979 if (q != global_table.end ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
1980 global_table.erase (q); |
7336 | 1981 |
1982 sr.unmark_global (); | |
1983 } | |
1984 } | |
1985 } | |
1986 | |
1987 void do_clear_variable (const std::string& name) | |
1988 { | |
1989 table_iterator p = table.find (name); | |
1990 | |
1991 if (p != table.end ()) | |
1992 p->second.clear (); | |
1993 } | |
1994 | |
1995 void do_clear_global_pattern (const std::string& pat) | |
1996 { | |
1997 glob_match pattern (pat); | |
1998 | |
1999 for (table_iterator p = table.begin (); p != table.end (); p++) | |
2000 { | |
2001 symbol_record& sr = p->second; | |
8 | 2002 |
7336 | 2003 if (sr.is_global ()) |
2004 { | |
2005 if (pattern.match (sr.name ())) | |
2006 { | |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
2007 global_table_iterator q = global_table.find (sr.name ()); |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
2008 |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
2009 if (q != global_table.end ()) |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7489
diff
changeset
|
2010 global_table.erase (q); |
7336 | 2011 |
2012 sr.unmark_global (); | |
2013 } | |
2014 } | |
2015 } | |
2016 } | |
2017 | |
2018 void do_clear_variable_pattern (const std::string& pat) | |
2019 { | |
2020 glob_match pattern (pat); | |
2021 | |
2022 for (table_iterator p = table.begin (); p != table.end (); p++) | |
2023 { | |
2024 symbol_record& sr = p->second; | |
2025 | |
2026 if (sr.is_defined () || sr.is_global ()) | |
2027 { | |
2028 if (pattern.match (sr.name ())) | |
2029 sr.clear (); | |
2030 } | |
2031 } | |
2032 } | |
2033 | |
2034 void do_mark_hidden (const std::string& name) | |
2035 { | |
2036 table_iterator p = table.find (name); | |
2037 | |
2038 if (p != table.end ()) | |
2039 p->second.mark_hidden (); | |
2040 } | |
2041 | |
2042 void do_mark_global (const std::string& name) | |
2043 { | |
2044 table_iterator p = table.find (name); | |
8 | 2045 |
7336 | 2046 if (p != table.end ()) |
2047 p->second.mark_global (); | |
2048 } | |
2049 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
2050 std::list<symbol_record> |
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
2051 do_all_variables (context_id context, bool defined_only) const |
7336 | 2052 { |
2053 std::list<symbol_record> retval; | |
2054 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2055 for (table_const_iterator p = table.begin (); p != table.end (); p++) |
7336 | 2056 { |
2057 const symbol_record& sr = p->second; | |
2058 | |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7761
diff
changeset
|
2059 if (defined_only && ! sr.is_defined (context)) |
7336 | 2060 continue; |
2061 | |
2062 retval.push_back (sr); | |
2063 } | |
2064 | |
2065 return retval; | |
2066 } | |
2067 | |
2068 std::list<symbol_record> do_glob (const std::string& pattern, | |
2069 bool vars_only = false) const | |
2070 { | |
2071 std::list<symbol_record> retval; | |
2072 | |
2073 glob_match pat (pattern); | |
2074 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2075 for (table_const_iterator p = table.begin (); p != table.end (); p++) |
7336 | 2076 { |
2077 if (pat.match (p->first)) | |
2078 { | |
2079 const symbol_record& sr = p->second; | |
1962 | 2080 |
7336 | 2081 if (vars_only && ! sr.is_variable ()) |
2082 continue; | |
2083 | |
2084 retval.push_back (sr); | |
2085 } | |
2086 } | |
2087 | |
2088 return retval; | |
2089 } | |
2090 | |
2091 std::list<std::string> do_variable_names (void) | |
2092 { | |
2093 std::list<std::string> retval; | |
2094 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2095 for (table_const_iterator p = table.begin (); p != table.end (); p++) |
7336 | 2096 retval.push_back (p->first); |
2097 | |
2098 retval.sort (); | |
2099 | |
2100 return retval; | |
2101 } | |
2102 | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2103 static std::map<std::string, octave_value> |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2104 subfunctions_defined_in_scope (scope_id scope = xcurrent_scope) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2105 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2106 std::map<std::string, octave_value> retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2107 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2108 for (fcn_table_const_iterator p = fcn_table.begin (); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2109 p != fcn_table.end (); p++) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2110 { |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2111 std::pair<std::string, octave_value> tmp |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2112 = p->second.subfunction_defined_in_scope (scope); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2113 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2114 std::string nm = tmp.first; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2115 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2116 if (! nm.empty ()) |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2117 retval[nm] = tmp.second; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2118 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2119 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2120 return retval; |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2121 } |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2122 |
7336 | 2123 bool do_is_local_variable (const std::string& name) const |
2124 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2125 table_const_iterator p = table.find (name); |
7336 | 2126 |
2127 return (p != table.end () | |
2128 && ! p->second.is_global () | |
2129 && p->second.is_defined ()); | |
2130 } | |
2131 | |
2132 bool do_is_global (const std::string& name) const | |
2133 { | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2134 table_const_iterator p = table.find (name); |
7336 | 2135 |
2136 return p != table.end () && p->second.is_global (); | |
2137 } | |
7761
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2138 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2139 void do_dump (std::ostream& os); |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2140 |
5adeea5de26c
symbol table reporting functions
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
2141 void do_cache_name (const std::string& name) { table_name = name; } |
3011 | 2142 }; |
2790 | 2143 |
7336 | 2144 extern bool out_of_date_check (octave_value& function); |
4913 | 2145 |
8 | 2146 #endif |
2147 | |
2148 /* | |
2149 ;;; Local Variables: *** | |
2150 ;;; mode: C++ *** | |
2151 ;;; End: *** | |
2152 */ |