summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
7804af2)
This function is generally useful. Add it to the public API.
.Fd const struct cdecl_error *cdecl_get_error(void);
.Pp
.Fd int cdecl_spec_kind(struct cdecl_declspec *spec);
.Fd const struct cdecl_error *cdecl_get_error(void);
.Pp
.Fd int cdecl_spec_kind(struct cdecl_declspec *spec);
+.Fd bool cdecl_is_abstract(struct cdecl_declarator *declarator);
.Sh DESCRIPTION
.Nm
provides support for parsing C declarations and translating them to something
.Sh DESCRIPTION
.Nm
provides support for parsing C declarations and translating them to something
.El
.Ss Terminal Declarators
Null and identifier declarators have no children and are thus leaf nodes. A
.El
.Ss Terminal Declarators
Null and identifier declarators have no children and are thus leaf nodes. A
-null declarator indicates an abstract declarator; that is, one which does not
-declare any identifier. Such declarators appear in type names and possibly
-function parameters. An identifier declarator has the obvious meaning; the
+null declarator is not strictly a C language construct, but is used by
+.Nm
+to indicate an abstract declarator; that is, one which does not declare any
+identifier. Such declarators appear in type names and possibly function
+parameters. An identifier declarator has the obvious meaning; the
.Va ident
union member points to the C string containing the identifier.
.Va ident
union member points to the C string containing the identifier.
+.Pp
+Since a null declarator may be deeply nested in the declarator chain, the
+function
+.Pp
+.Fd bool cdecl_is_abstract(struct cdecl_declarator *declarator);
+.Pp
+can be used to determine whether or not a given declarator declares an
+identifier. The result is true if and only if the declarator is abstract.
.Ss Pointer Declarators
.Bd -literal -offset indent
struct cdecl_pointer {
.Ss Pointer Declarators
.Bd -literal -offset indent
struct cdecl_pointer {
return spec->type & ~(CDECL_SPEC_TYPE-1u);
}
return spec->type & ~(CDECL_SPEC_TYPE-1u);
}
+static inline _Bool cdecl_is_abstract(struct cdecl_declarator *d)
+{
+ while (d->child)
+ d = d->child;
+
+ return d->type != CDECL_DECL_IDENT;
+}
+
/* Error handling. */
enum {
CDECL_ENOMEM,
/* Error handling. */
enum {
CDECL_ENOMEM,
#include "i18n.h"
#include "normalize.h"
#include "i18n.h"
#include "normalize.h"
-/*
- * Determine if a declarator declares an identifier (other than a function
- * parameter).
- */
-static bool is_abstract(struct cdecl_declarator *d)
-{
- while (d->child)
- d = d->child;
-
- return d->type != CDECL_DECL_IDENT;
-}
-
/*
* Verify the declaration specifiers of a declaration. If top is true, treat
* this as a top-level declaration. Otherwise, treat this as a function
/*
* Verify the declaration specifiers of a declaration. If top is true, treat
* this as a top-level declaration. Otherwise, treat this as a function
{
struct cdecl_declspec *specs = decl->specifiers;
struct cdecl_declarator *d = decl->declarators;
{
struct cdecl_declspec *specs = decl->specifiers;
struct cdecl_declarator *d = decl->declarators;
- bool abstract = is_abstract(d);
+ bool abstract = cdecl_is_abstract(d);
unsigned num_storage = 0;
unsigned long typemap;
unsigned num_storage = 0;
unsigned long typemap;
if (!valid_declspecs(i, true))
goto err;
if (!valid_declspecs(i, true))
goto err;
- if (is_abstract(i->declarators) && (i != decl || i->next)) {
+ if (cdecl_is_abstract(i->declarators)
+ && (i != decl || i->next)) {
fprintf(stderr, "mixing type names and declarations is not allowed\n");
goto err;
}
fprintf(stderr, "mixing type names and declarations is not allowed\n");
goto err;
}