/* scan-decls.c - Extracts declarations from cpp output.
- Copyright (C) 1993 Free Software Foundation, Inc.
+ Copyright (C) 1993, 1995, 97-99, 2000 Free Software Foundation, Inc.
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
You should have received a copy of the GNU General Public License
along with this program; if not, write to the Free Software
-Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
+Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
-/* This filter scans a C source file (actually, the output of cpp).
- It looks for function declaration. For each declaration, it prints:
+ Written by Per Bothner <bothner@cygnus.com>, July 1993. */
- NAME;C;RTYPE;ARGS;FILENAME;LINENO;
-
- NAME is the function's name.
- C is "F" if the declaration is nested inside 'extern "C"' braces;
- otherwise "f".
- RTYPE is the function's return type.
- ARGS is the function's argument list.
- FILENAME and LINENO is where the declarations was seen
- (taking #-directives into account).
-
- Also:
-
- NAME;M;
- indicates that the macro NAME was seen (when invoked from fixproto).
- NAME;X;TYPE;
- indicates that 'extern TYPE NAME;' was seen.
-
- Written by Per Bothner <bothner@cygnus.com>, July 1993.
- */
-
-#include <stdio.h>
-#include <ctype.h>
+#include "hconfig.h"
+#include "system.h"
+#include "cpplib.h"
#include "scan.h"
-sstring buf;
-sstring rtype;
+static void skip_to_closing_brace PARAMS ((cpp_reader *));
int brace_nesting = 0;
/* The first extern_C_braces_length elements of extern_C_braces
indicate the (brace nesting levels of) left braces that were
- prefixed by extern "C". */
+ prefixed by extern "C". */
int extern_C_braces_length = 0;
char extern_C_braces[20];
#define in_extern_C_brace (extern_C_braces_length>0)
/* True if the function declaration currently being scanned is
- prefixed by extern "C". */
+ prefixed by extern "C". */
int current_extern_C = 0;
+static void
+skip_to_closing_brace (pfile)
+ cpp_reader *pfile;
+{
+ int nesting = 1;
+ for (;;)
+ {
+ enum cpp_token token = cpp_get_token (pfile);
+ if (token == CPP_EOF)
+ break;
+ if (token == CPP_LBRACE)
+ nesting++;
+ if (token == CPP_RBRACE && --nesting == 0)
+ break;
+ }
+}
+
+/* This function scans a C source file (actually, the output of cpp),
+ reading from FP. It looks for function declarations, and
+ external variable declarations.
+
+ The following grammar (as well as some extra stuff) is recognized:
+
+ declaration:
+ (decl-specifier)* declarator ("," declarator)* ";"
+ decl-specifier:
+ identifier
+ keyword
+ extern "C"
+ declarator:
+ (ptr-operator)* dname [ "(" argument-declaration-list ")" ]
+ ptr-operator:
+ ("*" | "&") ("const" | "volatile")*
+ dname:
+ identifier
+
+Here dname is the actual name being declared.
+*/
+
int
-main ()
+scan_decls (pfile, argc, argv)
+ cpp_reader *pfile;
+ int argc ATTRIBUTE_UNUSED;
+ char **argv ATTRIBUTE_UNUSED;
{
- FILE *fp = stdin;
- int c;
- int saw_extern;
+ int saw_extern, saw_inline;
+ int start_written;
+ /* If declarator_start is non-zero, it marks the start of the current
+ declarator. If it is zero, we are either still parsing the
+ decl-specs, or prev_id_start marks the start of the declarator. */
+ int declarator_start;
+ int prev_id_start, prev_id_end = 0;
+ enum cpp_token token;
new_statement:
- c = get_token (fp, &buf);
+ CPP_SET_WRITTEN (pfile, 0);
+ start_written = 0;
+ token = cpp_get_token (pfile);
+
handle_statement:
current_extern_C = 0;
saw_extern = 0;
- if (c == '}')
+ saw_inline = 0;
+ if (token == CPP_RBRACE)
{
- /* pop an 'extern "C"' nesting level, if appropriate */
+ /* Pop an 'extern "C"' nesting level, if appropriate. */
if (extern_C_braces_length
&& extern_C_braces[extern_C_braces_length - 1] == brace_nesting)
extern_C_braces_length--;
brace_nesting--;
goto new_statement;
}
- if (c == '{')
+ if (token == CPP_LBRACE)
{
brace_nesting++;
goto new_statement;
}
- if (c == EOF)
+ if (token == CPP_EOF)
return 0;
- if (c == ';')
+ if (token == CPP_SEMICOLON)
goto new_statement;
- if (c != IDENTIFIER_TOKEN)
+ if (token != CPP_NAME)
goto new_statement;
- rtype.ptr = rtype.base;
- if (SSTRING_LENGTH (&buf) > 16
- && strncmp (buf.base, "__DEFINED_MACRO_", 16) == 0)
- {
- fprintf (stdout, "%s;M;\n", buf.base+16);
- goto new_statement;
- }
- if (strcmp (buf.base, "extern") == 0)
- {
- saw_extern = 1;
- c = get_token (fp, &buf);
- if (c == STRING_TOKEN && strcmp (buf.base, "C") == 0)
- {
- current_extern_C = 1;
- c = get_token (fp, &buf);
- if (c == '{')
- {
- brace_nesting++;
- extern_C_braces[extern_C_braces_length++] = brace_nesting;
- goto new_statement;
- }
- c = get_token (fp, &buf);
- }
- }
+
+ prev_id_start = 0;
+ declarator_start = 0;
for (;;)
{
- int followingc = getc (fp); /* char following token in buf */
- if (c == IDENTIFIER_TOKEN)
+ switch (token)
{
- int nextc = skip_spaces (fp, followingc);
- if (nextc == '(')
+ case CPP_LPAREN:
+ /* Looks like this is the start of a formal parameter list. */
+ if (prev_id_start)
{
int nesting = 1;
-
- MAKE_SSTRING_SPACE(&rtype, 1);
- *rtype.ptr = 0;
-
- fprintf (stdout, "%s;%s;%s;",
- buf.base,
- in_extern_C_brace || current_extern_C ? "F" : "f",
- rtype.base);
- c = skip_spaces (fp, ' ');
+ int have_arg_list = 0;
+ cpp_buffer *fbuf = cpp_file_buffer (pfile);
+ long func_lineno;
+ cpp_buf_line_and_col (fbuf, &func_lineno, NULL);
for (;;)
{
- if (c == '(')
+ token = cpp_get_token (pfile);
+ if (token == CPP_LPAREN)
nesting++;
- else if (c == ')')
- if (--nesting == 0)
- break;
- if (c == EOF)
+ else if (token == CPP_RPAREN)
+ {
+ nesting--;
+ if (nesting == 0)
+ break;
+ }
+ else if (token == CPP_EOF)
break;
- if (c == '\n')
- c = ' ';
- putc (c, stdout);
- c = getc (fp);
+ else if (token == CPP_NAME || token == CPP_3DOTS)
+ have_arg_list = 1;
+ }
+ recognized_function (pfile->token_buffer + prev_id_start,
+ prev_id_end - prev_id_start,
+ (saw_inline ? 'I'
+ : in_extern_C_brace || current_extern_C
+ ? 'F' : 'f'),
+ pfile->token_buffer, prev_id_start,
+ have_arg_list,
+ fbuf->nominal_fname, func_lineno);
+ token = cpp_get_non_space_token (pfile);
+ if (token == CPP_LBRACE)
+ {
+ /* skip body of (normally) inline function */
+ skip_to_closing_brace (pfile);
+ goto new_statement;
}
- fprintf (stdout, ";%s;%d;\n",
- source_filename.base, source_lineno);
- goto new_statement;
+ goto maybe_handle_comma;
}
- else if (nextc == ';' && saw_extern)
+ break;
+ case CPP_OTHER:
+ if (CPP_WRITTEN (pfile) == (size_t) start_written + 1
+ && (CPP_PWRITTEN (pfile)[-1] == '*'
+ || CPP_PWRITTEN (pfile)[-1] == '&'))
+ declarator_start = start_written;
+ else
+ goto handle_statement;
+ break;
+ case CPP_COMMA:
+ case CPP_SEMICOLON:
+ if (prev_id_start && saw_extern)
{
- fprintf (stdout, "%s;X;%s;\n", buf.base, rtype.base);
- goto handle_statement;
+ recognized_extern (pfile->token_buffer + prev_id_start,
+ prev_id_end - prev_id_start,
+ pfile->token_buffer,
+ prev_id_start);
}
- else
- ungetc (nextc, fp);
+ /* ... fall through ... */
+ maybe_handle_comma:
+ if (token != CPP_COMMA)
+ goto new_statement;
+#if 0
+ handle_comma:
+#endif
+ /* Handle multiple declarators in a single declaration,
+ as in: extern char *strcpy (), *strcat (), ... ; */
+ if (declarator_start == 0)
+ declarator_start = prev_id_start;
+ CPP_SET_WRITTEN (pfile, declarator_start);
+ break;
+ case CPP_NAME:
+ /* "inline" and "extern" are recognized but skipped */
+ if (strcmp (pfile->token_buffer, "inline") == 0)
+ {
+ saw_inline = 1;
+ CPP_SET_WRITTEN (pfile, start_written);
+ }
+ if (strcmp (pfile->token_buffer, "extern") == 0)
+ {
+ saw_extern = 1;
+ CPP_SET_WRITTEN (pfile, start_written);
+ token = cpp_get_non_space_token (pfile);
+ if (token == CPP_STRING
+ && strcmp (pfile->token_buffer, "\"C\"") == 0)
+ {
+ CPP_SET_WRITTEN (pfile, start_written);
+ current_extern_C = 1;
+ token = cpp_get_non_space_token (pfile);
+ if (token == CPP_LBRACE)
+ {
+ brace_nesting++;
+ extern_C_braces[extern_C_braces_length++]
+ = brace_nesting;
+ goto new_statement;
+ }
+ }
+ else
+ continue;
+ break;
+ }
+ /* This may be the name of a variable or function. */
+ prev_id_start = start_written;
+ prev_id_end = CPP_WRITTEN (pfile);
+ break;
+
+ case CPP_EOF:
+ return 0;
+
+ case CPP_LBRACE: case CPP_RBRACE: case CPP_DIRECTIVE:
+ goto new_statement; /* handle_statement? */
+
+ case CPP_HSPACE: case CPP_VSPACE: case CPP_COMMENT: case CPP_POP:
+ /* Skip initial white space. */
+ if (start_written == 0)
+ CPP_SET_WRITTEN (pfile, 0);
+ break;
+
+ default:
+ prev_id_start = 0;
}
- else if (followingc != EOF)
- ungetc (followingc, fp);
- if (c == ';' || c == '{' || c == '}' || c == EOF)
- goto handle_statement;
- sstring_append (&rtype, &buf);
- if (followingc == ' ' || followingc == '\t' || followingc == '\n')
- SSTRING_PUT(&rtype, ' ');
- c = get_token (fp, &buf);
+
+ start_written = CPP_WRITTEN (pfile);
+ token = cpp_get_token (pfile);
}
}