nsz Git - cparser/blob - type.h

   1 #ifndef TYPE_H
   2 #define TYPE_H
   3
   4 #include <stdio.h>
   5 #include <stdbool.h>
   6 #include "symbol.h"
   7
   8 typedef struct type_base_t           type_base_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;
  19 typedef union  type_t                type_t;
  20
  21 void init_types(void);
  22 void exit_types(void);
  23
  24 void print_type(type_t *type);
  25
  26 /**
  27  * prints a human readable form of @p type. prints an abstract typename
  28  * if symbol is NULL
  29  */
  30 void print_type_ext(type_t *type, const symbol_t *symbol,
  31                     const context_t *context);
  32
  33 void print_type_qualifiers(unsigned qualifiers);
  34
  35 void print_enum_definition(const declaration_t *declaration);
  36 void print_compound_definition(const declaration_t *declaration);
  37
  38 /**
  39  * set output stream for the type printer
  40  */
  41 void type_set_output(FILE *out);
  42
  43 void inc_type_visited(void);
  44
  45 void set_print_compound_entries(bool enabled);
  46
  47 /**
  48  * returns true if type contains integer numbers
  49  */
  50 bool is_type_integer(const type_t *type);
  51
  52 /**
  53  * return true if type contains signed numbers
  54  */
  55 bool is_type_signed(const type_t *type);
  56
  57 /**
  58  * returns true if type contains floating point numbers
  59  */
  60 bool is_type_floating(const type_t *type);
  61
  62 /**
  63  * returns true if the type is valid. A type is valid if it contains no
  64  * unresolved references anymore and is not of TYPE_INVALID.
  65  */
  66 bool type_valid(const type_t *type);
  67
  68 /**
  69  * returns true if the type is an arithmetic type (6.2.18)
  70  */
  71 bool is_type_arithmetic(const type_t *type);
  72
  73 /**
  74  * returns true if the type is a scalar type (6.2.21)
  75  */
  76 bool is_type_scalar(const type_t *type);
  77
  78 bool is_type_incomplete(const type_t *type);
  79
  80 bool types_compatible(const type_t *type1, const type_t *type2);
  81
  82 bool pointers_compatible(const type_t *type1, const type_t *type2);
  83
  84 type_t *skip_typeref(type_t *type);
  85
  86 #endif