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 /**
  46  * returns true if type contains integer numbers
  47  */
  48 bool is_type_integer(const type_t *type);
  49
  50 /**
  51  * return true if type contains signed numbers
  52  */
  53 bool is_type_signed(const type_t *type);
  54
  55 /**
  56  * returns true if type contains floating point numbers
  57  */
  58 bool is_type_floating(const type_t *type);
  59
  60 /**
  61  * returns true if the type is valid. A type is valid if it contains no
  62  * unresolved references anymore and is not of TYPE_INVALID.
  63  */
  64 bool type_valid(const type_t *type);
  65
  66 /**
  67  * returns true if the type is an arithmetic type (6.2.18)
  68  */
  69 bool is_type_arithmetic(const type_t *type);
  70
  71 /**
  72  * returns true if the type is a scalar type (6.2.21)
  73  */
  74 bool is_type_scalar(const type_t *type);
  75
  76 bool is_type_incomplete(const type_t *type);
  77
  78 bool types_compatible(const type_t *type1, const type_t *type2);
  79
  80 bool pointers_compatible(const type_t *type1, const type_t *type2);
  81
  82 type_t *skip_typeref(type_t *type);
  83
  84 #endif