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