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_number_type(oberon_type_t * t);
  15
  16 bool
  17 oberon_is_char_type(oberon_type_t * t);
  18
  19 bool
  20 oberon_is_set_type(oberon_type_t * t);
  21
  22 bool
  23 oberon_is_string_type(oberon_type_t * t);
  24
  25 bool
  26 oberon_is_procedure_type(oberon_type_t * t);
  27
  28 bool
  29 oberon_is_record_type(oberon_type_t * t);
  30
  31 bool
  32 oberon_is_pointer_type(oberon_type_t * t);
  33
  34 bool
  35 oberon_is_pointer_to_record(oberon_type_t * t);
  36
  37 bool
  38 oberon_is_boolean_type(oberon_type_t * t);
  39
  40 bool
  41 oberon_is_array_of_char_type(oberon_type_t * t);
  42
  43 bool
  44 oberon_is_type_expr(oberon_expr_t * e);
  45
  46
  47
  48 bool
  49 oberon_is_some_types(oberon_type_t * a, oberon_type_t * b);
  50
  51 bool
  52 oberon_is_some_procedure_signatures(oberon_type_t * a, oberon_type_t * b);
  53
  54 bool
  55 oberon_is_equal_types(oberon_type_t * a, oberon_type_t * b);
  56
  57 bool
  58 oberon_incluses_type(oberon_type_t * from, oberon_type_t * to);
  59
  60 bool
  61 oberon_extension_of(oberon_type_t * ext, oberon_type_t * rec);
  62
  63 bool
  64 oberon_is_const_string(oberon_expr_t * e);
  65
  66 bool
  67 oberon_is_assignment_compatible_expressions(oberon_expr_t * e, oberon_type_t * Tv);
  68
  69 bool
  70 oberon_is_compatible_arrays(oberon_object_t * f, oberon_expr_t * a);
  71
  72 bool
  73 oberon_is_compatible_bin_expr_types(int token, oberon_type_t * a, oberon_type_t * b);
  74
  75
  76
  77 void
  78 oberon_check_type_expr(oberon_context_t * ctx, oberon_expr_t * e);
  79
  80 void
  81 oberon_check_compatible_bin_expr_types(oberon_context_t * ctx, int token, oberon_type_t * a, oberon_type_t * b);
  82
  83 void
  84 oberon_check_compatible_arrays(oberon_context_t * ctx, oberon_object_t * f, oberon_expr_t * a);
  85
  86 void
  87 oberon_check_assignment_compatible(oberon_context_t * ctx, oberon_expr_t * e, oberon_type_t * Tv);
  88
  89 void
  90 oberon_check_extension_of(oberon_context_t * ctx, oberon_type_t * ext, oberon_type_t * rec);
  91
  92
  93
  94 oberon_type_t *
  95 oberon_get_longer_type(oberon_context_t * ctx, oberon_type_t * a, oberon_type_t * b);
  96
  97 oberon_type_t *
  98 oberon_get_longer_real_type(oberon_context_t * ctx, oberon_type_t * a, oberon_type_t * b);
  99
 100
 101 bool
 102 oberon_is_compatible_var_param(oberon_type_t * Tf, oberon_type_t * Ta);
 103
 104 void
 105 oberon_check_compatible_var_param(oberon_context_t * ctx, oberon_type_t * Tf, oberon_type_t * Ta);