paul@260 | 1 | #include <stdlib.h> /* exit */ |
paul@173 | 2 | #include <unistd.h> /* read, write */ |
paul@198 | 3 | #include <math.h> /* ceil, log10, pow */ |
paul@209 | 4 | #include <string.h> /* strcmp, strncpy, strlen */ |
paul@198 | 5 | #include <stdio.h> /* snprintf */ |
paul@161 | 6 | #include "types.h" |
paul@161 | 7 | #include "exceptions.h" |
paul@161 | 8 | #include "ops.h" |
paul@161 | 9 | #include "progconsts.h" |
paul@161 | 10 | #include "progops.h" |
paul@161 | 11 | #include "progtypes.h" |
paul@161 | 12 | #include "main.h" |
paul@161 | 13 | |
paul@198 | 14 | /* Utility functions. */ |
paul@198 | 15 | |
paul@231 | 16 | static __attr __new_int(int i) |
paul@198 | 17 | { |
paul@198 | 18 | /* Create a new integer and mutate the __data__ attribute. */ |
paul@198 | 19 | __attr attr = __new(&__InstanceTable___builtins___int_int, &__builtins___int_int, sizeof(__obj___builtins___int_int)); |
paul@198 | 20 | attr.value->attrs[__pos___data__].intvalue = i; |
paul@198 | 21 | return attr; |
paul@198 | 22 | } |
paul@198 | 23 | |
paul@231 | 24 | static __attr __new_str(char *s) |
paul@198 | 25 | { |
paul@198 | 26 | /* Create a new string and mutate the __data__ attribute. */ |
paul@198 | 27 | __attr attr = __new(&__InstanceTable___builtins___str_string, &__builtins___str_string, sizeof(__obj___builtins___str_string)); |
paul@198 | 28 | attr.value->attrs[__pos___data__].strvalue = s; |
paul@198 | 29 | return attr; |
paul@198 | 30 | } |
paul@198 | 31 | |
paul@283 | 32 | static __attr __new_list(__fragment *f) |
paul@283 | 33 | { |
paul@283 | 34 | /* Create a new list and mutate the __data__ attribute. */ |
paul@283 | 35 | __attr attr = __new(&__InstanceTable___builtins___list_list, &__builtins___list_list, sizeof(__obj___builtins___list_list)); |
paul@283 | 36 | attr.value->attrs[__pos___data__].seqvalue = f; |
paul@283 | 37 | return attr; |
paul@283 | 38 | } |
paul@283 | 39 | |
paul@283 | 40 | static __fragment *__fragment_append(__fragment *data, __attr * const value) |
paul@283 | 41 | { |
paul@283 | 42 | __fragment *newdata = data; |
paul@283 | 43 | unsigned int size = data->size, capacity = data->capacity; |
paul@283 | 44 | unsigned int n; |
paul@283 | 45 | |
paul@283 | 46 | /* Re-allocate the fragment if the capacity has been reached. */ |
paul@283 | 47 | if (size >= capacity) |
paul@283 | 48 | { |
paul@283 | 49 | /* NOTE: Consider various restrictions on capacity increases. */ |
paul@283 | 50 | n = capacity ? capacity * 2 : 1; |
paul@283 | 51 | newdata = (__fragment *) __REALLOCATE(data, __FRAGMENT_SIZE(n)); |
paul@283 | 52 | newdata->capacity = n; |
paul@283 | 53 | } |
paul@283 | 54 | |
paul@283 | 55 | /* Insert the new element and increment the list size. */ |
paul@283 | 56 | newdata->attrs[size] = *value; |
paul@283 | 57 | newdata->size = size + 1; |
paul@283 | 58 | |
paul@283 | 59 | return newdata; |
paul@283 | 60 | } |
paul@283 | 61 | |
paul@167 | 62 | /* Native functions. */ |
paul@167 | 63 | |
paul@167 | 64 | __attr __fn_native__exit(__attr __args[]) |
paul@167 | 65 | { |
paul@208 | 66 | __attr * const status = &__args[1]; |
paul@167 | 67 | |
paul@208 | 68 | exit(__load_via_object(status->value, __pos___data__).intvalue); |
paul@167 | 69 | return __builtins___none_None; |
paul@167 | 70 | } |
paul@167 | 71 | |
paul@182 | 72 | __attr __fn_native__get_argv(__attr __args[]) |
paul@182 | 73 | { |
paul@208 | 74 | __attr * const status = &__args[1]; |
paul@182 | 75 | |
paul@182 | 76 | /* NOTE: To be written. */ |
paul@182 | 77 | return __builtins___none_None; |
paul@182 | 78 | } |
paul@182 | 79 | |
paul@182 | 80 | __attr __fn_native__get_path(__attr __args[]) |
paul@182 | 81 | { |
paul@208 | 82 | __attr * const status = &__args[1]; |
paul@182 | 83 | |
paul@182 | 84 | /* NOTE: To be written. */ |
paul@182 | 85 | return __builtins___none_None; |
paul@182 | 86 | } |
paul@182 | 87 | |
paul@161 | 88 | __attr __fn_native__is(__attr __args[]) |
paul@161 | 89 | { |
paul@208 | 90 | __attr * const x = &__args[1]; |
paul@208 | 91 | __attr * const y = &__args[2]; |
paul@161 | 92 | |
paul@208 | 93 | return x->value == y->value ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 94 | } |
paul@161 | 95 | |
paul@161 | 96 | __attr __fn_native__is_not(__attr __args[]) |
paul@161 | 97 | { |
paul@208 | 98 | __attr * const x = &__args[1]; |
paul@208 | 99 | __attr * const y = &__args[2]; |
paul@161 | 100 | |
paul@208 | 101 | return x->value != y->value ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 102 | } |
paul@161 | 103 | |
paul@161 | 104 | __attr __fn_native__int_add(__attr __args[]) |
paul@161 | 105 | { |
paul@208 | 106 | __attr * const self = &__args[1]; |
paul@208 | 107 | __attr * const other = &__args[2]; |
paul@198 | 108 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 109 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 110 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 111 | |
paul@198 | 112 | /* Return the new integer. */ |
paul@198 | 113 | /* NOTE: No overflow test applied. */ |
paul@198 | 114 | return __new_int(i + j); |
paul@161 | 115 | } |
paul@161 | 116 | |
paul@161 | 117 | __attr __fn_native__int_sub(__attr __args[]) |
paul@161 | 118 | { |
paul@208 | 119 | __attr * const self = &__args[1]; |
paul@208 | 120 | __attr * const other = &__args[2]; |
paul@198 | 121 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 122 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 123 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 124 | |
paul@198 | 125 | /* Return the new integer. */ |
paul@198 | 126 | /* NOTE: No overflow test applied. */ |
paul@198 | 127 | return __new_int(i - j); |
paul@161 | 128 | } |
paul@161 | 129 | |
paul@161 | 130 | __attr __fn_native__int_mul(__attr __args[]) |
paul@161 | 131 | { |
paul@208 | 132 | __attr * const self = &__args[1]; |
paul@208 | 133 | __attr * const other = &__args[2]; |
paul@198 | 134 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 135 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 136 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 137 | |
paul@198 | 138 | /* Return the new integer. */ |
paul@198 | 139 | /* NOTE: No overflow test applied. */ |
paul@198 | 140 | return __new_int(i * j); |
paul@161 | 141 | } |
paul@161 | 142 | |
paul@161 | 143 | __attr __fn_native__int_div(__attr __args[]) |
paul@161 | 144 | { |
paul@208 | 145 | __attr * const self = &__args[1]; |
paul@208 | 146 | __attr * const other = &__args[2]; |
paul@198 | 147 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 148 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 149 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 150 | |
paul@198 | 151 | /* Return the new integer. */ |
paul@198 | 152 | /* NOTE: No overflow test applied. */ |
paul@198 | 153 | return __new_int(i / j); |
paul@161 | 154 | } |
paul@161 | 155 | |
paul@161 | 156 | __attr __fn_native__int_mod(__attr __args[]) |
paul@161 | 157 | { |
paul@208 | 158 | __attr * const self = &__args[1]; |
paul@208 | 159 | __attr * const other = &__args[2]; |
paul@198 | 160 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 161 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 162 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 163 | |
paul@198 | 164 | /* Return the new integer. */ |
paul@198 | 165 | /* NOTE: No overflow test applied. */ |
paul@198 | 166 | return __new_int(i % j); |
paul@161 | 167 | } |
paul@161 | 168 | |
paul@207 | 169 | __attr __fn_native__int_neg(__attr __args[]) |
paul@207 | 170 | { |
paul@208 | 171 | __attr * const self = &__args[1]; |
paul@207 | 172 | /* self.__data__ interpreted as int */ |
paul@208 | 173 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@207 | 174 | |
paul@207 | 175 | /* Return the new integer. */ |
paul@207 | 176 | return __new_int(-i); |
paul@207 | 177 | } |
paul@207 | 178 | |
paul@161 | 179 | __attr __fn_native__int_pow(__attr __args[]) |
paul@161 | 180 | { |
paul@208 | 181 | __attr * const self = &__args[1]; |
paul@208 | 182 | __attr * const other = &__args[2]; |
paul@198 | 183 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 184 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 185 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 186 | |
paul@198 | 187 | /* Return the new integer. */ |
paul@198 | 188 | /* NOTE: No overflow test applied. */ |
paul@198 | 189 | return __new_int((int) pow(i, j)); |
paul@161 | 190 | } |
paul@161 | 191 | |
paul@161 | 192 | __attr __fn_native__int_and(__attr __args[]) |
paul@161 | 193 | { |
paul@208 | 194 | __attr * const self = &__args[1]; |
paul@208 | 195 | __attr * const other = &__args[2]; |
paul@198 | 196 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 197 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 198 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 199 | |
paul@198 | 200 | /* Return the new integer. */ |
paul@198 | 201 | /* NOTE: No overflow test applied. */ |
paul@198 | 202 | return __new_int(i & j); |
paul@161 | 203 | } |
paul@161 | 204 | |
paul@161 | 205 | __attr __fn_native__int_or(__attr __args[]) |
paul@161 | 206 | { |
paul@208 | 207 | __attr * const self = &__args[1]; |
paul@208 | 208 | __attr * const other = &__args[2]; |
paul@198 | 209 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 210 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 211 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 212 | |
paul@198 | 213 | /* Return the new integer. */ |
paul@198 | 214 | /* NOTE: No overflow test applied. */ |
paul@198 | 215 | return __new_int(i | j); |
paul@161 | 216 | } |
paul@161 | 217 | |
paul@161 | 218 | __attr __fn_native__int_xor(__attr __args[]) |
paul@161 | 219 | { |
paul@208 | 220 | __attr * const self = &__args[1]; |
paul@208 | 221 | __attr * const other = &__args[2]; |
paul@198 | 222 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 223 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 224 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 225 | |
paul@198 | 226 | /* Return the new integer. */ |
paul@198 | 227 | /* NOTE: No overflow test applied. */ |
paul@198 | 228 | return __new_int(i ^ j); |
paul@161 | 229 | } |
paul@161 | 230 | |
paul@161 | 231 | __attr __fn_native__int_lt(__attr __args[]) |
paul@161 | 232 | { |
paul@208 | 233 | __attr * const self = &__args[1]; |
paul@208 | 234 | __attr * const other = &__args[2]; |
paul@198 | 235 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 236 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 237 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 238 | |
paul@198 | 239 | /* Return a boolean result. */ |
paul@198 | 240 | return i < j ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 241 | } |
paul@161 | 242 | |
paul@161 | 243 | __attr __fn_native__int_gt(__attr __args[]) |
paul@161 | 244 | { |
paul@208 | 245 | __attr * const self = &__args[1]; |
paul@208 | 246 | __attr * const other = &__args[2]; |
paul@198 | 247 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 248 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 249 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 250 | |
paul@198 | 251 | /* Return a boolean result. */ |
paul@198 | 252 | return i > j ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 253 | } |
paul@161 | 254 | |
paul@161 | 255 | __attr __fn_native__int_eq(__attr __args[]) |
paul@161 | 256 | { |
paul@208 | 257 | __attr * const self = &__args[1]; |
paul@208 | 258 | __attr * const other = &__args[2]; |
paul@198 | 259 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 260 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 261 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@161 | 262 | |
paul@198 | 263 | /* Return a boolean result. */ |
paul@198 | 264 | return i == j ? __builtins___boolean_True : __builtins___boolean_False; |
paul@198 | 265 | } |
paul@198 | 266 | |
paul@198 | 267 | __attr __fn_native__int_ne(__attr __args[]) |
paul@198 | 268 | { |
paul@208 | 269 | __attr * const self = &__args[1]; |
paul@208 | 270 | __attr * const other = &__args[2]; |
paul@198 | 271 | /* self.__data__ and other.__data__ interpreted as int */ |
paul@208 | 272 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@208 | 273 | int j = __load_via_object(other->value, __pos___data__).intvalue; |
paul@198 | 274 | |
paul@198 | 275 | /* Return a boolean result. */ |
paul@198 | 276 | return i != j ? __builtins___boolean_True : __builtins___boolean_False; |
paul@198 | 277 | } |
paul@198 | 278 | |
paul@198 | 279 | __attr __fn_native__int_str(__attr __args[]) |
paul@198 | 280 | { |
paul@208 | 281 | __attr * const self = &__args[1]; |
paul@198 | 282 | /* self.__data__ interpreted as int */ |
paul@208 | 283 | int i = __load_via_object(self->value, __pos___data__).intvalue; |
paul@198 | 284 | int n = i != 0 ? (int) ceil(log10(i+1)) + 1 : 2; |
paul@260 | 285 | char *s = (char *) __ALLOCATE(n, sizeof(char)); |
paul@198 | 286 | |
paul@198 | 287 | if (i < 0) n++; |
paul@198 | 288 | snprintf(s, n, "%d", i); |
paul@198 | 289 | |
paul@198 | 290 | /* Return a new string. */ |
paul@198 | 291 | return __new_str(s); |
paul@161 | 292 | } |
paul@161 | 293 | |
paul@161 | 294 | __attr __fn_native__str_add(__attr __args[]) |
paul@161 | 295 | { |
paul@208 | 296 | __attr * const self = &__args[1]; |
paul@208 | 297 | __attr * const other = &__args[2]; |
paul@198 | 298 | /* self.__data__, other.__data__ interpreted as string */ |
paul@208 | 299 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@208 | 300 | char *o = __load_via_object(other->value, __pos___data__).strvalue; |
paul@198 | 301 | int n = strlen(s) + strlen(o) + 1; |
paul@260 | 302 | char *r = (char *) __ALLOCATE(n, sizeof(char)); |
paul@161 | 303 | |
paul@198 | 304 | strncpy(r, s, n); |
paul@292 | 305 | strncpy(r + strlen(s), o, n - strlen(s)); /* should null terminate */ |
paul@198 | 306 | |
paul@198 | 307 | /* Return a new string. */ |
paul@198 | 308 | return __new_str(r); |
paul@161 | 309 | } |
paul@161 | 310 | |
paul@161 | 311 | __attr __fn_native__str_lt(__attr __args[]) |
paul@161 | 312 | { |
paul@208 | 313 | __attr * const self = &__args[1]; |
paul@208 | 314 | __attr * const other = &__args[2]; |
paul@198 | 315 | /* self.__data__, other.__data__ interpreted as string */ |
paul@208 | 316 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@208 | 317 | char *o = __load_via_object(other->value, __pos___data__).strvalue; |
paul@161 | 318 | |
paul@198 | 319 | /* NOTE: Using simple byte-level string operations. */ |
paul@198 | 320 | return strcmp(s, o) < 0 ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 321 | } |
paul@161 | 322 | |
paul@161 | 323 | __attr __fn_native__str_gt(__attr __args[]) |
paul@161 | 324 | { |
paul@208 | 325 | __attr * const self = &__args[1]; |
paul@208 | 326 | __attr * const other = &__args[2]; |
paul@198 | 327 | /* self.__data__, other.__data__ interpreted as string */ |
paul@208 | 328 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@208 | 329 | char *o = __load_via_object(other->value, __pos___data__).strvalue; |
paul@161 | 330 | |
paul@198 | 331 | /* NOTE: Using simple byte-level string operations. */ |
paul@198 | 332 | return strcmp(s, o) > 0 ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 333 | } |
paul@161 | 334 | |
paul@161 | 335 | __attr __fn_native__str_eq(__attr __args[]) |
paul@161 | 336 | { |
paul@208 | 337 | __attr * const self = &__args[1]; |
paul@208 | 338 | __attr * const other = &__args[2]; |
paul@198 | 339 | /* self.__data__, other.__data__ interpreted as string */ |
paul@208 | 340 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@208 | 341 | char *o = __load_via_object(other->value, __pos___data__).strvalue; |
paul@161 | 342 | |
paul@198 | 343 | /* NOTE: Using simple byte-level string operations. */ |
paul@198 | 344 | return strcmp(s, o) == 0 ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 345 | } |
paul@161 | 346 | |
paul@161 | 347 | __attr __fn_native__str_len(__attr __args[]) |
paul@161 | 348 | { |
paul@208 | 349 | __attr * const self = &__args[1]; |
paul@198 | 350 | /* self.__data__ interpreted as string */ |
paul@208 | 351 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@161 | 352 | |
paul@198 | 353 | /* Return the new integer. */ |
paul@198 | 354 | return __new_int(strlen(s)); |
paul@161 | 355 | } |
paul@161 | 356 | |
paul@161 | 357 | __attr __fn_native__str_nonempty(__attr __args[]) |
paul@161 | 358 | { |
paul@208 | 359 | __attr * const self = &__args[1]; |
paul@198 | 360 | /* self.__data__ interpreted as string */ |
paul@208 | 361 | char *s = __load_via_object(self->value, __pos___data__).strvalue; |
paul@161 | 362 | |
paul@198 | 363 | return strlen(s) ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 364 | } |
paul@161 | 365 | |
paul@292 | 366 | __attr __fn_native__str_substr(__attr __args[]) |
paul@292 | 367 | { |
paul@292 | 368 | __attr * const self = &__args[1]; |
paul@292 | 369 | __attr * const start = &__args[2]; |
paul@292 | 370 | __attr * const size = &__args[3]; |
paul@292 | 371 | /* self.__data__ interpreted as string */ |
paul@292 | 372 | char *s = __load_via_object(self->value, __pos___data__).strvalue, *sub; |
paul@292 | 373 | /* start.__data__ interpreted as int */ |
paul@292 | 374 | int i = __load_via_object(start->value, __pos___data__).intvalue; |
paul@292 | 375 | /* size.__data__ interpreted as int */ |
paul@292 | 376 | int l = __load_via_object(size->value, __pos___data__).intvalue; |
paul@292 | 377 | |
paul@292 | 378 | /* Reserve space for a new string. */ |
paul@292 | 379 | sub = (char *) __ALLOCATE(l + 1, sizeof(char)); |
paul@292 | 380 | strncpy(sub, s + i, l); /* does not null terminate but final byte should be zero */ |
paul@292 | 381 | return __new_str(sub); |
paul@292 | 382 | } |
paul@292 | 383 | |
paul@161 | 384 | __attr __fn_native__list_init(__attr __args[]) |
paul@161 | 385 | { |
paul@208 | 386 | __attr * const size = &__args[1]; |
paul@208 | 387 | /* size.__data__ interpreted as int */ |
paul@208 | 388 | unsigned int n = __load_via_object(size->value, __pos___data__).intvalue; |
paul@283 | 389 | __attr attr = {0, .seqvalue=__new_fragment(n)}; |
paul@206 | 390 | |
paul@283 | 391 | /* Return the __data__ attribute. */ |
paul@161 | 392 | return attr; |
paul@206 | 393 | } |
paul@206 | 394 | |
paul@227 | 395 | __attr __fn_native__list_setsize(__attr __args[]) |
paul@227 | 396 | { |
paul@227 | 397 | __attr * const self = &__args[1]; |
paul@227 | 398 | __attr * const size = &__args[2]; |
paul@227 | 399 | /* self.__data__ interpreted as list */ |
paul@280 | 400 | __fragment *data = __load_via_object(self->value, __pos___data__).seqvalue; |
paul@227 | 401 | /* size.__data__ interpreted as int */ |
paul@227 | 402 | unsigned int n = __load_via_object(size->value, __pos___data__).intvalue; |
paul@227 | 403 | |
paul@227 | 404 | data->size = n; |
paul@227 | 405 | return __builtins___none_None; |
paul@227 | 406 | } |
paul@227 | 407 | |
paul@206 | 408 | __attr __fn_native__list_append(__attr __args[]) |
paul@206 | 409 | { |
paul@208 | 410 | __attr * const self = &__args[1]; |
paul@208 | 411 | __attr * const value = &__args[2]; |
paul@206 | 412 | /* self.__data__ interpreted as list */ |
paul@280 | 413 | __fragment *data = __load_via_object(self->value, __pos___data__).seqvalue; |
paul@283 | 414 | __fragment *newdata = __fragment_append(data, value); |
paul@215 | 415 | |
paul@215 | 416 | /* Replace the __data__ attribute if appropriate. */ |
paul@215 | 417 | if (newdata != data) |
paul@280 | 418 | __store_via_object(self->value, __pos___data__, ((__attr) {0, .seqvalue=newdata})); |
paul@206 | 419 | return __builtins___none_None; |
paul@206 | 420 | } |
paul@206 | 421 | |
paul@206 | 422 | __attr __fn_native__list_concat(__attr __args[]) |
paul@206 | 423 | { |
paul@208 | 424 | __attr * const self = &__args[1]; |
paul@215 | 425 | __attr * const other = &__args[2]; |
paul@215 | 426 | /* self.__data__, other.__data__ interpreted as list */ |
paul@280 | 427 | __fragment *data = __load_via_object(self->value, __pos___data__).seqvalue; |
paul@280 | 428 | __fragment *other_data = __load_via_object(other->value, __pos___data__).seqvalue; |
paul@215 | 429 | __fragment *newdata = data; |
paul@206 | 430 | unsigned int size = data->size, capacity = data->capacity; |
paul@206 | 431 | unsigned int other_size = other_data->size; |
paul@206 | 432 | unsigned int i, j, n; |
paul@206 | 433 | |
paul@206 | 434 | /* Re-allocate the fragment if the capacity has been reached. */ |
paul@206 | 435 | if (size + other_size >= capacity) |
paul@206 | 436 | { |
paul@206 | 437 | n = size + other_size; |
paul@260 | 438 | newdata = (__fragment *) __REALLOCATE(data, __FRAGMENT_SIZE(n)); |
paul@215 | 439 | newdata->capacity = n; |
paul@206 | 440 | } |
paul@206 | 441 | |
paul@206 | 442 | /* Copy the elements from the other list and increment the list size. */ |
paul@206 | 443 | for (i = size, j = 0; j < other_size; i++, j++) |
paul@215 | 444 | newdata->attrs[i] = other_data->attrs[j]; |
paul@215 | 445 | newdata->size = n; |
paul@215 | 446 | |
paul@215 | 447 | /* Replace the __data__ attribute if appropriate. */ |
paul@215 | 448 | if (newdata != data) |
paul@280 | 449 | __store_via_object(self->value, __pos___data__, ((__attr) {0, .seqvalue=newdata})); |
paul@206 | 450 | return __builtins___none_None; |
paul@161 | 451 | } |
paul@161 | 452 | |
paul@161 | 453 | __attr __fn_native__list_len(__attr __args[]) |
paul@161 | 454 | { |
paul@208 | 455 | __attr * const self = &__args[1]; |
paul@182 | 456 | /* self.__data__ interpreted as fragment */ |
paul@280 | 457 | unsigned int size = __load_via_object(self->value, __pos___data__).seqvalue->size; |
paul@161 | 458 | |
paul@182 | 459 | /* Return the new integer. */ |
paul@198 | 460 | return __new_int(size); |
paul@161 | 461 | } |
paul@161 | 462 | |
paul@161 | 463 | __attr __fn_native__list_nonempty(__attr __args[]) |
paul@161 | 464 | { |
paul@208 | 465 | __attr * const self = &__args[1]; |
paul@161 | 466 | |
paul@280 | 467 | return __load_via_object(self->value, __pos___data__).seqvalue->size ? __builtins___boolean_True : __builtins___boolean_False; |
paul@161 | 468 | } |
paul@161 | 469 | |
paul@161 | 470 | __attr __fn_native__list_element(__attr __args[]) |
paul@161 | 471 | { |
paul@208 | 472 | __attr * const self = &__args[1]; |
paul@208 | 473 | __attr * const index = &__args[2]; |
paul@198 | 474 | /* self.__data__ interpreted as fragment */ |
paul@280 | 475 | __attr *elements = __load_via_object(self->value, __pos___data__).seqvalue->attrs; |
paul@198 | 476 | /* index.__data__ interpreted as int */ |
paul@208 | 477 | int i = __load_via_object(index->value, __pos___data__).intvalue; |
paul@161 | 478 | |
paul@198 | 479 | return elements[i]; |
paul@161 | 480 | } |
paul@161 | 481 | |
paul@227 | 482 | __attr __fn_native__list_setelement(__attr __args[]) |
paul@161 | 483 | { |
paul@227 | 484 | __attr * const self = &__args[1]; |
paul@227 | 485 | __attr * const index = &__args[2]; |
paul@227 | 486 | __attr * const value = &__args[3]; |
paul@227 | 487 | /* self.__data__ interpreted as fragment */ |
paul@280 | 488 | __attr *elements = __load_via_object(self->value, __pos___data__).seqvalue->attrs; |
paul@227 | 489 | /* index.__data__ interpreted as int */ |
paul@227 | 490 | int i = __load_via_object(index->value, __pos___data__).intvalue; |
paul@161 | 491 | |
paul@227 | 492 | /* Set the element. */ |
paul@227 | 493 | elements[i] = *value; |
paul@161 | 494 | return __builtins___none_None; |
paul@161 | 495 | } |
paul@161 | 496 | |
paul@283 | 497 | __attr __fn_native__dict_init(__attr __args[]) |
paul@283 | 498 | { |
paul@283 | 499 | __attr * const size = &__args[1]; |
paul@283 | 500 | /* size.__data__ interpreted as int */ |
paul@283 | 501 | unsigned int n = __load_via_object(size->value, __pos___data__).intvalue; |
paul@283 | 502 | __mapping *data = __new_mapping(n); |
paul@283 | 503 | __attr attr = {0, .mapvalue=data}; |
paul@283 | 504 | |
paul@283 | 505 | /* Return the __data__ attribute. */ |
paul@283 | 506 | return attr; |
paul@283 | 507 | } |
paul@283 | 508 | |
paul@283 | 509 | __attr __fn_native__dict_bucketsize(__attr __args[]) |
paul@283 | 510 | { |
paul@283 | 511 | __attr * const self = &__args[1]; |
paul@283 | 512 | __attr * const index = &__args[2]; |
paul@283 | 513 | /* self.__data__ interpreted as dict */ |
paul@283 | 514 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 515 | /* index.__data__ interpreted as int */ |
paul@283 | 516 | int k = __load_via_object(index->value, __pos___data__).intvalue % __MAPPING_BUCKETS; |
paul@283 | 517 | |
paul@283 | 518 | /* Return size of bucket k. */ |
paul@283 | 519 | return __new_int(data->keys[k]->size); |
paul@283 | 520 | } |
paul@283 | 521 | |
paul@283 | 522 | __attr __fn_native__dict_keys(__attr __args[]) |
paul@283 | 523 | { |
paul@283 | 524 | __attr * const self = &__args[1]; |
paul@283 | 525 | /* self.__data__ interpreted as dict */ |
paul@283 | 526 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 527 | unsigned int k, i, j, size = 0; |
paul@283 | 528 | __fragment *f; |
paul@283 | 529 | |
paul@283 | 530 | /* Count the number of keys. */ |
paul@283 | 531 | for (k = 0; k < __MAPPING_BUCKETS; k++) |
paul@283 | 532 | size += data->keys[k]->size; |
paul@283 | 533 | |
paul@283 | 534 | /* Create a fragment for the keys. */ |
paul@283 | 535 | f = __new_fragment(size); |
paul@283 | 536 | |
paul@283 | 537 | /* Populate the fragment with the keys. */ |
paul@283 | 538 | for (j = 0, k = 0; k < __MAPPING_BUCKETS; k++) |
paul@283 | 539 | for (i = 0; i < data->keys[k]->size; i++, j++) |
paul@283 | 540 | f->attrs[j] = data->keys[k]->attrs[i]; |
paul@283 | 541 | f->size = size; |
paul@283 | 542 | |
paul@283 | 543 | /* Return a list. */ |
paul@283 | 544 | return __new_list(f); |
paul@283 | 545 | } |
paul@283 | 546 | |
paul@283 | 547 | __attr __fn_native__dict_values(__attr __args[]) |
paul@283 | 548 | { |
paul@283 | 549 | __attr * const self = &__args[1]; |
paul@283 | 550 | /* self.__data__ interpreted as dict */ |
paul@283 | 551 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 552 | unsigned int k, i, j, size = 0; |
paul@283 | 553 | __fragment *f; |
paul@283 | 554 | |
paul@283 | 555 | /* Count the number of values. */ |
paul@283 | 556 | for (k = 0; k < __MAPPING_BUCKETS; k++) |
paul@283 | 557 | size += data->values[k]->size; |
paul@283 | 558 | |
paul@283 | 559 | /* Create a fragment for the values. */ |
paul@283 | 560 | f = __new_fragment(size); |
paul@283 | 561 | |
paul@283 | 562 | /* Populate the fragment with the values. */ |
paul@283 | 563 | for (j = 0, k = 0; k < __MAPPING_BUCKETS; k++) |
paul@283 | 564 | for (i = 0; i < data->values[k]->size; i++, j++) |
paul@283 | 565 | f->attrs[j] = data->values[k]->attrs[i]; |
paul@283 | 566 | f->size = size; |
paul@283 | 567 | |
paul@283 | 568 | /* Return a list. */ |
paul@283 | 569 | return __new_list(f); |
paul@283 | 570 | } |
paul@283 | 571 | |
paul@283 | 572 | __attr __fn_native__dict_key(__attr __args[]) |
paul@283 | 573 | { |
paul@283 | 574 | __attr * const self = &__args[1]; |
paul@283 | 575 | __attr * const index = &__args[2]; |
paul@283 | 576 | __attr * const element = &__args[3]; |
paul@283 | 577 | /* self.__data__ interpreted as dict */ |
paul@283 | 578 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 579 | /* index.__data__ interpreted as int */ |
paul@283 | 580 | int k = __load_via_object(index->value, __pos___data__).intvalue % __MAPPING_BUCKETS; |
paul@283 | 581 | /* element.__data__ interpreted as int */ |
paul@283 | 582 | int i = __load_via_object(element->value, __pos___data__).intvalue; |
paul@283 | 583 | |
paul@283 | 584 | /* Return key from bucket k, element i. */ |
paul@283 | 585 | return data->keys[k]->attrs[i]; |
paul@283 | 586 | } |
paul@283 | 587 | |
paul@283 | 588 | __attr __fn_native__dict_value(__attr __args[]) |
paul@283 | 589 | { |
paul@283 | 590 | __attr * const self = &__args[1]; |
paul@283 | 591 | __attr * const index = &__args[2]; |
paul@283 | 592 | __attr * const element = &__args[3]; |
paul@283 | 593 | /* self.__data__ interpreted as dict */ |
paul@283 | 594 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 595 | /* index.__data__ interpreted as int */ |
paul@283 | 596 | int k = __load_via_object(index->value, __pos___data__).intvalue % __MAPPING_BUCKETS; |
paul@283 | 597 | /* element.__data__ interpreted as int */ |
paul@283 | 598 | int i = __load_via_object(element->value, __pos___data__).intvalue; |
paul@283 | 599 | |
paul@283 | 600 | /* Return value from bucket k, element i. */ |
paul@283 | 601 | return data->values[k]->attrs[i]; |
paul@283 | 602 | } |
paul@283 | 603 | |
paul@283 | 604 | __attr __fn_native__dict_additem(__attr __args[]) |
paul@283 | 605 | { |
paul@283 | 606 | __attr * const self = &__args[1]; |
paul@283 | 607 | __attr * const index = &__args[2]; |
paul@283 | 608 | __attr * const key = &__args[3]; |
paul@283 | 609 | __attr * const value = &__args[4]; |
paul@283 | 610 | /* self.__data__ interpreted as dict */ |
paul@283 | 611 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 612 | /* index.__data__ interpreted as int */ |
paul@283 | 613 | int k = __load_via_object(index->value, __pos___data__).intvalue % __MAPPING_BUCKETS; |
paul@283 | 614 | __fragment *keys = data->keys[k], *newkeys; |
paul@283 | 615 | __fragment *values = data->values[k], *newvalues; |
paul@283 | 616 | |
paul@283 | 617 | /* Append the item. */ |
paul@283 | 618 | newkeys = __fragment_append(keys, key); |
paul@283 | 619 | newvalues = __fragment_append(values, value); |
paul@283 | 620 | |
paul@283 | 621 | /* Replace the fragments if appropriate. */ |
paul@283 | 622 | if (newkeys != keys) |
paul@283 | 623 | data->keys[k] = newkeys; |
paul@283 | 624 | if (newvalues != values) |
paul@283 | 625 | data->values[k] = newvalues; |
paul@283 | 626 | return __builtins___none_None; |
paul@283 | 627 | } |
paul@283 | 628 | |
paul@283 | 629 | __attr __fn_native__dict_setitem(__attr __args[]) |
paul@283 | 630 | { |
paul@283 | 631 | __attr * const self = &__args[1]; |
paul@283 | 632 | __attr * const index = &__args[2]; |
paul@283 | 633 | __attr * const element = &__args[3]; |
paul@283 | 634 | __attr * const key = &__args[4]; |
paul@283 | 635 | __attr * const value = &__args[5]; |
paul@283 | 636 | /* self.__data__ interpreted as dict */ |
paul@283 | 637 | __mapping *data = __load_via_object(self->value, __pos___data__).mapvalue; |
paul@283 | 638 | /* index.__data__ interpreted as int */ |
paul@283 | 639 | int k = __load_via_object(index->value, __pos___data__).intvalue % __MAPPING_BUCKETS; |
paul@283 | 640 | /* element.__data__ interpreted as int */ |
paul@283 | 641 | int i = __load_via_object(element->value, __pos___data__).intvalue; |
paul@283 | 642 | |
paul@283 | 643 | /* Replace the item. */ |
paul@283 | 644 | data->keys[k]->attrs[i] = *key; |
paul@283 | 645 | data->values[k]->attrs[i] = *value; |
paul@283 | 646 | |
paul@283 | 647 | return __builtins___none_None; |
paul@283 | 648 | } |
paul@283 | 649 | |
paul@206 | 650 | __attr __fn_native__buffer_str(__attr __args[]) |
paul@206 | 651 | { |
paul@208 | 652 | __attr * const self = &__args[1]; |
paul@206 | 653 | /* self.__data__ interpreted as buffer */ |
paul@280 | 654 | __fragment *data = __load_via_object(self->value, __pos___data__).seqvalue; |
paul@209 | 655 | unsigned int size = 0, i, j, n; |
paul@209 | 656 | char *s, *o; |
paul@206 | 657 | |
paul@206 | 658 | /* Calculate the size of the string. */ |
paul@206 | 659 | for (i = 0; i < data->size; i++) |
paul@253 | 660 | size += strlen(__load_via_object(data->attrs[i].value, __pos___data__).strvalue); |
paul@206 | 661 | |
paul@206 | 662 | /* Reserve space for a new string. */ |
paul@260 | 663 | s = (char *) __ALLOCATE(size + 1, sizeof(char)); |
paul@206 | 664 | |
paul@206 | 665 | /* Build a single string from the buffer contents. */ |
paul@209 | 666 | for (i = 0, j = 0; i < data->size; i++) |
paul@209 | 667 | { |
paul@209 | 668 | o = __load_via_object(data->attrs[i].value, __pos___data__).strvalue; |
paul@209 | 669 | n = strlen(o); |
paul@292 | 670 | strncpy(s + j, o, n); /* does not null terminate but final byte should be zero */ |
paul@209 | 671 | j += n; |
paul@209 | 672 | } |
paul@206 | 673 | |
paul@206 | 674 | /* Return a new string. */ |
paul@206 | 675 | return __new_str(s); |
paul@206 | 676 | } |
paul@206 | 677 | |
paul@230 | 678 | __attr __fn_native__get_using(__attr __args[]) |
paul@230 | 679 | { |
paul@230 | 680 | __attr * const callable = &__args[1]; |
paul@230 | 681 | __attr * const instance = &__args[2]; |
paul@230 | 682 | |
paul@230 | 683 | return __replace_context(instance->value, *callable); |
paul@230 | 684 | } |
paul@230 | 685 | |
paul@228 | 686 | __attr __fn_native__object_getattr(__attr __args[]) |
paul@228 | 687 | { |
paul@228 | 688 | __attr * const obj = &__args[1]; |
paul@228 | 689 | __attr * const name = &__args[2]; |
paul@228 | 690 | __attr * const _default = &__args[3]; |
paul@228 | 691 | |
paul@228 | 692 | /* NOTE: To be written. */ |
paul@228 | 693 | return __builtins___none_None; |
paul@228 | 694 | } |
paul@228 | 695 | |
paul@231 | 696 | static int __issubclass(__ref obj, __attr cls) |
paul@231 | 697 | { |
paul@231 | 698 | return (__HASATTR(obj, __TYPEPOS(cls.value), __TYPECODE(cls.value))); |
paul@231 | 699 | } |
paul@231 | 700 | |
paul@161 | 701 | __attr __fn_native__isinstance(__attr __args[]) |
paul@161 | 702 | { |
paul@208 | 703 | __attr * const obj = &__args[1]; |
paul@208 | 704 | __attr * const cls = &__args[2]; |
paul@161 | 705 | |
paul@231 | 706 | /* cls must be a class. */ |
paul@231 | 707 | if (__is_instance(obj->value) && __issubclass(__get_class(obj->value), *cls)) |
paul@231 | 708 | return __builtins___boolean_True; |
paul@231 | 709 | else |
paul@231 | 710 | return __builtins___boolean_False; |
paul@231 | 711 | } |
paul@231 | 712 | |
paul@231 | 713 | __attr __fn_native__issubclass(__attr __args[]) |
paul@231 | 714 | { |
paul@231 | 715 | __attr * const obj = &__args[1]; |
paul@231 | 716 | __attr * const cls = &__args[2]; |
paul@231 | 717 | |
paul@231 | 718 | /* obj and cls must be classes. */ |
paul@231 | 719 | if (__issubclass(obj->value, *cls)) |
paul@198 | 720 | return __builtins___boolean_True; |
paul@161 | 721 | else |
paul@198 | 722 | return __builtins___boolean_False; |
paul@161 | 723 | } |
paul@161 | 724 | |
paul@173 | 725 | __attr __fn_native__read(__attr __args[]) |
paul@173 | 726 | { |
paul@208 | 727 | __attr * const fd = &__args[1]; |
paul@208 | 728 | __attr * const n = &__args[2]; |
paul@173 | 729 | |
paul@173 | 730 | /* NOTE: To be written. */ |
paul@173 | 731 | return __builtins___none_None; |
paul@173 | 732 | } |
paul@173 | 733 | |
paul@173 | 734 | __attr __fn_native__write(__attr __args[]) |
paul@173 | 735 | { |
paul@208 | 736 | __attr * const fd = &__args[1]; |
paul@208 | 737 | __attr * const str = &__args[2]; |
paul@198 | 738 | /* fd.__data__ interpreted as int */ |
paul@208 | 739 | int i = __load_via_object(fd->value, __pos___data__).intvalue; |
paul@198 | 740 | /* str.__data__ interpreted as string */ |
paul@208 | 741 | char *s = __load_via_object(str->value, __pos___data__).strvalue; |
paul@173 | 742 | |
paul@198 | 743 | write(i, s, sizeof(char) * strlen(s)); |
paul@173 | 744 | return __builtins___none_None; |
paul@173 | 745 | } |
paul@173 | 746 | |
paul@173 | 747 | /* Module initialisation. */ |
paul@173 | 748 | |
paul@161 | 749 | void __main_native() |
paul@161 | 750 | { |
paul@161 | 751 | } |