Commit | Line | Data |
---|---|---|
c906108c | 1 | /* Definitions for expressions stored in reversed prefix form, for GDB. |
1bac305b | 2 | |
42a4f53d | 3 | Copyright (C) 1986-2019 Free Software Foundation, Inc. |
c906108c | 4 | |
c5aa993b | 5 | This file is part of GDB. |
c906108c | 6 | |
c5aa993b JM |
7 | This program is free software; you can redistribute it and/or modify |
8 | it under the terms of the GNU General Public License as published by | |
a9762ec7 | 9 | the Free Software Foundation; either version 3 of the License, or |
c5aa993b | 10 | (at your option) any later version. |
c906108c | 11 | |
c5aa993b JM |
12 | This program is distributed in the hope that it will be useful, |
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
15 | GNU General Public License for more details. | |
c906108c | 16 | |
c5aa993b | 17 | You should have received a copy of the GNU General Public License |
a9762ec7 | 18 | along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
c906108c SS |
19 | |
20 | #if !defined (EXPRESSION_H) | |
21 | #define EXPRESSION_H 1 | |
22 | ||
7ad417dd TT |
23 | /* While parsing expressions we need to track the innermost lexical block |
24 | that we encounter. In some situations we need to track the innermost | |
25 | block just for symbols, and in other situations we want to track the | |
26 | innermost block for symbols and registers. These flags are used by the | |
27 | innermost block tracker to control which blocks we consider for the | |
28 | innermost block. These flags can be combined together as needed. */ | |
29 | ||
30 | enum innermost_block_tracker_type | |
31 | { | |
32 | /* Track the innermost block for symbols within an expression. */ | |
33 | INNERMOST_BLOCK_FOR_SYMBOLS = (1 << 0), | |
34 | ||
35 | /* Track the innermost block for registers within an expression. */ | |
36 | INNERMOST_BLOCK_FOR_REGISTERS = (1 << 1) | |
37 | }; | |
38 | DEF_ENUM_FLAGS_TYPE (enum innermost_block_tracker_type, | |
39 | innermost_block_tracker_types); | |
c906108c SS |
40 | |
41 | /* Definitions for saved C expressions. */ | |
42 | ||
43 | /* An expression is represented as a vector of union exp_element's. | |
44 | Each exp_element is an opcode, except that some opcodes cause | |
45 | the following exp_element to be treated as a long or double constant | |
46 | or as a variable. The opcodes are obeyed, using a stack for temporaries. | |
47 | The value is left on the temporary stack at the end. */ | |
48 | ||
49 | /* When it is necessary to include a string, | |
50 | it can occupy as many exp_elements as it needs. | |
51 | We find the length of the string using strlen, | |
52 | divide to find out how many exp_elements are used up, | |
53 | and skip that many. Strings, like numbers, are indicated | |
54 | by the preceding opcode. */ | |
55 | ||
1dffa580 | 56 | enum exp_opcode : uint8_t |
c5aa993b | 57 | { |
56c12414 | 58 | #define OP(name) name , |
c906108c | 59 | |
56c12414 | 60 | #include "std-operator.def" |
c906108c | 61 | |
56c12414 JK |
62 | /* First extension operator. Individual language modules define extra |
63 | operators in *.def include files below with numbers higher than | |
64 | OP_EXTENDED0. */ | |
65 | OP (OP_EXTENDED0) | |
c5aa993b | 66 | |
56c12414 JK |
67 | /* Language specific operators. */ |
68 | #include "ada-operator.def" | |
83228e93 | 69 | #include "fortran-operator.def" |
c5aa993b | 70 | |
56c12414 | 71 | #undef OP |
8285870a JK |
72 | |
73 | /* Existing only to swallow the last comma (',') from last .inc file. */ | |
74 | OP_UNUSED_LAST | |
c5aa993b | 75 | }; |
c906108c SS |
76 | |
77 | union exp_element | |
c5aa993b JM |
78 | { |
79 | enum exp_opcode opcode; | |
80 | struct symbol *symbol; | |
74ea4be4 | 81 | struct minimal_symbol *msymbol; |
c5aa993b | 82 | LONGEST longconst; |
edd079d9 | 83 | gdb_byte floatconst[16]; |
c5aa993b JM |
84 | /* Really sizeof (union exp_element) characters (or less for the last |
85 | element of a string). */ | |
86 | char string; | |
87 | struct type *type; | |
88 | struct internalvar *internalvar; | |
270140bd | 89 | const struct block *block; |
9e35dae4 | 90 | struct objfile *objfile; |
c5aa993b | 91 | }; |
c906108c SS |
92 | |
93 | struct expression | |
c5aa993b | 94 | { |
3e43a32a | 95 | const struct language_defn *language_defn; /* language it was |
0963b4bd MS |
96 | entered in. */ |
97 | struct gdbarch *gdbarch; /* architecture it was parsed in. */ | |
c5aa993b JM |
98 | int nelts; |
99 | union exp_element elts[1]; | |
100 | }; | |
c906108c | 101 | |
4d01a485 PA |
102 | typedef gdb::unique_xmalloc_ptr<expression> expression_up; |
103 | ||
c906108c | 104 | /* Macros for converting between number of expression elements and bytes |
0963b4bd | 105 | to store that many expression elements. */ |
c906108c SS |
106 | |
107 | #define EXP_ELEM_TO_BYTES(elements) \ | |
108 | ((elements) * sizeof (union exp_element)) | |
109 | #define BYTES_TO_EXP_ELEM(bytes) \ | |
110 | (((bytes) + sizeof (union exp_element) - 1) / sizeof (union exp_element)) | |
111 | ||
112 | /* From parse.c */ | |
113 | ||
699bd4cf TT |
114 | class innermost_block_tracker; |
115 | extern expression_up parse_expression (const char *, | |
116 | innermost_block_tracker * = nullptr); | |
c906108c | 117 | |
4d01a485 PA |
118 | extern expression_up parse_expression_with_language (const char *string, |
119 | enum language lang); | |
429e1e81 | 120 | |
3eac2b65 TT |
121 | extern struct type *parse_expression_for_completion |
122 | (const char *, gdb::unique_xmalloc_ptr<char> *, enum type_code *); | |
65d12d83 | 123 | |
699bd4cf | 124 | class innermost_block_tracker; |
4d01a485 | 125 | extern expression_up parse_exp_1 (const char **, CORE_ADDR pc, |
7ad417dd | 126 | const struct block *, int, |
699bd4cf | 127 | innermost_block_tracker * = nullptr); |
c906108c | 128 | |
c906108c SS |
129 | /* From eval.c */ |
130 | ||
389e51db | 131 | /* Values of NOSIDE argument to eval_subexp. */ |
c906108c SS |
132 | |
133 | enum noside | |
c5aa993b JM |
134 | { |
135 | EVAL_NORMAL, | |
23be8da7 RB |
136 | EVAL_SKIP, /* Only effect is to increment pos. |
137 | Return type information where | |
138 | possible. */ | |
c5aa993b | 139 | EVAL_AVOID_SIDE_EFFECTS /* Don't modify any variables or |
c906108c SS |
140 | call any functions. The value |
141 | returned will have the correct | |
142 | type, and will have an | |
143 | approximately correct lvalue | |
144 | type (inaccuracy: anything that is | |
145 | listed as being in a register in | |
146 | the function in which it was | |
fce632b6 TT |
147 | declared will be lval_register). |
148 | Ideally this would not even read | |
149 | target memory, but currently it | |
150 | does in many situations. */ | |
c5aa993b | 151 | }; |
c906108c | 152 | |
c5aa993b | 153 | extern struct value *evaluate_subexp_standard |
a14ed312 | 154 | (struct type *, struct expression *, int *, enum noside); |
c906108c SS |
155 | |
156 | /* From expprint.c */ | |
157 | ||
d9fcf2fb | 158 | extern void print_expression (struct expression *, struct ui_file *); |
c906108c | 159 | |
a121b7c1 | 160 | extern const char *op_name (struct expression *exp, enum exp_opcode opcode); |
bd0b9f9e | 161 | |
a121b7c1 | 162 | extern const char *op_string (enum exp_opcode); |
c906108c | 163 | |
3e43a32a | 164 | extern void dump_raw_expression (struct expression *, |
a121b7c1 | 165 | struct ui_file *, const char *); |
24daaebc | 166 | extern void dump_prefix_expression (struct expression *, struct ui_file *); |
c906108c | 167 | |
01739a3b TT |
168 | /* In an OP_RANGE expression, either bound could be empty, indicating |
169 | that its value is by default that of the corresponding bound of the | |
6873858b TT |
170 | array or string. Also, the upper end of the range can be exclusive |
171 | or inclusive. So we have six sorts of subrange. This enumeration | |
172 | type is to identify this. */ | |
173 | ||
01739a3b | 174 | enum range_type |
6873858b TT |
175 | { |
176 | /* Neither the low nor the high bound was given -- so this refers to | |
177 | the entire available range. */ | |
178 | BOTH_BOUND_DEFAULT, | |
179 | /* The low bound was not given and the high bound is inclusive. */ | |
180 | LOW_BOUND_DEFAULT, | |
181 | /* The high bound was not given and the low bound in inclusive. */ | |
182 | HIGH_BOUND_DEFAULT, | |
183 | /* Both bounds were given and both are inclusive. */ | |
184 | NONE_BOUND_DEFAULT, | |
185 | /* The low bound was not given and the high bound is exclusive. */ | |
186 | NONE_BOUND_DEFAULT_EXCLUSIVE, | |
187 | /* Both bounds were given. The low bound is inclusive and the high | |
188 | bound is exclusive. */ | |
189 | LOW_BOUND_DEFAULT_EXCLUSIVE, | |
190 | }; | |
01739a3b | 191 | |
c5aa993b | 192 | #endif /* !defined (EXPRESSION_H) */ |