src/oberon-type-compat.h

   1 bool
   2 oberon_is_array_type(oberon_type_t * t);
   3
   4 bool
   5 oberon_is_open_array(oberon_type_t * t);
   6
   7 bool
   8 oberon_is_real_type(oberon_type_t * t);
   9
  10 bool
  11 oberon_is_integer_type(oberon_type_t * t);
  12
  13 bool
  14 oberon_is_system_byte_type(oberon_type_t * t);
  15
  16 bool
  17 oberon_is_number_type(oberon_type_t * t);
  18
  19 bool
  20 oberon_is_char_type(oberon_type_t * t);
  21
  22 bool
  23 oberon_is_set_type(oberon_type_t * t);
  24
  25 bool
  26 oberon_is_string_type(oberon_type_t * t);
  27
  28 bool
  29 oberon_is_procedure_type(oberon_type_t * t);
  30
  31 bool
  32 oberon_is_record_type(oberon_type_t * t);
  33
  34 bool
  35 oberon_is_pointer_type(oberon_type_t * t);
  36
  37 bool
  38 oberon_is_pointer_to_record(oberon_type_t * t);
  39
  40 bool
  41 oberon_is_boolean_type(oberon_type_t * t);
  42
  43 bool
  44 oberon_is_array_of_char_type(oberon_type_t * t);
  45
  46 bool
  47 oberon_is_type_expr(oberon_expr_t * e);
  48
  49 bool
  50 oberon_is_string_of_one(oberon_expr_t * e);
  51
  52
  53
  54 bool
  55 oberon_is_some_types(oberon_type_t * a, oberon_type_t * b);
  56
  57 bool
  58 oberon_is_some_procedure_signatures(oberon_type_t * a, oberon_type_t * b);
  59
  60 bool
  61 oberon_is_equal_types(oberon_type_t * a, oberon_type_t * b);
  62
  63 bool
  64 oberon_incluses_type(oberon_type_t * from, oberon_type_t * to);
  65
  66 bool
  67 oberon_extension_of(oberon_type_t * ext, oberon_type_t * rec);
  68
  69 bool
  70 oberon_is_const_string(oberon_expr_t * e);
  71
  72 bool
  73 oberon_is_assignment_compatible_expressions(oberon_expr_t * e, oberon_type_t * Tv);
  74
  75 bool
  76 oberon_is_compatible_arrays(oberon_object_t * f, oberon_expr_t * a);
  77
  78 bool
  79 oberon_is_comatible_bin_expr(int token, oberon_expr_t * a, oberon_expr_t * b);
  80
  81 bool
  82 oberon_is_compatible_bin_expr_types(int token, oberon_type_t * a, oberon_type_t * b);
  83
  84
  85
  86 void
  87 oberon_check_type_expr(oberon_context_t * ctx, oberon_expr_t * e);
  88
  89 void
  90 oberon_check_compatible_bin_expr(oberon_context_t * ctx, int token, oberon_expr_t * a, oberon_expr_t * b);
  91
  92 void
  93 oberon_check_compatible_arrays(oberon_context_t * ctx, oberon_object_t * f, oberon_expr_t * a);
  94
  95 void
  96 oberon_check_assignment_compatible(oberon_context_t * ctx, oberon_expr_t * e, oberon_type_t * Tv);
  97
  98 void
  99 oberon_check_extension_of(oberon_context_t * ctx, oberon_type_t * ext, oberon_type_t * rec);
 100
 101
 102
 103 oberon_type_t *
 104 oberon_get_longer_type(oberon_context_t * ctx, oberon_type_t * a, oberon_type_t * b);
 105
 106 oberon_type_t *
 107 oberon_get_longer_real_type(oberon_context_t * ctx, oberon_type_t * a, oberon_type_t * b);
 108
 109
 110 bool
 111 oberon_is_compatible_var_param(oberon_type_t * Tf, oberon_type_t * Ta);
 112
 113 void
 114 oberon_check_compatible_var_param(oberon_context_t * ctx, oberon_type_t * Tf, oberon_type_t * Ta);