typetree.h File Reference

#include "widltypes.h"
#include <assert.h>
#include <stdio.h>
#include "utils.h"

Include dependency graph for typetree.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations
enum	name_type { NAME_DEFAULT , NAME_C }

Functions
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, const struct location *where)
type_t *	type_new_struct (char *name, struct namespace *namespace, int defined, var_list_t *fields, const struct location *where)
type_t *	type_new_nonencapsulated_union (const char *name, struct namespace *namespace, int defined, var_list_t *fields, const struct location *where)
type_t *	type_new_encapsulated_union (char *name, var_t *switch_field, var_t *union_field, var_list_t *cases, const struct location *where)
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, const struct location *where)
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, const struct location *where)
type_t *	type_dispinterface_define_from_iface (type_t *dispiface, attr_list_t *attrs, type_t *iface, const struct location *where)
type_t *	type_module_define (type_t *module, attr_list_t *attrs, statement_list_t *stmts, const struct location *where)
type_t *	type_coclass_define (type_t *coclass, attr_list_t *attrs, typeref_list_t *ifaces, const struct location *where)
type_t *	type_runtimeclass_define (type_t *runtimeclass, attr_list_t *attrs, typeref_list_t *ifaces, const struct location *where)
type_t *	type_apicontract_declare (char *name, struct namespace *namespace)
type_t *	type_apicontract_define (type_t *apicontract, attr_list_t *attrs, const struct location *where)
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, const struct location *where)
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, const struct location *where)
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, const struct location *where)
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_decl_name (const type_t *type, enum name_type name_type)
const char *	type_get_name (const type_t *type, enum name_type name_type)
char *	gen_name (void)
typeref_t *	make_typeref (type_t *type)
typeref_list_t *	append_typeref (typeref_list_t *list, typeref_t *ref)
type_t *	duptype (type_t *t, int dupname)
static type_t *	type_get_real_type (const type_t *type)
static type_t *	type_parameterized_type_get_real_type (const type_t *type)
static enum type_type	type_get_type (const type_t *type)
static enum type_basic_type	type_basic_get_type (const type_t *type)
static int	type_basic_get_sign (const type_t *type)
static var_list_t *	type_struct_get_fields (const type_t *type)
static var_list_t *	type_function_get_args (const type_t *type)
static var_t *	type_function_get_retval (const type_t *type)
static const decl_spec_t *	type_function_get_ret (const type_t *type)
static type_t *	type_function_get_rettype (const type_t *type)
static var_list_t *	type_enum_get_values (const type_t *type)
static var_t *	type_union_get_switch_value (const type_t *type)
static var_list_t *	type_encapsulated_union_get_fields (const type_t *type)
static var_list_t *	type_union_get_cases (const type_t *type)
static statement_list_t *	type_iface_get_stmts (const type_t *type)
static type_t *	type_iface_get_inherit (const type_t *type)
static typeref_list_t *	type_iface_get_requires (const type_t *type)
static type_t *	type_iface_get_async_iface (const type_t *type)
static var_list_t *	type_dispiface_get_props (const type_t *type)
static var_list_t *	type_dispiface_get_methods (const type_t *type)
static type_t *	type_dispiface_get_inherit (const type_t *type)
static int	type_is_defined (const type_t *type)
static int	type_is_complete (const type_t *type)
static int	type_array_has_conformance (const type_t *type)
static int	type_array_has_variance (const type_t *type)
static unsigned int	type_array_get_dim (const type_t *type)
static expr_t *	type_array_get_conformance (const type_t *type)
static expr_t *	type_array_get_variance (const type_t *type)
static unsigned short	type_array_get_ptr_tfsoff (const type_t *type)
static void	type_array_set_ptr_tfsoff (type_t *type, unsigned short ptr_tfsoff)
static const decl_spec_t *	type_array_get_element (const type_t *type)
static type_t *	type_array_get_element_type (const type_t *type)
static int	type_array_is_decl_as_ptr (const type_t *type)
static int	type_is_alias (const type_t *type)
static int	type_is_ptr (const type_t *type)
static const decl_spec_t *	type_alias_get_aliasee (const type_t *type)
static type_t *	type_alias_get_aliasee_type (const type_t *type)
static typeref_list_t *	type_coclass_get_ifaces (const type_t *type)
static typeref_list_t *	type_runtimeclass_get_ifaces (const type_t *type)
static type_t *	type_runtimeclass_get_default_iface (const type_t *type, int check)
static type_t *	type_delegate_get_iface (const type_t *type)
static const decl_spec_t *	type_pointer_get_ref (const type_t *type)
static type_t *	type_pointer_get_ref_type (const type_t *type)
static type_t *	type_pointer_get_root_type (type_t *type)
static type_t *	type_bitfield_get_field (const type_t *type)
static const expr_t *	type_bitfield_get_bits (const type_t *type)

Enumeration Type Documentation

name_type

enum name_type

Enumerator
NAME_DEFAULT
NAME_C

Definition at line 30 of file typetree.h.

               {
    NAME_DEFAULT,
    NAME_C
};

Function Documentation

append_typeref()

typeref_list_t * append_typeref	(	typeref_list_t *	list,
		typeref_t *	ref
	)

Referenced by replace_type_parameters_in_type_list().

duptype()

type_t * duptype	(	type_t *	t,
		int	dupname
	)

Definition at line 37 of file typetree.c.

{
  type_t *d = alloc_type();
 
  *d = *t;
  if (dupname && t->name)
    d->name = xstrdup(t->name);
 
  return d;
}

Referenced by replace_type_parameters_in_type(), type_parameterized_type_specialize_declare(), and type_parameterized_type_specialize_partial().

find_parameterized_type()

type_t * find_parameterized_type	(	type_t *	type,
		typeref_list_t *	params
	)

Referenced by replace_type_parameters_in_type(), and type_parameterized_type_specialize_define().

gen_name()

char * gen_name

(

void

)

Referenced by add_structure_typeinfo(), add_union_typeinfo(), add_var_desc(), alloc_rootdir_entry(), and type_new_encapsulated_union().

make_typeref()

typeref_t * make_typeref

(

type_t *

type

)

Referenced by replace_type_parameters_in_type_list().

type_alias_get_aliasee()

static const decl_spec_t * type_alias_get_aliasee ( const type_t *  type )

inlinestatic

Definition at line 367 of file typetree.h.

{
    assert(type_is_alias(type));
    return &type->details.alias.aliasee;
}

Referenced by write_typedef().

type_alias_get_aliasee_type()

static type_t * type_alias_get_aliasee_type ( const type_t *  type )

inlinestatic

Definition at line 373 of file typetree.h.

{
    assert(type_is_alias(type));
    return type->details.alias.aliasee.type;
}

Referenced by add_entry(), add_typedef_typeinfo(), check_for_additional_prototype_types(), encode_type(), encode_var(), get_aliaschain_attrp(), get_context_handle_offset(), get_context_handle_type_name(), get_explicit_generic_handle_type(), get_generic_handle_offset(), get_pointer_fc(), get_user_type(), is_aliaschain_attr(), is_context_handle(), is_ptrchain_attr(), write_typedef(), and write_var_desc().

type_apicontract_declare()

type_t * type_apicontract_declare	(	char *	name,
		struct namespace *	namespace
	)

Definition at line 887 of file typetree.c.

{
    type_t *type = get_type(TYPE_APICONTRACT, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_APICONTRACT)
        error_loc( "apicontract %s previously not declared a apicontract at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_apicontract_define()

type_t * type_apicontract_define	(	type_t *	apicontract,
		attr_list_t *	attrs,
		const struct location *	where
	)

Definition at line 896 of file typetree.c.

{
    apicontract->attrs = check_apicontract_attrs(apicontract->name, attrs);
    define_type(apicontract, where);
    return apicontract;
}

type_array_get_conformance()

static expr_t * type_array_get_conformance ( const type_t *  type )

inlinestatic

Definition at line 310 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return type->details.array.size_is;
}

Referenced by assign_stub_out_args(), clear_output_vars(), get_array_fc(), get_size_is_expr(), write_array_tfs(), write_parameter_conf_or_var_exprs(), and write_string_tfs().

type_array_get_dim()

static unsigned int type_array_get_dim ( const type_t *  type )

inlinestatic

Definition at line 303 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return type->details.array.dim;
}

Referenced by encode_var(), get_array_fc(), get_required_buffer_size_type(), type_memsize_and_alignment(), write_array_tfs(), write_fixed_array_pointer_descriptions(), write_string_tfs(), write_type_right(), and write_var_desc().

type_array_get_element()

static const decl_spec_t * type_array_get_element ( const type_t *  type )

inlinestatic

Definition at line 338 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return &type->details.array.elem;
}

Referenced by type_array_get_element_type(), and write_type_left().

type_array_get_element_type()

static type_t * type_array_get_element_type ( const type_t *  type )

inlinestatic

Definition at line 345 of file typetree.h.

{
    return type_array_get_element(type)->type;
}

Referenced by assign_stub_out_args(), builtin_vt(), check_for_additional_prototype_types(), encode_type(), encode_var(), get_array_fc(), get_required_buffer_size_type(), get_size_is_expr(), get_struct_fc(), get_type_vt(), last_array(), resolve_expression(), type_buffer_alignment(), type_has_full_pointer_recurse(), type_has_pointers(), type_memsize_and_alignment(), write_array_element_type(), write_array_tfs(), write_conformant_array_pointer_descriptions(), write_fixed_array_pointer_descriptions(), write_pointer_description_offsets(), write_string_tfs(), write_type_left(), write_type_right(), write_var_desc(), and write_varying_array_pointer_descriptions().

type_array_get_ptr_tfsoff()

static unsigned short type_array_get_ptr_tfsoff ( const type_t *  type )

inlinestatic

Definition at line 324 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return type->details.array.ptr_tfsoff;
}

Referenced by get_parameter_fc(), write_old_procformatstring_type(), and write_remoting_arg().

type_array_get_variance()

static expr_t * type_array_get_variance ( const type_t *  type )

inlinestatic

Definition at line 317 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return type->details.array.length_is;
}

Referenced by write_array_tfs(), and write_parameter_conf_or_var_exprs().

type_array_has_conformance()

static int type_array_has_conformance ( const type_t *  type )

inlinestatic

Definition at line 289 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return (type->details.array.size_is != NULL);
}

Referenced by assign_stub_out_args(), clear_output_vars(), get_size_is_expr(), get_struct_fc(), is_conformant_array(), write_fixed_array_pointer_descriptions(), write_parameter_conf_or_var_exprs(), and write_string_tfs().

type_array_has_variance()

static int type_array_has_variance ( const type_t *  type )

inlinestatic

Definition at line 296 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return (type->details.array.length_is != NULL);
}

Referenced by get_array_fc(), get_struct_fc(), write_conformant_array_pointer_descriptions(), write_fixed_array_pointer_descriptions(), write_parameter_conf_or_var_exprs(), and write_varying_array_pointer_descriptions().

type_array_is_decl_as_ptr()

static int type_array_is_decl_as_ptr ( const type_t *  type )

inlinestatic

Definition at line 350 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    return type->details.array.declptr;
}

Referenced by assign_stub_out_args(), cant_be_null(), decl_needs_parens(), declare_stub_args(), encode_var(), find_array_or_string_in_struct(), gen_stub(), get_parameter_fc(), get_struct_fc(), get_type_vt(), is_declptr(), needs_space_after(), resolve_expression(), type_buffer_alignment(), type_has_pointers(), type_memsize_and_alignment(), write_array_tfs(), write_conf_or_var_desc(), write_func_param_struct(), write_function_stub(), write_no_repeat_pointer_descriptions(), write_old_procformatstring_type(), write_pointer_description(), write_pointer_description_offsets(), write_remoting_arg(), write_string_tfs(), write_struct_members(), write_struct_tfs(), write_type_left(), write_type_right(), write_type_tfs(), and write_var_desc().

type_array_set_ptr_tfsoff()

static void type_array_set_ptr_tfsoff ( type_t *  type, unsigned short  ptr_tfsoff  )

inlinestatic

Definition at line 331 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ARRAY);
    type->details.array.ptr_tfsoff = ptr_tfsoff;
}

Referenced by write_type_tfs().

type_basic_get_sign()

static int type_basic_get_sign ( const type_t *  type )

inlinestatic

Definition at line 125 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_BASIC);
    return type->details.basic.sign;
}

Referenced by append_type_signature(), get_basic_fc(), get_type_vt(), is_signed_integer_type(), and write_type_left().

type_basic_get_type()

static enum type_basic_type type_basic_get_type ( const type_t *  type )

inlinestatic

Definition at line 118 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_BASIC);
    return type->details.basic.type;
}

Referenced by append_type_signature(), builtin_vt(), check_for_additional_prototype_types(), check_interface_attrs(), fill_params_array(), get_array_fc(), get_basic_fc(), get_basic_fc_signed(), get_explicit_generic_handle_type(), get_func_handle_var(), get_stack_size(), get_struct_fc(), get_type_vt(), is_float_type(), is_integer_type(), is_interpreted_func(), is_signed_integer_type(), is_valid_bitfield_type(), print_phase_basetype(), write_proc_func_interp(), and write_type_left().

type_bitfield_get_bits()

static const expr_t * type_bitfield_get_bits ( const type_t *  type )

inlinestatic

Definition at line 442 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_BITFIELD);
    return type->details.bitfield.bits;
}

Referenced by write_type_right().

type_bitfield_get_field()

static type_t * type_bitfield_get_field ( const type_t *  type )

inlinestatic

Definition at line 435 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_BITFIELD);
    return type->details.bitfield.field;
}

Referenced by write_type_left().

type_coclass_declare()

type_t * type_coclass_declare

(

char *

name

)

Definition at line 823 of file typetree.c.

{
    type_t *type = get_type(TYPE_COCLASS, name, NULL, 0);
    if (type_get_type_detect_alias( type ) != TYPE_COCLASS)
        error_loc( "coclass %s previously not declared a coclass at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_coclass_define()

type_t * type_coclass_define	(	type_t *	coclass,
		attr_list_t *	attrs,
		typeref_list_t *	ifaces,
		const struct location *	where
	)

Definition at line 832 of file typetree.c.

{
    coclass->attrs = check_coclass_attrs(coclass->name, attrs);
    coclass->details.coclass.ifaces = ifaces;
    define_type(coclass, where);
    return coclass;
}

type_coclass_get_ifaces()

static typeref_list_t * type_coclass_get_ifaces ( const type_t *  type )

inlinestatic

Definition at line 379 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_COCLASS);
    return type->details.coclass.ifaces;
}

Referenced by add_coclass_typeinfo().

type_delegate_declare()

type_t * type_delegate_declare	(	char *	name,
		struct namespace *	namespace
	)

Definition at line 915 of file typetree.c.

{
    type_t *type = get_type(TYPE_DELEGATE, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_DELEGATE)
        error_loc( "delegate %s previously not declared a delegate at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_delegate_define()

type_t * type_delegate_define	(	type_t *	delegate,
		attr_list_t *	attrs,
		statement_list_t *	stmts,
		const struct location *	where
	)

Definition at line 924 of file typetree.c.

{
    type_t *iface;
 
    delegate->attrs = check_interface_attrs(delegate->name, attrs);
 
    iface = make_type(TYPE_INTERFACE);
    iface->attrs = delegate->attrs;
    iface->details.iface = xmalloc(sizeof(*iface->details.iface));
    iface->details.iface->disp_props = NULL;
    iface->details.iface->disp_methods = NULL;
    iface->details.iface->stmts = stmts;
    iface->details.iface->inherit = find_type("IUnknown", NULL, 0);
    if (!iface->details.iface->inherit) error_loc("IUnknown is undefined\n");
    iface->details.iface->disp_inherit = NULL;
    iface->details.iface->async_iface = NULL;
    iface->details.iface->requires = NULL;
    define_type(iface, where);
    iface->defined = TRUE;
    compute_method_indexes(iface);
 
    delegate->details.delegate.iface = iface;
    define_type(delegate, where);
    compute_delegate_iface_names(delegate, NULL, NULL);
 
    return delegate;
}

type_delegate_get_iface()

static type_t * type_delegate_get_iface ( const type_t *  type )

inlinestatic

Definition at line 410 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_DELEGATE);
    return type->details.delegate.iface;
}

Referenced by append_type_signature(), write_forward_decls(), write_header_stmts(), write_parameterized_implementation(), write_parameterized_type_forward(), and write_type_left().

type_dispiface_get_inherit()

static type_t * type_dispiface_get_inherit ( const type_t *  type )

inlinestatic

Definition at line 243 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->disp_inherit;
}

Referenced by add_dispinterface_typeinfo().

type_dispiface_get_methods()

static var_list_t * type_dispiface_get_methods ( const type_t *  type )

inlinestatic

Definition at line 236 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->disp_methods;
}

Referenced by add_dispinterface_typeinfo().

type_dispiface_get_props()

static var_list_t * type_dispiface_get_props ( const type_t *  type )

inlinestatic

Definition at line 229 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->disp_props;
}

Referenced by add_dispinterface_typeinfo().

type_dispinterface_declare()

type_t * type_dispinterface_declare

(

char *

name

)

Definition at line 759 of file typetree.c.

{
    type_t *type = get_type(TYPE_INTERFACE, name, NULL, 0);
    if (type_get_type_detect_alias( type ) != TYPE_INTERFACE)
        error_loc( "dispinterface %s previously not declared a dispinterface at %s:%d\n",
                   type->name, type->where.input_name, type->where.first_line );
    return type;
}

type_dispinterface_define()

type_t * type_dispinterface_define	(	type_t *	iface,
		attr_list_t *	attrs,
		var_list_t *	props,
		var_list_t *	methods,
		const struct location *	where
	)

Definition at line 768 of file typetree.c.

{
    iface->attrs = check_dispiface_attrs(iface->name, attrs);
    iface->details.iface = xmalloc(sizeof(*iface->details.iface));
    iface->details.iface->disp_props = props;
    iface->details.iface->disp_methods = methods;
    iface->details.iface->stmts = NULL;
    iface->details.iface->inherit = find_type("IDispatch", NULL, 0);
    if (!iface->details.iface->inherit) error_loc("IDispatch is undefined\n");
    iface->details.iface->disp_inherit = NULL;
    iface->details.iface->async_iface = NULL;
    iface->details.iface->requires = NULL;
    define_type(iface, where);
    compute_method_indexes(iface);
    return iface;
}

type_dispinterface_define_from_iface()

type_t * type_dispinterface_define_from_iface	(	type_t *	dispiface,
		attr_list_t *	attrs,
		type_t *	iface,
		const struct location *	where
	)

Definition at line 786 of file typetree.c.

{
    dispiface->attrs = check_dispiface_attrs(dispiface->name, attrs);
    dispiface->details.iface = xmalloc(sizeof(*dispiface->details.iface));
    dispiface->details.iface->disp_props = NULL;
    dispiface->details.iface->disp_methods = NULL;
    dispiface->details.iface->stmts = NULL;
    dispiface->details.iface->inherit = find_type("IDispatch", NULL, 0);
    if (!dispiface->details.iface->inherit) error_loc("IDispatch is undefined\n");
    dispiface->details.iface->disp_inherit = iface;
    dispiface->details.iface->async_iface = NULL;
    dispiface->details.iface->requires = NULL;
    define_type(dispiface, where);
    compute_method_indexes(dispiface);
    return dispiface;
}

type_encapsulated_union_get_fields()

static var_list_t * type_encapsulated_union_get_fields ( const type_t *  type )

inlinestatic

Definition at line 177 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ENCAPSULATED_UNION);
    return type->details.structure->fields;
}

Referenced by add_structure_typeinfo(), type_buffer_alignment(), type_memsize_and_alignment(), and write_type_left().

type_enum_get_values()

static var_list_t * type_enum_get_values ( const type_t *  type )

inlinestatic

Definition at line 163 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_ENUM);
    return type->details.enumeration->enums;
}

Referenced by add_enum_typeinfo(), check_for_additional_prototype_types(), and write_type_left().

type_function_get_args()

static var_list_t * type_function_get_args ( const type_t *  type )

inlinestatic

Definition at line 139 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_FUNCTION);
    return type->details.function->args;
}

Referenced by add_func_desc(), assign_stub_out_args(), declare_stub_args(), do_write_c_method_def(), fill_params_array(), find_identifier(), gen_proxy(), gen_stub(), gen_stub_thunk(), get_func_handle_var(), get_func_oi2_flags(), get_function_buffer_size(), has_out_arg_or_return(), is_full_pointer_function(), process_tfs_iface(), write_client_call_routine(), write_client_func_decl(), write_conf_or_var_desc(), write_cpp_method_def(), write_func_param_struct(), write_function_proto(), write_function_stub(), write_inline_wrappers(), write_locals(), write_method_macro(), write_method_proto(), write_parameterized_implementation(), write_parameters_init(), write_pointer_checks(), write_proc_func_interp(), write_procformatstring_func(), write_remoting_arguments(), and write_type_right().

type_function_get_ret()

static const decl_spec_t * type_function_get_ret ( const type_t *  type )

inlinestatic

Definition at line 153 of file typetree.h.

{
    return &type_function_get_retval(type)->declspec;
}

Referenced by do_write_c_method_def(), write_client_call_routine(), write_client_func_decl(), write_cpp_method_def(), write_function_proto(), write_function_stub(), write_inline_wrappers(), write_locals(), write_method_proto(), and write_type_left().

type_function_get_rettype()

static type_t * type_function_get_rettype ( const type_t *  type )

inlinestatic

Definition at line 158 of file typetree.h.

{
    return type_function_get_retval(type)->declspec.type;
}

Referenced by add_func_desc(), gen_stub(), gen_stub_thunk(), get_function_buffer_size(), has_out_arg_or_return(), is_aggregate_return(), is_full_pointer_function(), is_interpreted_func(), write_function_stub(), write_inline_wrappers(), and write_type_right().

type_function_get_retval()

static var_t * type_function_get_retval ( const type_t *  type )

inlinestatic

Definition at line 146 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_FUNCTION);
    return type->details.function->retval;
}

Referenced by declare_stub_args(), gen_proxy(), get_func_oi2_flags(), process_tfs_iface(), type_function_get_ret(), type_function_get_rettype(), write_func_param_struct(), write_function_stub(), write_parameters_init(), write_proc_func_interp(), write_procformatstring_func(), and write_remoting_arguments().

type_get_decl_name()

const char * type_get_decl_name	(	const type_t *	type,
		enum name_type	name_type
	)

Definition at line 88 of file typetree.c.

{
    switch(name_type) {
    case NAME_DEFAULT:
        return type->name;
    case NAME_C:
        return type->c_name ? type->c_name : type->name;
    }
 
    assert(0);
    return NULL;
}

Referenced by write_type_left().

type_get_name()

const char * type_get_name	(	const type_t *	type,
		enum name_type	name_type
	)

Definition at line 101 of file typetree.c.

{
    switch(name_type) {
    case NAME_DEFAULT:
        return type->qualified_name ? type->qualified_name : type->name;
    case NAME_C:
        return type->c_name ? type->c_name : type->name;
    }
 
    assert(0);
    return NULL;
}

Referenced by write_type_left().

type_get_real_type()

static type_t * type_get_real_type ( const type_t *  type )

inlinestatic

Definition at line 97 of file typetree.h.

{
    if (type->type_type == TYPE_ALIAS)
        return type_get_real_type(type->details.alias.aliasee.type);
    else
        return (type_t *)type;
}

Referenced by type_array_get_conformance(), type_array_get_dim(), type_array_get_element(), type_array_get_ptr_tfsoff(), type_array_get_variance(), type_array_has_conformance(), type_array_has_variance(), type_array_is_decl_as_ptr(), type_array_set_ptr_tfsoff(), type_basic_get_sign(), type_basic_get_type(), type_bitfield_get_bits(), type_bitfield_get_field(), type_coclass_get_ifaces(), type_delegate_get_iface(), type_dispiface_get_inherit(), type_dispiface_get_methods(), type_dispiface_get_props(), type_encapsulated_union_get_fields(), type_enum_get_values(), type_function_get_args(), type_function_get_retval(), type_get_real_type(), type_get_type(), type_iface_get_async_iface(), type_iface_get_inherit(), type_iface_get_requires(), type_iface_get_stmts(), type_pointer_get_ref(), type_runtimeclass_get_ifaces(), type_struct_get_fields(), type_union_get_cases(), and type_union_get_switch_value().

type_get_type()

static enum type_type type_get_type ( const type_t *  type )

inlinestatic

Definition at line 113 of file typetree.h.

{
    return type_get_type_detect_alias(type_get_real_type(type));
}

Referenced by add_structure_typeinfo(), add_type_typeinfo(), build_iface_list(), builtin_vt(), check_for_additional_prototype_types(), check_interface_attrs(), clear_output_vars(), decl_indirect(), declare_stub_args(), does_any_iface(), dump_type(), encode_type(), fill_params_array(), find_array_or_string_in_struct(), find_identifier(), find_ps_factory(), for_each_iface(), for_each_serializable(), free_variable(), get_correlation_type(), get_enum_fc(), get_func_handle_var(), get_type_vt(), is_aggregate_return(), is_array(), is_declptr(), is_float_type(), is_func(), is_integer_type(), is_interpreted_func(), is_non_complex_struct(), is_object(), is_ptr(), is_signed_integer_type(), is_valid_bitfield_type(), is_valid_member_operand(), is_void(), print_phase_basetype(), type_array_get_conformance(), type_array_get_dim(), type_array_get_element(), type_array_get_ptr_tfsoff(), type_array_get_variance(), type_array_has_conformance(), type_array_has_variance(), type_array_is_decl_as_ptr(), type_array_set_ptr_tfsoff(), type_basic_get_sign(), type_basic_get_type(), type_bitfield_get_bits(), type_bitfield_get_field(), type_buffer_alignment(), type_coclass_get_ifaces(), type_delegate_get_iface(), type_dispiface_get_inherit(), type_dispiface_get_methods(), type_dispiface_get_props(), type_encapsulated_union_get_fields(), type_enum_get_values(), type_function_get_args(), type_function_get_retval(), type_iface_get_async_iface(), type_iface_get_inherit(), type_iface_get_requires(), type_iface_get_stmts(), type_memsize_and_alignment(), type_new_function(), type_pointer_get_ref(), type_runtimeclass_get_ifaces(), type_struct_get_fields(), type_union_get_cases(), type_union_get_switch_value(), typegen_detect_type(), user_type_has_variable_size(), write_array_element_type(), write_base_type(), write_branch_type(), write_client_ifaces(), write_coclasses(), write_conf_or_var_desc(), write_default_value(), write_descriptors(), write_expr_eval_routines(), write_fixed_array_pointer_descriptions(), write_forward_decls(), write_header_stmts(), write_id_data_stmts(), write_imports(), write_interfaces(), write_local_stubs_stmts(), write_locals(), write_member_type(), write_old_procformatstring_type(), write_parameter_conf_or_var_exprs(), write_parameterized_implementation(), write_parameterized_type_forward(), write_pointer_description(), write_pointer_description_offsets(), write_proc_func_interp(), write_progids(), write_proxy_stmts(), write_range_tfs(), write_remoting_arg(), write_runtimeclasses_registry(), write_server_stmts(), write_simple_pointer(), write_string_tfs(), write_type_left(), write_type_right(), write_union_tfs(), write_user_tfs(), write_var_desc(), and write_varying_array_pointer_descriptions().

type_iface_get_async_iface()

static type_t * type_iface_get_async_iface ( const type_t *  type )

inlinestatic

Definition at line 222 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->async_iface;
}

Referenced by build_iface_list(), for_each_iface(), write_forward_decls(), write_header_stmts(), write_id_data_stmts(), write_proc_func_interp(), write_proxy(), write_proxy_routines(), and write_proxy_stmts().

type_iface_get_inherit()

static type_t * type_iface_get_inherit ( const type_t *  type )

inlinestatic

Definition at line 208 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->inherit;
}

Referenced by add_dispinterface_typeinfo(), add_interface_typeinfo(), build_iface_list(), compute_method_indexes(), count_methods(), do_write_c_method_def(), get_delegation_indirect(), is_inherited_method(), is_object(), is_override_method(), need_delegation(), write_c_disp_method_def(), write_com_interface_end(), write_iface_procformatstring(), write_inline_wrappers(), write_interface(), write_method_macro(), write_parameterized_implementation(), write_proxy_methods(), write_proxy_procformatstring_offsets(), write_stub_methods(), write_thunk_methods(), and write_widl_using_method_macros().

type_iface_get_requires()

static typeref_list_t * type_iface_get_requires ( const type_t *  type )

inlinestatic

Definition at line 215 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->requires;
}

Referenced by type_runtimeclass_define().

type_iface_get_stmts()

static statement_list_t * type_iface_get_stmts ( const type_t *  type )

inlinestatic

Definition at line 201 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_INTERFACE);
    return type->details.iface->stmts;
}

Referenced by add_dispinterface_typeinfo(), add_interface_typeinfo(), compute_method_indexes(), count_methods(), do_write_c_method_def(), for_each_serializable(), get_callas_source(), get_size_procformatstring_iface(), is_inherited_method(), is_override_method(), need_inline_stubs(), need_proxy_and_inline_stubs(), process_tfs_iface(), write_client_ifaces(), write_cpp_method_def(), write_dispatchtable(), write_function_stubs(), write_header_stmts(), write_iface_procformatstring(), write_imports(), write_inline_wrappers(), write_locals(), write_method_macro(), write_method_proto(), write_parameterized_implementation(), write_procformatstring_offsets(), write_proxy(), write_proxy_methods(), write_proxy_procformatstring_offsets(), write_routinetable(), write_server_stmts(), write_stub_methods(), write_thunk_methods(), and write_widl_using_method_macros().

type_interface_declare()

type_t * type_interface_declare	(	char *	name,
		struct namespace *	namespace
	)

Definition at line 730 of file typetree.c.

{
    type_t *type = get_type(TYPE_INTERFACE, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_INTERFACE)
        error_loc( "interface %s previously not declared an interface at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_interface_define()

type_t * type_interface_define	(	type_t *	iface,
		attr_list_t *	attrs,
		type_t *	inherit,
		statement_list_t *	stmts,
		typeref_list_t *	requires,
		const struct location *	where
	)

Definition at line 739 of file typetree.c.

{
    if (iface == inherit)
        error_loc("interface %s can't inherit from itself\n",
                  iface->name);
    iface->attrs = check_interface_attrs(iface->name, attrs);
    iface->details.iface = xmalloc(sizeof(*iface->details.iface));
    iface->details.iface->disp_props = NULL;
    iface->details.iface->disp_methods = NULL;
    iface->details.iface->stmts = stmts;
    iface->details.iface->inherit = inherit;
    iface->details.iface->disp_inherit = NULL;
    iface->details.iface->async_iface = NULL;
    iface->details.iface->requires = requires;
    define_type(iface, where);
    compute_method_indexes(iface);
    return iface;
}

type_is_alias()

static int type_is_alias ( const type_t *  type )

inlinestatic

Definition at line 357 of file typetree.h.

{
    return type->type_type == TYPE_ALIAS;
}

Referenced by check_for_additional_prototype_types(), decl_needs_parens(), encode_type(), get_aliaschain_attrp(), get_context_handle_offset(), get_context_handle_type_name(), get_explicit_generic_handle_type(), get_generic_handle_offset(), get_pointer_fc(), get_type_vt(), get_user_type(), is_aliaschain_attr(), is_context_handle(), is_ptrchain_attr(), needs_space_after(), type_alias_get_aliasee(), type_alias_get_aliasee_type(), write_type_left(), write_type_right(), and write_var_desc().

type_is_complete()

static int type_is_complete ( const type_t *  type )

inlinestatic

Definition at line 255 of file typetree.h.

{
    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;
}

Referenced by check_for_additional_prototype_types().

type_is_defined()

static int type_is_defined ( const type_t *  type )

inlinestatic

Definition at line 250 of file typetree.h.

{
    return type->defined;
}

Referenced by is_object().

type_is_equal()

int type_is_equal	(	const type_t *	type1,
		const type_t *	type2
	)

Definition at line 1319 of file typetree.c.

{
    if (type1 == type2)
        return TRUE;
    if (type_get_type_detect_alias(type1) != type_get_type_detect_alias(type2))
        return FALSE;
    if (type1->namespace != type2->namespace)
        return FALSE;
 
    if (type1->name && type2->name)
        return !strcmp(type1->name, type2->name);
    else if ((!type1->name && type2->name) || (type1->name && !type2->name))
        return FALSE;
 
    /* FIXME: do deep inspection of types to determine if they are equal */
 
    return FALSE;
}

Referenced by type_runtimeclass_define().

type_is_ptr()

static int type_is_ptr ( const type_t *  type )

inlinestatic

Definition at line 362 of file typetree.h.

{
    return type->type_type == TYPE_POINTER;
}

Referenced by is_ptrchain_attr().

type_module_declare()

type_t * type_module_declare

(

char *

name

)

Definition at line 804 of file typetree.c.

{
    type_t *type = get_type(TYPE_MODULE, name, NULL, 0);
    if (type_get_type_detect_alias( type ) != TYPE_MODULE)
        error_loc( "module %s previously not declared a module at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_module_define()

type_t * type_module_define	(	type_t *	module,
		attr_list_t *	attrs,
		statement_list_t *	stmts,
		const struct location *	where
	)

Definition at line 813 of file typetree.c.

{
    module->attrs = check_module_attrs(module->name, attrs);
    module->details.module = xmalloc(sizeof(*module->details.module));
    module->details.module->stmts = stmts;
    define_type(module, where);
    return module;
}

type_new_alias()

type_t * type_new_alias	(	const decl_spec_t *	t,
		const char *	name
	)

Definition at line 477 of file typetree.c.

{
    type_t *a = make_type(TYPE_ALIAS);
 
    a->name = xstrdup(name);
    a->attrs = NULL;
    a->details.alias.aliasee = *t;
    init_location( &a->where, NULL, NULL );
 
    return a;
}

type_new_array()

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
	)

Definition at line 489 of file typetree.c.

{
    type_t *t = make_type(TYPE_ARRAY);
    if (name) t->name = xstrdup(name);
    t->details.array.declptr = declptr;
    t->details.array.length_is = length_is;
    if (size_is)
        t->details.array.size_is = size_is;
    else
        t->details.array.dim = dim;
    if (element)
        t->details.array.elem = *element;
    return t;
}

type_new_basic()

type_t * type_new_basic

(

enum type_basic_type

basic_type

)

Definition at line 505 of file typetree.c.

{
    type_t *t = make_type(TYPE_BASIC);
    t->details.basic.type = basic_type;
    t->details.basic.sign = 0;
    return t;
}

Referenced by resolve_expression(), and type_new_int().

type_new_bitfield()

type_t * type_new_bitfield	(	type_t *	field_type,
		const expr_t *	bits
	)

Definition at line 689 of file typetree.c.

{
    type_t *t;
 
    if (!is_valid_bitfield_type(field))
        error_loc("bit-field has invalid type\n");
 
    if (bits->cval < 0)
        error_loc("negative width for bit-field\n");
 
    /* FIXME: validate bits->cval <= memsize(field) * 8 */
 
    t = make_type(TYPE_BITFIELD);
    t->details.bitfield.field = field;
    t->details.bitfield.bits = bits;
    return t;
}

type_new_encapsulated_union()

type_t * type_new_encapsulated_union	(	char *	name,
		var_t *	switch_field,
		var_t *	union_field,
		var_list_t *	cases,
		const struct location *	where
	)

Definition at line 627 of file typetree.c.

{
    type_t *t = NULL;
 
    if (name)
        t = find_type(name, NULL, tsUNION);
 
    if (!t)
    {
        t = make_type(TYPE_ENCAPSULATED_UNION);
        t->name = name;
        if (name)
            reg_type(t, name, NULL, tsUNION);
    }
    t->type_type = TYPE_ENCAPSULATED_UNION;
 
    if (!union_field)
        union_field = make_var(xstrdup("tagged_union"));
    union_field->declspec.type = type_new_nonencapsulated_union(gen_name(), NULL, TRUE, cases, where);
 
    t->details.structure = xmalloc(sizeof(*t->details.structure));
    t->details.structure->fields = append_var(NULL, switch_field);
    t->details.structure->fields = append_var(t->details.structure->fields, union_field);
    define_type(t, where);
 
    return t;
}

type_new_enum()

type_t * type_new_enum	(	const char *	name,
		struct namespace *	namespace,
		int	defined,
		var_list_t *	enums,
		const struct location *	where
	)

Definition at line 546 of file typetree.c.

{
    type_t *t = NULL;
 
    if (name)
        t = find_type(name, namespace,tsENUM);
 
    if (!t)
    {
        t = make_type(TYPE_ENUM);
        t->name = name;
        t->namespace = namespace;
        if (name)
            reg_type(t, name, namespace, tsENUM);
    }
 
    if (defined)
    {
        t->details.enumeration = xmalloc(sizeof(*t->details.enumeration));
        t->details.enumeration->enums = enums;
        define_type(t, where);
    }
 
    return t;
}

type_new_function()

type_t * type_new_function

(

var_list_t *

args

)

Definition at line 420 of file typetree.c.

{
    var_t *arg;
    type_t *t;
    unsigned int i = 0;
 
    if (args)
    {
        arg = LIST_ENTRY(list_head(args), var_t, entry);
        if (list_count(args) == 1 && !arg->name && arg->declspec.type && type_get_type(arg->declspec.type) == TYPE_VOID)
        {
            list_remove(&arg->entry);
            free(arg);
            free(args);
            args = NULL;
        }
    }
    if (args) LIST_FOR_EACH_ENTRY(arg, args, var_t, entry)
    {
        if (arg->declspec.type && type_get_type(arg->declspec.type) == TYPE_VOID)
            error_loc("argument '%s' has void type\n", arg->name);
        if (!arg->name)
        {
            if (i > 26 * 26)
                error_loc("too many unnamed arguments\n");
            else
            {
                int unique;
                do
                {
                    char name[3];
                    name[0] = i > 26 ? 'a' + i / 26 : 'a' + i;
                    name[1] = i > 26 ? 'a' + i % 26 : 0;
                    name[2] = 0;
                    unique = !find_arg(args, name);
                    if (unique)
                        arg->name = xstrdup(name);
                    i++;
                } while (!unique);
            }
        }
    }
 
    t = make_type(TYPE_FUNCTION);
    t->details.function = xmalloc(sizeof(*t->details.function));
    t->details.function->args = args;
    t->details.function->retval = make_var(xstrdup("_RetVal"));
    return t;
}

type_new_int()

type_t * type_new_int	(	enum type_basic_type	basic_type,
		int	sign
	)

Definition at line 513 of file typetree.c.

{
    static type_t *int_types[TYPE_BASIC_INT_MAX+1][3];
 
    assert(basic_type <= TYPE_BASIC_INT_MAX);
 
    /* map sign { -1, 0, 1 } -> { 0, 1, 2 } */
    if (!int_types[basic_type][sign + 1])
    {
        int_types[basic_type][sign + 1] = type_new_basic(basic_type);
        int_types[basic_type][sign + 1]->details.basic.sign = sign;
    }
    return int_types[basic_type][sign + 1];
}

Referenced by resolve_expression().

type_new_nonencapsulated_union()

type_t * type_new_nonencapsulated_union	(	const char *	name,
		struct namespace *	namespace,
		int	defined,
		var_list_t *	fields,
		const struct location *	where
	)

Definition at line 600 of file typetree.c.

{
    type_t *t = NULL;
 
    if (name)
        t = find_type(name, namespace, tsUNION);
 
    if (!t)
    {
        t = make_type(TYPE_UNION);
        t->name = name;
        t->namespace = namespace;
        if (name)
            reg_type(t, name, namespace, tsUNION);
    }
 
    if (!t->defined && defined)
    {
        t->details.structure = xmalloc(sizeof(*t->details.structure));
        t->details.structure->fields = fields;
        define_type(t, where);
    }
 
    return t;
}

Referenced by type_new_encapsulated_union().

type_new_pointer()

type_t * type_new_pointer

(

type_t *

ref

)

Definition at line 470 of file typetree.c.

{
    type_t *t = make_type(TYPE_POINTER);
    t->details.pointer.ref.type = ref;
    return t;
}

Referenced by resolve_expression().

type_new_struct()

type_t * type_new_struct	(	char *	name,
		struct namespace *	namespace,
		int	defined,
		var_list_t *	fields,
		const struct location *	where
	)

Definition at line 573 of file typetree.c.

{
    type_t *t = NULL;
 
    if (name)
        t = find_type(name, namespace, tsSTRUCT);
 
    if (!t)
    {
        t = make_type(TYPE_STRUCT);
        t->name = name;
        t->namespace = namespace;
        if (name)
            reg_type(t, name, namespace, tsSTRUCT);
    }
 
    if (defined)
    {
        t->details.structure = xmalloc(sizeof(*t->details.structure));
        t->details.structure->fields = fields;
        define_type(t, where);
    }
 
    return t;
}

type_new_void()

type_t * type_new_void

(

void

)

Definition at line 528 of file typetree.c.

{
    static type_t *void_type = NULL;
    if (!void_type)
        void_type = make_type(TYPE_VOID);
    return void_type;
}

type_parameterized_delegate_declare()

type_t * type_parameterized_delegate_declare	(	char *	name,
		struct namespace *	namespace,
		typeref_list_t *	params
	)

Definition at line 992 of file typetree.c.

{
    type_t *type = get_type(TYPE_PARAMETERIZED_TYPE, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_PARAMETERIZED_TYPE)
        error_loc( "pdelegate %s previously not declared a pdelegate at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    type->details.parameterized.type = make_type(TYPE_DELEGATE);
    type->details.parameterized.params = params;
    return type;
}

type_parameterized_delegate_define()

type_t * type_parameterized_delegate_define	(	type_t *	type,
		attr_list_t *	attrs,
		statement_list_t *	stmts,
		const struct location *	where
	)

Definition at line 1003 of file typetree.c.

{
    type_t *iface, *delegate;
 
    type->attrs = check_interface_attrs(type->name, attrs);
 
    delegate = type->details.parameterized.type;
    delegate->attrs = type->attrs;
    delegate->details.delegate.iface = make_type(TYPE_INTERFACE);
 
    iface = delegate->details.delegate.iface;
    iface->details.iface = xmalloc(sizeof(*iface->details.iface));
    iface->details.iface->disp_props = NULL;
    iface->details.iface->disp_methods = NULL;
    iface->details.iface->stmts = stmts;
    iface->details.iface->inherit = find_type("IUnknown", NULL, 0);
    if (!iface->details.iface->inherit) error_loc("IUnknown is undefined\n");
    iface->details.iface->disp_inherit = NULL;
    iface->details.iface->async_iface = NULL;
    iface->details.iface->requires = NULL;
 
    delegate->name = type->name;
    compute_delegate_iface_names(delegate, type, type->details.parameterized.params);
 
    define_type(type, where);
    return type;
}

type_parameterized_interface_declare()

type_t * type_parameterized_interface_declare	(	char *	name,
		struct namespace *	namespace,
		typeref_list_t *	params
	)

Definition at line 953 of file typetree.c.

{
    type_t *type = get_type(TYPE_PARAMETERIZED_TYPE, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_PARAMETERIZED_TYPE)
        error_loc( "pinterface %s previously not declared a pinterface at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    type->details.parameterized.type = make_type(TYPE_INTERFACE);
    type->details.parameterized.params = params;
    return type;
}

type_parameterized_interface_define()

type_t * type_parameterized_interface_define	(	type_t *	type,
		attr_list_t *	attrs,
		type_t *	inherit,
		statement_list_t *	stmts,
		typeref_list_t *	requires,
		const struct location *	where
	)

Definition at line 964 of file typetree.c.

{
    type_t *iface;
 
    /* The parameterized type UUID is actually a PIID that is then used as a seed to generate
     * a new type GUID with the rules described in:
     *   https://docs.microsoft.com/en-us/uwp/winrt-cref/winrt-type-system#parameterized-types
     * TODO: store type signatures for generated interfaces, and generate their GUIDs
     */
    type->attrs = check_interface_attrs(type->name, attrs);
 
    iface = type->details.parameterized.type;
    iface->details.iface = xmalloc(sizeof(*iface->details.iface));
    iface->details.iface->disp_props = NULL;
    iface->details.iface->disp_methods = NULL;
    iface->details.iface->stmts = stmts;
    iface->details.iface->inherit = inherit;
    iface->details.iface->disp_inherit = NULL;
    iface->details.iface->async_iface = NULL;
    iface->details.iface->requires = requires;
 
    iface->name = type->name;
 
    define_type(type, where);
    return type;
}

type_parameterized_type_get_real_type()

static type_t * type_parameterized_type_get_real_type ( const type_t *  type )

inlinestatic

Definition at line 105 of file typetree.h.

{
    if (type->type_type == TYPE_PARAMETERIZED_TYPE)
        return type_parameterized_type_get_real_type(type->details.parameterized.type);
    else
        return (type_t *)type;
}

Referenced by type_parameterized_type_get_real_type(), and write_type_left().

type_parameterized_type_specialize_declare()

type_t * type_parameterized_type_specialize_declare	(	type_t *	type,
		typeref_list_t *	params
	)

Definition at line 1222 of file typetree.c.

{
    type_t *tmpl = type->details.parameterized.type;
    type_t *new_type = duptype(tmpl, 0);
 
    new_type->namespace = type->namespace;
    new_type->name = format_parameterized_type_name(type, params);
    reg_type(new_type, new_type->name, new_type->namespace, 0);
    new_type->c_name = format_parameterized_type_c_name(type, params, "", "_C");
    new_type->short_name = format_parameterized_type_short_name(type, params, "");
    new_type->param_name = format_parameterized_type_c_name(type, params, "", "__C");
 
    if (new_type->type_type == TYPE_DELEGATE)
    {
        new_type->details.delegate.iface = duptype(tmpl->details.delegate.iface, 0);
        compute_delegate_iface_names(new_type, type, params);
        new_type->details.delegate.iface->short_name = format_parameterized_type_short_name(type, params, "I");
    }
 
    return new_type;
}

type_parameterized_type_specialize_define()

type_t * type_parameterized_type_specialize_define

(

type_t *

type

)

Definition at line 1282 of file typetree.c.

{
    type_t *tmpl = type->details.parameterized.type;
    typeref_list_t *orig = tmpl->details.parameterized.params;
    typeref_list_t *repl = type->details.parameterized.params;
    type_t *iface = find_parameterized_type(tmpl, repl);
 
    if (type_get_type_detect_alias(type) != TYPE_PARAMETERIZED_TYPE ||
        type_get_type_detect_alias(tmpl) != TYPE_PARAMETERIZED_TYPE)
        error_loc( "cannot define non-parameterized type %s, declared at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
 
    if (type_get_type_detect_alias(tmpl->details.parameterized.type) == TYPE_INTERFACE &&
        type_get_type_detect_alias(iface) == TYPE_INTERFACE)
        type_parameterized_interface_specialize(tmpl->details.parameterized.type, iface, orig, repl);
    else if (type_get_type_detect_alias(tmpl->details.parameterized.type) == TYPE_DELEGATE &&
             type_get_type_detect_alias(iface) == TYPE_DELEGATE)
        type_parameterized_delegate_specialize(tmpl->details.parameterized.type, iface, orig, repl);
    else
        error_loc("pinterface/pdelegate %s previously not declared a pinterface/pdelegate at %s:%d\n",
                  iface->name, iface->where.input_name, iface->where.first_line);
 
    iface->impl_name = format_parameterized_type_impl_name(type, repl, "");
    iface->signature = format_parameterized_type_signature(type, repl);
    iface->defined = TRUE;
    if (iface->type_type == TYPE_DELEGATE)
    {
        iface = iface->details.delegate.iface;
        iface->impl_name = format_parameterized_type_impl_name(type, repl, "I");
        iface->signature = format_parameterized_type_signature(type, repl);
        iface->defined = TRUE;
    }
    compute_interface_signature_uuid(iface);
    compute_method_indexes(iface);
    return iface;
}

type_parameterized_type_specialize_partial()

type_t * type_parameterized_type_specialize_partial	(	type_t *	type,
		typeref_list_t *	params
	)

Definition at line 1032 of file typetree.c.

{
    type_t *new_type = duptype(type, 0);
    new_type->details.parameterized.type = type;
    new_type->details.parameterized.params = params;
    return new_type;
}

type_pointer_get_ref()

static const decl_spec_t * type_pointer_get_ref ( const type_t *  type )

inlinestatic

Definition at line 417 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_POINTER);
    return &type->details.pointer.ref;
}

Referenced by declare_stub_args(), is_const_decl(), print_phase_basetype(), type_pointer_get_ref_type(), and write_type_left().

type_pointer_get_ref_type()

static type_t * type_pointer_get_ref_type ( const type_t *  type )

inlinestatic

Definition at line 424 of file typetree.h.

{
    return type_pointer_get_ref(type)->type;
}

Referenced by append_pointer_stars(), assign_stub_out_args(), builtin_vt(), check_for_additional_prototype_types(), clear_output_vars(), encode_type(), encode_var(), get_context_handle_offset(), get_context_handle_type_name(), get_explicit_generic_handle_type(), get_generic_handle_offset(), get_parameter_fc(), get_required_buffer_size_type(), is_context_handle(), is_ptrchain_attr(), last_ptr(), resolve_expression(), type_has_full_pointer_recurse(), type_pointer_get_root_type(), typegen_detect_type(), write_array_element_type(), write_default_value(), write_ip_tfs(), write_nonsimple_pointer(), write_parameter_conf_or_var_exprs(), write_pointer_description_offsets(), write_pointer_tfs(), write_remoting_arg(), write_simple_pointer(), write_string_tfs(), write_struct_tfs(), write_type_left(), write_type_right(), write_type_tfs(), and write_var_desc().

type_pointer_get_root_type()

static type_t * type_pointer_get_root_type ( type_t *  type )

inlinestatic

Definition at line 429 of file typetree.h.

{
    for (; type && type->type_type == TYPE_POINTER; type = type_pointer_get_ref_type(type)) {}
    return type;
}

Referenced by format_parameterized_type_c_name(), format_parameterized_type_impl_name(), format_parameterized_type_name(), format_parameterized_type_short_name(), and write_typedef().

type_runtimeclass_declare()

type_t * type_runtimeclass_declare	(	char *	name,
		struct namespace *	namespace
	)

Definition at line 841 of file typetree.c.

{
    type_t *type = get_type(TYPE_RUNTIMECLASS, name, namespace, 0);
    if (type_get_type_detect_alias( type ) != TYPE_RUNTIMECLASS)
        error_loc( "runtimeclass %s previously not declared a runtimeclass at %s:%d\n", type->name,
                   type->where.input_name, type->where.first_line );
    return type;
}

type_runtimeclass_define()

type_t * type_runtimeclass_define	(	type_t *	runtimeclass,
		attr_list_t *	attrs,
		typeref_list_t *	ifaces,
		const struct location *	where
	)

Definition at line 850 of file typetree.c.

{
    typeref_t *ref, *required, *tmp;
    typeref_list_t *requires;
 
    runtimeclass->attrs = check_runtimeclass_attrs(runtimeclass->name, attrs);
    runtimeclass->details.runtimeclass.ifaces = ifaces;
    define_type(runtimeclass, where);
    if (!type_runtimeclass_get_default_iface(runtimeclass, FALSE) &&
        !get_attrp(runtimeclass->attrs, ATTR_STATIC))
        error_loc("runtimeclass %s must have a default interface or static factory\n", runtimeclass->name);
 
    if (ifaces) LIST_FOR_EACH_ENTRY(ref, ifaces, typeref_t, entry)
    {
        /* FIXME: this should probably not be allowed, here or in coclass, */
        /* but for now there's too many places in Wine IDL where it is to */
        /* even print a warning. */
        if (!(ref->type->defined)) continue;
        if (!(requires = type_iface_get_requires(ref->type))) continue;
        LIST_FOR_EACH_ENTRY(required, requires, typeref_t, entry)
        {
            int found = 0;
 
            LIST_FOR_EACH_ENTRY(tmp, ifaces, typeref_t, entry)
                if ((found = type_is_equal(tmp->type, required->type))) break;
 
            if (!found)
                error_loc("interface '%s' also requires interface '%s', "
                          "but runtimeclass '%s' does not implement it.\n",
                          ref->type->name, required->type->name, runtimeclass->name);
        }
    }
 
    return runtimeclass;
}

type_runtimeclass_get_default_iface()

static type_t * type_runtimeclass_get_default_iface ( const type_t *  type, int  check  )

inlinestatic

Definition at line 393 of file typetree.h.

{
    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_at( &type->where, "runtimeclass %s needs a default interface\n", type->name );
 
#ifdef __REACTOS__
    return NULL;
#endif
}

Referenced by append_type_signature(), format_parameterized_type_impl_name(), type_runtimeclass_define(), and write_type_left().

type_runtimeclass_get_ifaces()

static typeref_list_t * type_runtimeclass_get_ifaces ( const type_t *  type )

inlinestatic

Definition at line 386 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_RUNTIMECLASS);
    return type->details.runtimeclass.ifaces;
}

Referenced by type_runtimeclass_get_default_iface().

type_struct_get_fields()

static var_list_t * type_struct_get_fields ( const type_t *  type )

inlinestatic

Definition at line 132 of file typetree.h.

{
    type = type_get_real_type(type);
    assert(type_get_type(type) == TYPE_STRUCT);
    return type->details.structure->fields;
}

Referenced by add_structure_typeinfo(), check_for_additional_prototype_types(), find_array_or_string_in_struct(), find_identifier(), get_required_buffer_size_type(), get_struct_fc(), type_buffer_alignment(), type_has_full_pointer_recurse(), type_has_pointers(), type_memsize_and_alignment(), write_conf_or_var_desc(), write_descriptors(), write_fixed_array_pointer_descriptions(), write_no_repeat_pointer_descriptions(), write_pointer_description_offsets(), write_struct_members(), write_struct_tfs(), write_type_left(), and write_varying_array_pointer_descriptions().

type_union_get_cases()

static var_list_t * type_union_get_cases ( const type_t *  type )

inlinestatic

Definition at line 184 of file typetree.h.

{
    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;
}

Referenced by add_union_typeinfo(), check_for_additional_prototype_types(), find_identifier(), type_buffer_alignment(), type_has_full_pointer_recurse(), type_has_pointers(), type_memsize_and_alignment(), write_type_left(), and write_union_tfs().

type_union_get_switch_value()

static var_t * type_union_get_switch_value ( const type_t *  type )

inlinestatic

Definition at line 170 of file typetree.h.

{
    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);
}

Referenced by write_union_tfs().