Mercurial > hg > octave-nkf
annotate libinterp/parse-tree/pt-id.h @ 19840:c5270263d466 gui-release
close gui-release branch
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Fri, 30 Jan 2015 17:41:50 -0500 |
parents | ebb3ef964372 |
children | 97e49b588f5d |
rev | line source |
---|---|
2887 | 1 /* |
2 | |
17744
d63878346099
maint: Update copyright notices for release.
John W. Eaton <jwe@octave.org>
parents:
17355
diff
changeset
|
3 Copyright (C) 1996-2013 John W. Eaton |
2887 | 4 |
5 This file is part of Octave. | |
6 | |
7 Octave is free software; you can redistribute it and/or modify it | |
8 under the terms of the GNU General Public License as published by the | |
7016 | 9 Free Software Foundation; either version 3 of the License, or (at your |
10 option) any later version. | |
2887 | 11 |
12 Octave is distributed in the hope that it will be useful, but WITHOUT | |
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
15 for more details. | |
16 | |
17 You should have received a copy of the GNU General Public License | |
7016 | 18 along with Octave; see the file COPYING. If not, see |
19 <http://www.gnu.org/licenses/>. | |
2887 | 20 |
21 */ | |
22 | |
17822
ebb3ef964372
maint: Use common #define syntax "octave_filename_h" in h_files.
Rik <rik@octave.org>
parents:
17787
diff
changeset
|
23 #if !defined (octave_pt_id_h) |
ebb3ef964372
maint: Use common #define syntax "octave_filename_h" in h_files.
Rik <rik@octave.org>
parents:
17787
diff
changeset
|
24 #define octave_pt_id_h 1 |
2887 | 25 |
8950
d865363208d6
include <iosfwd> instead of <iostream> in header files
John W. Eaton <jwe@octave.org>
parents:
8920
diff
changeset
|
26 #include <iosfwd> |
2887 | 27 #include <string> |
28 | |
2943 | 29 class octave_value; |
30 class octave_value_list; | |
2887 | 31 class octave_function; |
32 | |
33 class tree_walker; | |
34 | |
7677
db02cc0ba8f2
handle breakpoints in tree_identifier::do_lookup
John W. Eaton <jwe@octave.org>
parents:
7336
diff
changeset
|
35 #include "pt-bp.h" |
2980 | 36 #include "pt-exp.h" |
7336 | 37 #include "symtab.h" |
2887 | 38 |
39 // Symbols from the symbol table. | |
40 | |
41 class | |
2971 | 42 tree_identifier : public tree_expression |
2887 | 43 { |
44 friend class tree_index_expression; | |
45 | |
46 public: | |
47 | |
48 tree_identifier (int l = -1, int c = -1) | |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
49 : tree_expression (l, c) { } |
2887 | 50 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7677
diff
changeset
|
51 tree_identifier (const symbol_table::symbol_record& s, |
10313 | 52 int l = -1, int c = -1, |
53 symbol_table::scope_id sc = symbol_table::current_scope ()) | |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
54 : tree_expression (l, c), sym (s, sc) { } |
2887 | 55 |
56 ~tree_identifier (void) { } | |
57 | |
17355
f0edd6c752e9
don't convert "end" token to "__end__" for indexing
John W. Eaton <jwe@octave.org>
parents:
16442
diff
changeset
|
58 bool has_magic_end (void) const { return (name () == "end"); } |
4267 | 59 |
3933 | 60 bool is_identifier (void) const { return true; } |
2887 | 61 |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7677
diff
changeset
|
62 // The name doesn't change with scope, so use sym instead of |
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7677
diff
changeset
|
63 // accessing it through sym so that this function may remain const. |
7336 | 64 std::string name (void) const { return sym.name (); } |
2887 | 65 |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
66 bool is_defined (void) { return sym->is_defined (); } |
7336 | 67 |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
68 virtual bool is_variable (void) { return sym->is_variable (); } |
10206
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
69 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
70 virtual bool is_black_hole (void) { return false; } |
2887 | 71 |
7336 | 72 // Try to find a definition for an identifier. Here's how: |
73 // | |
74 // * If the identifier is already defined and is a function defined | |
11586
12df7854fa7c
strip trailing whitespace from source files
John W. Eaton <jwe@octave.org>
parents:
11523
diff
changeset
|
75 // in an function file that has been modified since the last time |
7336 | 76 // we parsed it, parse it again. |
77 // | |
78 // * If the identifier is not defined, try to find a builtin | |
79 // variable or an already compiled function with the same name. | |
80 // | |
81 // * If the identifier is still undefined, try looking for an | |
82 // function file to parse. | |
83 // | |
84 // * On systems that support dynamic linking, we prefer .oct files, | |
85 // then .mex files, then .m files. | |
2971 | 86 |
87 octave_value | |
9445
c5f03874ea2a
simplify symbol_table::find and associated functions
Jaroslav Hajek <highegg@gmail.com>
parents:
8950
diff
changeset
|
88 do_lookup (const octave_value_list& args = octave_value_list ()) |
7336 | 89 { |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
90 return sym->find (args); |
7336 | 91 } |
2887 | 92 |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
93 void mark_global (void) { sym->mark_global (); } |
7336 | 94 |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
95 void mark_as_static (void) { sym->init_persistent (); } |
7336 | 96 |
14912
3d3c002ccc60
Add symbol_table::symbol_record_ref
Max Brister <max@2bass.com>
parents:
14544
diff
changeset
|
97 void mark_as_formal_parameter (void) { sym->mark_formal (); } |
2887 | 98 |
3010 | 99 // We really need to know whether this symbol referst to a variable |
100 // or a function, but we may not know that yet. | |
101 | |
3933 | 102 bool lvalue_ok (void) const { return true; } |
3010 | 103 |
8658
73c4516fae10
New evaluator and debugger derived from tree-walker class
John W. Eaton <jwe@octave.org>
parents:
7767
diff
changeset
|
104 octave_value rvalue1 (int nargout = 1); |
2887 | 105 |
16091
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
106 octave_value_list rvalue (int nargout) |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
107 { |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
108 return rvalue (nargout, 0); |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
109 } |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
110 |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
111 octave_value_list rvalue (int nargout, |
1785493171ac
pass lvalue_list to more subsref calls (bug #38374)
John W. Eaton <jwe@octave.org>
parents:
15236
diff
changeset
|
112 const std::list<octave_lvalue> *lvalue_list); |
2887 | 113 |
2979 | 114 octave_lvalue lvalue (void); |
2887 | 115 |
116 void eval_undefined_error (void); | |
117 | |
15236
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
118 void static_workspace_error (void) |
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
119 { |
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
120 ::error ("can not add variable \"%s\" to a static workspace", |
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
121 name ().c_str ()); |
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
122 } |
44d6ffdf9479
Disallow new variables in nested functions (bug #36271)
Max Brister <max@2bass.com>
parents:
15195
diff
changeset
|
123 |
7767
71f068b22fcc
scope and context fixes for function handles
John W. Eaton <jwe@octave.org>
parents:
7753
diff
changeset
|
124 tree_identifier *dup (symbol_table::scope_id scope, |
10313 | 125 symbol_table::context_id context) const; |
5861 | 126 |
2887 | 127 void accept (tree_walker& tw); |
128 | |
14930
7d44ed216b98
Rename symbol_table::symbol_record_ref to symbol_table::symbol_reference
Max Brister <max@2bass.com>
parents:
14913
diff
changeset
|
129 symbol_table::symbol_reference symbol (void) const |
14913
c7071907a641
Use symbol_record_ref instead of names in JIT
Max Brister <max@2bass.com>
parents:
14912
diff
changeset
|
130 { |
c7071907a641
Use symbol_record_ref instead of names in JIT
Max Brister <max@2bass.com>
parents:
14912
diff
changeset
|
131 return sym; |
c7071907a641
Use symbol_record_ref instead of names in JIT
Max Brister <max@2bass.com>
parents:
14912
diff
changeset
|
132 } |
2887 | 133 private: |
134 | |
135 // The symbol record that this identifier references. | |
14930
7d44ed216b98
Rename symbol_table::symbol_record_ref to symbol_table::symbol_reference
Max Brister <max@2bass.com>
parents:
14913
diff
changeset
|
136 symbol_table::symbol_reference sym; |
7752
40c428ea3408
initial implementation of dbup and dbdown
John W. Eaton <jwe@octave.org>
parents:
7677
diff
changeset
|
137 |
2988 | 138 // No copying! |
139 | |
140 tree_identifier (const tree_identifier&); | |
141 | |
142 tree_identifier& operator = (const tree_identifier&); | |
2887 | 143 }; |
144 | |
10206
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
145 class tree_black_hole : public tree_identifier |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
146 { |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
147 public: |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
148 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
149 tree_black_hole (int l = -1, int c = -1) |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
150 : tree_identifier (l, c) { } |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
151 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
152 std::string name (void) const { return "~"; } |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
153 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
154 bool is_variable (void) { return false; } |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
155 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
156 bool is_black_hole (void) { return true; } |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
157 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
158 tree_black_hole *dup (void) const |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
159 { return new tree_black_hole; } |
10206
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
160 |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
161 octave_lvalue lvalue (void) |
17787
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
162 { |
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
163 return octave_lvalue (); // black hole lvalue |
175b392e91fe
Use GNU style coding conventions for code in libinterp/
Rik <rik@octave.org>
parents:
17744
diff
changeset
|
164 } |
10206
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
165 }; |
37a08e0ce2dc
support Matlab-style empty output/input arguments
Jaroslav Hajek <highegg@gmail.com>
parents:
10160
diff
changeset
|
166 |
2887 | 167 #endif |