1997-08-12 03:47:32 -04:00
|
|
|
|
/* name.c -- Implementation File (module.c template V1.0)
|
|
|
|
|
Copyright (C) 1995 Free Software Foundation, Inc.
|
1999-02-15 13:18:19 -05:00
|
|
|
|
Contributed by James Craig Burley.
|
1997-08-12 03:47:32 -04:00
|
|
|
|
|
|
|
|
|
This file is part of GNU Fortran.
|
|
|
|
|
|
|
|
|
|
GNU Fortran 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, or (at your option)
|
|
|
|
|
any later version.
|
|
|
|
|
|
|
|
|
|
GNU Fortran 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 GNU Fortran; see the file COPYING. If not, write to
|
|
|
|
|
the Free Software Foundation, 59 Temple Place - Suite 330, Boston, MA
|
|
|
|
|
02111-1307, USA.
|
|
|
|
|
|
|
|
|
|
Related Modules:
|
|
|
|
|
None.
|
|
|
|
|
|
|
|
|
|
Description:
|
|
|
|
|
Name and name space abstraction.
|
|
|
|
|
|
|
|
|
|
Modifications:
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
/* Include files. */
|
|
|
|
|
|
|
|
|
|
#include "proj.h"
|
|
|
|
|
#include "bad.h"
|
|
|
|
|
#include "name.h"
|
|
|
|
|
#include "lex.h"
|
|
|
|
|
#include "malloc.h"
|
|
|
|
|
#include "src.h"
|
|
|
|
|
#include "where.h"
|
|
|
|
|
|
|
|
|
|
/* Externals defined here. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Simple definitions and enumerations. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Internal typedefs. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Private include files. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Internal structure definitions. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Static objects accessed by functions in this module. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Static functions (internal). */
|
|
|
|
|
|
|
|
|
|
static ffename ffename_lookup_ (ffenameSpace ns, ffelexToken t, bool *found);
|
|
|
|
|
|
|
|
|
|
/* Internal macros. */
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
/* Searches for and returns the matching ffename object, or returns a
|
|
|
|
|
pointer to the name before which the new name should go. */
|
|
|
|
|
|
|
|
|
|
static ffename
|
|
|
|
|
ffename_lookup_ (ffenameSpace ns, ffelexToken t, bool *found)
|
|
|
|
|
{
|
|
|
|
|
ffename n;
|
|
|
|
|
|
|
|
|
|
for (n = ns->first; n != (ffename) &ns->first; n = n->next)
|
|
|
|
|
{
|
|
|
|
|
if (ffelex_token_strcmp (t, n->t) == 0)
|
|
|
|
|
{
|
|
|
|
|
*found = TRUE;
|
|
|
|
|
return n;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
*found = FALSE;
|
|
|
|
|
return n; /* (n == (ffename) &ns->first) */
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Searches for and returns the matching ffename object, or creates a new
|
|
|
|
|
one (with a NULL ffesymbol) and returns that. If last arg is TRUE,
|
|
|
|
|
check whether token meets character-content requirements (such as
|
|
|
|
|
"all characters must be uppercase", as determined by
|
|
|
|
|
ffesrc_bad_char_symbol (), issue diagnostic if it doesn't. */
|
|
|
|
|
|
|
|
|
|
ffename
|
|
|
|
|
ffename_find (ffenameSpace ns, ffelexToken t)
|
|
|
|
|
{
|
|
|
|
|
ffename n;
|
|
|
|
|
ffename newn;
|
|
|
|
|
bool found;
|
|
|
|
|
|
|
|
|
|
assert (ns != NULL);
|
|
|
|
|
assert ((t != NULL) && ((ffelex_token_type (t) == FFELEX_typeNAME)
|
|
|
|
|
|| (ffelex_token_type (t) == FFELEX_typeNAMES)));
|
|
|
|
|
|
|
|
|
|
n = ffename_lookup_ (ns, t, &found);
|
|
|
|
|
if (found)
|
|
|
|
|
return n;
|
|
|
|
|
|
|
|
|
|
newn = (ffename) malloc_new_ks (ns->pool, "FFENAME name", sizeof (*n));
|
|
|
|
|
newn->next = n;
|
|
|
|
|
newn->previous = n->previous;
|
|
|
|
|
n->previous = newn;
|
|
|
|
|
newn->previous->next = newn;
|
|
|
|
|
newn->t = ffelex_token_use (t);
|
|
|
|
|
newn->u.s = NULL;
|
|
|
|
|
|
|
|
|
|
return newn;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_kill -- Kill name from name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ffename s;
|
|
|
|
|
ffename_kill(ns,s);
|
|
|
|
|
|
|
|
|
|
Removes the name from the name space. */
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
ffename_kill (ffenameSpace ns, ffename n)
|
|
|
|
|
{
|
|
|
|
|
assert (ns != NULL);
|
|
|
|
|
assert (n != NULL);
|
|
|
|
|
|
|
|
|
|
ffelex_token_kill (n->t);
|
|
|
|
|
n->next->previous = n->previous;
|
|
|
|
|
n->previous->next = n->next;
|
|
|
|
|
malloc_kill_ks (ns->pool, n, sizeof (*n));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_lookup -- Look up name in name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ffelexToken t;
|
|
|
|
|
ffename s;
|
|
|
|
|
n = ffename_lookup(ns,t);
|
|
|
|
|
|
|
|
|
|
Searches for and returns the matching ffename object, or returns NULL. */
|
|
|
|
|
|
|
|
|
|
ffename
|
|
|
|
|
ffename_lookup (ffenameSpace ns, ffelexToken t)
|
|
|
|
|
{
|
|
|
|
|
ffename n;
|
|
|
|
|
bool found;
|
|
|
|
|
|
|
|
|
|
assert (ns != NULL);
|
|
|
|
|
assert ((t != NULL) && ((ffelex_token_type (t) == FFELEX_typeNAME)
|
|
|
|
|
|| (ffelex_token_type (t) == FFELEX_typeNAMES)));
|
|
|
|
|
|
|
|
|
|
n = ffename_lookup_ (ns, t, &found);
|
|
|
|
|
|
|
|
|
|
return found ? n : NULL;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_space_drive_global -- Call given fn for each global in name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ffeglobal (*fn)();
|
|
|
|
|
ffename_space_drive_global(ns,fn); */
|
|
|
|
|
|
|
|
|
|
void
|
Warning fixes:
* bad.c (_ffebad_message_, ffebad_string_, ffebad_message_,
ffebad_bufputs_, ffebad_bufputs_, ffebad_start_, ffebad_string,
ffebad_finish): Const-ify a char*.
* bld.c (ffebld_op_string_, ffebld_op_string): Likewise.
* bld.h (ffebld_op_string): Likewise.
* com.c (ffecom_arglist_expr_, ffecom_build_f2c_string_,
ffecom_debug_kludge_, ffecom_f2c_make_type_,
ffecom_get_appended_identifier_, ffecom_get_identifier_,
ffecom_gfrt_args_): Likewise.
(ffecom_convert_narrow_, ffecom_convert_widen_): Add prototype.
(builtin_function, ffecom_gfrt_name_, ffecom_gfrt_argstring_,
ffecom_arglist_expr_, ffecom_build_f2c_string_,
ffecom_debug_kludge_, ffecom_f2c_make_type_,
ffecom_get_appended_identifier_, ffecom_get_external_identifier_,
ffecom_get_identifier_, ffecom_decl_field,
ffecom_get_invented_identifier, lang_print_error_function,
skip_redundant_dir_prefix, read_name_map, print_containing_files):
Const-ify a char*.
(savestring): Remove, use `xstrdup' instead.
* com.h (ffecom_decl_field, ffecom_get_invented_identifier):
Const-ify a char*.
* data.c (ffebld, ffedata_gather_): Make explicitly static.
* expr.c (ffeexpr_isdigits_, ffeexpr_percent_,
ffeexpr_reduced_concatenate_, ffeexpr_nil_real_,
ffeexpr_nil_number_, ffeexpr_nil_number_period_,
ffeexpr_nil_number_real_, ffeexpr_token_real_,
ffeexpr_token_number_, ffeexpr_token_number_period_,
ffeexpr_token_number_real_): Const-ify a char*.
* fini.c (xspaces): Likewise.
* global.c (ffeglobal_type_string_): Likewise.
(ffeglobal_drive): Protoize.
(ffeglobal_proc_def_arg): Const-ify a char*.
* global.h (ffeglobal_drive): Protoize.
(ffeglobal_proc_def_arg): Const-ify a char*.
* implic.c (ffeimplic_none, ffeimplic_peek_symbol_type):
Likewise.
* implic.h (ffeimplic_peek_symbol_type): Likewise.
* info.c (ffeinfo_basictype_string_, ffeinfo_kind_message_,
ffeinfo_kind_string_, ffeinfo_kindtype_string_,
ffeinfo_where_string_, ffeinfo_basictype_string,
ffeinfo_kind_message, ffeinfo_kind_string,
ffeinfo_kindtype_string, ffeinfo_where_string): Likewise.
* info.h (ffeinfo_basictype_string, ffeinfo_kind_message,
ffeinfo_kind_string, ffeinfo_kindtype_string,
ffeinfo_where_string): Likewise.
* intrin.c (_ffeintrin_name_, _ffeintrin_gen_, _ffeintrin_spec_,
_ffeintrin_imp_, ffeintrin_check_, ffeintrin_cmp_name_,
ffeintrin_fulfill_specific, ffeintrin_init_0,
ffeintrin_is_actualarg, ffeintrin_is_intrinsic,
ffeintrin_name_generic, ffeintrin_name_implementation,
ffeintrin_name_specific): Likewise.
* intrin.h (ffeintrin_is_intrinsic, ffeintrin_name_generic,
ffeintrin_name_implementation, ffeintrin_name_specific): Likewise.
* lex.c (ffelex_type_string_, ffelex_token_new_character,
ffelex_token_new_name, ffelex_token_new_names,
ffelex_token_new_number): Likewise.
* lex.h (ffelex_token_new_character, ffelex_token_new_name,
ffelex_token_new_names, ffelex_token_new_number): Likewise.
* malloc.c (malloc_types_, malloc_pool_new, malloc_new_inpool_,
malloc_new_zinpool_): Likewise.
* malloc.h (malloc_new_inpool_, malloc_new_zinpool_,
malloc_pool_new): Likewise.
* name.c (ffename_space_drive_global, ffename_space_drive_symbol):
Protoize.
* name.h (ffename_space_drive_global, ffename_space_drive_symbol):
Likewise.
* symbol.c (ffesymbol_state_name_, ffesymbol_attr_name_,
ffesymbol_attrs_string): Const-ify a char*.
(ffesymbol_drive, ffesymbol_drive_sfnames): Protoize.
(ffesymbol_state_string): Const-ify a char*.
* symbol.h (ffesymbol_attrs_string): Likewise.
(ffesymbol_drive, ffesymbol_drive_sfnames): Protoize.
(ffesymbol_state_string): Const-ify a char*.
* target.c (ffetarget_layout): Likewise.
* target.h (ffetarget_layout): Likewise.
From-SVN: r26013
1999-03-27 05:24:06 -05:00
|
|
|
|
ffename_space_drive_global (ffenameSpace ns, ffeglobal (*fn) (ffeglobal))
|
1997-08-12 03:47:32 -04:00
|
|
|
|
{
|
|
|
|
|
ffename n;
|
|
|
|
|
|
|
|
|
|
if (ns == NULL)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
for (n = ns->first; n != (ffename) &ns->first; n = n->next)
|
|
|
|
|
{
|
|
|
|
|
if (n->u.g != NULL)
|
|
|
|
|
n->u.g = (*fn) (n->u.g);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_space_drive_symbol -- Call given fn for each symbol in name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ffesymbol (*fn)();
|
|
|
|
|
ffename_space_drive_symbol(ns,fn); */
|
|
|
|
|
|
|
|
|
|
void
|
Warning fixes:
* bad.c (_ffebad_message_, ffebad_string_, ffebad_message_,
ffebad_bufputs_, ffebad_bufputs_, ffebad_start_, ffebad_string,
ffebad_finish): Const-ify a char*.
* bld.c (ffebld_op_string_, ffebld_op_string): Likewise.
* bld.h (ffebld_op_string): Likewise.
* com.c (ffecom_arglist_expr_, ffecom_build_f2c_string_,
ffecom_debug_kludge_, ffecom_f2c_make_type_,
ffecom_get_appended_identifier_, ffecom_get_identifier_,
ffecom_gfrt_args_): Likewise.
(ffecom_convert_narrow_, ffecom_convert_widen_): Add prototype.
(builtin_function, ffecom_gfrt_name_, ffecom_gfrt_argstring_,
ffecom_arglist_expr_, ffecom_build_f2c_string_,
ffecom_debug_kludge_, ffecom_f2c_make_type_,
ffecom_get_appended_identifier_, ffecom_get_external_identifier_,
ffecom_get_identifier_, ffecom_decl_field,
ffecom_get_invented_identifier, lang_print_error_function,
skip_redundant_dir_prefix, read_name_map, print_containing_files):
Const-ify a char*.
(savestring): Remove, use `xstrdup' instead.
* com.h (ffecom_decl_field, ffecom_get_invented_identifier):
Const-ify a char*.
* data.c (ffebld, ffedata_gather_): Make explicitly static.
* expr.c (ffeexpr_isdigits_, ffeexpr_percent_,
ffeexpr_reduced_concatenate_, ffeexpr_nil_real_,
ffeexpr_nil_number_, ffeexpr_nil_number_period_,
ffeexpr_nil_number_real_, ffeexpr_token_real_,
ffeexpr_token_number_, ffeexpr_token_number_period_,
ffeexpr_token_number_real_): Const-ify a char*.
* fini.c (xspaces): Likewise.
* global.c (ffeglobal_type_string_): Likewise.
(ffeglobal_drive): Protoize.
(ffeglobal_proc_def_arg): Const-ify a char*.
* global.h (ffeglobal_drive): Protoize.
(ffeglobal_proc_def_arg): Const-ify a char*.
* implic.c (ffeimplic_none, ffeimplic_peek_symbol_type):
Likewise.
* implic.h (ffeimplic_peek_symbol_type): Likewise.
* info.c (ffeinfo_basictype_string_, ffeinfo_kind_message_,
ffeinfo_kind_string_, ffeinfo_kindtype_string_,
ffeinfo_where_string_, ffeinfo_basictype_string,
ffeinfo_kind_message, ffeinfo_kind_string,
ffeinfo_kindtype_string, ffeinfo_where_string): Likewise.
* info.h (ffeinfo_basictype_string, ffeinfo_kind_message,
ffeinfo_kind_string, ffeinfo_kindtype_string,
ffeinfo_where_string): Likewise.
* intrin.c (_ffeintrin_name_, _ffeintrin_gen_, _ffeintrin_spec_,
_ffeintrin_imp_, ffeintrin_check_, ffeintrin_cmp_name_,
ffeintrin_fulfill_specific, ffeintrin_init_0,
ffeintrin_is_actualarg, ffeintrin_is_intrinsic,
ffeintrin_name_generic, ffeintrin_name_implementation,
ffeintrin_name_specific): Likewise.
* intrin.h (ffeintrin_is_intrinsic, ffeintrin_name_generic,
ffeintrin_name_implementation, ffeintrin_name_specific): Likewise.
* lex.c (ffelex_type_string_, ffelex_token_new_character,
ffelex_token_new_name, ffelex_token_new_names,
ffelex_token_new_number): Likewise.
* lex.h (ffelex_token_new_character, ffelex_token_new_name,
ffelex_token_new_names, ffelex_token_new_number): Likewise.
* malloc.c (malloc_types_, malloc_pool_new, malloc_new_inpool_,
malloc_new_zinpool_): Likewise.
* malloc.h (malloc_new_inpool_, malloc_new_zinpool_,
malloc_pool_new): Likewise.
* name.c (ffename_space_drive_global, ffename_space_drive_symbol):
Protoize.
* name.h (ffename_space_drive_global, ffename_space_drive_symbol):
Likewise.
* symbol.c (ffesymbol_state_name_, ffesymbol_attr_name_,
ffesymbol_attrs_string): Const-ify a char*.
(ffesymbol_drive, ffesymbol_drive_sfnames): Protoize.
(ffesymbol_state_string): Const-ify a char*.
* symbol.h (ffesymbol_attrs_string): Likewise.
(ffesymbol_drive, ffesymbol_drive_sfnames): Protoize.
(ffesymbol_state_string): Const-ify a char*.
* target.c (ffetarget_layout): Likewise.
* target.h (ffetarget_layout): Likewise.
From-SVN: r26013
1999-03-27 05:24:06 -05:00
|
|
|
|
ffename_space_drive_symbol (ffenameSpace ns, ffesymbol (*fn) (ffesymbol))
|
1997-08-12 03:47:32 -04:00
|
|
|
|
{
|
|
|
|
|
ffename n;
|
|
|
|
|
|
|
|
|
|
if (ns == NULL)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
for (n = ns->first; n != (ffename) &ns->first; n = n->next)
|
|
|
|
|
{
|
|
|
|
|
if (n->u.s != NULL)
|
|
|
|
|
n->u.s = (*fn) (n->u.s);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_space_kill -- Kill name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ffename_space_kill(ns);
|
|
|
|
|
|
|
|
|
|
Removes the names from the name space; kills the name space. */
|
|
|
|
|
|
|
|
|
|
void
|
|
|
|
|
ffename_space_kill (ffenameSpace ns)
|
|
|
|
|
{
|
|
|
|
|
assert (ns != NULL);
|
|
|
|
|
|
|
|
|
|
while (ns->first != (ffename) &ns->first)
|
|
|
|
|
ffename_kill (ns, ns->first);
|
|
|
|
|
|
|
|
|
|
malloc_kill_ks (ns->pool, ns, sizeof (*ns));
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* ffename_space_new -- Create name space
|
|
|
|
|
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
ns = ffename_space_new(malloc_pool_image());
|
|
|
|
|
|
|
|
|
|
Create new name space. */
|
|
|
|
|
|
|
|
|
|
ffenameSpace
|
|
|
|
|
ffename_space_new (mallocPool pool)
|
|
|
|
|
{
|
|
|
|
|
ffenameSpace ns;
|
|
|
|
|
|
|
|
|
|
ns = (ffenameSpace) malloc_new_ks (pool, "FFENAME space",
|
|
|
|
|
sizeof (*ns));
|
|
|
|
|
ns->first = (ffename) &ns->first;
|
|
|
|
|
ns->last = (ffename) &ns->first;
|
|
|
|
|
ns->pool = pool;
|
|
|
|
|
|
|
|
|
|
return ns;
|
|
|
|
|
}
|