NAME is a field of the current implied argument `this'. If so set
*IS_A_FIELD_OF_THIS to 1, otherwise set it to zero.
BLOCK_FOUND is set to the block in which NAME is found (in the case of
- a field of `this', value_of_this sets BLOCK_FOUND to the proper value.) */
+ a field of `this', value_of_this sets BLOCK_FOUND to the proper value.)
+
+ If DOMAIN is VAR_DOMAIN and the language permits using tag names for
+ elaborated types, such as classes in C++, this function will search
+ STRUCT_DOMAIN if no matching is found. */
/* This function (or rather its subordinates) have a bunch of loops and
it would seem to be attractive to put in some QUIT's (though I'm not really
returnval = lookup_symbol_aux (modified_name, block, domain, lang,
is_a_field_of_this);
+ if (returnval == NULL)
+ {
+ if (is_a_field_of_this != NULL
+ && is_a_field_of_this->type != NULL)
+ return NULL;
+
+ /* Some languages define typedefs of a type equal to its tag name,
+ e.g., in C++, "struct foo { ... }" also defines a typedef for
+ "foo". */
+ if (domain == VAR_DOMAIN
+ && (lang == language_cplus || lang == language_java
+ || lang == language_ada || lang == language_d))
+ {
+ returnval = lookup_symbol_aux (modified_name, block, STRUCT_DOMAIN,
+ lang, is_a_field_of_this);
+ }
+ }
do_cleanups (cleanup);
return returnval;
return lookup_data.result;
}
-int
-symbol_matches_domain (enum language symbol_language,
- domain_enum symbol_domain,
- domain_enum domain)
-{
- /* For C++ "struct foo { ... }" also defines a typedef for "foo".
- A Java class declaration also defines a typedef for the class.
- Similarly, any Ada type declaration implicitly defines a typedef. */
- if (symbol_language == language_cplus
- || symbol_language == language_d
- || symbol_language == language_java
- || symbol_language == language_ada)
- {
- if ((domain == VAR_DOMAIN || domain == STRUCT_DOMAIN)
- && symbol_domain == STRUCT_DOMAIN)
- return 1;
- }
- /* For all other languages, strict match is required. */
- return (symbol_domain == domain);
-}
-
/* Look up a type named NAME in the struct_domain. The type returned
must not be opaque -- i.e., must have at least one field
defined. */
binary search terminates, we drop through and do a straight linear
search on the symbols. Each symbol which is marked as being a ObjC/C++
symbol (language_cplus or language_objc set) has both the encoded and
- non-encoded names tested for a match. */
+ non-encoded names tested for a match.
+
+ This function specifically disallows domain mismatches. If a language
+ defines a typedef for an elaborated type, such as classes in C++,
+ then this function will need to be called twice, once to search
+ VAR_DOMAIN and once to search STRUCT_DOMAIN. */
struct symbol *
lookup_block_symbol (const struct block *block, const char *name,
sym != NULL;
sym = block_iter_name_next (name, &iter))
{
- if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
- SYMBOL_DOMAIN (sym), domain))
+ if (SYMBOL_DOMAIN (sym) == domain)
return sym;
}
return NULL;
sym != NULL;
sym = block_iter_name_next (name, &iter))
{
- if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
- SYMBOL_DOMAIN (sym), domain))
+ if (SYMBOL_DOMAIN (sym) == domain)
{
sym_found = sym;
if (!SYMBOL_IS_ARGUMENT (sym))
sym != NULL;
sym = block_iter_name_next (name, &iter))
{
- if (symbol_matches_domain (SYMBOL_LANGUAGE (sym),
- SYMBOL_DOMAIN (sym), domain))
+ if (SYMBOL_DOMAIN (sym) == domain)
{
if (!callback (sym, data))
return;