paul@126 | 1 | /* Common operations. */ |
paul@126 | 2 | |
paul@151 | 3 | #include <stdlib.h> |
paul@126 | 4 | #include "ops.h" |
paul@284 | 5 | #include "progops.h" /* for raising errors */ |
paul@126 | 6 | #include "progconsts.h" |
paul@126 | 7 | #include "progtypes.h" |
paul@126 | 8 | |
paul@126 | 9 | /* Direct access and manipulation of static objects. */ |
paul@126 | 10 | |
paul@200 | 11 | __attr __load_static(__ref parent, __ref obj) |
paul@126 | 12 | { |
paul@200 | 13 | __attr out = {.context=parent, .value=obj}; |
paul@126 | 14 | return out; |
paul@126 | 15 | } |
paul@126 | 16 | |
paul@126 | 17 | /* Direct retrieval operations, returning and setting attributes. */ |
paul@126 | 18 | |
paul@126 | 19 | __attr __load_via_object(__ref obj, int pos) |
paul@126 | 20 | { |
paul@126 | 21 | return obj->attrs[pos]; |
paul@126 | 22 | } |
paul@126 | 23 | |
paul@126 | 24 | __attr __load_via_class(__ref obj, int pos) |
paul@126 | 25 | { |
paul@126 | 26 | return __load_via_object(__get_class(obj), pos); |
paul@126 | 27 | } |
paul@126 | 28 | |
paul@126 | 29 | __attr __get_class_and_load(__ref obj, int pos) |
paul@126 | 30 | { |
paul@153 | 31 | if (__is_instance(obj)) |
paul@153 | 32 | return __load_via_class(obj, pos); |
paul@153 | 33 | else |
paul@126 | 34 | return __load_via_object(obj, pos); |
paul@126 | 35 | } |
paul@126 | 36 | |
paul@126 | 37 | /* Direct storage operations. */ |
paul@126 | 38 | |
paul@126 | 39 | int __store_via_object(__ref obj, int pos, __attr value) |
paul@126 | 40 | { |
paul@126 | 41 | obj->attrs[pos] = value; |
paul@126 | 42 | return 1; |
paul@126 | 43 | } |
paul@126 | 44 | |
paul@252 | 45 | int __get_class_and_store(__ref obj, int pos, __attr value) |
paul@252 | 46 | { |
paul@252 | 47 | /* Forbid class-relative assignments. */ |
paul@252 | 48 | |
paul@252 | 49 | __raise_type_error(); |
paul@252 | 50 | return 0; |
paul@252 | 51 | } |
paul@252 | 52 | |
paul@126 | 53 | /* Introspection. */ |
paul@126 | 54 | |
paul@126 | 55 | int __is_instance(__ref obj) |
paul@126 | 56 | { |
paul@126 | 57 | return obj->pos == __INSTANCEPOS; |
paul@126 | 58 | } |
paul@126 | 59 | |
paul@274 | 60 | int __is_type_instance(__ref obj) |
paul@274 | 61 | { |
paul@274 | 62 | return __HASATTR(__get_class(obj), __TYPE_CLASS_POS, __TYPE_CLASS_CODE); |
paul@274 | 63 | } |
paul@274 | 64 | |
paul@126 | 65 | __ref __get_class(__ref obj) |
paul@126 | 66 | { |
paul@126 | 67 | return __load_via_object(obj, __pos___class__).value; |
paul@126 | 68 | } |
paul@126 | 69 | |
paul@231 | 70 | __attr __get_class_attr(__ref obj) |
paul@231 | 71 | { |
paul@231 | 72 | return __load_via_object(obj, __pos___class__); |
paul@231 | 73 | } |
paul@231 | 74 | |
paul@126 | 75 | /* Attribute testing operations. */ |
paul@126 | 76 | |
paul@144 | 77 | __ref __test_specific_instance(__ref obj, __ref type) |
paul@126 | 78 | { |
paul@144 | 79 | return __get_class(obj) == type ? obj : 0; |
paul@126 | 80 | } |
paul@126 | 81 | |
paul@237 | 82 | __ref __test_specific_object(__ref obj, __ref type) |
paul@237 | 83 | { |
paul@237 | 84 | return __test_specific_type(obj, type) || __test_specific_instance(obj, type) ? obj : 0; |
paul@237 | 85 | } |
paul@237 | 86 | |
paul@237 | 87 | __ref __test_specific_type(__ref obj, __ref type) |
paul@237 | 88 | { |
paul@237 | 89 | return obj == type ? obj : 0; |
paul@237 | 90 | } |
paul@237 | 91 | |
paul@144 | 92 | __ref __test_common_instance(__ref obj, int pos, int code) |
paul@144 | 93 | { |
paul@144 | 94 | return __HASATTR(__get_class(obj), pos, code) ? obj : 0; |
paul@144 | 95 | } |
paul@144 | 96 | |
paul@144 | 97 | __ref __test_common_object(__ref obj, int pos, int code) |
paul@126 | 98 | { |
paul@144 | 99 | return __test_common_type(obj, pos, code) || __test_common_instance(obj, pos, code) ? obj : 0; |
paul@144 | 100 | } |
paul@144 | 101 | |
paul@144 | 102 | __ref __test_common_type(__ref obj, int pos, int code) |
paul@144 | 103 | { |
paul@144 | 104 | return __HASATTR(obj, pos, code) ? obj : 0; |
paul@126 | 105 | } |
paul@126 | 106 | |
paul@126 | 107 | /* Attribute testing and retrieval operations. */ |
paul@126 | 108 | |
paul@233 | 109 | static __attr __check_and_load_via_object_null(__ref obj, int pos, int code) |
paul@233 | 110 | { |
paul@233 | 111 | if (__HASATTR(obj, pos, code)) |
paul@233 | 112 | return __load_via_object(obj, pos); |
paul@233 | 113 | else |
paul@233 | 114 | return __NULL; |
paul@233 | 115 | } |
paul@233 | 116 | |
paul@126 | 117 | __attr __check_and_load_via_class(__ref obj, int pos, int code) |
paul@126 | 118 | { |
paul@126 | 119 | return __check_and_load_via_object(__get_class(obj), pos, code); |
paul@126 | 120 | } |
paul@126 | 121 | |
paul@126 | 122 | __attr __check_and_load_via_object(__ref obj, int pos, int code) |
paul@126 | 123 | { |
paul@233 | 124 | if (__HASATTR(obj, pos, code)) |
paul@233 | 125 | return __load_via_object(obj, pos); |
paul@233 | 126 | |
paul@233 | 127 | __raise_type_error(); |
paul@233 | 128 | return __NULL; |
paul@126 | 129 | } |
paul@126 | 130 | |
paul@126 | 131 | __attr __check_and_load_via_any(__ref obj, int pos, int code) |
paul@126 | 132 | { |
paul@233 | 133 | __attr out = __check_and_load_via_object_null(obj, pos, code); |
paul@126 | 134 | if (out.value == 0) |
paul@126 | 135 | out = __check_and_load_via_class(obj, pos, code); |
paul@126 | 136 | return out; |
paul@126 | 137 | } |
paul@126 | 138 | |
paul@126 | 139 | /* Attribute testing and storage operations. */ |
paul@126 | 140 | |
paul@252 | 141 | int __check_and_store_via_class(__ref obj, int pos, int code, __attr value) |
paul@252 | 142 | { |
paul@252 | 143 | /* Forbid class-relative assignments. */ |
paul@252 | 144 | |
paul@252 | 145 | __raise_type_error(); |
paul@252 | 146 | return 0; |
paul@252 | 147 | } |
paul@252 | 148 | |
paul@126 | 149 | int __check_and_store_via_object(__ref obj, int pos, int code, __attr value) |
paul@126 | 150 | { |
paul@126 | 151 | if (__HASATTR(obj, pos, code)) |
paul@126 | 152 | { |
paul@126 | 153 | __store_via_object(obj, pos, value); |
paul@126 | 154 | return 1; |
paul@126 | 155 | } |
paul@252 | 156 | |
paul@252 | 157 | /* No suitable attribute. */ |
paul@252 | 158 | |
paul@252 | 159 | __raise_type_error(); |
paul@126 | 160 | return 0; |
paul@126 | 161 | } |
paul@126 | 162 | |
paul@126 | 163 | int __check_and_store_via_any(__ref obj, int pos, int code, __attr value) |
paul@126 | 164 | { |
paul@126 | 165 | if (__check_and_store_via_object(obj, pos, code, value)) |
paul@126 | 166 | return 1; |
paul@252 | 167 | |
paul@252 | 168 | /* Forbid class-relative assignments. */ |
paul@252 | 169 | |
paul@252 | 170 | __raise_type_error(); |
paul@252 | 171 | return 0; |
paul@126 | 172 | } |
paul@126 | 173 | |
paul@126 | 174 | /* Context-related operations. */ |
paul@126 | 175 | |
paul@126 | 176 | __attr __test_context(__ref context, __attr attr) |
paul@126 | 177 | { |
paul@267 | 178 | /* Preserve any existing null or instance context. */ |
paul@230 | 179 | |
paul@267 | 180 | if ((attr.context == 0) || __is_instance(attr.context)) |
paul@126 | 181 | return attr; |
paul@235 | 182 | |
paul@235 | 183 | /* Test any instance context against the context employed by the |
paul@235 | 184 | attribute. */ |
paul@126 | 185 | |
paul@235 | 186 | if (__is_instance(context)) |
paul@235 | 187 | if (__test_common_instance(context, __TYPEPOS(attr.context), __TYPECODE(attr.context))) |
paul@235 | 188 | return __replace_context(context, attr); |
paul@235 | 189 | else |
paul@235 | 190 | __raise_type_error(); |
paul@235 | 191 | |
paul@274 | 192 | /* Test for access to a type class attribute using a type instance. */ |
paul@274 | 193 | |
paul@274 | 194 | if (__test_specific_type(attr.context, &__TYPE_CLASS_TYPE) && __is_type_instance(context)) |
paul@274 | 195 | return __replace_context(context, attr); |
paul@274 | 196 | |
paul@235 | 197 | /* Otherwise, preserve the attribute as retrieved. */ |
paul@235 | 198 | |
paul@235 | 199 | return attr; |
paul@126 | 200 | } |
paul@126 | 201 | |
paul@126 | 202 | __attr __replace_context(__ref context, __attr attr) |
paul@126 | 203 | { |
paul@126 | 204 | __attr out; |
paul@126 | 205 | |
paul@126 | 206 | /* Set the context. */ |
paul@126 | 207 | |
paul@126 | 208 | out.context = context; |
paul@126 | 209 | |
paul@126 | 210 | /* Reference a callable version of the attribute by obtaining the bound |
paul@126 | 211 | method reference from the __fn__ special attribute. */ |
paul@126 | 212 | |
paul@126 | 213 | out.value = __load_via_object(attr.value, __ATTRPOS(__fn__)).b; |
paul@126 | 214 | return out; |
paul@126 | 215 | } |
paul@126 | 216 | |
paul@126 | 217 | __attr __update_context(__ref context, __attr attr) |
paul@126 | 218 | { |
paul@126 | 219 | __attr out = {context, .fn=attr.fn}; |
paul@126 | 220 | return out; |
paul@126 | 221 | } |
paul@126 | 222 | |
paul@126 | 223 | /* Basic structure tests. */ |
paul@126 | 224 | |
paul@126 | 225 | int __WITHIN(__ref obj, int pos) |
paul@126 | 226 | { |
paul@126 | 227 | return pos < obj->table->size; |
paul@126 | 228 | } |
paul@126 | 229 | |
paul@126 | 230 | int __HASATTR(__ref obj, int pos, int code) |
paul@126 | 231 | { |
paul@126 | 232 | return __WITHIN(obj, pos) && (obj->table->attrs[pos] == code); |
paul@126 | 233 | } |
paul@126 | 234 | |
paul@126 | 235 | /* Parameter position operations. */ |
paul@126 | 236 | |
paul@126 | 237 | int __HASPARAM(const __ptable *ptable, int ppos, int pcode) |
paul@126 | 238 | { |
paul@126 | 239 | __param param; |
paul@126 | 240 | |
paul@126 | 241 | if (ppos < ptable->size) |
paul@126 | 242 | { |
paul@126 | 243 | param = ptable->params[ppos]; |
paul@126 | 244 | if (param.code == pcode) |
paul@126 | 245 | return param.pos; |
paul@126 | 246 | } |
paul@126 | 247 | |
paul@126 | 248 | return -1; |
paul@126 | 249 | } |
paul@126 | 250 | |
paul@126 | 251 | /* Conversions. */ |
paul@126 | 252 | |
paul@126 | 253 | __attr __CONTEXT_AS_VALUE(__attr attr) |
paul@126 | 254 | { |
paul@126 | 255 | __attr out; |
paul@126 | 256 | out.context = attr.context; |
paul@126 | 257 | out.value = attr.context; |
paul@126 | 258 | return out; |
paul@126 | 259 | } |
paul@126 | 260 | |
paul@126 | 261 | /* Type testing. */ |
paul@126 | 262 | |
paul@144 | 263 | __ref __ISFUNC(__ref obj) |
paul@126 | 264 | { |
paul@126 | 265 | return __test_specific_instance(obj, &__FUNCTION_TYPE); |
paul@126 | 266 | } |
paul@126 | 267 | |
paul@126 | 268 | int __ISNULL(__attr value) |
paul@126 | 269 | { |
paul@143 | 270 | /* (value.context == __NULL.context) is superfluous */ |
paul@143 | 271 | return (value.value == 0); /* __NULL.value */ |
paul@126 | 272 | } |
paul@126 | 273 | |
paul@126 | 274 | /* Attribute codes and positions for type objects. */ |
paul@126 | 275 | |
paul@126 | 276 | unsigned int __TYPECODE(__ref obj) |
paul@126 | 277 | { |
paul@126 | 278 | return obj->table->attrs[obj->pos]; |
paul@126 | 279 | } |
paul@126 | 280 | |
paul@126 | 281 | unsigned int __TYPEPOS(__ref obj) |
paul@126 | 282 | { |
paul@126 | 283 | return obj->pos; |
paul@126 | 284 | } |
paul@151 | 285 | |
paul@260 | 286 | /* Memory allocation. */ |
paul@260 | 287 | |
paul@260 | 288 | void *__ALLOCATE(size_t nmemb, size_t size) |
paul@260 | 289 | { |
paul@260 | 290 | void *ptr = calloc(nmemb, size); |
paul@260 | 291 | if (ptr == NULL) |
paul@260 | 292 | __raise_memory_error(); |
paul@260 | 293 | return ptr; |
paul@260 | 294 | } |
paul@260 | 295 | |
paul@260 | 296 | void *__REALLOCATE(void *ptr, size_t size) |
paul@260 | 297 | { |
paul@260 | 298 | void *nptr = realloc(ptr, size); |
paul@260 | 299 | if (nptr == NULL) |
paul@260 | 300 | __raise_memory_error(); |
paul@260 | 301 | return nptr; |
paul@260 | 302 | } |
paul@260 | 303 | |
paul@151 | 304 | /* Copying of structures. */ |
paul@151 | 305 | |
paul@151 | 306 | __ref __COPY(__ref obj, int size) |
paul@151 | 307 | { |
paul@260 | 308 | __ref copy = (__ref) __ALLOCATE(1, size); |
paul@151 | 309 | memcpy(copy, obj, size); |
paul@151 | 310 | return copy; |
paul@151 | 311 | } |