X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=type_t.h;h=9015589862e7ed286282a2bf33322028384fa304;hb=54ae1a7a0e8a1a759de3bb941ed972ea1fc19a54;hp=b0b02b8df10d7eb6eecaa6fd52e68babb968a91a;hpb=b7aee7a7ddee373437c04479c6ec00f14639d4da;p=cparser diff --git a/type_t.h b/type_t.h index b0b02b8..9015589 100644 --- a/type_t.h +++ b/type_t.h @@ -44,6 +44,7 @@ typedef enum type_kind_t { TYPE_ENUM, TYPE_FUNCTION, TYPE_POINTER, + TYPE_REFERENCE, TYPE_ARRAY, TYPE_BITFIELD, TYPE_BUILTIN, @@ -94,6 +95,11 @@ struct pointer_type_t { variable_t *base_variable; /**< Microsoft __based() extension */ }; +struct reference_type_t { + type_base_t base; + type_t *refers_to; +}; + struct array_type_t { type_base_t base; type_t *element_type; @@ -156,11 +162,12 @@ struct compound_type_t { }; struct enum_type_t { - type_base_t base; + type_base_t base; + atomic_type_kind_t akind; /**< underlying atomic type */ /** the enum entity. You can find the enum entries by walking the * enum->base.next list until you don't find ENTITY_ENUM_VALUE entities * anymore */ - enum_t *enume; + enum_t *enume; }; struct typedef_type_t { @@ -191,6 +198,7 @@ union type_t { imaginary_type_t imaginary; builtin_type_t builtin; pointer_type_t pointer; + reference_type_t reference; array_type_t array; function_type_t function; compound_type_t compound; @@ -204,12 +212,14 @@ type_t *make_atomic_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); type_t *make_complex_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); type_t *make_imaginary_type(atomic_type_kind_t type, type_qualifiers_t qualifiers); type_t *make_pointer_type(type_t *points_to, type_qualifiers_t qualifiers); +type_t *make_reference_type(type_t *refers_to); type_t *make_based_pointer_type(type_t *points_to, type_qualifiers_t qualifiers, variable_t *variable); type_t *make_array_type(type_t *element_type, size_t size, type_qualifiers_t qualifiers); type_t *duplicate_type(const type_t *type); +type_t *identify_new_type(type_t *type); static inline bool is_typeref(const type_t *type) { @@ -233,6 +243,12 @@ static inline bool is_type_pointer(const type_t *type) return type->kind == TYPE_POINTER; } +static inline bool is_type_reference(const type_t *type) +{ + assert(!is_typeref(type)); + return type->kind == TYPE_REFERENCE; +} + static inline bool is_type_array(const type_t *type) { assert(!is_typeref(type));