tools/widl/typetree.h

   1 /*
   2  * IDL Type Tree
   3  *
   4  * Copyright 2008 Robert Shearman
   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 "widltypes.h"
  22 #include <assert.h>
  23
  24 #ifndef WIDL_TYPE_TREE_H
  25 #define WIDL_TYPE_TREE_H
  26
  27 enum name_type {
  28     NAME_DEFAULT,
  29     NAME_C
  30 };
  31
  32 attr_list_t *check_apicontract_attrs(const char *name, attr_list_t *attrs);
  33 attr_list_t *check_coclass_attrs(const char *name, attr_list_t *attrs);
  34 attr_list_t *check_dispiface_attrs(const char *name, attr_list_t *attrs);
  35 attr_list_t *check_interface_attrs(const char *name, attr_list_t *attrs);
  36 attr_list_t *check_module_attrs(const char *name, attr_list_t *attrs);
  37 attr_list_t *check_runtimeclass_attrs(const char *name, attr_list_t *attrs);
  38
  39 type_t *find_parameterized_type(type_t *type, typeref_list_t *params);
  40
  41 type_t *type_new_function(var_list_t *args);
  42 type_t *type_new_pointer(type_t *ref);
  43 type_t *type_new_alias(const decl_spec_t *t, const char *name);
  44 type_t *type_module_declare(char *name);
  45 type_t *type_new_array(const char *name, const decl_spec_t *element, int declptr,
  46                        unsigned int dim, expr_t *size_is, expr_t *length_is);
  47 type_t *type_new_basic(enum type_basic_type basic_type);
  48 type_t *type_new_int(enum type_basic_type basic_type, int sign);
  49 type_t *type_new_void(void);
  50 type_t *type_coclass_declare(char *name);
  51 type_t *type_new_enum(const char *name, struct namespace *namespace, int defined, var_list_t *enums);
  52 type_t *type_new_struct(char *name, struct namespace *namespace, int defined, var_list_t *fields);
  53 type_t *type_new_nonencapsulated_union(const char *name, int defined, var_list_t *fields);
  54 type_t *type_new_encapsulated_union(char *name, var_t *switch_field, var_t *union_field, var_list_t *cases);
  55 type_t *type_new_bitfield(type_t *field_type, const expr_t *bits);
  56 type_t *type_runtimeclass_declare(char *name, struct namespace *namespace);
  57 type_t *type_interface_declare(char *name, struct namespace *namespace);
  58 type_t *type_interface_define(type_t *iface, attr_list_t *attrs, type_t *inherit, statement_list_t *stmts, typeref_list_t *requires);
  59 type_t *type_dispinterface_declare(char *name);
  60 type_t *type_dispinterface_define(type_t *iface, attr_list_t *attrs, var_list_t *props, var_list_t *methods);
  61 type_t *type_dispinterface_define_from_iface(type_t *dispiface, attr_list_t *attrs, type_t *iface);
  62 type_t *type_module_define(type_t* module, attr_list_t *attrs, statement_list_t *stmts);
  63 type_t *type_coclass_define(type_t *coclass, attr_list_t *attrs, typeref_list_t *ifaces);
  64 type_t *type_runtimeclass_define(type_t *runtimeclass, attr_list_t *attrs, typeref_list_t *ifaces);
  65 type_t *type_apicontract_declare(char *name, struct namespace *namespace);
  66 type_t *type_apicontract_define(type_t *apicontract, attr_list_t *attrs);
  67 type_t *type_delegate_declare(char *name, struct namespace *namespace);
  68 type_t *type_delegate_define(type_t *delegate, attr_list_t *attrs, statement_list_t *stmts);
  69 type_t *type_parameterized_interface_declare(char *name, struct namespace *namespace, typeref_list_t *params);
  70 type_t *type_parameterized_interface_define(type_t *type, attr_list_t *attrs, type_t *inherit, statement_list_t *stmts, typeref_list_t *requires);
  71 type_t *type_parameterized_delegate_declare(char *name, struct namespace *namespace, typeref_list_t *params);
  72 type_t *type_parameterized_delegate_define(type_t *type, attr_list_t *attrs, statement_list_t *stmts);
  73 type_t *type_parameterized_type_specialize_partial(type_t *type, typeref_list_t *params);
  74 type_t *type_parameterized_type_specialize_declare(type_t *type, typeref_list_t *params);
  75 type_t *type_parameterized_type_specialize_define(type_t *type);
  76 int type_is_equal(const type_t *type1, const type_t *type2);
  77 const char *type_get_name(const type_t *type, enum name_type name_type);
  78 const char *type_get_qualified_name(const type_t *type, enum name_type name_type);
  79 char *gen_name(void);
  80 extern int is_attr(const attr_list_t *list, enum attr_type t);
  81
  82 typeref_t *make_typeref(type_t *type);
  83 typeref_list_t *append_typeref(typeref_list_t *list, typeref_t *ref);
  84 attr_t *make_attrp(enum attr_type type, void *val);
  85 attr_list_t *append_attr(attr_list_t *list, attr_t *attr);
  86
  87 /* FIXME: shouldn't need to export this */
  88 type_t *duptype(type_t *t, int dupname);
  89
  90 /* un-alias the type until finding the non-alias type */
  91 static inline type_t *type_get_real_type(const type_t *type)
  92 {
  93     if (type->type_type == TYPE_ALIAS)
  94         return type_get_real_type(type->details.alias.aliasee.type);
  95     else
  96         return (type_t *)type;
  97 }
  98
  99 static inline type_t *type_parameterized_type_get_real_type(const type_t *type)
 100 {
 101     if (type->type_type == TYPE_PARAMETERIZED_TYPE)
 102         return type_parameterized_type_get_real_type(type->details.parameterized.type);
 103     else
 104         return (type_t *)type;
 105 }
 106
 107 static inline enum type_type type_get_type(const type_t *type)
 108 {
 109     return type_get_type_detect_alias(type_get_real_type(type));
 110 }
 111
 112 static inline enum type_basic_type type_basic_get_type(const type_t *type)
 113 {
 114     type = type_get_real_type(type);
 115     assert(type_get_type(type) == TYPE_BASIC);
 116     return type->details.basic.type;
 117 }
 118
 119 static inline int type_basic_get_sign(const type_t *type)
 120 {
 121     type = type_get_real_type(type);
 122     assert(type_get_type(type) == TYPE_BASIC);
 123     return type->details.basic.sign;
 124 }
 125
 126 static inline var_list_t *type_struct_get_fields(const type_t *type)
 127 {
 128     type = type_get_real_type(type);
 129     assert(type_get_type(type) == TYPE_STRUCT);
 130     return type->details.structure->fields;
 131 }
 132
 133 static inline var_list_t *type_function_get_args(const type_t *type)
 134 {
 135     type = type_get_real_type(type);
 136     assert(type_get_type(type) == TYPE_FUNCTION);
 137     return type->details.function->args;
 138 }
 139
 140 static inline var_t *type_function_get_retval(const type_t *type)
 141 {
 142     type = type_get_real_type(type);
 143     assert(type_get_type(type) == TYPE_FUNCTION);
 144     return type->details.function->retval;
 145 }
 146
 147 static inline const decl_spec_t *type_function_get_ret(const type_t *type)
 148 {
 149     return &type_function_get_retval(type)->declspec;
 150 }
 151
 152 static inline type_t *type_function_get_rettype(const type_t *type)
 153 {
 154     return type_function_get_retval(type)->declspec.type;
 155 }
 156
 157 static inline var_list_t *type_enum_get_values(const type_t *type)
 158 {
 159     type = type_get_real_type(type);
 160     assert(type_get_type(type) == TYPE_ENUM);
 161     return type->details.enumeration->enums;
 162 }
 163
 164 static inline var_t *type_union_get_switch_value(const type_t *type)
 165 {
 166     type = type_get_real_type(type);
 167     assert(type_get_type(type) == TYPE_ENCAPSULATED_UNION);
 168     return LIST_ENTRY(list_head(type->details.structure->fields), var_t, entry);
 169 }
 170
 171 static inline var_list_t *type_encapsulated_union_get_fields(const type_t *type)
 172 {
 173     type = type_get_real_type(type);
 174     assert(type_get_type(type) == TYPE_ENCAPSULATED_UNION);
 175     return type->details.structure->fields;
 176 }
 177
 178 static inline var_list_t *type_union_get_cases(const type_t *type)
 179 {
 180     enum type_type type_type;
 181
 182     type = type_get_real_type(type);
 183     type_type = type_get_type(type);
 184
 185     assert(type_type == TYPE_UNION || type_type == TYPE_ENCAPSULATED_UNION);
 186     if (type_type == TYPE_ENCAPSULATED_UNION)
 187     {
 188         const var_t *uv = LIST_ENTRY(list_tail(type->details.structure->fields), const var_t, entry);
 189         return uv->declspec.type->details.structure->fields;
 190     }
 191     else
 192         return type->details.structure->fields;
 193 }
 194
 195 static inline statement_list_t *type_iface_get_stmts(const type_t *type)
 196 {
 197     type = type_get_real_type(type);
 198     assert(type_get_type(type) == TYPE_INTERFACE);
 199     return type->details.iface->stmts;
 200 }
 201
 202 static inline type_t *type_iface_get_inherit(const type_t *type)
 203 {
 204     type = type_get_real_type(type);
 205     assert(type_get_type(type) == TYPE_INTERFACE);
 206     return type->details.iface->inherit;
 207 }
 208
 209 static inline typeref_list_t *type_iface_get_requires(const type_t *type)
 210 {
 211     type = type_get_real_type(type);
 212     assert(type_get_type(type) == TYPE_INTERFACE);
 213     return type->details.iface->requires;
 214 }
 215
 216 static inline type_t *type_iface_get_async_iface(const type_t *type)
 217 {
 218     type = type_get_real_type(type);
 219     assert(type_get_type(type) == TYPE_INTERFACE);
 220     return type->details.iface->async_iface;
 221 }
 222
 223 static inline var_list_t *type_dispiface_get_props(const type_t *type)
 224 {
 225     type = type_get_real_type(type);
 226     assert(type_get_type(type) == TYPE_INTERFACE);
 227     return type->details.iface->disp_props;
 228 }
 229
 230 static inline var_list_t *type_dispiface_get_methods(const type_t *type)
 231 {
 232     type = type_get_real_type(type);
 233     assert(type_get_type(type) == TYPE_INTERFACE);
 234     return type->details.iface->disp_methods;
 235 }
 236
 237 static inline type_t *type_dispiface_get_inherit(const type_t *type)
 238 {
 239     type = type_get_real_type(type);
 240     assert(type_get_type(type) == TYPE_INTERFACE);
 241     return type->details.iface->disp_inherit;
 242 }
 243
 244 static inline int type_is_defined(const type_t *type)
 245 {
 246     return type->defined;
 247 }
 248
 249 static inline int type_is_complete(const type_t *type)
 250 {
 251     switch (type_get_type_detect_alias(type))
 252     {
 253     case TYPE_FUNCTION:
 254         return (type->details.function != NULL);
 255     case TYPE_INTERFACE:
 256         return (type->details.iface != NULL);
 257     case TYPE_ENUM:
 258         return (type->details.enumeration != NULL);
 259     case TYPE_UNION:
 260     case TYPE_ENCAPSULATED_UNION:
 261     case TYPE_STRUCT:
 262         return (type->details.structure != NULL);
 263     case TYPE_VOID:
 264     case TYPE_BASIC:
 265     case TYPE_ALIAS:
 266     case TYPE_MODULE:
 267     case TYPE_COCLASS:
 268     case TYPE_POINTER:
 269     case TYPE_ARRAY:
 270     case TYPE_BITFIELD:
 271     case TYPE_RUNTIMECLASS:
 272     case TYPE_DELEGATE:
 273         return TRUE;
 274     case TYPE_APICONTRACT:
 275     case TYPE_PARAMETERIZED_TYPE:
 276     case TYPE_PARAMETER:
 277         assert(0);
 278         break;
 279     }
 280     return FALSE;
 281 }
 282
 283 static inline int type_array_has_conformance(const type_t *type)
 284 {
 285     type = type_get_real_type(type);
 286     assert(type_get_type(type) == TYPE_ARRAY);
 287     return (type->details.array.size_is != NULL);
 288 }
 289
 290 static inline int type_array_has_variance(const type_t *type)
 291 {
 292     type = type_get_real_type(type);
 293     assert(type_get_type(type) == TYPE_ARRAY);
 294     return (type->details.array.length_is != NULL);
 295 }
 296
 297 static inline unsigned int type_array_get_dim(const type_t *type)
 298 {
 299     type = type_get_real_type(type);
 300     assert(type_get_type(type) == TYPE_ARRAY);
 301     return type->details.array.dim;
 302 }
 303
 304 static inline expr_t *type_array_get_conformance(const type_t *type)
 305 {
 306     type = type_get_real_type(type);
 307     assert(type_get_type(type) == TYPE_ARRAY);
 308     return type->details.array.size_is;
 309 }
 310
 311 static inline expr_t *type_array_get_variance(const type_t *type)
 312 {
 313     type = type_get_real_type(type);
 314     assert(type_get_type(type) == TYPE_ARRAY);
 315     return type->details.array.length_is;
 316 }
 317
 318 static inline unsigned short type_array_get_ptr_tfsoff(const type_t *type)
 319 {
 320     type = type_get_real_type(type);
 321     assert(type_get_type(type) == TYPE_ARRAY);
 322     return type->details.array.ptr_tfsoff;
 323 }
 324
 325 static inline void type_array_set_ptr_tfsoff(type_t *type, unsigned short ptr_tfsoff)
 326 {
 327     type = type_get_real_type(type);
 328     assert(type_get_type(type) == TYPE_ARRAY);
 329     type->details.array.ptr_tfsoff = ptr_tfsoff;
 330 }
 331
 332 static inline const decl_spec_t *type_array_get_element(const type_t *type)
 333 {
 334     type = type_get_real_type(type);
 335     assert(type_get_type(type) == TYPE_ARRAY);
 336     return &type->details.array.elem;
 337 }
 338
 339 static inline type_t *type_array_get_element_type(const type_t *type)
 340 {
 341     return type_array_get_element(type)->type;
 342 }
 343
 344 static inline int type_array_is_decl_as_ptr(const type_t *type)
 345 {
 346     type = type_get_real_type(type);
 347     assert(type_get_type(type) == TYPE_ARRAY);
 348     return type->details.array.declptr;
 349 }
 350
 351 static inline int type_is_alias(const type_t *type)
 352 {
 353     return type->type_type == TYPE_ALIAS;
 354 }
 355
 356 static inline const decl_spec_t *type_alias_get_aliasee(const type_t *type)
 357 {
 358     assert(type_is_alias(type));
 359     return &type->details.alias.aliasee;
 360 }
 361
 362 static inline type_t *type_alias_get_aliasee_type(const type_t *type)
 363 {
 364     assert(type_is_alias(type));
 365     return type->details.alias.aliasee.type;
 366 }
 367
 368 static inline typeref_list_t *type_coclass_get_ifaces(const type_t *type)
 369 {
 370     type = type_get_real_type(type);
 371     assert(type_get_type(type) == TYPE_COCLASS);
 372     return type->details.coclass.ifaces;
 373 }
 374
 375 static inline typeref_list_t *type_runtimeclass_get_ifaces(const type_t *type)
 376 {
 377     type = type_get_real_type(type);
 378     assert(type_get_type(type) == TYPE_RUNTIMECLASS);
 379     return type->details.runtimeclass.ifaces;
 380 }
 381
 382 static inline type_t *type_runtimeclass_get_default_iface(const type_t *type)
 383 {
 384     typeref_list_t *ifaces = type_runtimeclass_get_ifaces(type);
 385     typeref_t *ref;
 386
 387     if (!ifaces) return NULL;
 388     LIST_FOR_EACH_ENTRY(ref, ifaces, typeref_t, entry)
 389         if (is_attr(ref->attrs, ATTR_DEFAULT))
 390             return ref->type;
 391
 392     return NULL;
 393 }
 394
 395 static inline type_t *type_delegate_get_iface(const type_t *type)
 396 {
 397     type = type_get_real_type(type);
 398     assert(type_get_type(type) == TYPE_DELEGATE);
 399     return type->details.delegate.iface;
 400 }
 401
 402 static inline const decl_spec_t *type_pointer_get_ref(const type_t *type)
 403 {
 404     type = type_get_real_type(type);
 405     assert(type_get_type(type) == TYPE_POINTER);
 406     return &type->details.pointer.ref;
 407 }
 408
 409 static inline type_t *type_pointer_get_ref_type(const type_t *type)
 410 {
 411     return type_pointer_get_ref(type)->type;
 412 }
 413
 414 static inline type_t *type_pointer_get_root_type(type_t *type)
 415 {
 416     for (; type && type->type_type == TYPE_POINTER; type = type_pointer_get_ref_type(type)) {}
 417     return type;
 418 }
 419
 420 static inline type_t *type_bitfield_get_field(const type_t *type)
 421 {
 422     type = type_get_real_type(type);
 423     assert(type_get_type(type) == TYPE_BITFIELD);
 424     return type->details.bitfield.field;
 425 }
 426
 427 static inline const expr_t *type_bitfield_get_bits(const type_t *type)
 428 {
 429     type = type_get_real_type(type);
 430     assert(type_get_type(type) == TYPE_BITFIELD);
 431     return type->details.bitfield.bits;
 432 }
 433
 434 #endif /* WIDL_TYPE_TREE_H */