type.h

#ifndef TYPE_H
#define TYPE_H

#include <stdio.h>

typedef union  type_t                     type_t;
typedef struct type_base_t                type_base_t;
typedef struct atomic_type_t              atomic_type_t;
typedef struct type_reference_t           type_reference_t;
typedef struct compound_entry_t           compound_entry_t;
typedef struct compound_type_t            compound_type_t;
typedef struct type_constraint_t          type_constraint_t;
typedef struct type_variable_t            type_variable_t;
typedef struct type_argument_t            type_argument_t;
typedef struct bind_typevariables_type_t  bind_typevariables_type_t;
typedef struct function_parameter_type_t  function_parameter_type_t;
typedef struct function_type_t            function_type_t;
typedef struct pointer_type_t             pointer_type_t;
typedef struct array_type_t               array_type_t;
typedef struct typeof_type_t              typeof_type_t;
typedef struct iterator_type_t            iterator_type_t;

extern type_t *type_void;
extern type_t *type_invalid;

void init_type_module(void);
void exit_type_module(void);

/**
 * prints a human readable form of @p type to a stream
 */
void print_type(const type_t *type);

/**
 * returns 1 if type contains integer numbers
 */
int is_type_int(const type_t *type);

/**
 * returns 1 if type contains numbers (float or int)
 */
int is_type_numeric(const type_t *type);

/**
 * returns 1 if the type is valid. A type is valid if it contains no unresolved
 * references anymore and is not of TYPE_INVALID.
 */
int type_valid(const type_t *type);

/**
 * returns a normalized copy of a type with type variables replaced by their
 * current type. The given type (and all its hierarchy) is not modified.
 */
type_t *create_concrete_type(type_t *type);

type_t *skip_typeref(type_t *type);

int typevar_binding_stack_top(void);

void push_type_variable_bindings(type_variable_t *type_parameters,
                                 type_argument_t *type_arguments);

void pop_type_variable_bindings(int new_top);

#endif