1 /* Parser definitions for GDB. 2 3 Copyright (C) 1986, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 4 1998, 1999, 2000, 2002, 2007, 2008, 2009, 2010 5 Free Software Foundation, Inc. 6 7 Modified from expread.y by the Department of Computer Science at the 8 State University of New York at Buffalo. 9 10 This file is part of GDB. 11 12 This program is free software; you can redistribute it and/or modify 13 it under the terms of the GNU General Public License as published by 14 the Free Software Foundation; either version 3 of the License, or 15 (at your option) any later version. 16 17 This program is distributed in the hope that it will be useful, 18 but WITHOUT ANY WARRANTY; without even the implied warranty of 19 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 20 GNU General Public License for more details. 21 22 You should have received a copy of the GNU General Public License 23 along with this program. If not, see <http://www.gnu.org/licenses/>. */ 24 25 #if !defined (PARSER_DEFS_H) 26 #define PARSER_DEFS_H 1 27 28 #include "doublest.h" 29 30 struct block; 31 32 extern int parser_debug; 33 34 extern struct expression *expout; 35 extern int expout_size; 36 extern int expout_ptr; 37 38 #define parse_gdbarch (expout->gdbarch) 39 #define parse_language (expout->language_defn) 40 41 /* If this is nonzero, this block is used as the lexical context 42 for symbol names. */ 43 44 extern struct block *expression_context_block; 45 46 /* If expression_context_block is non-zero, then this is the PC within 47 the block that we want to evaluate expressions at. When debugging 48 C or C++ code, we use this to find the exact line we're at, and 49 then look up the macro definitions active at that point. */ 50 extern CORE_ADDR expression_context_pc; 51 52 /* The innermost context required by the stack and register variables 53 we've encountered so far. */ 54 extern struct block *innermost_block; 55 56 /* The block in which the most recently discovered symbol was found. 57 FIXME: Should be declared along with lookup_symbol in symtab.h; is not 58 related specifically to parsing. */ 59 extern struct block *block_found; 60 61 /* Number of arguments seen so far in innermost function call. */ 62 extern int arglist_len; 63 64 /* A string token, either a char-string or bit-string. Char-strings are 65 used, for example, for the names of symbols. */ 66 67 struct stoken 68 { 69 /* Pointer to first byte of char-string or first bit of bit-string */ 70 char *ptr; 71 /* Length of string in bytes for char-string or bits for bit-string */ 72 int length; 73 }; 74 75 struct typed_stoken 76 { 77 /* A language-specific type field. */ 78 int type; 79 /* Pointer to first byte of char-string or first bit of bit-string */ 80 char *ptr; 81 /* Length of string in bytes for char-string or bits for bit-string */ 82 int length; 83 }; 84 85 struct stoken_vector 86 { 87 int len; 88 struct typed_stoken *tokens; 89 }; 90 91 struct ttype 92 { 93 struct stoken stoken; 94 struct type *type; 95 }; 96 97 struct symtoken 98 { 99 struct stoken stoken; 100 struct symbol *sym; 101 int is_a_field_of_this; 102 }; 103 104 struct objc_class_str 105 { 106 struct stoken stoken; 107 struct type *type; 108 int class; 109 }; 110 111 112 /* For parsing of complicated types. 113 An array should be preceded in the list by the size of the array. */ 114 enum type_pieces 115 { 116 tp_end = -1, 117 tp_pointer, 118 tp_reference, 119 tp_array, 120 tp_function, 121 tp_const, 122 tp_volatile, 123 tp_space_identifier 124 }; 125 /* The stack can contain either an enum type_pieces or an int. */ 126 union type_stack_elt 127 { 128 enum type_pieces piece; 129 int int_val; 130 }; 131 extern union type_stack_elt *type_stack; 132 extern int type_stack_depth, type_stack_size; 133 134 extern void write_exp_elt (union exp_element); 135 136 extern void write_exp_elt_opcode (enum exp_opcode); 137 138 extern void write_exp_elt_sym (struct symbol *); 139 140 extern void write_exp_elt_longcst (LONGEST); 141 142 extern void write_exp_elt_dblcst (DOUBLEST); 143 144 extern void write_exp_elt_decfloatcst (gdb_byte *); 145 146 extern void write_exp_elt_type (struct type *); 147 148 extern void write_exp_elt_intern (struct internalvar *); 149 150 extern void write_exp_string (struct stoken); 151 152 void write_exp_string_vector (int type, struct stoken_vector *vec); 153 154 extern void write_exp_bitstring (struct stoken); 155 156 extern void write_exp_elt_block (struct block *); 157 158 extern void write_exp_elt_objfile (struct objfile *objfile); 159 160 extern void write_exp_msymbol (struct minimal_symbol *); 161 162 extern void write_dollar_variable (struct stoken str); 163 164 extern void mark_struct_expression (void); 165 166 extern char *find_template_name_end (char *); 167 168 extern void start_arglist (void); 169 170 extern int end_arglist (void); 171 172 extern char *copy_name (struct stoken); 173 174 extern void push_type (enum type_pieces); 175 176 extern void push_type_int (int); 177 178 extern void push_type_address_space (char *); 179 180 extern enum type_pieces pop_type (void); 181 182 extern int pop_type_int (void); 183 184 extern int length_of_subexp (struct expression *, int); 185 186 extern int dump_subexp (struct expression *, struct ui_file *, int); 187 188 extern int dump_subexp_body_standard (struct expression *, 189 struct ui_file *, int); 190 191 extern void operator_length (const struct expression *, int, int *, int *); 192 193 extern void operator_length_standard (const struct expression *, int, int *, 194 int *); 195 196 extern int operator_check_standard (struct expression *exp, int pos, 197 int (*objfile_func) 198 (struct objfile *objfile, void *data), 199 void *data); 200 201 extern char *op_name_standard (enum exp_opcode); 202 203 extern struct type *follow_types (struct type *); 204 205 extern void null_post_parser (struct expression **, int); 206 207 /* During parsing of a C expression, the pointer to the next character 208 is in this variable. */ 209 210 extern char *lexptr; 211 212 /* After a token has been recognized, this variable points to it. 213 Currently used only for error reporting. */ 214 extern char *prev_lexptr; 215 216 /* Tokens that refer to names do so with explicit pointer and length, 217 so they can share the storage that lexptr is parsing. 218 219 When it is necessary to pass a name to a function that expects 220 a null-terminated string, the substring is copied out 221 into a block of storage that namecopy points to. 222 223 namecopy is allocated once, guaranteed big enough, for each parsing. */ 224 225 extern char *namecopy; 226 227 /* Current depth in parentheses within the expression. */ 228 229 extern int paren_depth; 230 231 /* Nonzero means stop parsing on first comma (if not within parentheses). */ 232 233 extern int comma_terminates; 234 235 /* These codes indicate operator precedences for expression printing, 236 least tightly binding first. */ 237 /* Adding 1 to a precedence value is done for binary operators, 238 on the operand which is more tightly bound, so that operators 239 of equal precedence within that operand will get parentheses. */ 240 /* PREC_HYPER and PREC_ABOVE_COMMA are not the precedence of any operator; 241 they are used as the "surrounding precedence" to force 242 various kinds of things to be parenthesized. */ 243 enum precedence 244 { 245 PREC_NULL, PREC_COMMA, PREC_ABOVE_COMMA, PREC_ASSIGN, PREC_LOGICAL_OR, 246 PREC_LOGICAL_AND, PREC_BITWISE_IOR, PREC_BITWISE_AND, PREC_BITWISE_XOR, 247 PREC_EQUAL, PREC_ORDER, PREC_SHIFT, PREC_ADD, PREC_MUL, PREC_REPEAT, 248 PREC_HYPER, PREC_PREFIX, PREC_SUFFIX, PREC_BUILTIN_FUNCTION 249 }; 250 251 /* Table mapping opcodes into strings for printing operators 252 and precedences of the operators. */ 253 254 struct op_print 255 { 256 char *string; 257 enum exp_opcode opcode; 258 /* Precedence of operator. These values are used only by comparisons. */ 259 enum precedence precedence; 260 261 /* For a binary operator: 1 iff right associate. 262 For a unary operator: 1 iff postfix. */ 263 int right_assoc; 264 }; 265 266 /* Information needed to print, prefixify, and evaluate expressions for 267 a given language. */ 268 269 struct exp_descriptor 270 { 271 /* Print subexpression. */ 272 void (*print_subexp) (struct expression *, int *, struct ui_file *, 273 enum precedence); 274 275 /* Returns number of exp_elements needed to represent an operator and 276 the number of subexpressions it takes. */ 277 void (*operator_length) (const struct expression*, int, int*, int *); 278 279 /* Call TYPE_FUNC and OBJFILE_FUNC for any TYPE and OBJFILE found being 280 referenced by the single operator of EXP at position POS. Operator 281 parameters are located at positive (POS + number) offsets in EXP. 282 The functions should never be called with NULL TYPE or NULL OBJFILE. 283 Functions should get passed an arbitrary caller supplied DATA pointer. 284 If any of the functions returns non-zero value then (any other) non-zero 285 value should be immediately returned to the caller. Otherwise zero 286 should be returned. */ 287 int (*operator_check) (struct expression *exp, int pos, 288 int (*objfile_func) (struct objfile *objfile, 289 void *data), 290 void *data); 291 292 /* Name of this operator for dumping purposes. */ 293 char *(*op_name) (enum exp_opcode); 294 295 /* Dump the rest of this (prefix) expression after the operator 296 itself has been printed. See dump_subexp_body_standard in 297 (expprint.c). */ 298 int (*dump_subexp_body) (struct expression *, struct ui_file *, int); 299 300 /* Evaluate an expression. */ 301 struct value *(*evaluate_exp) (struct type *, struct expression *, 302 int *, enum noside); 303 }; 304 305 306 /* Default descriptor containing standard definitions of all 307 elements. */ 308 extern const struct exp_descriptor exp_descriptor_standard; 309 310 /* Functions used by language-specific extended operators to (recursively) 311 print/dump subexpressions. */ 312 313 extern void print_subexp (struct expression *, int *, struct ui_file *, 314 enum precedence); 315 316 extern void print_subexp_standard (struct expression *, int *, 317 struct ui_file *, enum precedence); 318 319 /* Function used to avoid direct calls to fprintf 320 in the code generated by the bison parser. */ 321 322 extern void parser_fprintf (FILE *, const char *, ...) ATTRIBUTE_PRINTF (2, 3); 323 324 extern int exp_uses_objfile (struct expression *exp, struct objfile *objfile); 325 326 #endif /* PARSER_DEFS_H */ 327