xref: /openbsd-src/gnu/usr.bin/binutils/gdb/parser-defs.h (revision 63addd46c1e40ca0f49488ddcdc4ab598023b0c1)
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