mirror of
https://sourceware.org/git/binutils-gdb.git
synced 2024-12-21 04:42:53 +08:00
4c4b4cd2ff
ada-lang.c: Ditto. ada-lang.h: Ditto. ada-lex.l: Ditto. ada-tasks.c: Ditto. ada-typeprint.c: Ditto. ada-valprint.c: Ditto.
925 lines
23 KiB
Plaintext
925 lines
23 KiB
Plaintext
/* FLEX lexer for Ada expressions, for GDB.
|
|
Copyright (C) 1994, 1997, 1998, 2000, 2001, 2002, 2003
|
|
Free Software Foundation, Inc.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to the Free Software
|
|
Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. */
|
|
|
|
/*----------------------------------------------------------------------*/
|
|
|
|
/* The converted version of this file is to be included in ada-exp.y, */
|
|
/* the Ada parser for gdb. The function yylex obtains characters from */
|
|
/* the global pointer lexptr. It returns a syntactic category for */
|
|
/* each successive token and places a semantic value into yylval */
|
|
/* (ada-lval), defined by the parser. */
|
|
|
|
/* Run flex with (at least) the -i option (case-insensitive), and the -I */
|
|
/* option (interactive---no unnecessary lookahead). */
|
|
|
|
DIG [0-9]
|
|
NUM10 ({DIG}({DIG}|_)*)
|
|
HEXDIG [0-9a-f]
|
|
NUM16 ({HEXDIG}({HEXDIG}|_)*)
|
|
OCTDIG [0-7]
|
|
LETTER [a-z_]
|
|
ID ({LETTER}({LETTER}|{DIG})*|"<"{LETTER}({LETTER}|{DIG})*">")
|
|
WHITE [ \t\n]
|
|
TICK ("'"{WHITE}*)
|
|
GRAPHIC [a-z0-9 #&'()*+,-./:;<>=_|!$%?@\[\]\\^`{}~]
|
|
OPER ([-+*/=<>&]|"<="|">="|"**"|"/="|"and"|"or"|"xor"|"not"|"mod"|"rem"|"abs")
|
|
|
|
EXP (e[+-]{NUM10})
|
|
POSEXP (e"+"?{NUM10})
|
|
|
|
%{
|
|
#define malloc xmalloc
|
|
#define free xfree
|
|
|
|
#define NUMERAL_WIDTH 256
|
|
#define LONGEST_SIGN ((ULONGEST) 1 << (sizeof(LONGEST) * HOST_CHAR_BIT - 1))
|
|
|
|
/* Temporary staging for numeric literals. */
|
|
static char numbuf[NUMERAL_WIDTH];
|
|
static void canonicalizeNumeral (char *s1, const char *);
|
|
static int processInt (const char *, const char *, const char *);
|
|
static int processReal (const char *);
|
|
static int processId (const char *, int);
|
|
static int processAttribute (const char *);
|
|
static int find_dot_all (const char *);
|
|
|
|
#undef YY_DECL
|
|
#define YY_DECL static int yylex ( void )
|
|
|
|
#undef YY_INPUT
|
|
#define YY_INPUT(BUF, RESULT, MAX_SIZE) \
|
|
if ( *lexptr == '\000' ) \
|
|
(RESULT) = YY_NULL; \
|
|
else \
|
|
{ \
|
|
*(BUF) = *lexptr; \
|
|
(RESULT) = 1; \
|
|
lexptr += 1; \
|
|
}
|
|
|
|
static char *tempbuf = NULL;
|
|
static int tempbufsize = 0;
|
|
static int tempbuf_len;
|
|
static struct block *left_block_context;
|
|
|
|
static void resize_tempbuf (unsigned int);
|
|
|
|
static void block_lookup (char *, char *);
|
|
|
|
static int name_lookup (char *, char *, int *, int);
|
|
|
|
static int find_dot_all (const char *);
|
|
|
|
%}
|
|
|
|
%s IN_STRING BEFORE_QUAL_QUOTE
|
|
|
|
%%
|
|
|
|
{WHITE} { }
|
|
|
|
"--".* { yyterminate(); }
|
|
|
|
{NUM10}{POSEXP} {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processInt (NULL, numbuf, strrchr(numbuf, 'e')+1);
|
|
}
|
|
|
|
{NUM10} {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processInt (NULL, numbuf, NULL);
|
|
}
|
|
|
|
{NUM10}"#"{HEXDIG}({HEXDIG}|_)*"#"{POSEXP} {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processInt (numbuf,
|
|
strchr (numbuf, '#') + 1,
|
|
strrchr(numbuf, '#') + 1);
|
|
}
|
|
|
|
{NUM10}"#"{HEXDIG}({HEXDIG}|_)*"#" {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processInt (numbuf, strchr (numbuf, '#') + 1, NULL);
|
|
}
|
|
|
|
"0x"{HEXDIG}+ {
|
|
canonicalizeNumeral (numbuf, yytext+2);
|
|
return processInt ("16#", numbuf, NULL);
|
|
}
|
|
|
|
|
|
{NUM10}"."{NUM10}{EXP} {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processReal (numbuf);
|
|
}
|
|
|
|
{NUM10}"."{NUM10} {
|
|
canonicalizeNumeral (numbuf, yytext);
|
|
return processReal (numbuf);
|
|
}
|
|
|
|
{NUM10}"#"{NUM16}"."{NUM16}"#"{EXP} {
|
|
error ("Based real literals not implemented yet.");
|
|
}
|
|
|
|
{NUM10}"#"{NUM16}"."{NUM16}"#" {
|
|
error ("Based real literals not implemented yet.");
|
|
}
|
|
|
|
<INITIAL>"'"({GRAPHIC}|\")"'" {
|
|
yylval.typed_val.type = builtin_type_ada_char;
|
|
yylval.typed_val.val = yytext[1];
|
|
return CHARLIT;
|
|
}
|
|
|
|
<INITIAL>"'[\""{HEXDIG}{2}"\"]'" {
|
|
int v;
|
|
yylval.typed_val.type = builtin_type_ada_char;
|
|
sscanf (yytext+3, "%2x", &v);
|
|
yylval.typed_val.val = v;
|
|
return CHARLIT;
|
|
}
|
|
|
|
\"{OPER}\"/{WHITE}*"(" { return processId (yytext, yyleng); }
|
|
|
|
<INITIAL>\" {
|
|
tempbuf_len = 0;
|
|
BEGIN IN_STRING;
|
|
}
|
|
|
|
<IN_STRING>{GRAPHIC}*\" {
|
|
resize_tempbuf (yyleng+tempbuf_len);
|
|
strncpy (tempbuf+tempbuf_len, yytext, yyleng-1);
|
|
tempbuf_len += yyleng-1;
|
|
yylval.sval.ptr = tempbuf;
|
|
yylval.sval.length = tempbuf_len;
|
|
BEGIN INITIAL;
|
|
return STRING;
|
|
}
|
|
|
|
<IN_STRING>{GRAPHIC}*"[\""{HEXDIG}{2}"\"]" {
|
|
int n;
|
|
resize_tempbuf (yyleng-5+tempbuf_len+1);
|
|
strncpy (tempbuf+tempbuf_len, yytext, yyleng-6);
|
|
sscanf(yytext+yyleng-4, "%2x", &n);
|
|
tempbuf[yyleng-6+tempbuf_len] = (char) n;
|
|
tempbuf_len += yyleng-5;
|
|
}
|
|
|
|
<IN_STRING>{GRAPHIC}*"[\"\"\"]" {
|
|
int n;
|
|
resize_tempbuf (yyleng-4+tempbuf_len+1);
|
|
strncpy (tempbuf+tempbuf_len, yytext, yyleng-6);
|
|
tempbuf[yyleng-5+tempbuf_len] = '"';
|
|
tempbuf_len += yyleng-4;
|
|
}
|
|
|
|
if {
|
|
while (*lexptr != 'i' && *lexptr != 'I')
|
|
lexptr -= 1;
|
|
yyrestart(NULL);
|
|
return 0;
|
|
}
|
|
|
|
/* ADA KEYWORDS */
|
|
|
|
abs { return ABS; }
|
|
and { return _AND_; }
|
|
else { return ELSE; }
|
|
in { return IN; }
|
|
mod { return MOD; }
|
|
new { return NEW; }
|
|
not { return NOT; }
|
|
null { return NULL_PTR; }
|
|
or { return OR; }
|
|
rem { return REM; }
|
|
then { return THEN; }
|
|
xor { return XOR; }
|
|
|
|
/* ATTRIBUTES */
|
|
|
|
{TICK}[a-zA-Z][a-zA-Z]+ { return processAttribute (yytext+1); }
|
|
|
|
/* PUNCTUATION */
|
|
|
|
"=>" { return ARROW; }
|
|
".." { return DOTDOT; }
|
|
"**" { return STARSTAR; }
|
|
":=" { return ASSIGN; }
|
|
"/=" { return NOTEQUAL; }
|
|
"<=" { return LEQ; }
|
|
">=" { return GEQ; }
|
|
|
|
<BEFORE_QUAL_QUOTE>"'" { BEGIN INITIAL; return '\''; }
|
|
|
|
[-&*+./:<>=|;\[\]] { return yytext[0]; }
|
|
|
|
"," { if (paren_depth == 0 && comma_terminates)
|
|
{
|
|
lexptr -= 1;
|
|
yyrestart(NULL);
|
|
return 0;
|
|
}
|
|
else
|
|
return ',';
|
|
}
|
|
|
|
"(" { paren_depth += 1; return '('; }
|
|
")" { if (paren_depth == 0)
|
|
{
|
|
lexptr -= 1;
|
|
yyrestart(NULL);
|
|
return 0;
|
|
}
|
|
else
|
|
{
|
|
paren_depth -= 1;
|
|
return ')';
|
|
}
|
|
}
|
|
|
|
"."{WHITE}*all { return DOT_ALL; }
|
|
|
|
"."{WHITE}*{ID} {
|
|
processId (yytext+1, yyleng-1);
|
|
return DOT_ID;
|
|
}
|
|
|
|
{ID}({WHITE}*"."{WHITE}*({ID}|\"{OPER}\"))*(" "*"'")? {
|
|
int all_posn = find_dot_all (yytext);
|
|
int token_type, segments, k;
|
|
int quote_follows;
|
|
|
|
if (all_posn == -1 && yytext[yyleng-1] == '\'')
|
|
{
|
|
quote_follows = 1;
|
|
do {
|
|
yyless (yyleng-1);
|
|
} while (yytext[yyleng-1] == ' ');
|
|
}
|
|
else
|
|
quote_follows = 0;
|
|
|
|
if (all_posn >= 0)
|
|
yyless (all_posn);
|
|
processId(yytext, yyleng);
|
|
segments = name_lookup (ada_encode (yylval.ssym.stoken.ptr),
|
|
yylval.ssym.stoken.ptr,
|
|
&token_type,
|
|
MAX_RENAMING_CHAIN_LENGTH);
|
|
left_block_context = NULL;
|
|
for (k = yyleng; segments > 0 && k > 0; k -= 1)
|
|
{
|
|
if (yytext[k-1] == '.')
|
|
segments -= 1;
|
|
quote_follows = 0;
|
|
}
|
|
if (k <= 0)
|
|
error ("confused by name %s", yytext);
|
|
yyless (k);
|
|
if (quote_follows)
|
|
BEGIN BEFORE_QUAL_QUOTE;
|
|
return token_type;
|
|
}
|
|
|
|
/* GDB EXPRESSION CONSTRUCTS */
|
|
|
|
|
|
"'"[^']+"'"{WHITE}*:: {
|
|
processId(yytext, yyleng-2);
|
|
block_lookup (yylval.ssym.stoken.ptr, yylval.ssym.stoken.ptr);
|
|
return BLOCKNAME;
|
|
}
|
|
|
|
{ID}({WHITE}*"."{WHITE}*({ID}|\"{OPER}\"))*{WHITE}*:: {
|
|
processId(yytext, yyleng-2);
|
|
block_lookup (ada_encode (yylval.ssym.stoken.ptr),
|
|
yylval.ssym.stoken.ptr);
|
|
return BLOCKNAME;
|
|
}
|
|
|
|
[{}@] { return yytext[0]; }
|
|
|
|
/* REGISTERS AND GDB CONVENIENCE VARIABLES */
|
|
|
|
"$"({LETTER}|{DIG}|"$")* {
|
|
yylval.sval.ptr = yytext;
|
|
yylval.sval.length = yyleng;
|
|
return SPECIAL_VARIABLE;
|
|
}
|
|
|
|
/* CATCH-ALL ERROR CASE */
|
|
|
|
. { error ("Invalid character '%s' in expression.", yytext); }
|
|
%%
|
|
|
|
#include <ctype.h>
|
|
#include <string.h>
|
|
|
|
/* Initialize the lexer for processing new expression */
|
|
void
|
|
lexer_init (FILE *inp)
|
|
{
|
|
BEGIN INITIAL;
|
|
yyrestart (inp);
|
|
}
|
|
|
|
|
|
/* Make sure that tempbuf points at an array at least N characters long. */
|
|
|
|
static void
|
|
resize_tempbuf (unsigned int n)
|
|
{
|
|
if (tempbufsize < n)
|
|
{
|
|
tempbufsize = (n+63) & ~63;
|
|
tempbuf = (char *) xrealloc (tempbuf, tempbufsize);
|
|
}
|
|
}
|
|
|
|
/* Copy S2 to S1, removing all underscores, and downcasing all letters. */
|
|
|
|
static void
|
|
canonicalizeNumeral (char *s1, const char *s2)
|
|
{
|
|
for (; *s2 != '\000'; s2 += 1)
|
|
{
|
|
if (*s2 != '_')
|
|
{
|
|
*s1 = tolower(*s2);
|
|
s1 += 1;
|
|
}
|
|
}
|
|
s1[0] = '\000';
|
|
}
|
|
|
|
#define HIGH_BYTE_POSN ((sizeof (ULONGEST) - 1) * HOST_CHAR_BIT)
|
|
|
|
/* True (non-zero) iff DIGIT is a valid digit in radix BASE,
|
|
where 2 <= BASE <= 16. */
|
|
|
|
static int
|
|
is_digit_in_base (unsigned char digit, int base)
|
|
{
|
|
if (!isxdigit (digit))
|
|
return 0;
|
|
if (base <= 10)
|
|
return (isdigit (digit) && digit < base + '0');
|
|
else
|
|
return (isdigit (digit) || tolower (digit) < base - 10 + 'a');
|
|
}
|
|
|
|
static int
|
|
digit_to_int (unsigned char c)
|
|
{
|
|
if (isdigit (c))
|
|
return c - '0';
|
|
else
|
|
return tolower (c) - 'a' + 10;
|
|
}
|
|
|
|
/* As for strtoul, but for ULONGEST results. */
|
|
ULONGEST
|
|
strtoulst (const char *num, const char **trailer, int base)
|
|
{
|
|
unsigned int high_part;
|
|
ULONGEST result;
|
|
int i;
|
|
unsigned char lim;
|
|
|
|
if (base < 2 || base > 16)
|
|
{
|
|
errno = EINVAL;
|
|
return 0;
|
|
}
|
|
lim = base - 1 + '0';
|
|
|
|
result = high_part = 0;
|
|
for (i = 0; is_digit_in_base (num[i], base); i += 1)
|
|
{
|
|
result = result*base + digit_to_int (num[i]);
|
|
high_part = high_part*base + (unsigned int) (result >> HIGH_BYTE_POSN);
|
|
result &= ((ULONGEST) 1 << HIGH_BYTE_POSN) - 1;
|
|
if (high_part > 0xff)
|
|
{
|
|
errno = ERANGE;
|
|
result = high_part = 0;
|
|
break;
|
|
}
|
|
}
|
|
|
|
if (trailer != NULL)
|
|
*trailer = &num[i];
|
|
|
|
return result + ((ULONGEST) high_part << HIGH_BYTE_POSN);
|
|
}
|
|
|
|
|
|
|
|
/* Interprets the prefix of NUM that consists of digits of the given BASE
|
|
as an integer of that BASE, with the string EXP as an exponent.
|
|
Puts value in yylval, and returns INT, if the string is valid. Causes
|
|
an error if the number is improperly formated. BASE, if NULL, defaults
|
|
to "10", and EXP to "1". The EXP does not contain a leading 'e' or 'E'. */
|
|
|
|
static int
|
|
processInt (const char *base0, const char *num0, const char *exp0)
|
|
{
|
|
ULONGEST result;
|
|
long exp;
|
|
int base;
|
|
|
|
char *trailer;
|
|
|
|
if (base0 == NULL)
|
|
base = 10;
|
|
else
|
|
{
|
|
base = strtol (base0, (char **) NULL, 10);
|
|
if (base < 2 || base > 16)
|
|
error ("Invalid base: %d.", base);
|
|
}
|
|
|
|
if (exp0 == NULL)
|
|
exp = 0;
|
|
else
|
|
exp = strtol(exp0, (char **) NULL, 10);
|
|
|
|
errno = 0;
|
|
result = strtoulst (num0, (const char **) &trailer, base);
|
|
if (errno == ERANGE)
|
|
error ("Integer literal out of range");
|
|
if (isxdigit(*trailer))
|
|
error ("Invalid digit `%c' in based literal", *trailer);
|
|
|
|
while (exp > 0)
|
|
{
|
|
if (result > (ULONG_MAX / base))
|
|
error ("Integer literal out of range");
|
|
result *= base;
|
|
exp -= 1;
|
|
}
|
|
|
|
if ((result >> (TARGET_INT_BIT-1)) == 0)
|
|
yylval.typed_val.type = builtin_type_ada_int;
|
|
else if ((result >> (TARGET_LONG_BIT-1)) == 0)
|
|
yylval.typed_val.type = builtin_type_ada_long;
|
|
else if (((result >> (TARGET_LONG_BIT-1)) >> 1) == 0)
|
|
{
|
|
/* We have a number representable as an unsigned integer quantity.
|
|
For consistency with the C treatment, we will treat it as an
|
|
anonymous modular (unsigned) quantity. Alas, the types are such
|
|
that we need to store .val as a signed quantity. Sorry
|
|
for the mess, but C doesn't officially guarantee that a simple
|
|
assignment does the trick (no, it doesn't; read the reference manual).
|
|
*/
|
|
yylval.typed_val.type = builtin_type_unsigned_long;
|
|
if (result & LONGEST_SIGN)
|
|
yylval.typed_val.val =
|
|
(LONGEST) (result & ~LONGEST_SIGN)
|
|
- (LONGEST_SIGN>>1) - (LONGEST_SIGN>>1);
|
|
else
|
|
yylval.typed_val.val = (LONGEST) result;
|
|
return INT;
|
|
}
|
|
else
|
|
yylval.typed_val.type = builtin_type_ada_long_long;
|
|
|
|
yylval.typed_val.val = (LONGEST) result;
|
|
return INT;
|
|
}
|
|
|
|
#if defined (PRINTF_HAS_LONG_DOUBLE)
|
|
# undef PRINTF_HAS_LONG_DOUBLE
|
|
# define PRINTF_HAS_LONG_DOUBLE 1
|
|
#else
|
|
# define PRINTF_HAS_LONG_DOUBLE 0
|
|
#endif
|
|
|
|
static int
|
|
processReal (const char *num0)
|
|
{
|
|
#if defined (PRINTF_HAS_LONG_DOUBLE)
|
|
if (sizeof (DOUBLEST) > sizeof (double))
|
|
sscanf (num0, "%Lg", &yylval.typed_val_float.dval);
|
|
else
|
|
#endif
|
|
{
|
|
double temp;
|
|
sscanf (num0, "%lg", &temp);
|
|
yylval.typed_val_float.dval = temp;
|
|
}
|
|
|
|
yylval.typed_val_float.type = builtin_type_ada_float;
|
|
if (sizeof(DOUBLEST) >= TARGET_DOUBLE_BIT / TARGET_CHAR_BIT)
|
|
yylval.typed_val_float.type = builtin_type_ada_double;
|
|
if (sizeof(DOUBLEST) >= TARGET_LONG_DOUBLE_BIT / TARGET_CHAR_BIT)
|
|
yylval.typed_val_float.type = builtin_type_ada_long_double;
|
|
|
|
return FLOAT;
|
|
}
|
|
|
|
static int
|
|
processId (const char *name0, int len)
|
|
{
|
|
char *name = obstack_alloc (&temp_parse_space, len + 11);
|
|
int i0, i;
|
|
|
|
while (len > 0 && isspace (name0[len-1]))
|
|
len -= 1;
|
|
i = i0 = 0;
|
|
while (i0 < len)
|
|
{
|
|
if (isalnum (name0[i0]))
|
|
{
|
|
name[i] = tolower (name0[i0]);
|
|
i += 1; i0 += 1;
|
|
}
|
|
else switch (name0[i0])
|
|
{
|
|
default:
|
|
name[i] = name0[i0];
|
|
i += 1; i0 += 1;
|
|
break;
|
|
case ' ': case '\t':
|
|
i0 += 1;
|
|
break;
|
|
case '\'':
|
|
i0 += 1;
|
|
while (i0 < len && name0[i0] != '\'')
|
|
{
|
|
name[i] = name0[i0];
|
|
i += 1; i0 += 1;
|
|
}
|
|
i0 += 1;
|
|
break;
|
|
case '<':
|
|
i0 += 1;
|
|
while (i0 < len && name0[i0] != '>')
|
|
{
|
|
name[i] = name0[i0];
|
|
i += 1; i0 += 1;
|
|
}
|
|
i0 += 1;
|
|
break;
|
|
}
|
|
}
|
|
name[i] = '\000';
|
|
|
|
yylval.ssym.sym = NULL;
|
|
yylval.ssym.stoken.ptr = name;
|
|
yylval.ssym.stoken.length = i;
|
|
return NAME;
|
|
}
|
|
|
|
static void
|
|
block_lookup (char *name, char *err_name)
|
|
{
|
|
struct ada_symbol_info *syms;
|
|
int nsyms;
|
|
struct symtab *symtab;
|
|
nsyms = ada_lookup_symbol_list (name, left_block_context,
|
|
VAR_DOMAIN, &syms);
|
|
if (left_block_context == NULL &&
|
|
(nsyms == 0 || SYMBOL_CLASS (syms[0].sym) != LOC_BLOCK))
|
|
symtab = lookup_symtab (name);
|
|
else
|
|
symtab = NULL;
|
|
|
|
if (symtab != NULL)
|
|
left_block_context = yylval.bval =
|
|
BLOCKVECTOR_BLOCK (BLOCKVECTOR (symtab), STATIC_BLOCK);
|
|
else if (nsyms == 0 || SYMBOL_CLASS (syms[0].sym) != LOC_BLOCK)
|
|
{
|
|
if (left_block_context == NULL)
|
|
error ("No file or function \"%s\".", err_name);
|
|
else
|
|
error ("No function \"%s\" in specified context.", err_name);
|
|
}
|
|
else
|
|
{
|
|
left_block_context = yylval.bval = SYMBOL_BLOCK_VALUE (syms[0].sym);
|
|
if (nsyms > 1)
|
|
warning ("Function name \"%s\" ambiguous here", err_name);
|
|
}
|
|
}
|
|
|
|
/* Look up NAME0 (assumed to be encoded) as a name in VAR_DOMAIN,
|
|
setting *TOKEN_TYPE to NAME or TYPENAME, depending on what is
|
|
found. Try first the entire name, then the name without the last
|
|
segment (i.e., after the last .id), etc., and return the number of
|
|
segments that had to be removed to get a match. Try only the full
|
|
name if it starts with "standard__". Calls error if no
|
|
matches are found, using ERR_NAME in any error message. When
|
|
exactly one symbol match is found, it is placed in yylval. When
|
|
the symbol is a renaming, follow at most DEPTH steps to find the
|
|
ultimate definition; cause error if depth exceeded. */
|
|
|
|
static int
|
|
name_lookup (char *name0, char *err_name, int *token_type, int depth)
|
|
{
|
|
struct ada_symbol_info *syms;
|
|
struct type *type;
|
|
int len0 = strlen (name0);
|
|
char *name = obsavestring (name0, len0, &temp_parse_space);
|
|
int nsyms;
|
|
int segments;
|
|
|
|
if (depth <= 0)
|
|
error ("Could not find renamed symbol \"%s\"", err_name);
|
|
|
|
yylval.ssym.stoken.ptr = name;
|
|
yylval.ssym.stoken.length = strlen (name);
|
|
for (segments = 0; ; segments += 1)
|
|
{
|
|
struct type *preferred_type;
|
|
int i, preferred_index;
|
|
|
|
if (left_block_context == NULL)
|
|
nsyms = ada_lookup_symbol_list (name, expression_context_block,
|
|
VAR_DOMAIN, &syms);
|
|
else
|
|
nsyms = ada_lookup_symbol_list (name, left_block_context,
|
|
VAR_DOMAIN, &syms);
|
|
|
|
|
|
/* Check for a type renaming. */
|
|
|
|
if (nsyms == 1 && !ada_is_object_renaming (syms[0].sym))
|
|
{
|
|
struct symbol *renaming_sym =
|
|
ada_find_renaming_symbol (SYMBOL_LINKAGE_NAME (syms[0].sym),
|
|
syms[0].block);
|
|
|
|
if (renaming_sym != NULL)
|
|
syms[0].sym = renaming_sym;
|
|
}
|
|
|
|
/* Check for a type definition. */
|
|
|
|
/* Look for a symbol that doesn't denote void. This is (I think) a */
|
|
/* temporary kludge to get around problems in GNAT output. */
|
|
preferred_index = -1; preferred_type = NULL;
|
|
for (i = 0; i < nsyms; i += 1)
|
|
switch (SYMBOL_CLASS (syms[i].sym))
|
|
{
|
|
case LOC_TYPEDEF:
|
|
if (ada_prefer_type (SYMBOL_TYPE (syms[i].sym), preferred_type))
|
|
{
|
|
preferred_index = i;
|
|
preferred_type = SYMBOL_TYPE (syms[i].sym);
|
|
}
|
|
break;
|
|
case LOC_REGISTER:
|
|
case LOC_ARG:
|
|
case LOC_REF_ARG:
|
|
case LOC_REGPARM:
|
|
case LOC_REGPARM_ADDR:
|
|
case LOC_LOCAL:
|
|
case LOC_LOCAL_ARG:
|
|
case LOC_BASEREG:
|
|
case LOC_BASEREG_ARG:
|
|
case LOC_COMPUTED:
|
|
case LOC_COMPUTED_ARG:
|
|
goto NotType;
|
|
default:
|
|
break;
|
|
}
|
|
if (preferred_type != NULL)
|
|
{
|
|
if (TYPE_CODE (preferred_type) == TYPE_CODE_VOID)
|
|
error ("`%s' matches only void type name(s)",
|
|
ada_decode (name));
|
|
else if (ada_is_object_renaming (syms[preferred_index].sym))
|
|
{
|
|
yylval.ssym.sym = syms[preferred_index].sym;
|
|
*token_type = OBJECT_RENAMING;
|
|
return segments;
|
|
}
|
|
else if (ada_renaming_type (SYMBOL_TYPE (syms[preferred_index].sym))
|
|
!= NULL)
|
|
{
|
|
int result;
|
|
char *renaming
|
|
= ada_simple_renamed_entity (syms[preferred_index].sym);
|
|
char *new_name
|
|
= (char *) obstack_alloc (&temp_parse_space,
|
|
strlen (renaming) + len0
|
|
- yylval.ssym.stoken.length + 1);
|
|
strcpy (new_name, renaming);
|
|
free (renaming);
|
|
strcat (new_name, name0 + yylval.ssym.stoken.length);
|
|
result = name_lookup (new_name, err_name, token_type, depth - 1);
|
|
if (result > segments)
|
|
error ("Confused by renamed symbol.");
|
|
return result;
|
|
}
|
|
else if (segments == 0)
|
|
{
|
|
yylval.tval = preferred_type;
|
|
*token_type = TYPENAME;
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
if (segments == 0)
|
|
{
|
|
type = lookup_primitive_typename (name);
|
|
if (type == NULL && strcmp ("system__address", name) == 0)
|
|
type = builtin_type_ada_system_address;
|
|
if (type != NULL)
|
|
{
|
|
/* First check to see if we have a regular definition of this
|
|
type that just didn't happen to have been read yet. */
|
|
int ntypes;
|
|
struct symbol *sym;
|
|
char *expanded_name =
|
|
(char *) alloca (strlen (name) + sizeof ("standard__"));
|
|
strcpy (expanded_name, "standard__");
|
|
strcat (expanded_name, name);
|
|
sym = ada_lookup_symbol (expanded_name, NULL,
|
|
VAR_DOMAIN, NULL, NULL);
|
|
if (sym != NULL && SYMBOL_CLASS (sym) == LOC_TYPEDEF)
|
|
type = SYMBOL_TYPE (sym);
|
|
|
|
yylval.tval = type;
|
|
*token_type = TYPENAME;
|
|
return 0;
|
|
}
|
|
}
|
|
|
|
NotType:
|
|
if (nsyms == 1)
|
|
{
|
|
*token_type = NAME;
|
|
yylval.ssym.sym = syms[0].sym;
|
|
yylval.ssym.msym = NULL;
|
|
yylval.ssym.block = syms[0].block;
|
|
return segments;
|
|
}
|
|
else if (nsyms == 0) {
|
|
int i;
|
|
yylval.ssym.msym = ada_lookup_simple_minsym (name);
|
|
if (yylval.ssym.msym != NULL)
|
|
{
|
|
yylval.ssym.sym = NULL;
|
|
yylval.ssym.block = NULL;
|
|
*token_type = NAME;
|
|
return segments;
|
|
}
|
|
|
|
if (segments == 0
|
|
&& strncmp (name, "standard__", sizeof ("standard__") - 1) == 0)
|
|
error ("No definition of \"%s\" found.", err_name);
|
|
|
|
for (i = yylval.ssym.stoken.length - 1; i > 0; i -= 1)
|
|
{
|
|
if (name[i] == '.')
|
|
{
|
|
name[i] = '\0';
|
|
yylval.ssym.stoken.length = i;
|
|
break;
|
|
}
|
|
else if (name[i] == '_' && name[i-1] == '_')
|
|
{
|
|
i -= 1;
|
|
name[i] = '\0';
|
|
yylval.ssym.stoken.length = i;
|
|
break;
|
|
}
|
|
}
|
|
if (i <= 0)
|
|
{
|
|
if (!have_full_symbols () && !have_partial_symbols ()
|
|
&& left_block_context == NULL)
|
|
error ("No symbol table is loaded. Use the \"file\" command.");
|
|
if (left_block_context == NULL)
|
|
error ("No definition of \"%s\" in current context.",
|
|
err_name);
|
|
else
|
|
error ("No definition of \"%s\" in specified context.",
|
|
err_name);
|
|
}
|
|
}
|
|
else
|
|
{
|
|
*token_type = NAME;
|
|
yylval.ssym.sym = NULL;
|
|
yylval.ssym.msym = NULL;
|
|
if (left_block_context == NULL)
|
|
yylval.ssym.block = expression_context_block;
|
|
else
|
|
yylval.ssym.block = left_block_context;
|
|
return segments;
|
|
}
|
|
}
|
|
}
|
|
|
|
/* Returns the position within STR of the '.' in a
|
|
'.{WHITE}*all' component of a dotted name, or -1 if there is none. */
|
|
static int
|
|
find_dot_all (const char *str)
|
|
{
|
|
int i;
|
|
for (i = 0; str[i] != '\000'; i += 1)
|
|
{
|
|
if (str[i] == '.')
|
|
{
|
|
int i0 = i;
|
|
do
|
|
i += 1;
|
|
while (isspace (str[i]));
|
|
if (strcmp (str+i, "all") == 0
|
|
&& ! isalnum (str[i+3]) && str[i+3] != '_')
|
|
return i0;
|
|
}
|
|
}
|
|
return -1;
|
|
}
|
|
|
|
/* Returns non-zero iff string SUBSEQ matches a subsequence of STR, ignoring
|
|
case. */
|
|
|
|
static int
|
|
subseqMatch (const char *subseq, const char *str)
|
|
{
|
|
if (subseq[0] == '\0')
|
|
return 1;
|
|
else if (str[0] == '\0')
|
|
return 0;
|
|
else if (tolower (subseq[0]) == tolower (str[0]))
|
|
return subseqMatch (subseq+1, str+1) || subseqMatch (subseq, str+1);
|
|
else
|
|
return subseqMatch (subseq, str+1);
|
|
}
|
|
|
|
|
|
static struct { const char *name; int code; }
|
|
attributes[] = {
|
|
{ "address", TICK_ADDRESS },
|
|
{ "unchecked_access", TICK_ACCESS },
|
|
{ "unrestricted_access", TICK_ACCESS },
|
|
{ "access", TICK_ACCESS },
|
|
{ "first", TICK_FIRST },
|
|
{ "last", TICK_LAST },
|
|
{ "length", TICK_LENGTH },
|
|
{ "max", TICK_MAX },
|
|
{ "min", TICK_MIN },
|
|
{ "modulus", TICK_MODULUS },
|
|
{ "pos", TICK_POS },
|
|
{ "range", TICK_RANGE },
|
|
{ "size", TICK_SIZE },
|
|
{ "tag", TICK_TAG },
|
|
{ "val", TICK_VAL },
|
|
{ NULL, -1 }
|
|
};
|
|
|
|
/* Return the syntactic code corresponding to the attribute name or
|
|
abbreviation STR. */
|
|
|
|
static int
|
|
processAttribute (const char *str)
|
|
{
|
|
int i, k;
|
|
|
|
for (i = 0; attributes[i].code != -1; i += 1)
|
|
if (strcasecmp (str, attributes[i].name) == 0)
|
|
return attributes[i].code;
|
|
|
|
for (i = 0, k = -1; attributes[i].code != -1; i += 1)
|
|
if (subseqMatch (str, attributes[i].name))
|
|
{
|
|
if (k == -1)
|
|
k = i;
|
|
else
|
|
error ("ambiguous attribute name: `%s'", str);
|
|
}
|
|
if (k == -1)
|
|
error ("unrecognized attribute: `%s'", str);
|
|
|
|
return attributes[k].code;
|
|
}
|
|
|
|
int
|
|
yywrap(void)
|
|
{
|
|
return 1;
|
|
}
|