widl: Write the local stubs file based on the parsed list of statements, rather than...
[wine] / tools / widl / header.c
1 /*
2  * IDL Compiler
3  *
4  * Copyright 2002 Ove Kaaven
5  *
6  * This library is free software; you can redistribute it and/or
7  * modify it under the terms of the GNU Lesser General Public
8  * License as published by the Free Software Foundation; either
9  * version 2.1 of the License, or (at your option) any later version.
10  *
11  * This library is distributed in the hope that it will be useful,
12  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14  * Lesser General Public License for more details.
15  *
16  * You should have received a copy of the GNU Lesser General Public
17  * License along with this library; if not, write to the Free Software
18  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
19  */
20
21 #include "config.h"
22
23 #include <stdarg.h>
24 #include <stdio.h>
25 #include <stdlib.h>
26 #ifdef HAVE_UNISTD_H
27 # include <unistd.h>
28 #endif
29 #include <string.h>
30 #include <ctype.h>
31
32 #include "widl.h"
33 #include "utils.h"
34 #include "parser.h"
35 #include "header.h"
36 #include "expr.h"
37 #include "typetree.h"
38
39 typedef struct _user_type_t generic_handle_t;
40
41 static int indentation = 0;
42 user_type_list_t user_type_list = LIST_INIT(user_type_list);
43 static context_handle_list_t context_handle_list = LIST_INIT(context_handle_list);
44 static struct list generic_handle_list = LIST_INIT(generic_handle_list);
45
46 static void indent(FILE *h, int delta)
47 {
48   int c;
49   if (delta < 0) indentation += delta;
50   for (c=0; c<indentation; c++) fprintf(h, "    ");
51   if (delta > 0) indentation += delta;
52 }
53
54 int is_ptrchain_attr(const var_t *var, enum attr_type t)
55 {
56     if (is_attr(var->attrs, t))
57         return 1;
58     else
59     {
60         type_t *type = var->type;
61         for (;;)
62         {
63             if (is_attr(type->attrs, t))
64                 return 1;
65             else if (type->kind == TKIND_ALIAS)
66                 type = type->orig;
67             else if (is_ptr(type))
68                 type = type->ref;
69             else return 0;
70         }
71     }
72 }
73
74 int is_aliaschain_attr(const type_t *type, enum attr_type attr)
75 {
76     const type_t *t = type;
77     for (;;)
78     {
79         if (is_attr(t->attrs, attr))
80             return 1;
81         else if (t->kind == TKIND_ALIAS)
82             t = t->orig;
83         else return 0;
84     }
85 }
86
87 int is_attr(const attr_list_t *list, enum attr_type t)
88 {
89     const attr_t *attr;
90     if (list) LIST_FOR_EACH_ENTRY( attr, list, const attr_t, entry )
91         if (attr->type == t) return 1;
92     return 0;
93 }
94
95 void *get_attrp(const attr_list_t *list, enum attr_type t)
96 {
97     const attr_t *attr;
98     if (list) LIST_FOR_EACH_ENTRY( attr, list, const attr_t, entry )
99         if (attr->type == t) return attr->u.pval;
100     return NULL;
101 }
102
103 unsigned long get_attrv(const attr_list_t *list, enum attr_type t)
104 {
105     const attr_t *attr;
106     if (list) LIST_FOR_EACH_ENTRY( attr, list, const attr_t, entry )
107         if (attr->type == t) return attr->u.ival;
108     return 0;
109 }
110
111 int is_void(const type_t *t)
112 {
113   if (!t->type && !t->ref) return 1;
114   return 0;
115 }
116
117 int is_conformant_array(const type_t *t)
118 {
119     return t->type == RPC_FC_CARRAY
120         || t->type == RPC_FC_CVARRAY
121         || (t->type == RPC_FC_BOGUS_ARRAY && t->size_is);
122 }
123
124 void write_guid(FILE *f, const char *guid_prefix, const char *name, const UUID *uuid)
125 {
126   if (!uuid) return;
127   fprintf(f, "DEFINE_GUID(%s_%s, 0x%08x, 0x%04x, 0x%04x, 0x%02x,0x%02x, 0x%02x,"
128         "0x%02x,0x%02x,0x%02x,0x%02x,0x%02x);\n",
129         guid_prefix, name, uuid->Data1, uuid->Data2, uuid->Data3, uuid->Data4[0],
130         uuid->Data4[1], uuid->Data4[2], uuid->Data4[3], uuid->Data4[4], uuid->Data4[5],
131         uuid->Data4[6], uuid->Data4[7]);
132 }
133
134 const char *get_name(const var_t *v)
135 {
136     static char buffer[256];
137
138     if (is_attr( v->attrs, ATTR_PROPGET ))
139         strcpy( buffer, "get_" );
140     else if (is_attr( v->attrs, ATTR_PROPPUT ))
141         strcpy( buffer, "put_" );
142     else if (is_attr( v->attrs, ATTR_PROPPUTREF ))
143         strcpy( buffer, "putref_" );
144     else
145         buffer[0] = 0;
146     strcat( buffer, v->name );
147     return buffer;
148 }
149
150 static void write_field(FILE *h, var_t *v)
151 {
152   if (!v) return;
153   if (v->type) {
154     indent(h, 0);
155     write_type_def_or_decl(h, v->type, TRUE, "%s", v->name);
156     fprintf(h, ";\n");
157   }
158 }
159
160 static void write_fields(FILE *h, var_list_t *fields)
161 {
162     var_t *v;
163     if (!fields) return;
164     LIST_FOR_EACH_ENTRY( v, fields, var_t, entry ) write_field(h, v);
165 }
166
167 static void write_enums(FILE *h, var_list_t *enums)
168 {
169   var_t *v;
170   if (!enums) return;
171   LIST_FOR_EACH_ENTRY( v, enums, var_t, entry )
172   {
173     if (v->name) {
174       indent(h, 0);
175       fprintf(h, "%s", get_name(v));
176       if (v->eval) {
177         fprintf(h, " = ");
178         write_expr(h, v->eval, 0, 1, NULL, NULL, "");
179       }
180     }
181     if (list_next( enums, &v->entry )) fprintf(h, ",\n");
182   }
183   fprintf(h, "\n");
184 }
185
186 int needs_space_after(type_t *t)
187 {
188   return (t->kind == TKIND_ALIAS
189           || (!is_ptr(t) && (!is_conformant_array(t) || t->declarray)));
190 }
191
192 void write_type_left(FILE *h, type_t *t, int declonly)
193 {
194   if (!h) return;
195
196   if (is_attr(t->attrs, ATTR_CONST) &&
197       (t->kind == TKIND_ALIAS || t->declarray || !is_ptr(t)))
198     fprintf(h, "const ");
199
200   if (t->kind == TKIND_ALIAS) fprintf(h, "%s", t->name);
201   else if (t->declarray) write_type_left(h, t->ref, declonly);
202   else {
203     if (t->sign > 0) fprintf(h, "signed ");
204     else if (t->sign < 0) fprintf(h, "unsigned ");
205     switch (t->type) {
206       case RPC_FC_ENUM16:
207       case RPC_FC_ENUM32:
208         if (!declonly && t->defined && !t->written && !t->ignore) {
209           if (t->name) fprintf(h, "enum %s {\n", t->name);
210           else fprintf(h, "enum {\n");
211           t->written = TRUE;
212           indentation++;
213           write_enums(h, type_enum_get_values(t));
214           indent(h, -1);
215           fprintf(h, "}");
216         }
217         else fprintf(h, "enum %s", t->name ? t->name : "");
218         break;
219       case RPC_FC_STRUCT:
220       case RPC_FC_CVSTRUCT:
221       case RPC_FC_CPSTRUCT:
222       case RPC_FC_CSTRUCT:
223       case RPC_FC_PSTRUCT:
224       case RPC_FC_BOGUS_STRUCT:
225       case RPC_FC_ENCAPSULATED_UNION:
226         if (!declonly && t->defined && !t->written && !t->ignore) {
227           if (t->name) fprintf(h, "struct %s {\n", t->name);
228           else fprintf(h, "struct {\n");
229           t->written = TRUE;
230           indentation++;
231           if (t->type == RPC_FC_ENCAPSULATED_UNION)
232             write_fields(h, type_encapsulated_union_get_fields(t));
233           else
234             write_fields(h, type_struct_get_fields(t));
235           indent(h, -1);
236           fprintf(h, "}");
237         }
238         else fprintf(h, "struct %s", t->name ? t->name : "");
239         break;
240       case RPC_FC_NON_ENCAPSULATED_UNION:
241         if (!declonly && t->defined && !t->written && !t->ignore) {
242           if (t->name) fprintf(h, "union %s {\n", t->name);
243           else fprintf(h, "union {\n");
244           t->written = TRUE;
245           indentation++;
246           write_fields(h, type_union_get_cases(t));
247           indent(h, -1);
248           fprintf(h, "}");
249         }
250         else fprintf(h, "union %s", t->name ? t->name : "");
251         break;
252       case RPC_FC_RP:
253       case RPC_FC_UP:
254       case RPC_FC_FP:
255       case RPC_FC_OP:
256       case RPC_FC_CARRAY:
257       case RPC_FC_CVARRAY:
258       case RPC_FC_BOGUS_ARRAY:
259         write_type_left(h, t->ref, declonly);
260         fprintf(h, "%s*", needs_space_after(t->ref) ? " " : "");
261         if (is_ptr(t) && is_attr(t->attrs, ATTR_CONST)) fprintf(h, "const ");
262         break;
263       default:
264         fprintf(h, "%s", t->name);
265     }
266   }
267 }
268
269 void write_type_right(FILE *h, type_t *t, int is_field)
270 {
271   if (!h) return;
272
273   if (t->declarray) {
274     if (is_conformant_array(t)) {
275       fprintf(h, "[%s]", is_field ? "1" : "");
276       t = t->ref;
277     }
278     for ( ; t->declarray; t = t->ref)
279       fprintf(h, "[%lu]", t->dim);
280   }
281 }
282
283 void write_type_v(FILE *h, type_t *t, int is_field, int declonly,
284                   const char *fmt, va_list args)
285 {
286   type_t *pt;
287   int ptr_level = 0;
288
289   if (!h) return;
290
291   for (pt = t; is_ptr(pt); pt = pt->ref, ptr_level++)
292     ;
293
294   if (pt->type == RPC_FC_FUNCTION) {
295     int i;
296     const char *callconv = get_attrp(pt->attrs, ATTR_CALLCONV);
297     if (!callconv) callconv = "";
298     if (is_attr(pt->attrs, ATTR_INLINE)) fprintf(h, "inline ");
299     write_type_left(h, pt->ref, declonly);
300     fputc(' ', h);
301     if (ptr_level) fputc('(', h);
302     fprintf(h, "%s ", callconv);
303     for (i = 0; i < ptr_level; i++)
304       fputc('*', h);
305   } else
306     write_type_left(h, t, declonly);
307   if (fmt) {
308     if (needs_space_after(t))
309       fputc(' ', h);
310     vfprintf(h, fmt, args);
311   }
312   if (pt->type == RPC_FC_FUNCTION) {
313     if (ptr_level) fputc(')', h);
314     fputc('(', h);
315     write_args(h, type_function_get_args(pt), NULL, 0, FALSE);
316     fputc(')', h);
317   } else
318     write_type_right(h, t, is_field);
319 }
320
321 void write_type_def_or_decl(FILE *f, type_t *t, int field, const char *fmt, ...)
322 {
323   va_list args;
324   va_start(args, fmt);
325   write_type_v(f, t, field, FALSE, fmt, args);
326   va_end(args);
327 }
328
329 void write_type_decl(FILE *f, type_t *t, const char *fmt, ...)
330 {
331   va_list args;
332   va_start(args, fmt);
333   write_type_v(f, t, FALSE, TRUE, fmt, args);
334   va_end(args);
335 }
336
337 void write_type_decl_left(FILE *f, type_t *t)
338 {
339   write_type_left(f, t, TRUE);
340 }
341
342 static int user_type_registered(const char *name)
343 {
344   user_type_t *ut;
345   LIST_FOR_EACH_ENTRY(ut, &user_type_list, user_type_t, entry)
346     if (!strcmp(name, ut->name))
347       return 1;
348   return 0;
349 }
350
351 static int context_handle_registered(const char *name)
352 {
353   context_handle_t *ch;
354   LIST_FOR_EACH_ENTRY(ch, &context_handle_list, context_handle_t, entry)
355     if (!strcmp(name, ch->name))
356       return 1;
357   return 0;
358 }
359
360 static int generic_handle_registered(const char *name)
361 {
362   generic_handle_t *gh;
363   LIST_FOR_EACH_ENTRY(gh, &generic_handle_list, generic_handle_t, entry)
364     if (!strcmp(name, gh->name))
365       return 1;
366   return 0;
367 }
368
369 /* check for types which require additional prototypes to be generated in the
370  * header */
371 void check_for_additional_prototype_types(const var_list_t *list)
372 {
373   const var_t *v;
374
375   if (!list) return;
376   LIST_FOR_EACH_ENTRY( v, list, const var_t, entry )
377   {
378     type_t *type;
379     for (type = v->type; type; type = type->kind == TKIND_ALIAS ? type->orig : type->ref) {
380       const char *name = type->name;
381       if (type->user_types_registered) continue;
382       type->user_types_registered = 1;
383       if (is_attr(type->attrs, ATTR_CONTEXTHANDLE)) {
384         if (!context_handle_registered(name))
385         {
386           context_handle_t *ch = xmalloc(sizeof(*ch));
387           ch->name = xstrdup(name);
388           list_add_tail(&context_handle_list, &ch->entry);
389         }
390         /* don't carry on parsing fields within this type */
391         break;
392       }
393       if (type->type != RPC_FC_BIND_PRIMITIVE && is_attr(type->attrs, ATTR_HANDLE)) {
394         if (!generic_handle_registered(name))
395         {
396           generic_handle_t *gh = xmalloc(sizeof(*gh));
397           gh->name = xstrdup(name);
398           list_add_tail(&generic_handle_list, &gh->entry);
399         }
400         /* don't carry on parsing fields within this type */
401         break;
402       }
403       if (is_attr(type->attrs, ATTR_WIREMARSHAL)) {
404         if (!user_type_registered(name))
405         {
406           user_type_t *ut = xmalloc(sizeof *ut);
407           ut->name = xstrdup(name);
408           list_add_tail(&user_type_list, &ut->entry);
409         }
410         /* don't carry on parsing fields within this type as we are already
411          * using a wire marshaled type */
412         break;
413       }
414       else if (type_is_complete(type))
415       {
416         var_list_t *vars = NULL;
417         if (type->type == RPC_FC_ENUM16 || type->type == RPC_FC_ENUM32)
418           vars = type_enum_get_values(type);
419         else if (is_struct(type->type))
420           vars = type_struct_get_fields(type);
421         else if (is_union(type->type))
422           vars = type_union_get_cases(type);
423         check_for_additional_prototype_types(vars);
424       }
425     }
426   }
427 }
428
429 void write_user_types(void)
430 {
431   user_type_t *ut;
432   LIST_FOR_EACH_ENTRY(ut, &user_type_list, user_type_t, entry)
433   {
434     const char *name = ut->name;
435     fprintf(header, "ULONG           __RPC_USER %s_UserSize     (ULONG *, ULONG, %s *);\n", name, name);
436     fprintf(header, "unsigned char * __RPC_USER %s_UserMarshal  (ULONG *, unsigned char *, %s *);\n", name, name);
437     fprintf(header, "unsigned char * __RPC_USER %s_UserUnmarshal(ULONG *, unsigned char *, %s *);\n", name, name);
438     fprintf(header, "void            __RPC_USER %s_UserFree     (ULONG *, %s *);\n", name, name);
439   }
440 }
441
442 void write_context_handle_rundowns(void)
443 {
444   context_handle_t *ch;
445   LIST_FOR_EACH_ENTRY(ch, &context_handle_list, context_handle_t, entry)
446   {
447     const char *name = ch->name;
448     fprintf(header, "void __RPC_USER %s_rundown(%s);\n", name, name);
449   }
450 }
451
452 void write_generic_handle_routines(void)
453 {
454   generic_handle_t *gh;
455   LIST_FOR_EACH_ENTRY(gh, &generic_handle_list, generic_handle_t, entry)
456   {
457     const char *name = gh->name;
458     fprintf(header, "handle_t __RPC_USER %s_bind(%s);\n", name, name);
459     fprintf(header, "void __RPC_USER %s_unbind(%s, handle_t);\n", name, name);
460   }
461 }
462
463 void write_typedef(type_t *type)
464 {
465   fprintf(header, "typedef ");
466   write_type_def_or_decl(header, type->orig, FALSE, "%s", type->name);
467   fprintf(header, ";\n");
468 }
469
470 int is_const_decl(const var_t *var)
471 {
472   const type_t *t;
473   /* strangely, MIDL accepts a const attribute on any pointer in the
474   * declaration to mean that data isn't being instantiated. this appears
475   * to be a bug, but there is no benefit to being incompatible with MIDL,
476   * so we'll do the same thing */
477   for (t = var->type; ; )
478   {
479     if (is_attr(t->attrs, ATTR_CONST))
480       return TRUE;
481     else if (is_ptr(t))
482       t = t->ref;
483     else break;
484   }
485   return FALSE;
486 }
487
488 void write_declaration(const var_t *v, int is_in_interface)
489 {
490   if (is_const_decl(v) && v->eval)
491   {
492     fprintf(header, "#define %s (", v->name);
493     write_expr(header, v->eval, 0, 1, NULL, NULL, "");
494     fprintf(header, ")\n\n");
495   }
496   else if (v->type->type != RPC_FC_FUNCTION || !is_in_interface)
497   {
498     switch (v->stgclass)
499     {
500       case STG_NONE:
501       case STG_REGISTER: /* ignored */
502         break;
503       case STG_STATIC:
504         fprintf(header, "static ");
505         break;
506       case STG_EXTERN:
507         fprintf(header, "extern ");
508         break;
509     }
510     write_type_def_or_decl(header, v->type, FALSE, "%s", v->name);
511     fprintf(header, ";\n\n");
512   }
513 }
514
515 void write_library(const typelib_t *typelib)
516 {
517   const UUID *uuid = get_attrp(typelib->attrs, ATTR_UUID);
518   fprintf(header, "\n");
519   write_guid(header, "LIBID", typelib->name, uuid);
520   fprintf(header, "\n");
521 }
522
523
524 const var_t* get_explicit_handle_var(const func_t* func)
525 {
526     const var_t* var;
527
528     if (!func->args)
529         return NULL;
530
531     LIST_FOR_EACH_ENTRY( var, func->args, const var_t, entry )
532         if (var->type->type == RPC_FC_BIND_PRIMITIVE)
533             return var;
534
535     return NULL;
536 }
537
538 const type_t* get_explicit_generic_handle_type(const var_t* var)
539 {
540     const type_t *t;
541     for (t = var->type; is_ptr(t); t = t->ref)
542         if (t->type != RPC_FC_BIND_PRIMITIVE && is_attr(t->attrs, ATTR_HANDLE))
543             return t;
544     return NULL;
545 }
546
547 const var_t* get_explicit_generic_handle_var(const func_t* func)
548 {
549     const var_t* var;
550
551     if (!func->args)
552         return NULL;
553
554     LIST_FOR_EACH_ENTRY( var, func->args, const var_t, entry )
555         if (get_explicit_generic_handle_type(var))
556             return var;
557
558     return NULL;
559 }
560
561 const var_t* get_context_handle_var(const func_t* func)
562 {
563     const var_t* var;
564
565     if (!func->args)
566         return NULL;
567
568     LIST_FOR_EACH_ENTRY( var, func->args, const var_t, entry )
569         if (is_attr(var->attrs, ATTR_IN) && is_context_handle(var->type))
570             return var;
571
572     return NULL;
573 }
574
575 int has_out_arg_or_return(const func_t *func)
576 {
577     const var_t *var;
578
579     if (!is_void(get_func_return_type(func)))
580         return 1;
581
582     if (!func->args)
583         return 0;
584
585     LIST_FOR_EACH_ENTRY( var, func->args, const var_t, entry )
586         if (is_attr(var->attrs, ATTR_OUT))
587             return 1;
588
589     return 0;
590 }
591
592
593 /********** INTERFACES **********/
594
595 int is_object(const attr_list_t *list)
596 {
597     const attr_t *attr;
598     if (list) LIST_FOR_EACH_ENTRY( attr, list, const attr_t, entry )
599         if (attr->type == ATTR_OBJECT || attr->type == ATTR_ODL) return 1;
600     return 0;
601 }
602
603 int is_local(const attr_list_t *a)
604 {
605   return is_attr(a, ATTR_LOCAL);
606 }
607
608 const var_t *is_callas(const attr_list_t *a)
609 {
610   return get_attrp(a, ATTR_CALLAS);
611 }
612
613 static void write_method_macro(FILE *header, const type_t *iface, const char *name)
614 {
615   const func_t *cur;
616
617   if (iface->ref) write_method_macro(header, iface->ref, name);
618
619   if (!iface->funcs) return;
620
621   fprintf(header, "/*** %s methods ***/\n", iface->name);
622   LIST_FOR_EACH_ENTRY( cur, iface->funcs, const func_t, entry )
623   {
624     var_t *def = cur->def;
625     if (!is_callas(def->attrs)) {
626       const var_t *arg;
627
628       fprintf(header, "#define %s_%s(This", name, get_name(def));
629       if (cur->args)
630           LIST_FOR_EACH_ENTRY( arg, cur->args, const var_t, entry )
631               fprintf(header, ",%s", arg->name);
632       fprintf(header, ") ");
633
634       fprintf(header, "(This)->lpVtbl->%s(This", get_name(def));
635       if (cur->args)
636           LIST_FOR_EACH_ENTRY( arg, cur->args, const var_t, entry )
637               fprintf(header, ",%s", arg->name);
638       fprintf(header, ")\n");
639     }
640   }
641 }
642
643 void write_args(FILE *h, const var_list_t *args, const char *name, int method, int do_indent)
644 {
645   const var_t *arg;
646   int count = 0;
647
648   if (do_indent)
649   {
650       indentation++;
651       indent(h, 0);
652   }
653   if (method == 1) {
654     fprintf(h, "%s* This", name);
655     count++;
656   }
657   if (args) LIST_FOR_EACH_ENTRY( arg, args, const var_t, entry ) {
658     if (count) {
659         if (do_indent)
660         {
661             fprintf(h, ",\n");
662             indent(h, 0);
663         }
664         else fprintf(h, ",");
665     }
666     write_type_decl(h, arg->type, "%s", arg->name);
667     count++;
668   }
669   if (do_indent) indentation--;
670 }
671
672 static void write_cpp_method_def(FILE *header, const type_t *iface)
673 {
674   const func_t *cur;
675
676   if (!iface->funcs) return;
677
678   LIST_FOR_EACH_ENTRY( cur, iface->funcs, const func_t, entry )
679   {
680     var_t *def = cur->def;
681     if (!is_callas(def->attrs)) {
682       const char *callconv = get_attrp(def->type->attrs, ATTR_CALLCONV);
683       if (!callconv) callconv = "";
684       indent(header, 0);
685       fprintf(header, "virtual ");
686       write_type_decl_left(header, get_func_return_type(cur));
687       fprintf(header, " %s %s(\n", callconv, get_name(def));
688       write_args(header, cur->args, iface->name, 2, TRUE);
689       fprintf(header, ") = 0;\n");
690       fprintf(header, "\n");
691     }
692   }
693 }
694
695 static void do_write_c_method_def(FILE *header, const type_t *iface, const char *name)
696 {
697   const func_t *cur;
698
699   if (iface->ref) do_write_c_method_def(header, iface->ref, name);
700
701   if (!iface->funcs) return;
702   indent(header, 0);
703   fprintf(header, "/*** %s methods ***/\n", iface->name);
704   LIST_FOR_EACH_ENTRY( cur, iface->funcs, const func_t, entry )
705   {
706     const var_t *def = cur->def;
707     if (!is_callas(def->attrs)) {
708       const char *callconv = get_attrp(def->type->attrs, ATTR_CALLCONV);
709       if (!callconv) callconv = "";
710       indent(header, 0);
711       write_type_decl_left(header, get_func_return_type(cur));
712       fprintf(header, " (%s *%s)(\n", callconv, get_name(def));
713       write_args(header, cur->args, name, 1, TRUE);
714       fprintf(header, ");\n");
715       fprintf(header, "\n");
716     }
717   }
718 }
719
720 static void write_c_method_def(FILE *header, const type_t *iface)
721 {
722   do_write_c_method_def(header, iface, iface->name);
723 }
724
725 static void write_c_disp_method_def(FILE *header, const type_t *iface)
726 {
727   do_write_c_method_def(header, iface->ref, iface->name);
728 }
729
730 static void write_method_proto(FILE *header, const type_t *iface)
731 {
732   const func_t *cur;
733
734   if (!iface->funcs) return;
735   LIST_FOR_EACH_ENTRY( cur, iface->funcs, const func_t, entry )
736   {
737     const var_t *def = cur->def;
738
739     if (!is_local(def->attrs)) {
740       const char *callconv = get_attrp(def->type->attrs, ATTR_CALLCONV);
741       if (!callconv) callconv = "";
742       /* proxy prototype */
743       write_type_decl_left(header, get_func_return_type(cur));
744       fprintf(header, " %s %s_%s_Proxy(\n", callconv, iface->name, get_name(def));
745       write_args(header, cur->args, iface->name, 1, TRUE);
746       fprintf(header, ");\n");
747       /* stub prototype */
748       fprintf(header, "void __RPC_STUB %s_%s_Stub(\n", iface->name, get_name(def));
749       fprintf(header, "    IRpcStubBuffer* This,\n");
750       fprintf(header, "    IRpcChannelBuffer* pRpcChannelBuffer,\n");
751       fprintf(header, "    PRPC_MESSAGE pRpcMessage,\n");
752       fprintf(header, "    DWORD* pdwStubPhase);\n");
753     }
754   }
755 }
756
757 static void write_locals(FILE *fp, const type_t *iface, int body)
758 {
759   static const char comment[]
760     = "/* WIDL-generated stub.  You must provide an implementation for this.  */";
761   const func_list_t *funcs = iface->funcs;
762   const func_t *cur;
763
764   if (!is_object(iface->attrs) || !funcs)
765     return;
766
767   LIST_FOR_EACH_ENTRY(cur, funcs, const func_t, entry) {
768     const var_t *def = cur->def;
769     const var_t *cas = is_callas(def->attrs);
770
771     if (cas) {
772       const func_t *m;
773       LIST_FOR_EACH_ENTRY(m, iface->funcs, const func_t, entry)
774         if (!strcmp(m->def->name, cas->name))
775           break;
776       if (&m->entry != iface->funcs) {
777         const var_t *mdef = m->def;
778         /* proxy prototype - use local prototype */
779         write_type_decl_left(fp, get_func_return_type(m));
780         fprintf(fp, " CALLBACK %s_%s_Proxy(\n", iface->name, get_name(mdef));
781         write_args(fp, m->args, iface->name, 1, TRUE);
782         fprintf(fp, ")");
783         if (body) {
784           type_t *rt = get_func_return_type(m);
785           fprintf(fp, "\n{\n");
786           fprintf(fp, "    %s\n", comment);
787           if (rt->name && strcmp(rt->name, "HRESULT") == 0)
788             fprintf(fp, "    return E_NOTIMPL;\n");
789           else if (rt->type) {
790             fprintf(fp, "    ");
791             write_type_decl(fp, rt, "rv");
792             fprintf(fp, ";\n");
793             fprintf(fp, "    memset(&rv, 0, sizeof rv);\n");
794             fprintf(fp, "    return rv;\n");
795           }
796           fprintf(fp, "}\n\n");
797         }
798         else
799           fprintf(fp, ";\n");
800         /* stub prototype - use remotable prototype */
801         write_type_decl_left(fp, get_func_return_type(cur));
802         fprintf(fp, " __RPC_STUB %s_%s_Stub(\n", iface->name, get_name(mdef));
803         write_args(fp, cur->args, iface->name, 1, TRUE);
804         fprintf(fp, ")");
805         if (body)
806           /* Remotable methods must all return HRESULTs.  */
807           fprintf(fp, "\n{\n    %s\n    return E_NOTIMPL;\n}\n\n", comment);
808         else
809           fprintf(fp, ";\n");
810       }
811       else
812         error_loc("invalid call_as attribute (%s -> %s)\n", def->name, cas->name);
813     }
814   }
815 }
816
817 static void write_local_stubs_stmts(FILE *local_stubs, const statement_list_t *stmts)
818 {
819   const statement_t *stmt;
820   if (stmts) LIST_FOR_EACH_ENTRY( stmt, stmts, const statement_t, entry )
821   {
822     if (stmt->type == STMT_TYPE && stmt->u.type->type == RPC_FC_IP)
823       write_locals(local_stubs, stmt->u.type, TRUE);
824     else if (stmt->type == STMT_LIBRARY)
825       write_local_stubs_stmts(local_stubs, stmt->u.lib->stmts);
826   }
827 }
828
829 void write_local_stubs(const statement_list_t *stmts)
830 {
831   FILE *local_stubs;
832
833   if (!local_stubs_name) return;
834
835   local_stubs = fopen(local_stubs_name, "w");
836   if (!local_stubs) {
837     error("Could not open %s for output\n", local_stubs_name);
838     return;
839   }
840   fprintf(local_stubs, "/* call_as/local stubs for %s */\n\n", input_name);
841   fprintf(local_stubs, "#include <objbase.h>\n");
842   fprintf(local_stubs, "#include \"%s\"\n\n", header_name);
843
844   write_local_stubs_stmts(local_stubs, stmts);
845
846   fclose(local_stubs);
847 }
848
849 static void write_function_proto(FILE *header, const type_t *iface, const func_t *fun, const char *prefix)
850 {
851   var_t *def = fun->def;
852   const char *callconv = get_attrp(def->type->attrs, ATTR_CALLCONV);
853
854   /* FIXME: do we need to handle call_as? */
855   write_type_decl_left(header, get_func_return_type(fun));
856   fprintf(header, " ");
857   if (callconv) fprintf(header, "%s ", callconv);
858   fprintf(header, "%s%s(\n", prefix, get_name(def));
859   if (fun->args)
860     write_args(header, fun->args, iface->name, 0, TRUE);
861   else
862     fprintf(header, "    void");
863   fprintf(header, ");\n\n");
864 }
865
866 static void write_function_protos(FILE *header, const type_t *iface)
867 {
868   const func_t *cur;
869   int prefixes_differ = strcmp(prefix_client, prefix_server);
870
871   if (!iface->funcs) return;
872   LIST_FOR_EACH_ENTRY( cur, iface->funcs, const func_t, entry )
873   {
874     if (prefixes_differ) {
875       fprintf(header, "/* client prototype */\n");
876       write_function_proto(header, iface, cur, prefix_client);
877       fprintf(header, "/* server prototype */\n");
878     }
879     write_function_proto(header, iface, cur, prefix_server);
880   }
881 }
882
883 void write_forward(type_t *iface)
884 {
885   /* C/C++ forwards should only be written for object interfaces, so if we
886    * have a full definition we only write one if we find [object] among the
887    * attributes - however, if we don't have a full definition at this point
888    * (i.e. this is an IDL forward), then we also assume that it is an object
889    * interface, since non-object interfaces shouldn't need forwards */
890   if ((!iface->defined || is_object(iface->attrs) || is_attr(iface->attrs, ATTR_DISPINTERFACE))
891         && !iface->written) {
892     fprintf(header, "#ifndef __%s_FWD_DEFINED__\n", iface->name);
893     fprintf(header, "#define __%s_FWD_DEFINED__\n", iface->name);
894     fprintf(header, "typedef interface %s %s;\n", iface->name, iface->name);
895     fprintf(header, "#endif\n\n" );
896     iface->written = TRUE;
897   }
898 }
899
900 static void write_iface_guid(FILE *header, const type_t *iface)
901 {
902   const UUID *uuid = get_attrp(iface->attrs, ATTR_UUID);
903   write_guid(header, "IID", iface->name, uuid);
904
905
906 static void write_dispiface_guid(FILE *header, const type_t *iface)
907 {
908   const UUID *uuid = get_attrp(iface->attrs, ATTR_UUID);
909   write_guid(header, "DIID", iface->name, uuid);
910 }
911
912 static void write_coclass_guid(FILE *header, const type_t *cocl)
913 {
914   const UUID *uuid = get_attrp(cocl->attrs, ATTR_UUID);
915   write_guid(header, "CLSID", cocl->name, uuid);
916 }
917
918 static void write_com_interface_start(FILE *header, const type_t *iface)
919 {
920   int dispinterface = is_attr(iface->attrs, ATTR_DISPINTERFACE);
921   fprintf(header, "/*****************************************************************************\n");
922   fprintf(header, " * %s %sinterface\n", iface->name, dispinterface ? "disp" : "");
923   fprintf(header, " */\n");
924   fprintf(header,"#ifndef __%s_%sINTERFACE_DEFINED__\n", iface->name, dispinterface ? "DISP" : "");
925   fprintf(header,"#define __%s_%sINTERFACE_DEFINED__\n\n", iface->name, dispinterface ? "DISP" : "");
926 }
927
928 static void write_com_interface_end(FILE *header, type_t *iface)
929 {
930   int dispinterface = is_attr(iface->attrs, ATTR_DISPINTERFACE);
931   if (dispinterface)
932     write_dispiface_guid(header, iface);
933   else
934     write_iface_guid(header, iface);
935   /* C++ interface */
936   fprintf(header, "#if defined(__cplusplus) && !defined(CINTERFACE)\n");
937   if (iface->ref)
938   {
939     fprintf(header, "interface %s : public %s\n", iface->name, iface->ref->name);
940     fprintf(header, "{\n");
941   }
942   else
943   {
944     fprintf(header, "interface %s\n", iface->name);
945     fprintf(header, "{\n");
946     fprintf(header, "    BEGIN_INTERFACE\n");
947     fprintf(header, "\n");
948   }
949   /* dispinterfaces don't have real functions, so don't write C++ functions for
950    * them */
951   if (!dispinterface)
952   {
953     indentation++;
954     write_cpp_method_def(header, iface);
955     indentation--;
956   }
957   if (!iface->ref)
958     fprintf(header, "    END_INTERFACE\n");
959   fprintf(header, "};\n");
960   fprintf(header, "#else\n");
961   /* C interface */
962   fprintf(header, "typedef struct %sVtbl {\n", iface->name);
963   indentation++;
964   fprintf(header, "    BEGIN_INTERFACE\n");
965   fprintf(header, "\n");
966   if (dispinterface)
967     write_c_disp_method_def(header, iface);
968   else
969     write_c_method_def(header, iface);
970   indentation--;
971   fprintf(header, "    END_INTERFACE\n");
972   fprintf(header, "} %sVtbl;\n", iface->name);
973   fprintf(header, "interface %s {\n", iface->name);
974   fprintf(header, "    CONST_VTBL %sVtbl* lpVtbl;\n", iface->name);
975   fprintf(header, "};\n");
976   fprintf(header, "\n");
977   fprintf(header, "#ifdef COBJMACROS\n");
978   /* dispinterfaces don't have real functions, so don't write macros for them,
979    * only for the interface this interface inherits from, i.e. IDispatch */
980   write_method_macro(header, dispinterface ? iface->ref : iface, iface->name);
981   fprintf(header, "#endif\n");
982   fprintf(header, "\n");
983   fprintf(header, "#endif\n");
984   fprintf(header, "\n");
985   /* dispinterfaces don't have real functions, so don't write prototypes for
986    * them */
987   if (!dispinterface)
988   {
989     write_method_proto(header, iface);
990     write_locals(header, iface, FALSE);
991     fprintf(header, "\n");
992   }
993   fprintf(header,"#endif  /* __%s_%sINTERFACE_DEFINED__ */\n\n", iface->name, dispinterface ? "DISP" : "");
994 }
995
996 static void write_rpc_interface_start(FILE *header, const type_t *iface)
997 {
998   unsigned int ver = get_attrv(iface->attrs, ATTR_VERSION);
999   const char *var = get_attrp(iface->attrs, ATTR_IMPLICIT_HANDLE);
1000   static int allocate_written = 0;
1001
1002   if (!allocate_written)
1003   {
1004     allocate_written = 1;
1005     fprintf(header, "void * __RPC_USER MIDL_user_allocate(size_t);\n");
1006     fprintf(header, "void __RPC_USER MIDL_user_free(void *);\n\n");
1007   }
1008
1009   fprintf(header, "/*****************************************************************************\n");
1010   fprintf(header, " * %s interface (v%d.%d)\n", iface->name, MAJORVERSION(ver), MINORVERSION(ver));
1011   fprintf(header, " */\n");
1012   fprintf(header,"#ifndef __%s_INTERFACE_DEFINED__\n", iface->name);
1013   fprintf(header,"#define __%s_INTERFACE_DEFINED__\n\n", iface->name);
1014   if (var) fprintf(header, "extern handle_t %s;\n", var);
1015   if (old_names)
1016   {
1017       fprintf(header, "extern RPC_IF_HANDLE %s%s_ClientIfHandle;\n", prefix_client, iface->name);
1018       fprintf(header, "extern RPC_IF_HANDLE %s%s_ServerIfHandle;\n", prefix_server, iface->name);
1019   }
1020   else
1021   {
1022       fprintf(header, "extern RPC_IF_HANDLE %s%s_v%d_%d_c_ifspec;\n",
1023               prefix_client, iface->name, MAJORVERSION(ver), MINORVERSION(ver));
1024       fprintf(header, "extern RPC_IF_HANDLE %s%s_v%d_%d_s_ifspec;\n",
1025               prefix_server, iface->name, MAJORVERSION(ver), MINORVERSION(ver));
1026   }
1027 }
1028
1029 static void write_rpc_interface_end(FILE *header, const type_t *iface)
1030 {
1031   fprintf(header,"\n#endif  /* __%s_INTERFACE_DEFINED__ */\n\n", iface->name);
1032 }
1033
1034 void write_interface(type_t *iface)
1035 {
1036   if (is_attr(iface->attrs, ATTR_DISPINTERFACE) || is_object(iface->attrs))
1037   {
1038     write_com_interface_start(header, iface);
1039     write_com_interface_end(header, iface);
1040   }
1041   else
1042   {
1043     write_rpc_interface_start(header, iface);
1044     write_function_protos(header, iface);
1045     write_rpc_interface_end(header, iface);
1046   }
1047 }
1048
1049 void write_coclass(type_t *cocl)
1050 {
1051   fprintf(header, "/*****************************************************************************\n");
1052   fprintf(header, " * %s coclass\n", cocl->name);
1053   fprintf(header, " */\n\n");
1054   write_coclass_guid(header, cocl);
1055   fprintf(header, "\n");
1056 }
1057
1058 void write_coclass_forward(type_t *cocl)
1059 {
1060   fprintf(header, "#ifndef __%s_FWD_DEFINED__\n", cocl->name);
1061   fprintf(header, "#define __%s_FWD_DEFINED__\n", cocl->name);
1062   fprintf(header, "typedef struct %s %s;\n", cocl->name, cocl->name);
1063   fprintf(header, "#endif /* defined __%s_FWD_DEFINED__ */\n\n", cocl->name );
1064 }
1065
1066 void write_import(const char *fname)
1067 {
1068   char *hname, *p;
1069
1070   hname = dup_basename(fname, ".idl");
1071   p = hname + strlen(hname) - 2;
1072   if (p <= hname || strcmp( p, ".h" )) strcat(hname, ".h");
1073
1074   fprintf(header, "#include <%s>\n", hname);
1075   free(hname);
1076 }