On Tue, Aug 29, 2006 at 01:45:41PM +0100, Robert Shearman wrote:
if (n) fprintf(h, "%s", n);
- else if (t->kind == TKIND_ALIAS) fprintf(h, "%s", t->name);
I'm not really sure we should be depending on a typelib thing for a fundamental concept such as this. In fact, I think the kind field of the type_t structure could probably be removed and generated as needed in the typelib generation code.
The kind field is useful outside of the typelib, though. In fact, as you say, it's not really even that useful inside the typelib code. It's *more* useful in the parser and header code. If you don't like me using it this way, maybe we could just rename the field and constants to remove the connotation of being associated only with typelibs. Without using the "type == 0 && ref != NULL" combo to designate typedefs, we need some way to separate typedefs from regular types, and this was the most obvious choice for me.
void init_types(void) {
- decl_builtin("void", 0);
decl_builtin("byte", RPC_FC_BYTE);
This would seem as though it would make widl incorrectly accept "int func(void a);" as a valid statement. I think you need to try to fix this case.
This patch doesn't change the grammar or semantic phase at all. It only removes a special case in write_type so we can print void types by their name field. The point was to allow this chunk of patch:
- } - } - else { - if (t->ref) { - write_type(h, t->ref, NULL, t->name); - } - else fprintf(h, "void");
Actually, the "int f(void a)" declaration is already accepted, even without this patch. This patch doesn't fix that; it wasn't intended to change the language semantics at all. Now that you bring it up, however, I, or somebody else, can submit a patch that will fix the problem fairly easily, I think.
-static type_t *reg_types(type_t *type, var_t *names, int t) +static type_t *reg_typedefs(type_t *type, var_t *names, attr_t *attrs) { type_t *ptr = type; int ptrc = 0;
- /* We must generate names for tagless enum, struct or union.
Typedef-ing a tagless enum, struct or union means we want the typedefto be included in a library whether it has other attributes or not,hence the public attribute. */- if ((type->kind == TKIND_ENUM || type->kind == TKIND_RECORD
|| type->kind == TKIND_UNION) && ! type->name && ! parse_only)- {
- if (! is_attr(attrs, ATTR_PUBLIC))
- {
attr_t *new_attrs = make_attr(ATTR_PUBLIC);LINK(new_attrs, attrs);attrs = new_attrs;- }
I'm not sure it is necessary to include this change with the rest of the patch. I'm also not sure what you are trying to accomplish here (as we always add the type to a typelib, no matter whether the type has the public attribute).
I need to generate names for tagless structs, etc., because my patch changes the way typedefs are output in the header file. Currently,
typedef struct { int x; } foo, bar;
will be output exactly as is in the header (disregarding whitespace changes). However, this patch splits the typedefs up like this:
typedef struct { int x; } foo; typedef struct ??? bar;
This is why we need the generated names. As for adding the public attribute, we don't (and MIDL doesn't) add typedefs to the typelib if they don't have any attributes (since reg_types was only used for typedefs, I renamed it to reg_typedefs to make the use clearer). By observing MIDL, I found that it will add the public attributes to typdefs on tagless structs, etc., so they are included in the typelib.
Thanks for your comments. I'm trying my best to improve widl, so if you see something that looks questionable, I don't mind the criticism.