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" | |
c5aa993b | 69 | |
56c12414 | 70 | #undef OP |
8285870a JK |
71 | |
72 | /* Existing only to swallow the last comma (',') from last .inc file. */ | |
73 | OP_UNUSED_LAST | |
c5aa993b | 74 | }; |
c906108c SS |
75 | |
76 | union exp_element | |
c5aa993b JM |
77 | { |
78 | enum exp_opcode opcode; | |
79 | struct symbol *symbol; | |
74ea4be4 | 80 | struct minimal_symbol *msymbol; |
c5aa993b | 81 | LONGEST longconst; |
edd079d9 | 82 | gdb_byte floatconst[16]; |
c5aa993b JM |
83 | /* Really sizeof (union exp_element) characters (or less for the last |
84 | element of a string). */ | |
85 | char string; | |
86 | struct type *type; | |
87 | struct internalvar *internalvar; | |
270140bd | 88 | const struct block *block; |
9e35dae4 | 89 | struct objfile *objfile; |
c5aa993b | 90 | }; |
c906108c SS |
91 | |
92 | struct expression | |
c5aa993b | 93 | { |
3e43a32a | 94 | const struct language_defn *language_defn; /* language it was |
0963b4bd MS |
95 | entered in. */ |
96 | struct gdbarch *gdbarch; /* architecture it was parsed in. */ | |
c5aa993b JM |
97 | int nelts; |
98 | union exp_element elts[1]; | |
99 | }; | |
c906108c | 100 | |
4d01a485 PA |
101 | typedef gdb::unique_xmalloc_ptr<expression> expression_up; |
102 | ||
c906108c | 103 | /* Macros for converting between number of expression elements and bytes |
0963b4bd | 104 | to store that many expression elements. */ |
c906108c SS |
105 | |
106 | #define EXP_ELEM_TO_BYTES(elements) \ | |
107 | ((elements) * sizeof (union exp_element)) | |
108 | #define BYTES_TO_EXP_ELEM(bytes) \ | |
109 | (((bytes) + sizeof (union exp_element) - 1) / sizeof (union exp_element)) | |
110 | ||
111 | /* From parse.c */ | |
112 | ||
699bd4cf TT |
113 | class innermost_block_tracker; |
114 | extern expression_up parse_expression (const char *, | |
115 | innermost_block_tracker * = nullptr); | |
c906108c | 116 | |
4d01a485 PA |
117 | extern expression_up parse_expression_with_language (const char *string, |
118 | enum language lang); | |
429e1e81 | 119 | |
3eac2b65 TT |
120 | extern struct type *parse_expression_for_completion |
121 | (const char *, gdb::unique_xmalloc_ptr<char> *, enum type_code *); | |
65d12d83 | 122 | |
699bd4cf | 123 | class innermost_block_tracker; |
4d01a485 | 124 | extern expression_up parse_exp_1 (const char **, CORE_ADDR pc, |
7ad417dd | 125 | const struct block *, int, |
699bd4cf | 126 | innermost_block_tracker * = nullptr); |
c906108c | 127 | |
c906108c SS |
128 | /* From eval.c */ |
129 | ||
389e51db | 130 | /* Values of NOSIDE argument to eval_subexp. */ |
c906108c SS |
131 | |
132 | enum noside | |
c5aa993b JM |
133 | { |
134 | EVAL_NORMAL, | |
23be8da7 RB |
135 | EVAL_SKIP, /* Only effect is to increment pos. |
136 | Return type information where | |
137 | possible. */ | |
c5aa993b | 138 | EVAL_AVOID_SIDE_EFFECTS /* Don't modify any variables or |
c906108c SS |
139 | call any functions. The value |
140 | returned will have the correct | |
141 | type, and will have an | |
142 | approximately correct lvalue | |
143 | type (inaccuracy: anything that is | |
144 | listed as being in a register in | |
145 | the function in which it was | |
fce632b6 TT |
146 | declared will be lval_register). |
147 | Ideally this would not even read | |
148 | target memory, but currently it | |
149 | does in many situations. */ | |
c5aa993b | 150 | }; |
c906108c | 151 | |
c5aa993b | 152 | extern struct value *evaluate_subexp_standard |
a14ed312 | 153 | (struct type *, struct expression *, int *, enum noside); |
c906108c SS |
154 | |
155 | /* From expprint.c */ | |
156 | ||
d9fcf2fb | 157 | extern void print_expression (struct expression *, struct ui_file *); |
c906108c | 158 | |
a121b7c1 | 159 | extern const char *op_name (struct expression *exp, enum exp_opcode opcode); |
bd0b9f9e | 160 | |
a121b7c1 | 161 | extern const char *op_string (enum exp_opcode); |
c906108c | 162 | |
3e43a32a | 163 | extern void dump_raw_expression (struct expression *, |
a121b7c1 | 164 | struct ui_file *, const char *); |
24daaebc | 165 | extern void dump_prefix_expression (struct expression *, struct ui_file *); |
c906108c | 166 | |
01739a3b TT |
167 | /* In an OP_RANGE expression, either bound could be empty, indicating |
168 | that its value is by default that of the corresponding bound of the | |
6873858b TT |
169 | array or string. Also, the upper end of the range can be exclusive |
170 | or inclusive. So we have six sorts of subrange. This enumeration | |
171 | type is to identify this. */ | |
172 | ||
01739a3b | 173 | enum range_type |
6873858b TT |
174 | { |
175 | /* Neither the low nor the high bound was given -- so this refers to | |
176 | the entire available range. */ | |
177 | BOTH_BOUND_DEFAULT, | |
178 | /* The low bound was not given and the high bound is inclusive. */ | |
179 | LOW_BOUND_DEFAULT, | |
180 | /* The high bound was not given and the low bound in inclusive. */ | |
181 | HIGH_BOUND_DEFAULT, | |
182 | /* Both bounds were given and both are inclusive. */ | |
183 | NONE_BOUND_DEFAULT, | |
184 | /* The low bound was not given and the high bound is exclusive. */ | |
185 | NONE_BOUND_DEFAULT_EXCLUSIVE, | |
186 | /* Both bounds were given. The low bound is inclusive and the high | |
187 | bound is exclusive. */ | |
188 | LOW_BOUND_DEFAULT_EXCLUSIVE, | |
189 | }; | |
01739a3b | 190 | |
c5aa993b | 191 | #endif /* !defined (EXPRESSION_H) */ |