8 typedef struct type_t type_t;
9 typedef struct atomic_type_t atomic_type_t;
10 typedef struct pointer_type_t pointer_type_t;
11 typedef struct function_parameter_t function_parameter_t;
12 typedef struct function_type_t function_type_t;
13 typedef struct compound_type_t compound_type_t;
14 typedef struct enum_type_t enum_type_t;
15 typedef struct builtin_type_t builtin_type_t;
16 typedef struct array_type_t array_type_t;
17 typedef struct typedef_type_t typedef_type_t;
18 typedef struct typeof_type_t typeof_type_t;
20 void init_types(void);
21 void exit_types(void);
23 void print_type(type_t *type);
26 * prints a human readable form of @p type. prints an abstract typename
29 void print_type_ext(type_t *type, const symbol_t *symbol,
30 const context_t *context);
32 void print_enum_definition(const declaration_t *declaration);
33 void print_compound_definition(const declaration_t *declaration);
36 * set output stream for the type printer
38 void type_set_output(FILE *out);
40 void inc_type_visited(void);
42 void set_print_compound_entries(bool enabled);
45 * returns true if type contains integer numbers
47 bool is_type_integer(const type_t *type);
50 * return true if type contains signed numbers
52 bool is_type_signed(const type_t *type);
55 * returns true if type contains floating point numbers
57 bool is_type_floating(const type_t *type);
60 * returns true if the type is valid. A type is valid if it contains no
61 * unresolved references anymore and is not of TYPE_INVALID.
63 bool type_valid(const type_t *type);
66 * returns true if the type is an arithmetic type (6.2.18)
68 bool is_type_arithmetic(const type_t *type);
71 * returns true if the type is a scalar type (6.2.21)
73 bool is_type_scalar(const type_t *type);
75 bool is_type_incomplete(const type_t *type);
77 bool types_compatible(const type_t *type1, const type_t *type2);
79 bool pointers_compatible(const type_t *type1, const type_t *type2);
81 type_t *skip_typeref(type_t *type);