pocketpy_c.cpp 12 KB

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