pocketpy_c.cpp 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544
  1. #include "pocketpy.h"
  2. #include "pocketpy_c.h"
  3. using namespace pkpy;
  4. #define PKPY_STACK_SIZE 32
  5. #define SAFEGUARD_OPEN try { \
  6. #define SAFEGUARD_CLOSE \
  7. } catch(std::exception& e) { \
  8. std::cerr << "ERROR: a std::exception " \
  9. << "this probably means pocketpy itself has a bug!\n" \
  10. << e.what() << "\n"; \
  11. exit(2); \
  12. } catch(...) { \
  13. std::cerr << "ERROR: a unknown exception was thrown " \
  14. << "this probably means pocketpy itself has a bug!\n"; \
  15. exit(2); \
  16. }
  17. #define ERRHANDLER_OPEN SAFEGUARD_OPEN \
  18. try { \
  19. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) \
  20. return false; \
  21. #define ERRHANDLER_CLOSE \
  22. } catch( Exception e ) { \
  23. vm->c_data->push(py_var(vm, e)); \
  24. vm->c_data->push(NULL); \
  25. return false; \
  26. } \
  27. SAFEGUARD_CLOSE \
  28. class CVM : public VM {
  29. public :
  30. ValueStackImpl<PKPY_STACK_SIZE>* c_data;
  31. CVM(bool enable_os=true) : VM(enable_os) {
  32. c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  33. }
  34. ~CVM() {
  35. c_data->clear();
  36. delete c_data;
  37. }
  38. };
  39. //for now I will unpack a tuple automatically, we may not want to handle
  40. //it this way, not sure
  41. //it is more lua like, but maybe not python like
  42. static void unpack_return(CVM* vm, PyObject* ret) {
  43. if (is_type(ret, vm->tp_tuple)) {
  44. Tuple& t = py_cast<Tuple&>(vm, ret);
  45. for (int i = 0; i < t.size(); i++)
  46. vm->c_data->push(t[i]);
  47. } else if (ret == vm->None) {
  48. //do nothing here
  49. //having to pop the stack after every call that returns none is annoying
  50. //lua does not do this
  51. //
  52. //so for now we will not push none on the stack when it is the sole thing returned
  53. //if this becomes a problem we can change it
  54. //
  55. //you can still check if it returned none by comparing stack size before
  56. //and after if you have to
  57. } else
  58. vm->c_data->push(ret);
  59. }
  60. bool pkpy_clear_error(pkpy_vm* vm_handle, char** message) {
  61. CVM* vm = (CVM*) vm_handle;
  62. SAFEGUARD_OPEN
  63. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  64. return false;
  65. vm->c_data->pop();
  66. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  67. if (message != nullptr)
  68. *message = e.summary().c_str_dup();
  69. else
  70. std::cerr << "ERROR: " << e.summary() << "\n";
  71. vm->c_data->clear();
  72. vm->callstack.clear();
  73. vm->s_data.clear();
  74. return true;
  75. SAFEGUARD_CLOSE
  76. }
  77. void gc_marker_ex(CVM* vm) {
  78. for(PyObject* obj: *vm->c_data) if(obj!=nullptr) OBJ_MARK(obj);
  79. }
  80. static void noop_output_handler(VM* vm, const Str& str) {
  81. (void) vm;
  82. (void) str;
  83. }
  84. pkpy_vm* pkpy_vm_create(bool use_stdio, bool enable_os) {
  85. CVM* vm = new CVM(enable_os);
  86. vm->c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  87. vm->_gc_marker_ex = (void (*)(VM*)) gc_marker_ex;
  88. if (!use_stdio) {
  89. vm->_stdout = noop_output_handler;
  90. vm->_stderr = noop_output_handler;
  91. }
  92. return (pkpy_vm*) vm;
  93. }
  94. bool pkpy_vm_run(pkpy_vm* vm_handle, const char* source) {
  95. CVM* vm = (CVM*) vm_handle;
  96. ERRHANDLER_OPEN
  97. CodeObject_ code = vm->compile(source, "<c-bound>", EXEC_MODE);
  98. PyObject* result = vm->_exec(code, vm->_main);
  99. //unpack_return(w, result);
  100. //NOTE: it seems like vm->_exec should return whatever the last command it
  101. //ran returned but instead it seems to pretty much always return None
  102. //so I guess uncomment this line if that every changes
  103. return true;
  104. ERRHANDLER_CLOSE
  105. }
  106. void pkpy_vm_destroy(pkpy_vm* vm_handle) {
  107. CVM* vm = (CVM*) vm_handle;
  108. delete vm;
  109. }
  110. static void propagate_if_errored(CVM* vm, ValueStackImpl<PKPY_STACK_SIZE>* stored_stack) {
  111. try {
  112. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  113. return;
  114. vm->c_data->pop();
  115. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  116. vm->c_data->pop();
  117. vm->c_data = stored_stack;
  118. throw e;
  119. } catch(Exception& e) {
  120. throw;
  121. } catch(...) {
  122. std::cerr << "ERROR: a non pocketpy exeception was thrown "
  123. << "this probably means pocketpy itself has a bug!\n";
  124. exit(2);
  125. }
  126. }
  127. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  128. LuaStyleFuncC f = py_cast<NativeFunc&>(vm, args[-2])._lua_f;
  129. CVM* cvm = (CVM*) vm;
  130. //setup c stack
  131. ValueStackImpl<PKPY_STACK_SIZE> local_stack = ValueStackImpl<PKPY_STACK_SIZE>();
  132. for (int i = 0; i < args.size(); i++)
  133. local_stack.push(args[i]);
  134. ValueStackImpl<PKPY_STACK_SIZE>* stored_stack = cvm->c_data;
  135. cvm->c_data = &local_stack;
  136. int retc = f(cvm);
  137. propagate_if_errored(cvm, stored_stack);
  138. cvm->c_data = stored_stack;
  139. PyObject* ret = cvm->None;
  140. if (retc == 1)
  141. ret = local_stack.top();
  142. else if (retc > 1) {
  143. Tuple t = Tuple(retc);
  144. for (int i = 0; i < retc; i++) {
  145. int stack_index = (local_stack.size() - retc) + i;
  146. t[i] = local_stack.begin()[stack_index];
  147. }
  148. ret = py_var(cvm, t);
  149. }
  150. return ret;
  151. }
  152. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f) {
  153. CVM* vm = (CVM*) vm_handle;
  154. ERRHANDLER_OPEN
  155. //TODO right now we just treat all c bound functions a varargs functions
  156. //do we want to change that?
  157. NativeFunc nf = NativeFunc(c_function_wrapper, -1, 0);
  158. nf._lua_f = (LuaStyleFuncC) f;
  159. vm->c_data->push(py_var(vm, nf));
  160. return true;
  161. ERRHANDLER_CLOSE
  162. }
  163. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  164. CVM* vm = (CVM*) vm_handle;
  165. ERRHANDLER_OPEN
  166. vm->c_data->push(py_var(vm, value));
  167. return true;
  168. ERRHANDLER_CLOSE
  169. }
  170. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  171. CVM* vm = (CVM*) vm_handle;
  172. ERRHANDLER_OPEN
  173. vm->c_data->push(py_var(vm, value));
  174. return true;
  175. ERRHANDLER_CLOSE
  176. }
  177. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  178. CVM* vm = (CVM*) vm_handle;
  179. ERRHANDLER_OPEN
  180. vm->c_data->push(py_var(vm, value));
  181. return true;
  182. ERRHANDLER_CLOSE
  183. }
  184. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  185. CVM* vm = (CVM*) vm_handle;
  186. ERRHANDLER_OPEN
  187. vm->c_data->push(py_var(vm, value));
  188. return true;
  189. ERRHANDLER_CLOSE
  190. }
  191. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  192. CVM* vm = (CVM*) vm_handle;
  193. ERRHANDLER_OPEN
  194. Str s = Str(value, length);
  195. vm->c_data->push(py_var(vm, s));
  196. return true;
  197. ERRHANDLER_CLOSE
  198. }
  199. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  200. CVM* vm = (CVM*) vm_handle;
  201. ERRHANDLER_OPEN
  202. vm->c_data->push(py_var(vm, value));
  203. return true;
  204. ERRHANDLER_CLOSE
  205. }
  206. bool pkpy_push_none(pkpy_vm* vm_handle) {
  207. CVM* vm = (CVM*) vm_handle;
  208. ERRHANDLER_OPEN
  209. vm->c_data->push(vm->None);
  210. return true;
  211. ERRHANDLER_CLOSE
  212. }
  213. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  214. CVM* vm = (CVM*) vm_handle;
  215. ERRHANDLER_OPEN
  216. vm->_main->attr().set(name, vm->c_data->top());
  217. vm->c_data->pop();
  218. return true;
  219. ERRHANDLER_CLOSE
  220. }
  221. //get global will also get bulitins
  222. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  223. CVM* vm = (CVM*) vm_handle;
  224. ERRHANDLER_OPEN
  225. PyObject* o = vm->_main->attr().try_get(name);
  226. if (o == nullptr) {
  227. o = vm->builtins->attr().try_get(name);
  228. if (o == nullptr)
  229. vm->NameError("could not find requested global");
  230. }
  231. vm->c_data->push(o);
  232. return true;
  233. ERRHANDLER_CLOSE
  234. }
  235. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  236. CVM* vm = (CVM*) vm_handle;
  237. ERRHANDLER_OPEN
  238. int callable_index = vm->c_data->size() - argc - 1;
  239. PyObject* callable = vm->c_data->begin()[callable_index];
  240. vm->s_data.push(callable);
  241. vm->s_data.push(PY_NULL);
  242. for (int i = 0; i < argc; i++)
  243. vm->s_data.push(vm->c_data->begin()[callable_index + i + 1]);
  244. PyObject* o = vm->vectorcall(argc);
  245. vm->c_data->shrink(argc + 1);
  246. unpack_return(vm, o);
  247. return true;
  248. ERRHANDLER_CLOSE
  249. }
  250. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  251. CVM* vm = (CVM*) vm_handle;
  252. ERRHANDLER_OPEN
  253. int self_index = vm->c_data->size() - argc - 1;
  254. PyObject* self = vm->c_data->begin()[self_index];
  255. PyObject* callable = vm->get_unbound_method(self, name, &self);
  256. vm->s_data.push(callable);
  257. vm->s_data.push(self);
  258. for (int i = 0; i < argc; i++)
  259. vm->s_data.push(vm->c_data->begin()[self_index + i + 1]);
  260. PyObject* o = vm->vectorcall(argc);
  261. vm->c_data->shrink(argc + 1);
  262. unpack_return(vm, o);
  263. return true;
  264. ERRHANDLER_CLOSE
  265. }
  266. static int lua_to_cstack_index(int index, int size) {
  267. if (index < 0)
  268. index = size + index;
  269. return index;
  270. }
  271. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  272. CVM* vm = (CVM*) vm_handle;
  273. ERRHANDLER_OPEN
  274. index = lua_to_cstack_index(index, vm->c_data->size());
  275. PyObject* o = vm->c_data->begin()[index];
  276. if (ret != nullptr)
  277. *ret = py_cast<int>(vm, o);
  278. return true;
  279. ERRHANDLER_CLOSE
  280. }
  281. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  282. CVM* vm = (CVM*) vm_handle;
  283. ERRHANDLER_OPEN
  284. index = lua_to_cstack_index(index, vm->c_data->size());
  285. PyObject* o = vm->c_data->begin()[index];
  286. if (ret != nullptr)
  287. *ret = py_cast<double>(vm, o);
  288. return true;
  289. ERRHANDLER_CLOSE
  290. }
  291. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* ret) {
  292. CVM* vm = (CVM*) vm_handle;
  293. ERRHANDLER_OPEN
  294. index = lua_to_cstack_index(index, vm->c_data->size());
  295. PyObject* o = vm->c_data->begin()[index];
  296. if (ret != nullptr)
  297. *ret = py_cast<bool>(vm, o);
  298. return true;
  299. ERRHANDLER_CLOSE
  300. }
  301. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** ret) {
  302. CVM* vm = (CVM*) vm_handle;
  303. ERRHANDLER_OPEN
  304. index = lua_to_cstack_index(index, vm->c_data->size());
  305. PyObject* o = vm->c_data->begin()[index];
  306. if (ret != nullptr)
  307. *ret = py_cast<void*>(vm, o);
  308. return true;
  309. ERRHANDLER_CLOSE
  310. }
  311. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  312. CVM* vm = (CVM*) vm_handle;
  313. ERRHANDLER_OPEN
  314. index = lua_to_cstack_index(index, vm->c_data->size());
  315. PyObject* o = vm->c_data->begin()[index];
  316. if (ret != nullptr) {
  317. Str& s = py_cast<Str&>(vm, o);
  318. *ret = s.c_str_dup();
  319. }
  320. return true;
  321. ERRHANDLER_CLOSE
  322. }
  323. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  324. CVM* vm = (CVM*) vm_handle;
  325. ERRHANDLER_OPEN
  326. index = lua_to_cstack_index(index, vm->c_data->size());
  327. PyObject* o = vm->c_data->begin()[index];
  328. if (ret != nullptr) {
  329. std::string_view sv = py_cast<Str&>(vm, o).sv();
  330. *ret = sv.data();
  331. *size = sv.size();
  332. }
  333. return true;
  334. ERRHANDLER_CLOSE
  335. }
  336. bool pkpy_is_int(pkpy_vm* vm_handle, int index) {
  337. CVM* vm = (CVM*) vm_handle;
  338. index = lua_to_cstack_index(index, vm->c_data->size());
  339. PyObject* o = vm->c_data->begin()[index];
  340. return is_type(o, vm->tp_int);
  341. }
  342. bool pkpy_is_float(pkpy_vm* vm_handle, int index) {
  343. CVM* vm = (CVM*) vm_handle;
  344. index = lua_to_cstack_index(index, vm->c_data->size());
  345. PyObject* o = vm->c_data->begin()[index];
  346. return is_type(o, vm->tp_float);
  347. }
  348. bool pkpy_is_bool(pkpy_vm* vm_handle, int index) {
  349. CVM* vm = (CVM*) vm_handle;
  350. index = lua_to_cstack_index(index, vm->c_data->size());
  351. PyObject* o = vm->c_data->begin()[index];
  352. return is_type(o, vm->tp_bool);
  353. }
  354. bool pkpy_is_string(pkpy_vm* vm_handle, int index) {
  355. CVM* vm = (CVM*) vm_handle;
  356. index = lua_to_cstack_index(index, vm->c_data->size());
  357. PyObject* o = vm->c_data->begin()[index];
  358. return is_type(o, vm->tp_str);
  359. }
  360. bool pkpy_is_voidp(pkpy_vm* vm_handle, int index) {
  361. CVM* vm = (CVM*) vm_handle;
  362. index = lua_to_cstack_index(index, vm->c_data->size());
  363. PyObject* o = vm->c_data->begin()[index];
  364. return is_type(o, VoidP::_type(vm));
  365. }
  366. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  367. CVM* vm = (CVM*) vm_handle;
  368. index = lua_to_cstack_index(index, vm->c_data->size());
  369. PyObject* o = vm->c_data->begin()[index];
  370. return o == vm->None;
  371. }
  372. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  373. CVM* vm = (CVM*) vm_handle;
  374. SAFEGUARD_OPEN
  375. PyObject* o = vm->_main->attr().try_get(name);
  376. if (o == nullptr) {
  377. o = vm->builtins->attr().try_get(name);
  378. if (o == nullptr)
  379. return false;
  380. }
  381. return true;
  382. SAFEGUARD_CLOSE
  383. }
  384. bool pkpy_check_error(pkpy_vm* vm_handle) {
  385. CVM* vm = (CVM*) vm_handle;
  386. SAFEGUARD_OPEN
  387. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr)
  388. return true;
  389. return false;
  390. SAFEGUARD_CLOSE
  391. }
  392. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  393. CVM* vm = (CVM*) vm_handle;
  394. return free + vm->c_data->size() <= PKPY_STACK_SIZE;
  395. }
  396. int pkpy_stack_size(pkpy_vm* vm_handle) {
  397. CVM* vm = (CVM*) vm_handle;
  398. return vm->c_data->size();
  399. }
  400. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  401. CVM* vm = (CVM*) vm_handle;
  402. vm->c_data->shrink(n);
  403. return true;
  404. }