qirt.h 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458
  1. #ifndef _QI_RUNTIME_H
  2. #define _QI_RUNTIME_H
  3. #include <ctype.h>
  4. #include <math.h>
  5. #include <setjmp.h>
  6. #include <stdarg.h>
  7. #include <stdint.h>
  8. #include <stdio.h>
  9. #include <stdlib.h>
  10. #include <string.h>
  11. #include <time.h>
  12. int fileno(FILE *stream);
  13. static const char *LIBQIRT_INFO = "libqirt v01 " __DATE__;
  14. typedef int qi_bool;
  15. #define true 1
  16. #define false 0
  17. typedef unsigned long qi_size_t;
  18. typedef long qi_ssize_t;
  19. typedef struct _qi_list_t qi_list_t;
  20. struct _qi_list_t {
  21. void **data;
  22. qi_size_t length;
  23. };
  24. #define qi_list_make_n(size) (qi_list_resize(qi_list_make(), (size)))
  25. #define qi_list_data(list, index) ((list)->data[(index)])
  26. #define qi_list_length(list) ((list)->length)
  27. #define qi_list_empty(list) (!(list)->length)
  28. #define qi_list_first(list) ((list)->data[0])
  29. #define qi_list_last(list) ((list)->data[(list)->length - 1])
  30. typedef struct _qi_table_t qi_table_t;
  31. typedef struct _qi_table_entry_t qi_table_entry_t;
  32. struct _qi_table_entry_t {
  33. char *key;
  34. void *value;
  35. qi_bool is_deleted;
  36. };
  37. struct _qi_table_t {
  38. qi_table_entry_t *entries;
  39. qi_size_t used;
  40. qi_size_t capacity;
  41. };
  42. #define QI_TABLE_MIN_CAP 32
  43. #define qi_table_length(table) ((table)->used)
  44. #define qi_table_empty(table) ((table)->used == 0)
  45. #define qi_table_iterate(table, code) \
  46. { \
  47. if (!qi_table_empty(table)) { \
  48. qi_size_t i = 0; \
  49. while (i < (table)->capacity) { \
  50. qi_table_entry_t entry = (table)->entries[i]; \
  51. if (entry.key && !entry.is_deleted) { \
  52. code; \
  53. } \
  54. i++; \
  55. } \
  56. } \
  57. }
  58. typedef struct {
  59. char *str;
  60. qi_size_t used;
  61. qi_size_t allocated;
  62. } qi_buffer_t;
  63. typedef enum {
  64. QI_NULL,
  65. QI_BOOLEAN,
  66. QI_NUMBER,
  67. QI_STRING,
  68. QI_BYTES,
  69. QI_FILE,
  70. QI_LIST,
  71. QI_TUPLE,
  72. QI_TABLE,
  73. QI_FUNCTION,
  74. QI_DATA,
  75. QI_OBJECT
  76. } qi_type_t;
  77. static const char qi_type_names[12][10] = {
  78. "nil", "boolean", "number", "string", "bytes", "file",
  79. "list", "tuple", "table", "function", "data", "object"};
  80. #define qi_repr_type(type) (qi_type_names[(type)])
  81. typedef struct _qi_state_t qi_state_t;
  82. typedef struct _qi_value_t qi_value_t;
  83. typedef qi_value_t *(*qi_handle_t)(qi_state_t *, qi_size_t, qi_list_t *);
  84. typedef struct {
  85. unsigned char *data;
  86. qi_size_t size;
  87. } qi_bytes_t;
  88. struct _qi_value_t {
  89. qi_type_t type;
  90. void *mutex;
  91. union {
  92. qi_bool boolean;
  93. double number;
  94. char *string;
  95. qi_bytes_t *bytes;
  96. struct qi_file_t {
  97. FILE *fd;
  98. char mode[4];
  99. qi_bool is_open;
  100. } file;
  101. qi_list_t *list;
  102. struct {
  103. qi_table_t *table;
  104. qi_value_t *metatable;
  105. } table;
  106. struct qi_function_t {
  107. qi_handle_t handle;
  108. char *name;
  109. qi_size_t pargc;
  110. qi_table_t *captured;
  111. qi_value_t *_this;
  112. qi_bool is_builtin;
  113. qi_bool is_pm;
  114. } function;
  115. struct {
  116. unsigned int tag;
  117. void *data;
  118. } data;
  119. } value;
  120. };
  121. struct _qi_state_t {
  122. qi_value_t *nil;
  123. qi_value_t *_true;
  124. qi_value_t *_false;
  125. qi_value_t *zero;
  126. qi_value_t *one;
  127. qi_value_t *nan;
  128. qi_value_t *infinity;
  129. qi_value_t *ninfinity;
  130. qi_value_t *empty_string;
  131. qi_value_t *empty_bytes;
  132. qi_value_t *empty_tuple;
  133. qi_value_t *_stdin;
  134. qi_value_t *_stderr;
  135. qi_value_t *_stdout;
  136. qi_value_t *nnumbers[8];
  137. qi_value_t *numbers[256];
  138. qi_table_t *pseudomethods;
  139. void *pseudomethods_mutex;
  140. qi_table_t *intern_strs;
  141. void *intern_strs_mutex;
  142. qi_list_t *traps;
  143. qi_list_t *scopes;
  144. qi_list_t *calltrace;
  145. const char *_debug_data;
  146. };
  147. typedef struct _qi_scope_t qi_scope_t;
  148. struct _qi_scope_t {
  149. qi_table_t *scope;
  150. qi_list_t *defers;
  151. qi_bool is_barrier;
  152. qi_bool is_sticky;
  153. void *mutex;
  154. };
  155. typedef void (*qi_defer_t)(qi_state_t *);
  156. #define qi_has_metatable(obj) ((obj)->value.table.metatable->type == QI_TABLE)
  157. #define qi_get_metatable(obj) ((obj)->value.table.metatable->value.table.table)
  158. #define _is_meta_name(name) (strncmp((name), "__", 2) == 0)
  159. #define is_meta_name(name) \
  160. ((name)->type == QI_STRING && _is_meta_name((name)->value.string))
  161. #define qi_type(state, value) \
  162. (qi_make_string((state), _qi_type((state), (value))))
  163. #define qi_repr(state, value, quote) \
  164. (_qi_repr((state), qi_list_make(), (value), (quote)))
  165. #define qi_show(state, value) \
  166. (qi_repr(state, value, (value)->type != QI_STRING))
  167. typedef struct _qi_trap_t qi_trap_t;
  168. struct _qi_trap_t {
  169. qi_value_t *value;
  170. qi_defer_t finally;
  171. qi_scope_t *scope;
  172. qi_size_t scopes_count;
  173. qi_size_t calltrace_size;
  174. jmp_buf label;
  175. };
  176. #define qi_try(state, code, handle, defer) \
  177. { \
  178. qi_trap_t *trap = qi_set_trap(state, defer); \
  179. if (setjmp(trap->label)) { \
  180. qi_unset_trap(state, trap); \
  181. if (trap->finally) \
  182. qi_add_defer(state, 0, trap->finally); \
  183. handle; \
  184. if (trap->finally) { \
  185. qi_pop_defer(state, 0); \
  186. trap->finally(state); \
  187. } \
  188. } else { \
  189. code; \
  190. qi_unset_trap(state, trap); \
  191. if (trap->finally) \
  192. trap->finally(state); \
  193. } \
  194. }
  195. typedef struct _qi_symbol_t qi_symbol_t;
  196. struct _qi_symbol_t {
  197. qi_value_t *value;
  198. qi_bool is_constant;
  199. };
  200. #define qi_set(state, is_pf, name, value) \
  201. (_qi_set((state), is_pf, false, (name), (value)))
  202. #define qi_bind(state, is_pf, name, value) \
  203. (_qi_set((state), is_pf, true, (name), (value)))
  204. #define qi_length(state, value) \
  205. (qi_make_number((state), _qi_length((state), (value))))
  206. #define qi_truthy(state, value) \
  207. (qi_make_boolean((state), _qi_truthy((state), (value))))
  208. #define qi_to_boolean(state, x) (qi_cast((state), QI_BOOLEAN, (x)))
  209. #define qi_to_number(state, x) (qi_cast((state), QI_NUMBER, (x)))
  210. #define qi_to_string(state, x) (qi_cast((state), QI_STRING, (x)))
  211. #define qi_to_bytes(state, x) (qi_cast((state), QI_BYTES, (x)))
  212. #define qi_to_list(state, x) (qi_cast((state), QI_LIST, (x)))
  213. #define qi_to_tuple(state, x) (qi_cast((state), QI_TUPLE, (x)))
  214. #define qi_to_table(state, x) (qi_cast((state), QI_TABLE, (x)))
  215. #define qi_get_boolean(state, x) \
  216. ((x)->type == QI_BOOLEAN ? (x)->value.boolean \
  217. : qi_to_boolean(state, x)->value.boolean)
  218. #define qi_get_number(state, x) \
  219. ((x)->type == QI_NUMBER ? (x)->value.number \
  220. : qi_to_number(state, x)->value.number)
  221. #define qi_get_string(state, x) \
  222. ((x)->type == QI_STRING ? (x)->value.string \
  223. : qi_to_string(state, x)->value.string)
  224. #define qi_get_bytes(state, x) \
  225. ((x)->type == QI_BYTES ? (x)->value.bytes \
  226. : qi_to_bytes(state, x)->value.bytes)
  227. #define qi_get_list(state, x) \
  228. ((x)->type == QI_LIST ? (x)->value.list : qi_to_list(state, x)->value.list)
  229. #define qi_get_table(state, x) \
  230. ((x)->type == QI_TABLE ? (x)->value.table.table \
  231. : qi_to_table(state, x)->value.table.table)
  232. #define qi_get_data(state, t, x) \
  233. ((x)->type != QI_DATA || (x)->value.data.tag != (t) \
  234. ? (qi_throw_format((state), "expected data (tag: %d)", (t)), NULL) \
  235. : (x)->value.data.data)
  236. #define qi_push_trace(state, fn, debug_data) \
  237. (qi_list_push((state)->calltrace, \
  238. qi_list_push(qi_list_push(qi_list_make(), (value)), \
  239. (void *)(debug_data))))
  240. #define qi_pop_trace(state) (qi_list_pop((state)->calltrace))
  241. #define qi_equals(state, a, b) \
  242. (qi_make_boolean((state), _qi_equals((state), (a), (b))))
  243. #define qi_not_equals(state, a, b) \
  244. (qi_make_boolean((state), !_qi_equals((state), (a), (b))))
  245. #define qi_is(state, a, b) (qi_make_boolean((state), (a) == (b)))
  246. #define qi_not_is(state, a, b) (qi_make_boolean((state), (a) != (b)))
  247. #define qi_in(state, a, b) (qi_make_boolean((state), _qi_in((state), (a), (b))))
  248. #define qi_not_in(state, a, b) \
  249. (qi_make_boolean((state), !_qi_in((state), (a), (b))))
  250. #define qi_lt(state, a, b) (qi_make_boolean((state), _qi_lt((state), (a), (b))))
  251. #define qi_gt(state, a, b) (qi_make_boolean((state), _qi_gt((state), (a), (b))))
  252. #define _qi_le(state, a, b) \
  253. (_qi_equals((state), (a), (b)) || _qi_lt((state), (a), (b)))
  254. #define _qi_ge(state, a, b) \
  255. (_qi_equals((state), (a), (b)) || _qi_gt((state), (a), (b)))
  256. #define qi_le(state, a, b) (qi_make_boolean((state), _qi_le((state), (a), (b))))
  257. #define qi_ge(state, a, b) (qi_make_boolean((state), _qi_ge((state), (a), (b))))
  258. #define _qi_or(state, a, b) \
  259. (_qi_truthy((state), (a)) || _qi_truthy((state), (b)))
  260. #define qi_or(state, a, b) (qi_make_boolean((state), _qi_or((state), (a), (b))))
  261. #define _qi_and(state, a, b) \
  262. (_qi_truthy((state), (a)) && _qi_truthy((state), (b)))
  263. #define qi_and(state, a, b) \
  264. (qi_make_boolean((state), _qi_and((state), (a), (b))))
  265. #define _qi_not(state, a) (!_qi_truthy((state), (a)))
  266. #define qi_not(state, a) (qi_make_boolean((state), _qi_not((state), (a))))
  267. #define qi_add_builtin(state, name, pargc, handle) \
  268. (qi_decl_const((state), name, \
  269. qi_make_builtin_function(state, name, pargc, handle)))
  270. #define LOCKED(value, code) \
  271. { \
  272. if ((value)->mutex) \
  273. qi_mutex_lock((value)->mutex); \
  274. code; \
  275. if ((value)->mutex) \
  276. qi_mutex_unlock((value)->mutex); \
  277. }
  278. void *qi_malloc(qi_size_t size);
  279. void *qi_malloc_atomic(qi_size_t size);
  280. void *qi_realloc(void *old_ptr, qi_size_t size);
  281. void *qi_calloc(qi_size_t count, qi_size_t size);
  282. char *qi_strdup(const char *s);
  283. void qi_free(void *);
  284. qi_list_t *qi_list_make(void);
  285. qi_list_t *qi_list_resize(qi_list_t *list, qi_size_t size);
  286. void *qi_list_index(qi_list_t *list, qi_ssize_t index);
  287. qi_list_t *qi_list_push(qi_list_t *list, void *value);
  288. qi_bool qi_list_insert(qi_list_t *list, qi_ssize_t index, void *value);
  289. qi_bool qi_list_delete(qi_list_t *list, qi_ssize_t index);
  290. qi_bool qi_list_set(qi_list_t *list, qi_ssize_t index, void *value);
  291. void *qi_list_pop(qi_list_t *list);
  292. qi_bool qi_list_contains(qi_list_t *list, void *value);
  293. qi_list_t *qi_list_copy(qi_list_t *list);
  294. qi_table_t *qi_table_make(void);
  295. void *qi_table_get(qi_table_t *table, char *key);
  296. qi_bool qi_table_has(qi_table_t *table, char *key);
  297. qi_table_t *qi_table_set(qi_table_t *table, char *key, void *value);
  298. qi_list_t *qi_table_keys(qi_table_t *table);
  299. qi_bool qi_table_delete(qi_table_t *table, char *key);
  300. qi_table_t *qi_table_copy(qi_table_t *table);
  301. void qi_add_defer(qi_state_t *state, qi_ssize_t index, qi_defer_t defer);
  302. qi_defer_t qi_pop_defer(qi_state_t *state, qi_ssize_t index);
  303. void qi_new_scope(qi_state_t *state);
  304. void qi_new_sticky_scope(qi_state_t *state);
  305. qi_bool qi_old_scope(qi_state_t *state);
  306. qi_value_t *qi_make_value(qi_type_t type);
  307. #define qi_make_boolean(state, x) ((x) ? (state)->_true : (state)->_false)
  308. qi_value_t *qi_make_number(qi_state_t *state, double number);
  309. qi_value_t *qi_make_string(qi_state_t *state, char *string);
  310. qi_value_t *qi_make_string_copy(qi_state_t *state, char *string);
  311. qi_value_t *qi_make_bytes(qi_state_t *state, unsigned char *bytes,
  312. qi_size_t size);
  313. qi_value_t *qi_make_char(qi_state_t *state, char c);
  314. qi_value_t *qi_make_file(qi_state_t *state, FILE *file, char *mode);
  315. qi_value_t *qi_make_list(qi_state_t *state, qi_list_t *list);
  316. qi_value_t *qi_make_tuple(qi_state_t *state, qi_list_t *tuple);
  317. qi_value_t *qi_make_table(qi_state_t *state, qi_table_t *table);
  318. qi_value_t *qi_make_function(qi_state_t *state, char *name, qi_size_t pargc,
  319. qi_handle_t handle, qi_table_t *captured);
  320. qi_value_t *qi_make_builtin_function(qi_state_t *state, char *name,
  321. qi_size_t pargc, qi_handle_t handle);
  322. qi_value_t *qi_make_data(qi_state_t *state, unsigned int tag, void *data);
  323. qi_value_t *qi_add_pseudomethod(qi_state_t *state, char *name, qi_size_t pargc,
  324. qi_handle_t handle);
  325. qi_value_t *qi_get_method(qi_state_t *state, qi_value_t *value, char *name);
  326. qi_value_t *qi_call_meta(qi_state_t *state, qi_bool *fail_flag, qi_value_t *value,
  327. char *name, qi_size_t count, ...);
  328. char *_qi_type(qi_state_t *state, qi_value_t *value);
  329. char *_qi_repr(qi_state_t *state, qi_list_t *tempstack, qi_value_t *value,
  330. qi_bool quote);
  331. void qi_finalize(void);
  332. void qi_fatal(qi_state_t *state, char *format, ...);
  333. qi_trap_t *qi_set_trap(qi_state_t *state, qi_defer_t finally);
  334. void qi_unset_trap(qi_state_t *state, qi_trap_t *trap);
  335. void qi_throw(qi_state_t *state, qi_value_t *value);
  336. void qi_throw_format(qi_state_t *state, char *format, ...);
  337. qi_value_t *qi_find(qi_state_t *state, char *name);
  338. qi_value_t *qi_get(qi_state_t *state, char *name);
  339. void qi_decl_const(qi_state_t *state, char *name, qi_value_t *value);
  340. void qi_decl(qi_state_t *state, char *name, qi_value_t *value);
  341. qi_value_t *_qi_set(qi_state_t *state, qi_bool is_pf, qi_bool is_constant,
  342. char *name, qi_value_t *value);
  343. size_t _qi_length(qi_state_t *state, qi_value_t *value);
  344. qi_value_t *qi_del(qi_state_t *state, qi_value_t *value, qi_value_t *index);
  345. qi_bool _qi_truthy(qi_state_t *state, qi_value_t *value);
  346. qi_value_t *qi_cast(qi_state_t *state, qi_type_t type, qi_value_t *value);
  347. qi_value_t *qi_iter(qi_state_t *state, qi_value_t *value);
  348. qi_value_t *qi_index(qi_state_t *state, qi_value_t *value, qi_value_t *index);
  349. qi_value_t *qi_index_set(qi_state_t *state, qi_bool is_pf, qi_value_t *value,
  350. qi_value_t *index, qi_value_t *newvalue);
  351. qi_value_t *qi_call(qi_state_t *state, qi_value_t *value, qi_list_t *pargs);
  352. qi_value_t *qi_call_debug(qi_state_t *state, qi_value_t *value,
  353. qi_list_t *pargs, const char *debug_data);
  354. qi_bool _qi_equals(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  355. qi_bool _qi_in(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  356. qi_value_t *qi_add(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  357. qi_value_t *qi_sub(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  358. qi_value_t *qi_mul(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  359. qi_value_t *qi_div(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  360. qi_value_t *qi_idiv(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  361. qi_value_t *qi_mod(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  362. qi_value_t *qi_pow(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  363. qi_value_t *qi_band(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  364. qi_value_t *qi_bor(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  365. qi_value_t *qi_xor(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  366. qi_value_t *qi_shl(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  367. qi_value_t *qi_shr(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  368. qi_bool _qi_lt(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  369. qi_bool _qi_gt(qi_state_t *state, qi_value_t *a, qi_value_t *b);
  370. qi_value_t *qi_negate(qi_state_t *state, qi_value_t *a);
  371. qi_value_t *qi_unary_plus(qi_state_t *state, qi_value_t *a);
  372. qi_value_t *qi_bnot(qi_state_t *state, qi_value_t *a);
  373. void qi_exit(qi_state_t *state, int code);
  374. void *qi_thread_create(qi_state_t *state, qi_value_t *fn, qi_list_t *args);
  375. qi_value_t *qi_thread_join(qi_state_t *state, void *td);
  376. void qi_thread_exit(qi_state_t *state, qi_value_t *value);
  377. qi_bool qi_thread_main(void);
  378. void *qi_mutex_create(void);
  379. void qi_mutex_destroy(void *mutex);
  380. void qi_mutex_lock(void *mutex);
  381. qi_bool qi_mutex_trylock(void *mutex);
  382. void qi_mutex_unlock(void *mutex);
  383. void *qi_cond_create(void);
  384. void qi_cond_destroy(void *cond);
  385. void qi_cond_wait(void *cond, void *mutex);
  386. void qi_cond_signal(void *cond);
  387. void qi_cond_broadcast(void *cond);
  388. void qi_state_init(qi_state_t **state);
  389. void qi_state_init_debug(qi_state_t **state);
  390. #endif