438 lines
14 KiB
C
438 lines
14 KiB
C
/*
|
|
* IDL Type Tree
|
|
*
|
|
* Copyright 2008 Robert Shearman
|
|
*
|
|
* This library is free software; you can redistribute it and/or
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
* License as published by the Free Software Foundation; either
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
*
|
|
* This library is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
* Lesser General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
* License along with this library; if not, write to the Free Software
|
|
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
|
|
*/
|
|
|
|
#include "widltypes.h"
|
|
#include <assert.h>
|
|
#include <stdio.h>
|
|
|
|
#include "utils.h"
|
|
|
|
#ifndef WIDL_TYPE_TREE_H
|
|
#define WIDL_TYPE_TREE_H
|
|
|
|
enum name_type {
|
|
NAME_DEFAULT,
|
|
NAME_C
|
|
};
|
|
|
|
attr_list_t *check_apicontract_attrs(const char *name, attr_list_t *attrs);
|
|
attr_list_t *check_coclass_attrs(const char *name, attr_list_t *attrs);
|
|
attr_list_t *check_dispiface_attrs(const char *name, attr_list_t *attrs);
|
|
attr_list_t *check_interface_attrs(const char *name, attr_list_t *attrs);
|
|
attr_list_t *check_module_attrs(const char *name, attr_list_t *attrs);
|
|
attr_list_t *check_runtimeclass_attrs(const char *name, attr_list_t *attrs);
|
|
|
|
type_t *find_parameterized_type(type_t *type, typeref_list_t *params);
|
|
|
|
type_t *type_new_function(var_list_t *args);
|
|
type_t *type_new_pointer(type_t *ref);
|
|
type_t *type_new_alias(const decl_spec_t *t, const char *name);
|
|
type_t *type_module_declare(char *name);
|
|
type_t *type_new_array(const char *name, const decl_spec_t *element, int declptr,
|
|
unsigned int dim, expr_t *size_is, expr_t *length_is);
|
|
type_t *type_new_basic(enum type_basic_type basic_type);
|
|
type_t *type_new_int(enum type_basic_type basic_type, int sign);
|
|
type_t *type_new_void(void);
|
|
type_t *type_coclass_declare(char *name);
|
|
type_t *type_new_enum(const char *name, struct namespace *namespace, int defined, var_list_t *enums);
|
|
type_t *type_new_struct(char *name, struct namespace *namespace, int defined, var_list_t *fields);
|
|
type_t *type_new_nonencapsulated_union(const char *name, int defined, var_list_t *fields);
|
|
type_t *type_new_encapsulated_union(char *name, var_t *switch_field, var_t *union_field, var_list_t *cases);
|
|
type_t *type_new_bitfield(type_t *field_type, const expr_t *bits);
|
|
type_t *type_runtimeclass_declare(char *name, struct namespace *namespace);
|
|
type_t *type_interface_declare(char *name, struct namespace *namespace);
|
|
type_t *type_interface_define(type_t *iface, attr_list_t *attrs, type_t *inherit, statement_list_t *stmts, typeref_list_t *requires);
|
|
type_t *type_dispinterface_declare(char *name);
|
|
type_t *type_dispinterface_define(type_t *iface, attr_list_t *attrs, var_list_t *props, var_list_t *methods);
|
|
type_t *type_dispinterface_define_from_iface(type_t *dispiface, attr_list_t *attrs, type_t *iface);
|
|
type_t *type_module_define(type_t* module, attr_list_t *attrs, statement_list_t *stmts);
|
|
type_t *type_coclass_define(type_t *coclass, attr_list_t *attrs, typeref_list_t *ifaces);
|
|
type_t *type_runtimeclass_define(type_t *runtimeclass, attr_list_t *attrs, typeref_list_t *ifaces);
|
|
type_t *type_apicontract_declare(char *name, struct namespace *namespace);
|
|
type_t *type_apicontract_define(type_t *apicontract, attr_list_t *attrs);
|
|
type_t *type_delegate_declare(char *name, struct namespace *namespace);
|
|
type_t *type_delegate_define(type_t *delegate, attr_list_t *attrs, statement_list_t *stmts);
|
|
type_t *type_parameterized_interface_declare(char *name, struct namespace *namespace, typeref_list_t *params);
|
|
type_t *type_parameterized_interface_define(type_t *type, attr_list_t *attrs, type_t *inherit, statement_list_t *stmts, typeref_list_t *requires);
|
|
type_t *type_parameterized_delegate_declare(char *name, struct namespace *namespace, typeref_list_t *params);
|
|
type_t *type_parameterized_delegate_define(type_t *type, attr_list_t *attrs, statement_list_t *stmts);
|
|
type_t *type_parameterized_type_specialize_partial(type_t *type, typeref_list_t *params);
|
|
type_t *type_parameterized_type_specialize_declare(type_t *type, typeref_list_t *params);
|
|
type_t *type_parameterized_type_specialize_define(type_t *type);
|
|
int type_is_equal(const type_t *type1, const type_t *type2);
|
|
const char *type_get_name(const type_t *type, enum name_type name_type);
|
|
const char *type_get_qualified_name(const type_t *type, enum name_type name_type);
|
|
char *gen_name(void);
|
|
extern int is_attr(const attr_list_t *list, enum attr_type t);
|
|
|
|
typeref_t *make_typeref(type_t *type);
|
|
typeref_list_t *append_typeref(typeref_list_t *list, typeref_t *ref);
|
|
attr_t *make_attrp(enum attr_type type, void *val);
|
|
attr_list_t *append_attr(attr_list_t *list, attr_t *attr);
|
|
|
|
/* FIXME: shouldn't need to export this */
|
|
type_t *duptype(type_t *t, int dupname);
|
|
|
|
/* un-alias the type until finding the non-alias type */
|
|
static inline type_t *type_get_real_type(const type_t *type)
|
|
{
|
|
if (type->type_type == TYPE_ALIAS)
|
|
return type_get_real_type(type->details.alias.aliasee.type);
|
|
else
|
|
return (type_t *)type;
|
|
}
|
|
|
|
static inline type_t *type_parameterized_type_get_real_type(const type_t *type)
|
|
{
|
|
if (type->type_type == TYPE_PARAMETERIZED_TYPE)
|
|
return type_parameterized_type_get_real_type(type->details.parameterized.type);
|
|
else
|
|
return (type_t *)type;
|
|
}
|
|
|
|
static inline enum type_type type_get_type(const type_t *type)
|
|
{
|
|
return type_get_type_detect_alias(type_get_real_type(type));
|
|
}
|
|
|
|
static inline enum type_basic_type type_basic_get_type(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_BASIC);
|
|
return type->details.basic.type;
|
|
}
|
|
|
|
static inline int type_basic_get_sign(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_BASIC);
|
|
return type->details.basic.sign;
|
|
}
|
|
|
|
static inline var_list_t *type_struct_get_fields(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_STRUCT);
|
|
return type->details.structure->fields;
|
|
}
|
|
|
|
static inline var_list_t *type_function_get_args(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_FUNCTION);
|
|
return type->details.function->args;
|
|
}
|
|
|
|
static inline var_t *type_function_get_retval(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_FUNCTION);
|
|
return type->details.function->retval;
|
|
}
|
|
|
|
static inline const decl_spec_t *type_function_get_ret(const type_t *type)
|
|
{
|
|
return &type_function_get_retval(type)->declspec;
|
|
}
|
|
|
|
static inline type_t *type_function_get_rettype(const type_t *type)
|
|
{
|
|
return type_function_get_retval(type)->declspec.type;
|
|
}
|
|
|
|
static inline var_list_t *type_enum_get_values(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ENUM);
|
|
return type->details.enumeration->enums;
|
|
}
|
|
|
|
static inline var_t *type_union_get_switch_value(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ENCAPSULATED_UNION);
|
|
return LIST_ENTRY(list_head(type->details.structure->fields), var_t, entry);
|
|
}
|
|
|
|
static inline var_list_t *type_encapsulated_union_get_fields(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ENCAPSULATED_UNION);
|
|
return type->details.structure->fields;
|
|
}
|
|
|
|
static inline var_list_t *type_union_get_cases(const type_t *type)
|
|
{
|
|
enum type_type type_type;
|
|
|
|
type = type_get_real_type(type);
|
|
type_type = type_get_type(type);
|
|
|
|
assert(type_type == TYPE_UNION || type_type == TYPE_ENCAPSULATED_UNION);
|
|
if (type_type == TYPE_ENCAPSULATED_UNION)
|
|
{
|
|
const var_t *uv = LIST_ENTRY(list_tail(type->details.structure->fields), const var_t, entry);
|
|
return uv->declspec.type->details.structure->fields;
|
|
}
|
|
else
|
|
return type->details.structure->fields;
|
|
}
|
|
|
|
static inline statement_list_t *type_iface_get_stmts(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->stmts;
|
|
}
|
|
|
|
static inline type_t *type_iface_get_inherit(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->inherit;
|
|
}
|
|
|
|
static inline typeref_list_t *type_iface_get_requires(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->requires;
|
|
}
|
|
|
|
static inline type_t *type_iface_get_async_iface(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->async_iface;
|
|
}
|
|
|
|
static inline var_list_t *type_dispiface_get_props(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->disp_props;
|
|
}
|
|
|
|
static inline var_list_t *type_dispiface_get_methods(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->disp_methods;
|
|
}
|
|
|
|
static inline type_t *type_dispiface_get_inherit(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_INTERFACE);
|
|
return type->details.iface->disp_inherit;
|
|
}
|
|
|
|
static inline int type_is_defined(const type_t *type)
|
|
{
|
|
return type->defined;
|
|
}
|
|
|
|
static inline int type_is_complete(const type_t *type)
|
|
{
|
|
switch (type_get_type_detect_alias(type))
|
|
{
|
|
case TYPE_FUNCTION:
|
|
return (type->details.function != NULL);
|
|
case TYPE_INTERFACE:
|
|
return (type->details.iface != NULL);
|
|
case TYPE_ENUM:
|
|
return (type->details.enumeration != NULL);
|
|
case TYPE_UNION:
|
|
case TYPE_ENCAPSULATED_UNION:
|
|
case TYPE_STRUCT:
|
|
return (type->details.structure != NULL);
|
|
case TYPE_VOID:
|
|
case TYPE_BASIC:
|
|
case TYPE_ALIAS:
|
|
case TYPE_MODULE:
|
|
case TYPE_COCLASS:
|
|
case TYPE_POINTER:
|
|
case TYPE_ARRAY:
|
|
case TYPE_BITFIELD:
|
|
case TYPE_RUNTIMECLASS:
|
|
case TYPE_DELEGATE:
|
|
return TRUE;
|
|
case TYPE_APICONTRACT:
|
|
case TYPE_PARAMETERIZED_TYPE:
|
|
case TYPE_PARAMETER:
|
|
assert(0);
|
|
break;
|
|
}
|
|
return FALSE;
|
|
}
|
|
|
|
static inline int type_array_has_conformance(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return (type->details.array.size_is != NULL);
|
|
}
|
|
|
|
static inline int type_array_has_variance(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return (type->details.array.length_is != NULL);
|
|
}
|
|
|
|
static inline unsigned int type_array_get_dim(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return type->details.array.dim;
|
|
}
|
|
|
|
static inline expr_t *type_array_get_conformance(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return type->details.array.size_is;
|
|
}
|
|
|
|
static inline expr_t *type_array_get_variance(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return type->details.array.length_is;
|
|
}
|
|
|
|
static inline unsigned short type_array_get_ptr_tfsoff(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return type->details.array.ptr_tfsoff;
|
|
}
|
|
|
|
static inline void type_array_set_ptr_tfsoff(type_t *type, unsigned short ptr_tfsoff)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
type->details.array.ptr_tfsoff = ptr_tfsoff;
|
|
}
|
|
|
|
static inline const decl_spec_t *type_array_get_element(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return &type->details.array.elem;
|
|
}
|
|
|
|
static inline type_t *type_array_get_element_type(const type_t *type)
|
|
{
|
|
return type_array_get_element(type)->type;
|
|
}
|
|
|
|
static inline int type_array_is_decl_as_ptr(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_ARRAY);
|
|
return type->details.array.declptr;
|
|
}
|
|
|
|
static inline int type_is_alias(const type_t *type)
|
|
{
|
|
return type->type_type == TYPE_ALIAS;
|
|
}
|
|
|
|
static inline const decl_spec_t *type_alias_get_aliasee(const type_t *type)
|
|
{
|
|
assert(type_is_alias(type));
|
|
return &type->details.alias.aliasee;
|
|
}
|
|
|
|
static inline type_t *type_alias_get_aliasee_type(const type_t *type)
|
|
{
|
|
assert(type_is_alias(type));
|
|
return type->details.alias.aliasee.type;
|
|
}
|
|
|
|
static inline typeref_list_t *type_coclass_get_ifaces(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_COCLASS);
|
|
return type->details.coclass.ifaces;
|
|
}
|
|
|
|
static inline typeref_list_t *type_runtimeclass_get_ifaces(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_RUNTIMECLASS);
|
|
return type->details.runtimeclass.ifaces;
|
|
}
|
|
|
|
static inline type_t *type_runtimeclass_get_default_iface(const type_t *type, int check)
|
|
{
|
|
typeref_list_t *ifaces = type_runtimeclass_get_ifaces(type);
|
|
typeref_t *ref;
|
|
|
|
if (ifaces) LIST_FOR_EACH_ENTRY(ref, ifaces, typeref_t, entry)
|
|
if (is_attr(ref->attrs, ATTR_DEFAULT))
|
|
return ref->type;
|
|
|
|
if (!check) return NULL;
|
|
error_loc_info(&type->loc_info, "runtimeclass %s needs a default interface\n", type->name);
|
|
}
|
|
|
|
static inline type_t *type_delegate_get_iface(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_DELEGATE);
|
|
return type->details.delegate.iface;
|
|
}
|
|
|
|
static inline const decl_spec_t *type_pointer_get_ref(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_POINTER);
|
|
return &type->details.pointer.ref;
|
|
}
|
|
|
|
static inline type_t *type_pointer_get_ref_type(const type_t *type)
|
|
{
|
|
return type_pointer_get_ref(type)->type;
|
|
}
|
|
|
|
static inline type_t *type_pointer_get_root_type(type_t *type)
|
|
{
|
|
for (; type && type->type_type == TYPE_POINTER; type = type_pointer_get_ref_type(type)) {}
|
|
return type;
|
|
}
|
|
|
|
static inline type_t *type_bitfield_get_field(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_BITFIELD);
|
|
return type->details.bitfield.field;
|
|
}
|
|
|
|
static inline const expr_t *type_bitfield_get_bits(const type_t *type)
|
|
{
|
|
type = type_get_real_type(type);
|
|
assert(type_get_type(type) == TYPE_BITFIELD);
|
|
return type->details.bitfield.bits;
|
|
}
|
|
|
|
#endif /* WIDL_TYPE_TREE_H */
|