1 /* Modula 2 language support routines for GDB, the GNU debugger.
2 Copyright 1992, 2000 Free Software Foundation, Inc.
4 This file is part of GDB.
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
24 #include "expression.h"
25 #include "parser-defs.h"
30 extern void _initialize_m2_language
PARAMS ((void));
31 static struct type
*m2_create_fundamental_type
PARAMS ((struct objfile
*, int));
32 static void m2_printstr (struct ui_file
* stream
, char *string
,
33 unsigned int length
, int width
,
35 static void m2_printchar (int, struct ui_file
*);
36 static void m2_emit_char (int, struct ui_file
*, int);
38 /* Print the character C on STREAM as part of the contents of a literal
39 string whose delimiter is QUOTER. Note that that format for printing
40 characters and strings is language specific.
41 FIXME: This is a copy of the same function from c-exp.y. It should
42 be replaced with a true Modula version.
46 m2_emit_char (c
, stream
, quoter
)
48 struct ui_file
*stream
;
52 c
&= 0xFF; /* Avoid sign bit follies */
54 if (PRINT_LITERAL_FORM (c
))
56 if (c
== '\\' || c
== quoter
)
58 fputs_filtered ("\\", stream
);
60 fprintf_filtered (stream
, "%c", c
);
67 fputs_filtered ("\\n", stream
);
70 fputs_filtered ("\\b", stream
);
73 fputs_filtered ("\\t", stream
);
76 fputs_filtered ("\\f", stream
);
79 fputs_filtered ("\\r", stream
);
82 fputs_filtered ("\\e", stream
);
85 fputs_filtered ("\\a", stream
);
88 fprintf_filtered (stream
, "\\%.3o", (unsigned int) c
);
94 /* FIXME: This is a copy of the same function from c-exp.y. It should
95 be replaced with a true Modula version. */
98 m2_printchar (c
, stream
)
100 struct ui_file
*stream
;
102 fputs_filtered ("'", stream
);
103 LA_EMIT_CHAR (c
, stream
, '\'');
104 fputs_filtered ("'", stream
);
107 /* Print the character string STRING, printing at most LENGTH characters.
108 Printing stops early if the number hits print_max; repeat counts
109 are printed as appropriate. Print ellipses at the end if we
110 had to stop before printing LENGTH characters, or if FORCE_ELLIPSES.
111 FIXME: This is a copy of the same function from c-exp.y. It should
112 be replaced with a true Modula version. */
115 m2_printstr (stream
, string
, length
, width
, force_ellipses
)
116 struct ui_file
*stream
;
122 register unsigned int i
;
123 unsigned int things_printed
= 0;
126 extern int inspect_it
;
127 extern int repeat_count_threshold
;
128 extern int print_max
;
132 fputs_filtered ("\"\"", gdb_stdout
);
136 for (i
= 0; i
< length
&& things_printed
< print_max
; ++i
)
138 /* Position of the character we are examining
139 to see whether it is repeated. */
141 /* Number of repetitions we have detected so far. */
148 fputs_filtered (", ", stream
);
154 while (rep1
< length
&& string
[rep1
] == string
[i
])
160 if (reps
> repeat_count_threshold
)
165 fputs_filtered ("\\\", ", stream
);
167 fputs_filtered ("\", ", stream
);
170 m2_printchar (string
[i
], stream
);
171 fprintf_filtered (stream
, " <repeats %u times>", reps
);
173 things_printed
+= repeat_count_threshold
;
181 fputs_filtered ("\\\"", stream
);
183 fputs_filtered ("\"", stream
);
186 LA_EMIT_CHAR (string
[i
], stream
, '"');
191 /* Terminate the quotes if necessary. */
195 fputs_filtered ("\\\"", stream
);
197 fputs_filtered ("\"", stream
);
200 if (force_ellipses
|| i
< length
)
201 fputs_filtered ("...", stream
);
204 /* FIXME: This is a copy of c_create_fundamental_type(), before
205 all the non-C types were stripped from it. Needs to be fixed
206 by an experienced Modula programmer. */
209 m2_create_fundamental_type (objfile
, typeid)
210 struct objfile
*objfile
;
213 register struct type
*type
= NULL
;
218 /* FIXME: For now, if we are asked to produce a type not in this
219 language, create the equivalent of a C integer type with the
220 name "<?type?>". When all the dust settles from the type
221 reconstruction work, this should probably become an error. */
222 type
= init_type (TYPE_CODE_INT
,
223 TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
224 0, "<?type?>", objfile
);
225 warning ("internal error: no Modula fundamental type %d", typeid);
228 type
= init_type (TYPE_CODE_VOID
,
229 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
233 type
= init_type (TYPE_CODE_BOOL
,
234 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
235 TYPE_FLAG_UNSIGNED
, "boolean", objfile
);
238 type
= init_type (TYPE_CODE_STRING
,
239 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
240 0, "string", objfile
);
243 type
= init_type (TYPE_CODE_INT
,
244 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
248 type
= init_type (TYPE_CODE_INT
,
249 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
250 0, "signed char", objfile
);
252 case FT_UNSIGNED_CHAR
:
253 type
= init_type (TYPE_CODE_INT
,
254 TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
255 TYPE_FLAG_UNSIGNED
, "unsigned char", objfile
);
258 type
= init_type (TYPE_CODE_INT
,
259 TARGET_SHORT_BIT
/ TARGET_CHAR_BIT
,
260 0, "short", objfile
);
262 case FT_SIGNED_SHORT
:
263 type
= init_type (TYPE_CODE_INT
,
264 TARGET_SHORT_BIT
/ TARGET_CHAR_BIT
,
265 0, "short", objfile
); /* FIXME-fnf */
267 case FT_UNSIGNED_SHORT
:
268 type
= init_type (TYPE_CODE_INT
,
269 TARGET_SHORT_BIT
/ TARGET_CHAR_BIT
,
270 TYPE_FLAG_UNSIGNED
, "unsigned short", objfile
);
273 type
= init_type (TYPE_CODE_INT
,
274 TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
277 case FT_SIGNED_INTEGER
:
278 type
= init_type (TYPE_CODE_INT
,
279 TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
280 0, "int", objfile
); /* FIXME -fnf */
282 case FT_UNSIGNED_INTEGER
:
283 type
= init_type (TYPE_CODE_INT
,
284 TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
285 TYPE_FLAG_UNSIGNED
, "unsigned int", objfile
);
287 case FT_FIXED_DECIMAL
:
288 type
= init_type (TYPE_CODE_INT
,
289 TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
290 0, "fixed decimal", objfile
);
293 type
= init_type (TYPE_CODE_INT
,
294 TARGET_LONG_BIT
/ TARGET_CHAR_BIT
,
298 type
= init_type (TYPE_CODE_INT
,
299 TARGET_LONG_BIT
/ TARGET_CHAR_BIT
,
300 0, "long", objfile
); /* FIXME -fnf */
302 case FT_UNSIGNED_LONG
:
303 type
= init_type (TYPE_CODE_INT
,
304 TARGET_LONG_BIT
/ TARGET_CHAR_BIT
,
305 TYPE_FLAG_UNSIGNED
, "unsigned long", objfile
);
308 type
= init_type (TYPE_CODE_INT
,
309 TARGET_LONG_LONG_BIT
/ TARGET_CHAR_BIT
,
310 0, "long long", objfile
);
312 case FT_SIGNED_LONG_LONG
:
313 type
= init_type (TYPE_CODE_INT
,
314 TARGET_LONG_LONG_BIT
/ TARGET_CHAR_BIT
,
315 0, "signed long long", objfile
);
317 case FT_UNSIGNED_LONG_LONG
:
318 type
= init_type (TYPE_CODE_INT
,
319 TARGET_LONG_LONG_BIT
/ TARGET_CHAR_BIT
,
320 TYPE_FLAG_UNSIGNED
, "unsigned long long", objfile
);
323 type
= init_type (TYPE_CODE_FLT
,
324 TARGET_FLOAT_BIT
/ TARGET_CHAR_BIT
,
325 0, "float", objfile
);
327 case FT_DBL_PREC_FLOAT
:
328 type
= init_type (TYPE_CODE_FLT
,
329 TARGET_DOUBLE_BIT
/ TARGET_CHAR_BIT
,
330 0, "double", objfile
);
332 case FT_FLOAT_DECIMAL
:
333 type
= init_type (TYPE_CODE_FLT
,
334 TARGET_DOUBLE_BIT
/ TARGET_CHAR_BIT
,
335 0, "floating decimal", objfile
);
337 case FT_EXT_PREC_FLOAT
:
338 type
= init_type (TYPE_CODE_FLT
,
339 TARGET_LONG_DOUBLE_BIT
/ TARGET_CHAR_BIT
,
340 0, "long double", objfile
);
343 type
= init_type (TYPE_CODE_COMPLEX
,
344 2 * TARGET_FLOAT_BIT
/ TARGET_CHAR_BIT
,
345 0, "complex", objfile
);
346 TYPE_TARGET_TYPE (type
)
347 = m2_create_fundamental_type (objfile
, FT_FLOAT
);
349 case FT_DBL_PREC_COMPLEX
:
350 type
= init_type (TYPE_CODE_COMPLEX
,
351 2 * TARGET_DOUBLE_BIT
/ TARGET_CHAR_BIT
,
352 0, "double complex", objfile
);
353 TYPE_TARGET_TYPE (type
)
354 = m2_create_fundamental_type (objfile
, FT_DBL_PREC_FLOAT
);
356 case FT_EXT_PREC_COMPLEX
:
357 type
= init_type (TYPE_CODE_COMPLEX
,
358 2 * TARGET_LONG_DOUBLE_BIT
/ TARGET_CHAR_BIT
,
359 0, "long double complex", objfile
);
360 TYPE_TARGET_TYPE (type
)
361 = m2_create_fundamental_type (objfile
, FT_EXT_PREC_FLOAT
);
368 /* Table of operators and their precedences for printing expressions. */
370 static const struct op_print m2_op_print_tab
[] =
372 {"+", BINOP_ADD
, PREC_ADD
, 0},
373 {"+", UNOP_PLUS
, PREC_PREFIX
, 0},
374 {"-", BINOP_SUB
, PREC_ADD
, 0},
375 {"-", UNOP_NEG
, PREC_PREFIX
, 0},
376 {"*", BINOP_MUL
, PREC_MUL
, 0},
377 {"/", BINOP_DIV
, PREC_MUL
, 0},
378 {"DIV", BINOP_INTDIV
, PREC_MUL
, 0},
379 {"MOD", BINOP_REM
, PREC_MUL
, 0},
380 {":=", BINOP_ASSIGN
, PREC_ASSIGN
, 1},
381 {"OR", BINOP_LOGICAL_OR
, PREC_LOGICAL_OR
, 0},
382 {"AND", BINOP_LOGICAL_AND
, PREC_LOGICAL_AND
, 0},
383 {"NOT", UNOP_LOGICAL_NOT
, PREC_PREFIX
, 0},
384 {"=", BINOP_EQUAL
, PREC_EQUAL
, 0},
385 {"<>", BINOP_NOTEQUAL
, PREC_EQUAL
, 0},
386 {"<=", BINOP_LEQ
, PREC_ORDER
, 0},
387 {">=", BINOP_GEQ
, PREC_ORDER
, 0},
388 {">", BINOP_GTR
, PREC_ORDER
, 0},
389 {"<", BINOP_LESS
, PREC_ORDER
, 0},
390 {"^", UNOP_IND
, PREC_PREFIX
, 0},
391 {"@", BINOP_REPEAT
, PREC_REPEAT
, 0},
392 {"CAP", UNOP_CAP
, PREC_BUILTIN_FUNCTION
, 0},
393 {"CHR", UNOP_CHR
, PREC_BUILTIN_FUNCTION
, 0},
394 {"ORD", UNOP_ORD
, PREC_BUILTIN_FUNCTION
, 0},
395 {"FLOAT", UNOP_FLOAT
, PREC_BUILTIN_FUNCTION
, 0},
396 {"HIGH", UNOP_HIGH
, PREC_BUILTIN_FUNCTION
, 0},
397 {"MAX", UNOP_MAX
, PREC_BUILTIN_FUNCTION
, 0},
398 {"MIN", UNOP_MIN
, PREC_BUILTIN_FUNCTION
, 0},
399 {"ODD", UNOP_ODD
, PREC_BUILTIN_FUNCTION
, 0},
400 {"TRUNC", UNOP_TRUNC
, PREC_BUILTIN_FUNCTION
, 0},
404 /* The built-in types of Modula-2. */
406 struct type
*builtin_type_m2_char
;
407 struct type
*builtin_type_m2_int
;
408 struct type
*builtin_type_m2_card
;
409 struct type
*builtin_type_m2_real
;
410 struct type
*builtin_type_m2_bool
;
412 struct type
**CONST_PTR (m2_builtin_types
[]) =
414 &builtin_type_m2_char
,
415 &builtin_type_m2_int
,
416 &builtin_type_m2_card
,
417 &builtin_type_m2_real
,
418 &builtin_type_m2_bool
,
422 const struct language_defn m2_language_defn
=
429 m2_parse
, /* parser */
430 m2_error
, /* parser error function */
431 evaluate_subexp_standard
,
432 m2_printchar
, /* Print character constant */
433 m2_printstr
, /* function to print string constant */
434 m2_emit_char
, /* Function to print a single character */
435 m2_create_fundamental_type
, /* Create fundamental type in this language */
436 m2_print_type
, /* Print a type using appropriate syntax */
437 m2_val_print
, /* Print a value using appropriate syntax */
438 c_value_print
, /* Print a top-level value */
439 {"", "", "", ""}, /* Binary format info */
440 {"%loB", "", "o", "B"}, /* Octal format info */
441 {"%ld", "", "d", ""}, /* Decimal format info */
442 {"0%lXH", "0", "X", "H"}, /* Hex format info */
443 m2_op_print_tab
, /* expression operators for printing */
444 0, /* arrays are first-class (not c-style) */
445 0, /* String lower bound */
446 &builtin_type_m2_char
, /* Type of string elements */
450 /* Initialization for Modula-2 */
453 _initialize_m2_language ()
455 /* Modula-2 "pervasive" types. NOTE: these can be redefined!!! */
456 builtin_type_m2_int
=
457 init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
459 "INTEGER", (struct objfile
*) NULL
);
460 builtin_type_m2_card
=
461 init_type (TYPE_CODE_INT
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
463 "CARDINAL", (struct objfile
*) NULL
);
464 builtin_type_m2_real
=
465 init_type (TYPE_CODE_FLT
, TARGET_FLOAT_BIT
/ TARGET_CHAR_BIT
,
467 "REAL", (struct objfile
*) NULL
);
468 builtin_type_m2_char
=
469 init_type (TYPE_CODE_CHAR
, TARGET_CHAR_BIT
/ TARGET_CHAR_BIT
,
471 "CHAR", (struct objfile
*) NULL
);
472 builtin_type_m2_bool
=
473 init_type (TYPE_CODE_BOOL
, TARGET_INT_BIT
/ TARGET_CHAR_BIT
,
475 "BOOLEAN", (struct objfile
*) NULL
);
477 add_language (&m2_language_defn
);