oops - typo correction.
[deliverable/binutils-gdb.git] / gdb / p-lang.c
CommitLineData
373a8247 1/* Pascal language support routines for GDB, the GNU debugger.
ce27fb25 2
28e7fd62 3 Copyright (C) 2000-2013 Free Software Foundation, Inc.
373a8247
PM
4
5 This file is part of GDB.
6
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
373a8247
PM
10 (at your option) any later version.
11
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.
16
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/>. */
373a8247 19
5598ce11 20/* This file is derived from c-lang.c */
373a8247
PM
21
22#include "defs.h"
309367d4 23#include "gdb_string.h"
373a8247
PM
24#include "symtab.h"
25#include "gdbtypes.h"
26#include "expression.h"
27#include "parser-defs.h"
28#include "language.h"
29#include "p-lang.h"
30#include "valprint.h"
5f9a71c3 31#include "value.h"
5598ce11 32#include <ctype.h>
6ced1581 33
373a8247 34extern void _initialize_pascal_language (void);
5598ce11
PM
35
36
cd6c7346 37/* All GPC versions until now (2007-09-27) also define a symbol called
0df8b418 38 '_p_initialize'. Check for the presence of this symbol first. */
cd6c7346
PM
39static const char GPC_P_INITIALIZE[] = "_p_initialize";
40
41/* The name of the symbol that GPC uses as the name of the main
42 procedure (since version 20050212). */
43static const char GPC_MAIN_PROGRAM_NAME_1[] = "_p__M0_main_program";
44
45/* Older versions of GPC (versions older than 20050212) were using
46 a different name for the main procedure. */
47static const char GPC_MAIN_PROGRAM_NAME_2[] = "pascal_main_program";
48
49/* Function returning the special symbol name used
50 by GPC for the main procedure in the main program
51 if it is found in minimal symbol list.
52 This function tries to find minimal symbols generated by GPC
53 so that it finds the even if the program was compiled
54 without debugging information.
55 According to information supplied by Waldeck Hebisch,
0df8b418 56 this should work for all versions posterior to June 2000. */
cd6c7346
PM
57
58const char *
59pascal_main_name (void)
60{
61 struct minimal_symbol *msym;
62
63 msym = lookup_minimal_symbol (GPC_P_INITIALIZE, NULL, NULL);
64
65 /* If '_p_initialize' was not found, the main program is likely not
66 written in Pascal. */
67 if (msym == NULL)
68 return NULL;
69
70 msym = lookup_minimal_symbol (GPC_MAIN_PROGRAM_NAME_1, NULL, NULL);
71 if (msym != NULL)
72 {
73 return GPC_MAIN_PROGRAM_NAME_1;
74 }
75
76 msym = lookup_minimal_symbol (GPC_MAIN_PROGRAM_NAME_2, NULL, NULL);
77 if (msym != NULL)
78 {
79 return GPC_MAIN_PROGRAM_NAME_2;
80 }
81
82 /* No known entry procedure found, the main program is probably
83 not compiled with GPC. */
84 return NULL;
85}
86
5598ce11 87/* Determines if type TYPE is a pascal string type.
58159490 88 Returns a positive value if the type is a known pascal string type.
5598ce11
PM
89 This function is used by p-valprint.c code to allow better string display.
90 If it is a pascal string type, then it also sets info needed
91 to get the length and the data of the string
92 length_pos, length_size and string_pos are given in bytes.
93 char_size gives the element size in bytes.
94 FIXME: if the position or the size of these fields
95 are not multiple of TARGET_CHAR_BIT then the results are wrong
96 but this does not happen for Free Pascal nor for GPC. */
97int
98is_pascal_string_type (struct type *type,int *length_pos,
6c7a06a3
TT
99 int *length_size, int *string_pos,
100 struct type **char_type,
0d5cff50 101 const char **arrayname)
5598ce11 102{
e13eedd5 103 if (type != NULL && TYPE_CODE (type) == TYPE_CODE_STRUCT)
5598ce11
PM
104 {
105 /* Old Borland type pascal strings from Free Pascal Compiler. */
106 /* Two fields: length and st. */
5c3da5ea 107 if (TYPE_NFIELDS (type) == 2
dae71413 108 && TYPE_FIELD_NAME (type, 0)
6ced1581 109 && strcmp (TYPE_FIELD_NAME (type, 0), "length") == 0
dae71413
PM
110 && TYPE_FIELD_NAME (type, 1)
111 && strcmp (TYPE_FIELD_NAME (type, 1), "st") == 0)
5598ce11 112 {
e2625b33
PM
113 if (length_pos)
114 *length_pos = TYPE_FIELD_BITPOS (type, 0) / TARGET_CHAR_BIT;
115 if (length_size)
0004e5a2 116 *length_size = TYPE_LENGTH (TYPE_FIELD_TYPE (type, 0));
e2625b33
PM
117 if (string_pos)
118 *string_pos = TYPE_FIELD_BITPOS (type, 1) / TARGET_CHAR_BIT;
6c7a06a3
TT
119 if (char_type)
120 *char_type = TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 1));
e2625b33 121 if (arrayname)
dae71413 122 *arrayname = TYPE_FIELD_NAME (type, 1);
e2625b33 123 return 2;
5598ce11
PM
124 };
125 /* GNU pascal strings. */
126 /* Three fields: Capacity, length and schema$ or _p_schema. */
127 if (TYPE_NFIELDS (type) == 3
dae71413
PM
128 && TYPE_FIELD_NAME (type, 0)
129 && strcmp (TYPE_FIELD_NAME (type, 0), "Capacity") == 0
130 && TYPE_FIELD_NAME (type, 1)
131 && strcmp (TYPE_FIELD_NAME (type, 1), "length") == 0)
5598ce11 132 {
58159490 133 if (length_pos)
e2625b33 134 *length_pos = TYPE_FIELD_BITPOS (type, 1) / TARGET_CHAR_BIT;
58159490 135 if (length_size)
0004e5a2 136 *length_size = TYPE_LENGTH (TYPE_FIELD_TYPE (type, 1));
58159490 137 if (string_pos)
e2625b33 138 *string_pos = TYPE_FIELD_BITPOS (type, 2) / TARGET_CHAR_BIT;
0df8b418 139 /* FIXME: how can I detect wide chars in GPC ?? */
6c7a06a3 140 if (char_type)
58159490 141 {
6c7a06a3 142 *char_type = TYPE_TARGET_TYPE (TYPE_FIELD_TYPE (type, 2));
ad3bbd48 143
6c7a06a3
TT
144 if (TYPE_CODE (*char_type) == TYPE_CODE_ARRAY)
145 *char_type = TYPE_TARGET_TYPE (*char_type);
58159490 146 }
e2625b33 147 if (arrayname)
dae71413 148 *arrayname = TYPE_FIELD_NAME (type, 2);
e2625b33 149 return 3;
5598ce11
PM
150 };
151 }
152 return 0;
153}
154
373a8247
PM
155static void pascal_one_char (int, struct ui_file *, int *);
156
157/* Print the character C on STREAM as part of the contents of a literal
158 string.
0df8b418 159 In_quotes is reset to 0 if a char is written with #4 notation. */
373a8247
PM
160
161static void
f86f5ca3 162pascal_one_char (int c, struct ui_file *stream, int *in_quotes)
373a8247 163{
9b79b476 164 if (c == '\'' || ((unsigned int) c <= 0xff && (PRINT_LITERAL_FORM (c))))
373a8247
PM
165 {
166 if (!(*in_quotes))
167 fputs_filtered ("'", stream);
168 *in_quotes = 1;
169 if (c == '\'')
170 {
171 fputs_filtered ("''", stream);
172 }
173 else
174 fprintf_filtered (stream, "%c", c);
175 }
176 else
177 {
178 if (*in_quotes)
179 fputs_filtered ("'", stream);
180 *in_quotes = 0;
181 fprintf_filtered (stream, "#%d", (unsigned int) c);
182 }
183}
184
6c7a06a3
TT
185static void pascal_emit_char (int c, struct type *type,
186 struct ui_file *stream, int quoter);
373a8247
PM
187
188/* Print the character C on STREAM as part of the contents of a literal
189 string whose delimiter is QUOTER. Note that that format for printing
0df8b418 190 characters and strings is language specific. */
373a8247
PM
191
192static void
6c7a06a3 193pascal_emit_char (int c, struct type *type, struct ui_file *stream, int quoter)
373a8247
PM
194{
195 int in_quotes = 0;
ad3bbd48 196
373a8247
PM
197 pascal_one_char (c, stream, &in_quotes);
198 if (in_quotes)
199 fputs_filtered ("'", stream);
200}
201
202void
6c7a06a3 203pascal_printchar (int c, struct type *type, struct ui_file *stream)
373a8247
PM
204{
205 int in_quotes = 0;
ad3bbd48 206
373a8247
PM
207 pascal_one_char (c, stream, &in_quotes);
208 if (in_quotes)
209 fputs_filtered ("'", stream);
210}
211
212/* Print the character string STRING, printing at most LENGTH characters.
213 Printing stops early if the number hits print_max; repeat counts
214 are printed as appropriate. Print ellipses at the end if we
215 had to stop before printing LENGTH characters, or if FORCE_ELLIPSES. */
216
217void
6c7a06a3
TT
218pascal_printstr (struct ui_file *stream, struct type *type,
219 const gdb_byte *string, unsigned int length,
be759fcf 220 const char *encoding, int force_ellipses,
79a45b7d 221 const struct value_print_options *options)
373a8247 222{
e17a4113 223 enum bfd_endian byte_order = gdbarch_byte_order (get_type_arch (type));
f86f5ca3 224 unsigned int i;
373a8247
PM
225 unsigned int things_printed = 0;
226 int in_quotes = 0;
227 int need_comma = 0;
953ac07e
JK
228 int width;
229
230 /* Preserve TYPE's original type, just set its LENGTH. */
231 check_typedef (type);
232 width = TYPE_LENGTH (type);
373a8247
PM
233
234 /* If the string was not truncated due to `set print elements', and
235 the last byte of it is a null, we don't print that, in traditional C
236 style. */
58159490 237 if ((!force_ellipses) && length > 0
e17a4113
UW
238 && extract_unsigned_integer (string + (length - 1) * width, width,
239 byte_order) == 0)
373a8247
PM
240 length--;
241
242 if (length == 0)
243 {
244 fputs_filtered ("''", stream);
245 return;
246 }
247
79a45b7d 248 for (i = 0; i < length && things_printed < options->print_max; ++i)
373a8247
PM
249 {
250 /* Position of the character we are examining
251 to see whether it is repeated. */
252 unsigned int rep1;
253 /* Number of repetitions we have detected so far. */
254 unsigned int reps;
58159490 255 unsigned long int current_char;
373a8247
PM
256
257 QUIT;
258
259 if (need_comma)
260 {
261 fputs_filtered (", ", stream);
262 need_comma = 0;
263 }
264
e17a4113
UW
265 current_char = extract_unsigned_integer (string + i * width, width,
266 byte_order);
58159490 267
373a8247
PM
268 rep1 = i + 1;
269 reps = 1;
6ced1581 270 while (rep1 < length
e17a4113
UW
271 && extract_unsigned_integer (string + rep1 * width, width,
272 byte_order) == current_char)
373a8247
PM
273 {
274 ++rep1;
275 ++reps;
276 }
277
79a45b7d 278 if (reps > options->repeat_count_threshold)
373a8247
PM
279 {
280 if (in_quotes)
281 {
79a45b7d 282 if (options->inspect_it)
373a8247
PM
283 fputs_filtered ("\\', ", stream);
284 else
285 fputs_filtered ("', ", stream);
286 in_quotes = 0;
287 }
6c7a06a3 288 pascal_printchar (current_char, type, stream);
373a8247
PM
289 fprintf_filtered (stream, " <repeats %u times>", reps);
290 i = rep1 - 1;
79a45b7d 291 things_printed += options->repeat_count_threshold;
373a8247
PM
292 need_comma = 1;
293 }
294 else
295 {
58159490 296 if ((!in_quotes) && (PRINT_LITERAL_FORM (current_char)))
373a8247 297 {
79a45b7d 298 if (options->inspect_it)
373a8247
PM
299 fputs_filtered ("\\'", stream);
300 else
301 fputs_filtered ("'", stream);
302 in_quotes = 1;
303 }
58159490 304 pascal_one_char (current_char, stream, &in_quotes);
373a8247
PM
305 ++things_printed;
306 }
307 }
308
309 /* Terminate the quotes if necessary. */
310 if (in_quotes)
311 {
79a45b7d 312 if (options->inspect_it)
373a8247
PM
313 fputs_filtered ("\\'", stream);
314 else
315 fputs_filtered ("'", stream);
316 }
317
318 if (force_ellipses || i < length)
319 fputs_filtered ("...", stream);
320}
373a8247
PM
321\f
322
323/* Table mapping opcodes into strings for printing operators
324 and precedences of the operators. */
325
326const struct op_print pascal_op_print_tab[] =
327{
328 {",", BINOP_COMMA, PREC_COMMA, 0},
329 {":=", BINOP_ASSIGN, PREC_ASSIGN, 1},
330 {"or", BINOP_BITWISE_IOR, PREC_BITWISE_IOR, 0},
331 {"xor", BINOP_BITWISE_XOR, PREC_BITWISE_XOR, 0},
332 {"and", BINOP_BITWISE_AND, PREC_BITWISE_AND, 0},
333 {"=", BINOP_EQUAL, PREC_EQUAL, 0},
334 {"<>", BINOP_NOTEQUAL, PREC_EQUAL, 0},
335 {"<=", BINOP_LEQ, PREC_ORDER, 0},
336 {">=", BINOP_GEQ, PREC_ORDER, 0},
337 {">", BINOP_GTR, PREC_ORDER, 0},
338 {"<", BINOP_LESS, PREC_ORDER, 0},
339 {"shr", BINOP_RSH, PREC_SHIFT, 0},
340 {"shl", BINOP_LSH, PREC_SHIFT, 0},
341 {"+", BINOP_ADD, PREC_ADD, 0},
342 {"-", BINOP_SUB, PREC_ADD, 0},
343 {"*", BINOP_MUL, PREC_MUL, 0},
344 {"/", BINOP_DIV, PREC_MUL, 0},
345 {"div", BINOP_INTDIV, PREC_MUL, 0},
346 {"mod", BINOP_REM, PREC_MUL, 0},
347 {"@", BINOP_REPEAT, PREC_REPEAT, 0},
348 {"-", UNOP_NEG, PREC_PREFIX, 0},
349 {"not", UNOP_LOGICAL_NOT, PREC_PREFIX, 0},
350 {"^", UNOP_IND, PREC_SUFFIX, 1},
351 {"@", UNOP_ADDR, PREC_PREFIX, 0},
352 {"sizeof", UNOP_SIZEOF, PREC_PREFIX, 0},
353 {NULL, 0, 0, 0}
354};
355\f
cad351d1
UW
356enum pascal_primitive_types {
357 pascal_primitive_type_int,
358 pascal_primitive_type_long,
359 pascal_primitive_type_short,
360 pascal_primitive_type_char,
361 pascal_primitive_type_float,
362 pascal_primitive_type_double,
363 pascal_primitive_type_void,
364 pascal_primitive_type_long_long,
365 pascal_primitive_type_signed_char,
366 pascal_primitive_type_unsigned_char,
367 pascal_primitive_type_unsigned_short,
368 pascal_primitive_type_unsigned_int,
369 pascal_primitive_type_unsigned_long,
370 pascal_primitive_type_unsigned_long_long,
371 pascal_primitive_type_long_double,
372 pascal_primitive_type_complex,
373 pascal_primitive_type_double_complex,
374 nr_pascal_primitive_types
373a8247
PM
375};
376
cad351d1
UW
377static void
378pascal_language_arch_info (struct gdbarch *gdbarch,
379 struct language_arch_info *lai)
380{
381 const struct builtin_type *builtin = builtin_type (gdbarch);
ad3bbd48 382
cad351d1
UW
383 lai->string_char_type = builtin->builtin_char;
384 lai->primitive_type_vector
385 = GDBARCH_OBSTACK_CALLOC (gdbarch, nr_pascal_primitive_types + 1,
386 struct type *);
387 lai->primitive_type_vector [pascal_primitive_type_int]
388 = builtin->builtin_int;
389 lai->primitive_type_vector [pascal_primitive_type_long]
390 = builtin->builtin_long;
391 lai->primitive_type_vector [pascal_primitive_type_short]
392 = builtin->builtin_short;
393 lai->primitive_type_vector [pascal_primitive_type_char]
394 = builtin->builtin_char;
395 lai->primitive_type_vector [pascal_primitive_type_float]
396 = builtin->builtin_float;
397 lai->primitive_type_vector [pascal_primitive_type_double]
398 = builtin->builtin_double;
399 lai->primitive_type_vector [pascal_primitive_type_void]
400 = builtin->builtin_void;
401 lai->primitive_type_vector [pascal_primitive_type_long_long]
402 = builtin->builtin_long_long;
403 lai->primitive_type_vector [pascal_primitive_type_signed_char]
404 = builtin->builtin_signed_char;
405 lai->primitive_type_vector [pascal_primitive_type_unsigned_char]
406 = builtin->builtin_unsigned_char;
407 lai->primitive_type_vector [pascal_primitive_type_unsigned_short]
408 = builtin->builtin_unsigned_short;
409 lai->primitive_type_vector [pascal_primitive_type_unsigned_int]
410 = builtin->builtin_unsigned_int;
411 lai->primitive_type_vector [pascal_primitive_type_unsigned_long]
412 = builtin->builtin_unsigned_long;
413 lai->primitive_type_vector [pascal_primitive_type_unsigned_long_long]
414 = builtin->builtin_unsigned_long_long;
415 lai->primitive_type_vector [pascal_primitive_type_long_double]
416 = builtin->builtin_long_double;
417 lai->primitive_type_vector [pascal_primitive_type_complex]
418 = builtin->builtin_complex;
419 lai->primitive_type_vector [pascal_primitive_type_double_complex]
420 = builtin->builtin_double_complex;
fbb06eb1
UW
421
422 lai->bool_type_symbol = "boolean";
423 lai->bool_type_default = builtin->builtin_bool;
cad351d1
UW
424}
425
373a8247
PM
426const struct language_defn pascal_language_defn =
427{
428 "pascal", /* Language name */
429 language_pascal,
373a8247 430 range_check_on,
63872f9d 431 case_sensitive_on,
7ca2d3a3 432 array_row_major,
9a044a89 433 macro_expansion_no,
5f9769d1 434 &exp_descriptor_standard,
373a8247
PM
435 pascal_parse,
436 pascal_error,
e85c3284 437 null_post_parser,
373a8247
PM
438 pascal_printchar, /* Print a character constant */
439 pascal_printstr, /* Function to print string constant */
440 pascal_emit_char, /* Print a single char */
373a8247 441 pascal_print_type, /* Print a type using appropriate syntax */
5c6ce71d 442 pascal_print_typedef, /* Print a typedef using appropriate syntax */
373a8247
PM
443 pascal_val_print, /* Print a value using appropriate syntax */
444 pascal_value_print, /* Print a top-level value */
a5ee536b 445 default_read_var_value, /* la_read_var_value */
f636b87d 446 NULL, /* Language specific skip_trampoline */
2b2d9e11 447 "this", /* name_of_this */
5f9a71c3 448 basic_lookup_symbol_nonlocal, /* lookup_symbol_nonlocal */
b368761e 449 basic_lookup_transparent_type,/* lookup_transparent_type */
9a3d7dfd 450 NULL, /* Language specific symbol demangler */
31c27f77 451 NULL, /* Language specific class_name_from_physname */
373a8247
PM
452 pascal_op_print_tab, /* expression operators for printing */
453 1, /* c-style arrays */
454 0, /* String lower bound */
6084f43a 455 default_word_break_characters,
41d27058 456 default_make_symbol_completion_list,
cad351d1 457 pascal_language_arch_info,
e79af960 458 default_print_array_index,
41f1b697 459 default_pass_by_reference,
ae6a3a4c 460 default_get_string,
1a119f36 461 NULL, /* la_get_symbol_name_cmp */
f8eba3c6 462 iterate_over_symbols,
373a8247
PM
463 LANG_MAGIC
464};
465
466void
fba45db2 467_initialize_pascal_language (void)
373a8247
PM
468{
469 add_language (&pascal_language_defn);
470}
This page took 1.181686 seconds and 4 git commands to generate.