1 /* FLEX lexer for Ada expressions, for GDB.
2 Copyright (C) 1994, 1997, 1998, 2000, 2001, 2002, 2003, 2007, 2008, 2009
3 Free Software Foundation, Inc.
5 This file is part of GDB.
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
9 the Free Software Foundation; either version 3 of the License, or
10 (at your option) any later version.
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.
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 /*----------------------------------------------------------------------*/
22 /* The converted version of this file is to be included in ada-exp.y, */
23 /* the Ada parser for gdb. The function yylex obtains characters from */
24 /* the global pointer lexptr. It returns a syntactic category for */
25 /* each successive token and places a semantic value into yylval */
26 /* (ada-lval), defined by the parser. */
29 NUM10 ({DIG}({DIG}|_)*)
31 NUM16 ({HEXDIG}({HEXDIG}|_)*)
34 ID ({LETTER}({LETTER}|{DIG})*|"<"{LETTER}({LETTER}|{DIG})*">")
37 GRAPHIC [a-z0-9 #&'()*+,-./:;<>=_|!$%?@\[\]\\^`{}~]
38 OPER ([-+*/=<>&]|"<="|">="|"**"|"/="|"and"|"or"|"xor"|"not"|"mod"|"rem"|"abs")
45 #define NUMERAL_WIDTH 256
46 #define LONGEST_SIGN ((ULONGEST) 1 << (sizeof(LONGEST) * HOST_CHAR_BIT - 1))
48 /* Temporary staging for numeric literals. */
49 static char numbuf[NUMERAL_WIDTH];
50 static void canonicalizeNumeral (char *s1, const char *);
51 static struct stoken processString (const char*, int);
52 static int processInt (const char *, const char *, const char *);
53 static int processReal (const char *);
54 static struct stoken processId (const char *, int);
55 static int processAttribute (const char *);
56 static int find_dot_all (const char *);
59 #define YY_DECL static int yylex ( void )
62 #define YY_INPUT(BUF, RESULT, MAX_SIZE) \
63 if ( *lexptr == '\000' ) \
72 static int find_dot_all (const char *);
76 %option case-insensitive interactive nodefault
84 "--".* { yyterminate(); }
87 canonicalizeNumeral (numbuf, yytext);
88 return processInt (NULL, numbuf, strrchr(numbuf, 'e')+1);
92 canonicalizeNumeral (numbuf, yytext);
93 return processInt (NULL, numbuf, NULL);
96 {NUM10}"#"{HEXDIG}({HEXDIG}|_)*"#"{POSEXP} {
97 canonicalizeNumeral (numbuf, yytext);
98 return processInt (numbuf,
99 strchr (numbuf, '#') + 1,
100 strrchr(numbuf, '#') + 1);
103 {NUM10}"#"{HEXDIG}({HEXDIG}|_)*"#" {
104 canonicalizeNumeral (numbuf, yytext);
105 return processInt (numbuf, strchr (numbuf, '#') + 1, NULL);
109 canonicalizeNumeral (numbuf, yytext+2);
110 return processInt ("16#", numbuf, NULL);
114 {NUM10}"."{NUM10}{EXP} {
115 canonicalizeNumeral (numbuf, yytext);
116 return processReal (numbuf);
120 canonicalizeNumeral (numbuf, yytext);
121 return processReal (numbuf);
124 {NUM10}"#"{NUM16}"."{NUM16}"#"{EXP} {
125 error (_("Based real literals not implemented yet."));
128 {NUM10}"#"{NUM16}"."{NUM16}"#" {
129 error (_("Based real literals not implemented yet."));
132 <INITIAL>"'"({GRAPHIC}|\")"'" {
133 yylval.typed_val.type = type_char ();
134 yylval.typed_val.val = yytext[1];
138 <INITIAL>"'[\""{HEXDIG}{2}"\"]'" {
140 yylval.typed_val.type = type_char ();
141 sscanf (yytext+3, "%2x", &v);
142 yylval.typed_val.val = v;
146 \"({GRAPHIC}|"[\""({HEXDIG}{2}|\")"\"]")*\" {
147 yylval.sval = processString (yytext+1, yyleng-2);
152 error (_("ill-formed or non-terminated string literal"));
157 while (*lexptr != 'i' && *lexptr != 'I')
164 while (*lexptr != 't' && *lexptr != 'T')
173 and { return _AND_; }
174 else { return ELSE; }
179 null { return NULL_PTR; }
181 others { return OTHERS; }
183 then { return THEN; }
186 /* BOOLEAN "KEYWORDS" */
188 /* True and False are not keywords in Ada, but rather enumeration constants.
189 However, the boolean type is no longer represented as an enum, so True
190 and False are no longer defined in symbol tables. We compromise by
191 making them keywords (when bare). */
193 true { return TRUEKEYWORD; }
194 false { return FALSEKEYWORD; }
198 {TICK}[a-zA-Z][a-zA-Z]+ { return processAttribute (yytext+1); }
202 "=>" { return ARROW; }
203 ".." { return DOTDOT; }
204 "**" { return STARSTAR; }
205 ":=" { return ASSIGN; }
206 "/=" { return NOTEQUAL; }
210 <BEFORE_QUAL_QUOTE>"'" { BEGIN INITIAL; return '\''; }
212 [-&*+./:<>=|;\[\]] { return yytext[0]; }
214 "," { if (paren_depth == 0 && comma_terminates)
224 "(" { paren_depth += 1; return '('; }
225 ")" { if (paren_depth == 0)
238 "."{WHITE}*all { return DOT_ALL; }
241 yylval.sval = processId (yytext+1, yyleng-1);
245 {ID}({WHITE}*"."{WHITE}*({ID}|\"{OPER}\"))*(" "*"'")? {
246 int all_posn = find_dot_all (yytext);
248 if (all_posn == -1 && yytext[yyleng-1] == '\'')
250 BEGIN BEFORE_QUAL_QUOTE;
253 else if (all_posn >= 0)
255 yylval.sval = processId (yytext, yyleng);
260 /* GDB EXPRESSION CONSTRUCTS */
262 "'"[^']+"'"{WHITE}*:: {
264 yylval.sval = processId (yytext, yyleng);
268 "::" { return COLONCOLON; }
270 [{}@] { return yytext[0]; }
272 /* REGISTERS AND GDB CONVENIENCE VARIABLES */
274 "$"({LETTER}|{DIG}|"$")* {
275 yylval.sval.ptr = yytext;
276 yylval.sval.length = yyleng;
277 return SPECIAL_VARIABLE;
280 /* CATCH-ALL ERROR CASE */
282 . { error (_("Invalid character '%s' in expression."), yytext); }
286 #include "gdb_string.h"
288 /* Initialize the lexer for processing new expression. */
291 lexer_init (FILE *inp)
298 /* Copy S2 to S1, removing all underscores, and downcasing all letters. */
301 canonicalizeNumeral (char *s1, const char *s2)
303 for (; *s2 != '\000'; s2 += 1)
314 /* Interprets the prefix of NUM that consists of digits of the given BASE
315 as an integer of that BASE, with the string EXP as an exponent.
316 Puts value in yylval, and returns INT, if the string is valid. Causes
317 an error if the number is improperly formated. BASE, if NULL, defaults
318 to "10", and EXP to "1". The EXP does not contain a leading 'e' or 'E'.
322 processInt (const char *base0, const char *num0, const char *exp0)
334 base = strtol (base0, (char **) NULL, 10);
335 if (base < 2 || base > 16)
336 error (_("Invalid base: %d."), base);
342 exp = strtol(exp0, (char **) NULL, 10);
345 result = strtoulst (num0, (const char **) &trailer, base);
347 error (_("Integer literal out of range"));
348 if (isxdigit(*trailer))
349 error (_("Invalid digit `%c' in based literal"), *trailer);
353 if (result > (ULONG_MAX / base))
354 error (_("Integer literal out of range"));
359 if ((result >> (gdbarch_int_bit (parse_gdbarch)-1)) == 0)
360 yylval.typed_val.type = type_int ();
361 else if ((result >> (gdbarch_long_bit (parse_gdbarch)-1)) == 0)
362 yylval.typed_val.type = type_long ();
363 else if (((result >> (gdbarch_long_bit (parse_gdbarch)-1)) >> 1) == 0)
365 /* We have a number representable as an unsigned integer quantity.
366 For consistency with the C treatment, we will treat it as an
367 anonymous modular (unsigned) quantity. Alas, the types are such
368 that we need to store .val as a signed quantity. Sorry
369 for the mess, but C doesn't officially guarantee that a simple
370 assignment does the trick (no, it doesn't; read the reference manual).
372 yylval.typed_val.type
373 = builtin_type (parse_gdbarch)->builtin_unsigned_long;
374 if (result & LONGEST_SIGN)
375 yylval.typed_val.val =
376 (LONGEST) (result & ~LONGEST_SIGN)
377 - (LONGEST_SIGN>>1) - (LONGEST_SIGN>>1);
379 yylval.typed_val.val = (LONGEST) result;
383 yylval.typed_val.type = type_long_long ();
385 yylval.typed_val.val = (LONGEST) result;
390 processReal (const char *num0)
392 sscanf (num0, "%" DOUBLEST_SCAN_FORMAT, &yylval.typed_val_float.dval);
394 yylval.typed_val_float.type = type_float ();
395 if (sizeof(DOUBLEST) >= gdbarch_double_bit (parse_gdbarch)
397 yylval.typed_val_float.type = type_double ();
398 if (sizeof(DOUBLEST) >= gdbarch_long_double_bit (parse_gdbarch)
400 yylval.typed_val_float.type = type_long_double ();
406 /* Store a canonicalized version of NAME0[0..LEN-1] in yylval.ssym. The
407 resulting string is valid until the next call to ada_parse. It differs
409 + Characters between '...' or <...> are transfered verbatim to
411 + <, >, and trailing "'" characters in quoted sequences are removed
412 (a leading quote is preserved to indicate that the name is not to be
414 + Unquoted whitespace is removed.
415 + Unquoted alphabetic characters are mapped to lower case.
416 Result is returned as a struct stoken, but for convenience, the string
417 is also null-terminated. Result string valid until the next call of
421 processId (const char *name0, int len)
423 char *name = obstack_alloc (&temp_parse_space, len + 11);
425 struct stoken result;
427 while (len > 0 && isspace (name0[len-1]))
432 if (isalnum (name0[i0]))
434 name[i] = tolower (name0[i0]);
437 else switch (name0[i0])
452 while (i0 < len && name0[i0] != '\'');
457 while (i0 < len && name0[i0] != '>')
473 /* Return TEXT[0..LEN-1], a string literal without surrounding quotes,
474 with special hex character notations replaced with characters.
475 Result valid until the next call to ada_parse. */
478 processString (const char *text, int len)
482 const char *lim = text + len;
483 struct stoken result;
485 q = result.ptr = obstack_alloc (&temp_parse_space, len);
489 if (p[0] == '[' && p[1] == '"' && p+2 < lim)
491 if (p[2] == '"') /* "...["""]... */
499 sscanf (p+2, "%2x", &chr);
509 result.length = q - result.ptr;
513 /* Returns the position within STR of the '.' in a
514 '.{WHITE}*all' component of a dotted name, or -1 if there is none.
515 Note: we actually don't need this routine, since 'all' can never be an
516 Ada identifier. Thus, looking up foo.all or foo.all.x as a name
517 must fail, and will eventually be interpreted as (foo).all or
518 (foo).all.x. However, this does avoid an extraneous lookup. */
521 find_dot_all (const char *str)
524 for (i = 0; str[i] != '\000'; i += 1)
531 while (isspace (str[i]));
532 if (strncmp (str+i, "all", 3) == 0
533 && ! isalnum (str[i+3]) && str[i+3] != '_')
540 /* Returns non-zero iff string SUBSEQ matches a subsequence of STR, ignoring
544 subseqMatch (const char *subseq, const char *str)
546 if (subseq[0] == '\0')
548 else if (str[0] == '\0')
550 else if (tolower (subseq[0]) == tolower (str[0]))
551 return subseqMatch (subseq+1, str+1) || subseqMatch (subseq, str+1);
553 return subseqMatch (subseq, str+1);
557 static struct { const char *name; int code; }
559 { "address", TICK_ADDRESS },
560 { "unchecked_access", TICK_ACCESS },
561 { "unrestricted_access", TICK_ACCESS },
562 { "access", TICK_ACCESS },
563 { "first", TICK_FIRST },
564 { "last", TICK_LAST },
565 { "length", TICK_LENGTH },
568 { "modulus", TICK_MODULUS },
570 { "range", TICK_RANGE },
571 { "size", TICK_SIZE },
577 /* Return the syntactic code corresponding to the attribute name or
581 processAttribute (const char *str)
585 for (i = 0; attributes[i].code != -1; i += 1)
586 if (strcasecmp (str, attributes[i].name) == 0)
587 return attributes[i].code;
589 for (i = 0, k = -1; attributes[i].code != -1; i += 1)
590 if (subseqMatch (str, attributes[i].name))
595 error (_("ambiguous attribute name: `%s'"), str);
598 error (_("unrecognized attribute: `%s'"), str);
600 return attributes[k].code;
609 /* Dummy definition to suppress warnings about unused static definitions. */
610 typedef void (*dummy_function) ();
611 dummy_function ada_flex_use[] =
613 (dummy_function) yyunput