pocketpy_c.cpp 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630
  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 from " << __func__ \
  14. << "\nthis 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 OutputHandler stdout_handler = nullptr;
  81. static OutputHandler stderr_handler = nullptr;
  82. void pkpy_set_output_handlers(pkpy_vm*, OutputHandler stdout_handler, OutputHandler stderr_handler){
  83. ::stdout_handler = stdout_handler;
  84. ::stderr_handler = stderr_handler;
  85. }
  86. pkpy_vm* pkpy_vm_create(bool use_stdio, bool enable_os) {
  87. CVM* vm = new CVM(enable_os);
  88. vm->c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  89. vm->heap._gc_marker_ex = (void (*)(VM*)) gc_marker_ex;
  90. if (!use_stdio) {
  91. vm->_stdout = [](VM* vm, const Str& s){
  92. std::string str = s.str();
  93. if (stdout_handler != nullptr) stdout_handler((pkpy_vm*)vm, str.c_str());
  94. };
  95. vm->_stderr = [](VM* vm, const Str& s){
  96. std::string str = s.str();
  97. if (stderr_handler != nullptr) stderr_handler((pkpy_vm*)vm, str.c_str());
  98. };
  99. }
  100. return (pkpy_vm*) vm;
  101. }
  102. bool pkpy_vm_run(pkpy_vm* vm_handle, const char* source) {
  103. CVM* vm = (CVM*) vm_handle;
  104. ERRHANDLER_OPEN
  105. CodeObject_ code = vm->compile(source, "<c-bound>", EXEC_MODE);
  106. vm->_exec(code, vm->_main);
  107. //unpack_return(w, result);
  108. //NOTE: it seems like vm->_exec should return whatever the last command it
  109. //ran returned but instead it seems to pretty much always return None
  110. //so I guess uncomment this line if that every changes
  111. return true;
  112. ERRHANDLER_CLOSE
  113. }
  114. void pkpy_vm_destroy(pkpy_vm* vm_handle) {
  115. CVM* vm = (CVM*) vm_handle;
  116. delete vm;
  117. }
  118. static void propagate_if_errored(CVM* vm, ValueStackImpl<PKPY_STACK_SIZE>* stored_stack) {
  119. try {
  120. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  121. return;
  122. vm->c_data->pop();
  123. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  124. vm->c_data->pop();
  125. vm->c_data = stored_stack;
  126. throw e;
  127. } catch(Exception& e) {
  128. throw;
  129. } catch(...) {
  130. std::cerr << "ERROR: a non pocketpy exeception was thrown "
  131. << "this probably means pocketpy itself has a bug!\n";
  132. exit(2);
  133. }
  134. }
  135. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  136. LuaStyleFuncC f;
  137. if(args[-1] != PY_NULL){
  138. f = _py_cast<NativeFunc&>(vm, args[-1])._lua_f;
  139. } else {
  140. f = _py_cast<NativeFunc&>(vm, args[-2])._lua_f;
  141. }
  142. CVM* cvm = (CVM*) vm;
  143. //setup c stack
  144. ValueStackImpl<PKPY_STACK_SIZE> local_stack;
  145. for (int i = 0; i < args.size(); i++)
  146. local_stack.push(args[i]);
  147. ValueStackImpl<PKPY_STACK_SIZE>* stored_stack = cvm->c_data;
  148. cvm->c_data = &local_stack;
  149. int retc = f(cvm);
  150. propagate_if_errored(cvm, stored_stack);
  151. cvm->c_data = stored_stack;
  152. PyObject* ret = cvm->None;
  153. if (retc == 1)
  154. ret = local_stack.top();
  155. else if (retc > 1) {
  156. Tuple t(retc);
  157. for (int i = 0; i < retc; i++) {
  158. int stack_index = (local_stack.size() - retc) + i;
  159. t[i] = local_stack.begin()[stack_index];
  160. }
  161. ret = py_var(cvm, t);
  162. }
  163. return ret;
  164. }
  165. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f) {
  166. CVM* vm = (CVM*) vm_handle;
  167. ERRHANDLER_OPEN
  168. //TODO right now we just treat all c bound functions a varargs functions
  169. //do we want to change that?
  170. NativeFunc nf = NativeFunc(c_function_wrapper, -1, 0);
  171. nf._lua_f = (LuaStyleFuncC) f;
  172. vm->c_data->push(py_var(vm, nf));
  173. return true;
  174. ERRHANDLER_CLOSE
  175. }
  176. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  177. CVM* vm = (CVM*) vm_handle;
  178. ERRHANDLER_OPEN
  179. vm->c_data->push(py_var(vm, value));
  180. return true;
  181. ERRHANDLER_CLOSE
  182. }
  183. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  184. CVM* vm = (CVM*) vm_handle;
  185. ERRHANDLER_OPEN
  186. vm->c_data->push(py_var(vm, value));
  187. return true;
  188. ERRHANDLER_CLOSE
  189. }
  190. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  191. CVM* vm = (CVM*) vm_handle;
  192. ERRHANDLER_OPEN
  193. vm->c_data->push(py_var(vm, value));
  194. return true;
  195. ERRHANDLER_CLOSE
  196. }
  197. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  198. CVM* vm = (CVM*) vm_handle;
  199. ERRHANDLER_OPEN
  200. vm->c_data->push(py_var(vm, value));
  201. return true;
  202. ERRHANDLER_CLOSE
  203. }
  204. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  205. CVM* vm = (CVM*) vm_handle;
  206. ERRHANDLER_OPEN
  207. Str s = Str(value, length);
  208. vm->c_data->push(py_var(vm, s));
  209. return true;
  210. ERRHANDLER_CLOSE
  211. }
  212. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  213. CVM* vm = (CVM*) vm_handle;
  214. ERRHANDLER_OPEN
  215. vm->c_data->push(py_var(vm, value));
  216. return true;
  217. ERRHANDLER_CLOSE
  218. }
  219. bool pkpy_push_none(pkpy_vm* vm_handle) {
  220. CVM* vm = (CVM*) vm_handle;
  221. ERRHANDLER_OPEN
  222. vm->c_data->push(vm->None);
  223. return true;
  224. ERRHANDLER_CLOSE
  225. }
  226. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  227. CVM* vm = (CVM*) vm_handle;
  228. ERRHANDLER_OPEN
  229. vm->_main->attr().set(name, vm->c_data->top());
  230. vm->c_data->pop();
  231. return true;
  232. ERRHANDLER_CLOSE
  233. }
  234. //get global will also get bulitins
  235. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  236. CVM* vm = (CVM*) vm_handle;
  237. ERRHANDLER_OPEN
  238. PyObject* o = vm->_main->attr().try_get(name);
  239. if (o == nullptr) {
  240. o = vm->builtins->attr().try_get(name);
  241. if (o == nullptr)
  242. throw Exception("NameError", "could not find requested global");
  243. }
  244. vm->c_data->push(o);
  245. return true;
  246. ERRHANDLER_CLOSE
  247. }
  248. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  249. CVM* vm = (CVM*) vm_handle;
  250. ERRHANDLER_OPEN
  251. int callable_index = vm->c_data->size() - argc - 1;
  252. PyObject* callable = vm->c_data->begin()[callable_index];
  253. vm->s_data.push(callable);
  254. vm->s_data.push(PY_NULL);
  255. for (int i = 0; i < argc; i++)
  256. vm->s_data.push(vm->c_data->begin()[callable_index + i + 1]);
  257. PyObject* o = vm->vectorcall(argc);
  258. vm->c_data->shrink(argc + 1);
  259. unpack_return(vm, o);
  260. return true;
  261. ERRHANDLER_CLOSE
  262. }
  263. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  264. CVM* vm = (CVM*) vm_handle;
  265. ERRHANDLER_OPEN
  266. int self_index = vm->c_data->size() - argc - 1;
  267. PyObject* self = vm->c_data->begin()[self_index];
  268. PyObject* callable = vm->get_unbound_method(self, name, &self);
  269. vm->s_data.push(callable);
  270. vm->s_data.push(self);
  271. for (int i = 0; i < argc; i++)
  272. vm->s_data.push(vm->c_data->begin()[self_index + i + 1]);
  273. PyObject* o = vm->vectorcall(argc);
  274. vm->c_data->shrink(argc + 1);
  275. unpack_return(vm, o);
  276. return true;
  277. ERRHANDLER_CLOSE
  278. }
  279. static int lua_to_cstack_index(int index, int size) {
  280. if (index < 0)
  281. index = size + index;
  282. return index;
  283. }
  284. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  285. CVM* vm = (CVM*) vm_handle;
  286. ERRHANDLER_OPEN
  287. index = lua_to_cstack_index(index, vm->c_data->size());
  288. PyObject* o = vm->c_data->begin()[index];
  289. if (!is_type(o, vm->tp_int))
  290. throw Exception("TypeError", "pkpy_to_int on non int object");
  291. if (ret != nullptr)
  292. *ret = py_cast<int>(vm, o);
  293. return true;
  294. ERRHANDLER_CLOSE
  295. }
  296. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  297. CVM* vm = (CVM*) vm_handle;
  298. ERRHANDLER_OPEN
  299. index = lua_to_cstack_index(index, vm->c_data->size());
  300. PyObject* o = vm->c_data->begin()[index];
  301. if (!is_type(o, vm->tp_float))
  302. throw Exception("TypeError", "pkpy_to_float on non float object");
  303. if (ret != nullptr)
  304. *ret = py_cast<double>(vm, o);
  305. return true;
  306. ERRHANDLER_CLOSE
  307. }
  308. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* ret) {
  309. CVM* vm = (CVM*) vm_handle;
  310. ERRHANDLER_OPEN
  311. index = lua_to_cstack_index(index, vm->c_data->size());
  312. PyObject* o = vm->c_data->begin()[index];
  313. if (!is_type(o, vm->tp_bool))
  314. throw Exception("TypeError", "pkpy_to_bool on non bool object");
  315. if (ret != nullptr)
  316. *ret = py_cast<bool>(vm, o);
  317. return true;
  318. ERRHANDLER_CLOSE
  319. }
  320. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** ret) {
  321. CVM* vm = (CVM*) vm_handle;
  322. ERRHANDLER_OPEN
  323. index = lua_to_cstack_index(index, vm->c_data->size());
  324. PyObject* o = vm->c_data->begin()[index];
  325. if (!is_type(o, VoidP::_type(vm)))
  326. throw Exception("TypeError", "pkpy_to_voidp on non void* object");
  327. if (ret != nullptr)
  328. *ret = py_cast<void*>(vm, o);
  329. return true;
  330. ERRHANDLER_CLOSE
  331. }
  332. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  333. CVM* vm = (CVM*) vm_handle;
  334. ERRHANDLER_OPEN
  335. index = lua_to_cstack_index(index, vm->c_data->size());
  336. PyObject* o = vm->c_data->begin()[index];
  337. if (!is_type(o, vm->tp_str))
  338. throw Exception("TypeError", "pkpy_to_string on non string object");
  339. if (ret != nullptr) {
  340. Str& s = py_cast<Str&>(vm, o);
  341. *ret = s.c_str_dup();
  342. }
  343. return true;
  344. ERRHANDLER_CLOSE
  345. }
  346. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  347. CVM* vm = (CVM*) vm_handle;
  348. ERRHANDLER_OPEN
  349. index = lua_to_cstack_index(index, vm->c_data->size());
  350. PyObject* o = vm->c_data->begin()[index];
  351. if (ret != nullptr) {
  352. std::string_view sv = py_cast<Str&>(vm, o).sv();
  353. *ret = sv.data();
  354. *size = sv.size();
  355. }
  356. return true;
  357. ERRHANDLER_CLOSE
  358. }
  359. bool pkpy_is_int(pkpy_vm* vm_handle, int index) {
  360. CVM* vm = (CVM*) vm_handle;
  361. index = lua_to_cstack_index(index, vm->c_data->size());
  362. PyObject* o = vm->c_data->begin()[index];
  363. return is_type(o, vm->tp_int);
  364. }
  365. bool pkpy_is_float(pkpy_vm* vm_handle, int index) {
  366. CVM* vm = (CVM*) vm_handle;
  367. index = lua_to_cstack_index(index, vm->c_data->size());
  368. PyObject* o = vm->c_data->begin()[index];
  369. return is_type(o, vm->tp_float);
  370. }
  371. bool pkpy_is_bool(pkpy_vm* vm_handle, int index) {
  372. CVM* vm = (CVM*) vm_handle;
  373. index = lua_to_cstack_index(index, vm->c_data->size());
  374. PyObject* o = vm->c_data->begin()[index];
  375. return is_type(o, vm->tp_bool);
  376. }
  377. bool pkpy_is_string(pkpy_vm* vm_handle, int index) {
  378. CVM* vm = (CVM*) vm_handle;
  379. index = lua_to_cstack_index(index, vm->c_data->size());
  380. PyObject* o = vm->c_data->begin()[index];
  381. return is_type(o, vm->tp_str);
  382. }
  383. bool pkpy_is_voidp(pkpy_vm* vm_handle, int index) {
  384. CVM* vm = (CVM*) vm_handle;
  385. index = lua_to_cstack_index(index, vm->c_data->size());
  386. PyObject* o = vm->c_data->begin()[index];
  387. return is_type(o, VoidP::_type(vm));
  388. }
  389. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  390. CVM* vm = (CVM*) vm_handle;
  391. index = lua_to_cstack_index(index, vm->c_data->size());
  392. PyObject* o = vm->c_data->begin()[index];
  393. return o == vm->None;
  394. }
  395. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  396. CVM* vm = (CVM*) vm_handle;
  397. SAFEGUARD_OPEN
  398. PyObject* o = vm->_main->attr().try_get(name);
  399. if (o == nullptr) {
  400. o = vm->builtins->attr().try_get(name);
  401. if (o == nullptr)
  402. return false;
  403. }
  404. return true;
  405. SAFEGUARD_CLOSE
  406. }
  407. bool pkpy_check_error(pkpy_vm* vm_handle) {
  408. CVM* vm = (CVM*) vm_handle;
  409. SAFEGUARD_OPEN
  410. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr)
  411. return true;
  412. return false;
  413. SAFEGUARD_CLOSE
  414. }
  415. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  416. CVM* vm = (CVM*) vm_handle;
  417. return free + vm->c_data->size() <= PKPY_STACK_SIZE;
  418. }
  419. int pkpy_stack_size(pkpy_vm* vm_handle) {
  420. CVM* vm = (CVM*) vm_handle;
  421. return vm->c_data->size();
  422. }
  423. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  424. CVM* vm = (CVM*) vm_handle;
  425. vm->c_data->shrink(n);
  426. return true;
  427. }
  428. bool pkpy_push(pkpy_vm* vm_handle, int index) {
  429. CVM* vm = (CVM*) vm_handle;
  430. index = lua_to_cstack_index(index, vm->c_data->size());
  431. vm->c_data->push(vm->c_data->begin()[index]);
  432. return true;
  433. }
  434. bool pkpy_error(pkpy_vm* vm_handle, const char* message) {
  435. CVM* vm = (CVM*) vm_handle;
  436. ERRHANDLER_OPEN
  437. throw Exception("CBindingError", message);
  438. ERRHANDLER_CLOSE
  439. }
  440. bool pkpy_getattr(pkpy_vm* vm_handle, const char* name) {
  441. CVM* vm = (CVM*) vm_handle;
  442. ERRHANDLER_OPEN
  443. PyObject* o = vm->c_data->top();
  444. PyObject* ret = vm->getattr(o, name, false);
  445. if(ret == nullptr) return false;
  446. vm->c_data->top() = ret;
  447. ERRHANDLER_CLOSE
  448. return true;
  449. }
  450. bool pkpy_setattr(pkpy_vm* vm_handle, const char* name) {
  451. CVM* vm = (CVM*) vm_handle;
  452. ERRHANDLER_OPEN
  453. PyObject* a = vm->c_data->top();
  454. PyObject* val = vm->c_data->second();
  455. vm->setattr(a, name, val);
  456. vm->c_data->shrink(2);
  457. ERRHANDLER_CLOSE
  458. return true;
  459. }
  460. bool pkpy_eval(pkpy_vm* vm_handle, const char* code) {
  461. CVM* vm = (CVM*) vm_handle;
  462. ERRHANDLER_OPEN
  463. CodeObject_ co = vm->compile(code, "<eval>", EVAL_MODE);
  464. PyObject* ret = vm->_exec(co, vm->_main);
  465. vm->c_data->push(ret);
  466. ERRHANDLER_CLOSE
  467. return true;
  468. }
  469. void* pkpy_get_id(pkpy_vm* vm_handle, int index) {
  470. CVM* vm = (CVM*) vm_handle;
  471. index = lua_to_cstack_index(index, vm->c_data->size());
  472. PyObject* o = vm->c_data->begin()[index];
  473. if(is_tagged(o)) return nullptr;
  474. return (void*) o;
  475. }