pocketpy_c.cpp 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612
  1. #include "error.h"
  2. #include "pocketpy.h"
  3. #include "pocketpy_c.h"
  4. using namespace pkpy;
  5. #define PKPY_STACK_SIZE 32
  6. #define ERRHANDLER_OPEN \
  7. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) \
  8. return false; \
  9. try {
  10. #define ERRHANDLER_CLOSE \
  11. } catch(Exception& e ) { \
  12. vm->c_data->push(py_var(vm, e)); \
  13. vm->c_data->push(NULL); \
  14. return false; \
  15. }
  16. class CVM : public VM {
  17. public :
  18. ValueStackImpl<PKPY_STACK_SIZE>* c_data;
  19. CVM(bool enable_os=true) : VM(enable_os) {
  20. c_data = new ValueStackImpl<PKPY_STACK_SIZE>();
  21. }
  22. ~CVM() {
  23. c_data->clear();
  24. delete c_data;
  25. }
  26. struct TempStack{
  27. CVM* cvm;
  28. ValueStackImpl<PKPY_STACK_SIZE>* prev;
  29. TempStack(CVM* cvm, ValueStackImpl<PKPY_STACK_SIZE>* new_data) : cvm(cvm) {
  30. prev = cvm->c_data;
  31. cvm->c_data = new_data;
  32. }
  33. ~TempStack() { restore(); }
  34. void restore(){
  35. if(prev == nullptr) return;
  36. cvm->c_data = prev;
  37. prev = nullptr;
  38. }
  39. };
  40. };
  41. //for now I will unpack a tuple automatically, we may not want to handle
  42. //it this way, not sure
  43. //it is more lua like, but maybe not python like
  44. static void unpack_return(CVM* vm, PyObject* ret) {
  45. if (is_type(ret, vm->tp_tuple)) {
  46. Tuple& t = py_cast<Tuple&>(vm, ret);
  47. for (int i = 0; i < t.size(); i++)
  48. vm->c_data->push(t[i]);
  49. } else if (ret == vm->None) {
  50. //do nothing here
  51. //having to pop the stack after every call that returns none is annoying
  52. //lua does not do this
  53. //
  54. //so for now we will not push none on the stack when it is the sole thing returned
  55. //if this becomes a problem we can change it
  56. //
  57. //you can still check if it returned none by comparing stack size before
  58. //and after if you have to
  59. } else
  60. vm->c_data->push(ret);
  61. }
  62. bool pkpy_clear_error(pkpy_vm* vm_handle, char** message) {
  63. CVM* vm = (CVM*) vm_handle;
  64. if (vm->c_data->size() == 0 || vm->c_data->top() != nullptr)
  65. return false;
  66. vm->c_data->pop();
  67. Exception& e = py_cast<Exception&>(vm, vm->c_data->top());
  68. if (message != nullptr)
  69. *message = e.summary().c_str_dup();
  70. else
  71. std::cerr << "ERROR: " << e.summary() << "\n";
  72. vm->c_data->clear();
  73. vm->callstack.clear();
  74. vm->s_data.clear();
  75. return true;
  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. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  119. LuaStyleFuncC f;
  120. if(args[-1] != PY_NULL){
  121. f = _py_cast<NativeFunc&>(vm, args[-1])._lua_f;
  122. } else {
  123. f = _py_cast<NativeFunc&>(vm, args[-2])._lua_f;
  124. }
  125. CVM* cvm = (CVM*) vm;
  126. //setup c stack
  127. ValueStackImpl<PKPY_STACK_SIZE> local_stack;
  128. for (int i = 0; i < args.size(); i++)
  129. local_stack.push(args[i]);
  130. // tmp is controlled by RAII
  131. auto tmp = CVM::TempStack(cvm, &local_stack);
  132. int retc = f(cvm);
  133. // propagate_if_errored
  134. if (!cvm->c_data->empty() && cvm->c_data->top() == nullptr){
  135. cvm->c_data->pop(); // pop nullptr
  136. Exception& e = _py_cast<Exception&>(vm, cvm->c_data->popx());
  137. tmp.restore();
  138. // throw e;
  139. vm->_error(e);
  140. }
  141. tmp.restore();
  142. PyObject* ret = cvm->None;
  143. if (retc == 1)
  144. ret = local_stack.top();
  145. else if (retc > 1) {
  146. Tuple t(retc);
  147. for (int i = 0; i < retc; i++) {
  148. int stack_index = (local_stack.size() - retc) + i;
  149. t[i] = local_stack.begin()[stack_index];
  150. }
  151. ret = py_var(cvm, t);
  152. }
  153. return ret;
  154. }
  155. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f) {
  156. CVM* vm = (CVM*) vm_handle;
  157. ERRHANDLER_OPEN
  158. //TODO right now we just treat all c bound functions a varargs functions
  159. //do we want to change that?
  160. NativeFunc nf = NativeFunc(c_function_wrapper, -1, 0);
  161. nf._lua_f = (LuaStyleFuncC) f;
  162. vm->c_data->push(py_var(vm, nf));
  163. return true;
  164. ERRHANDLER_CLOSE
  165. }
  166. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  167. CVM* vm = (CVM*) vm_handle;
  168. ERRHANDLER_OPEN
  169. vm->c_data->push(py_var(vm, value));
  170. return true;
  171. ERRHANDLER_CLOSE
  172. }
  173. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  174. CVM* vm = (CVM*) vm_handle;
  175. ERRHANDLER_OPEN
  176. vm->c_data->push(py_var(vm, value));
  177. return true;
  178. ERRHANDLER_CLOSE
  179. }
  180. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  181. CVM* vm = (CVM*) vm_handle;
  182. ERRHANDLER_OPEN
  183. vm->c_data->push(py_var(vm, value));
  184. return true;
  185. ERRHANDLER_CLOSE
  186. }
  187. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  188. CVM* vm = (CVM*) vm_handle;
  189. ERRHANDLER_OPEN
  190. vm->c_data->push(py_var(vm, value));
  191. return true;
  192. ERRHANDLER_CLOSE
  193. }
  194. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  195. CVM* vm = (CVM*) vm_handle;
  196. ERRHANDLER_OPEN
  197. Str s = Str(value, length);
  198. vm->c_data->push(py_var(vm, s));
  199. return true;
  200. ERRHANDLER_CLOSE
  201. }
  202. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  203. CVM* vm = (CVM*) vm_handle;
  204. ERRHANDLER_OPEN
  205. vm->c_data->push(py_var(vm, value));
  206. return true;
  207. ERRHANDLER_CLOSE
  208. }
  209. bool pkpy_push_none(pkpy_vm* vm_handle) {
  210. CVM* vm = (CVM*) vm_handle;
  211. ERRHANDLER_OPEN
  212. vm->c_data->push(vm->None);
  213. return true;
  214. ERRHANDLER_CLOSE
  215. }
  216. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  217. CVM* vm = (CVM*) vm_handle;
  218. ERRHANDLER_OPEN
  219. vm->_main->attr().set(name, vm->c_data->top());
  220. vm->c_data->pop();
  221. return true;
  222. ERRHANDLER_CLOSE
  223. }
  224. //get global will also get bulitins
  225. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  226. CVM* vm = (CVM*) vm_handle;
  227. ERRHANDLER_OPEN
  228. PyObject* o = vm->_main->attr().try_get(name);
  229. if (o == nullptr) {
  230. o = vm->builtins->attr().try_get(name);
  231. if (o == nullptr)
  232. throw Exception("NameError", name);
  233. }
  234. vm->c_data->push(o);
  235. return true;
  236. ERRHANDLER_CLOSE
  237. }
  238. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  239. CVM* vm = (CVM*) vm_handle;
  240. ERRHANDLER_OPEN
  241. int callable_index = vm->c_data->size() - argc - 1;
  242. PyObject* callable = vm->c_data->begin()[callable_index];
  243. vm->s_data.push(callable);
  244. vm->s_data.push(PY_NULL);
  245. for (int i = 0; i < argc; i++)
  246. vm->s_data.push(vm->c_data->begin()[callable_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. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  254. CVM* vm = (CVM*) vm_handle;
  255. ERRHANDLER_OPEN
  256. int self_index = vm->c_data->size() - argc - 1;
  257. PyObject* self = vm->c_data->begin()[self_index];
  258. PyObject* callable = vm->get_unbound_method(self, name, &self);
  259. vm->s_data.push(callable);
  260. vm->s_data.push(self);
  261. for (int i = 0; i < argc; i++)
  262. vm->s_data.push(vm->c_data->begin()[self_index + i + 1]);
  263. PyObject* o = vm->vectorcall(argc);
  264. vm->c_data->shrink(argc + 1);
  265. unpack_return(vm, o);
  266. return true;
  267. ERRHANDLER_CLOSE
  268. }
  269. static int lua_to_cstack_index(int index, int size) {
  270. if (index < 0)
  271. index = size + index;
  272. return index;
  273. }
  274. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  275. CVM* vm = (CVM*) vm_handle;
  276. ERRHANDLER_OPEN
  277. index = lua_to_cstack_index(index, vm->c_data->size());
  278. PyObject* o = vm->c_data->begin()[index];
  279. if (!is_type(o, vm->tp_int))
  280. throw Exception("TypeError", "pkpy_to_int on non int object");
  281. if (ret != nullptr)
  282. *ret = py_cast<int>(vm, o);
  283. return true;
  284. ERRHANDLER_CLOSE
  285. }
  286. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  287. CVM* vm = (CVM*) vm_handle;
  288. ERRHANDLER_OPEN
  289. index = lua_to_cstack_index(index, vm->c_data->size());
  290. PyObject* o = vm->c_data->begin()[index];
  291. if (!is_type(o, vm->tp_float))
  292. throw Exception("TypeError", "pkpy_to_float on non float object");
  293. if (ret != nullptr)
  294. *ret = py_cast<double>(vm, o);
  295. return true;
  296. ERRHANDLER_CLOSE
  297. }
  298. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* 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 (!is_type(o, vm->tp_bool))
  304. throw Exception("TypeError", "pkpy_to_bool on non bool object");
  305. if (ret != nullptr)
  306. *ret = py_cast<bool>(vm, o);
  307. return true;
  308. ERRHANDLER_CLOSE
  309. }
  310. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** ret) {
  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 (!is_type(o, VoidP::_type(vm)))
  316. throw Exception("TypeError", "pkpy_to_voidp on non void* object");
  317. if (ret != nullptr)
  318. *ret = py_cast<void*>(vm, o);
  319. return true;
  320. ERRHANDLER_CLOSE
  321. }
  322. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  323. CVM* vm = (CVM*) vm_handle;
  324. ERRHANDLER_OPEN
  325. index = lua_to_cstack_index(index, vm->c_data->size());
  326. PyObject* o = vm->c_data->begin()[index];
  327. if (!is_type(o, vm->tp_str))
  328. throw Exception("TypeError", "pkpy_to_string on non string object");
  329. if (ret != nullptr) {
  330. Str& s = py_cast<Str&>(vm, o);
  331. *ret = s.c_str_dup();
  332. }
  333. return true;
  334. ERRHANDLER_CLOSE
  335. }
  336. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  337. CVM* vm = (CVM*) vm_handle;
  338. ERRHANDLER_OPEN
  339. index = lua_to_cstack_index(index, vm->c_data->size());
  340. PyObject* o = vm->c_data->begin()[index];
  341. if (ret != nullptr) {
  342. std::string_view sv = py_cast<Str&>(vm, o).sv();
  343. *ret = sv.data();
  344. *size = sv.size();
  345. }
  346. return true;
  347. ERRHANDLER_CLOSE
  348. }
  349. bool pkpy_is_int(pkpy_vm* vm_handle, int index) {
  350. CVM* vm = (CVM*) vm_handle;
  351. index = lua_to_cstack_index(index, vm->c_data->size());
  352. PyObject* o = vm->c_data->begin()[index];
  353. return is_type(o, vm->tp_int);
  354. }
  355. bool pkpy_is_float(pkpy_vm* vm_handle, int index) {
  356. CVM* vm = (CVM*) vm_handle;
  357. index = lua_to_cstack_index(index, vm->c_data->size());
  358. PyObject* o = vm->c_data->begin()[index];
  359. return is_type(o, vm->tp_float);
  360. }
  361. bool pkpy_is_bool(pkpy_vm* vm_handle, int index) {
  362. CVM* vm = (CVM*) vm_handle;
  363. index = lua_to_cstack_index(index, vm->c_data->size());
  364. PyObject* o = vm->c_data->begin()[index];
  365. return is_type(o, vm->tp_bool);
  366. }
  367. bool pkpy_is_string(pkpy_vm* vm_handle, int index) {
  368. CVM* vm = (CVM*) vm_handle;
  369. index = lua_to_cstack_index(index, vm->c_data->size());
  370. PyObject* o = vm->c_data->begin()[index];
  371. return is_type(o, vm->tp_str);
  372. }
  373. bool pkpy_is_voidp(pkpy_vm* vm_handle, int index) {
  374. CVM* vm = (CVM*) vm_handle;
  375. index = lua_to_cstack_index(index, vm->c_data->size());
  376. PyObject* o = vm->c_data->begin()[index];
  377. return is_type(o, VoidP::_type(vm));
  378. }
  379. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  380. CVM* vm = (CVM*) vm_handle;
  381. index = lua_to_cstack_index(index, vm->c_data->size());
  382. PyObject* o = vm->c_data->begin()[index];
  383. return o == vm->None;
  384. }
  385. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  386. CVM* vm = (CVM*) vm_handle;
  387. PyObject* o = vm->_main->attr().try_get(name);
  388. if (o == nullptr) {
  389. o = vm->builtins->attr().try_get(name);
  390. if (o == nullptr)
  391. return false;
  392. }
  393. return true;
  394. }
  395. bool pkpy_check_error(pkpy_vm* vm_handle) {
  396. CVM* vm = (CVM*) vm_handle;
  397. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr)
  398. return true;
  399. return false;
  400. }
  401. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  402. CVM* vm = (CVM*) vm_handle;
  403. return free + vm->c_data->size() <= PKPY_STACK_SIZE;
  404. }
  405. int pkpy_stack_size(pkpy_vm* vm_handle) {
  406. CVM* vm = (CVM*) vm_handle;
  407. return vm->c_data->size();
  408. }
  409. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  410. CVM* vm = (CVM*) vm_handle;
  411. vm->c_data->shrink(n);
  412. return true;
  413. }
  414. bool pkpy_push(pkpy_vm* vm_handle, int index) {
  415. CVM* vm = (CVM*) vm_handle;
  416. index = lua_to_cstack_index(index, vm->c_data->size());
  417. vm->c_data->push(vm->c_data->begin()[index]);
  418. return true;
  419. }
  420. bool pkpy_error(pkpy_vm* vm_handle, const char* name, const char* message) {
  421. CVM* vm = (CVM*) vm_handle;
  422. // already in error state
  423. if (vm->c_data->size() > 0 && vm->c_data->top() == nullptr) {
  424. return false;
  425. }
  426. vm->c_data->push(py_var(vm, Exception(name, message)));
  427. vm->c_data->push(nullptr);
  428. return false;
  429. }
  430. bool pkpy_getattr(pkpy_vm* vm_handle, const char* name) {
  431. CVM* vm = (CVM*) vm_handle;
  432. ERRHANDLER_OPEN
  433. PyObject* o = vm->c_data->top();
  434. PyObject* ret = vm->getattr(o, name, false);
  435. if(ret == nullptr) return false;
  436. vm->c_data->top() = ret;
  437. ERRHANDLER_CLOSE
  438. return true;
  439. }
  440. bool pkpy_setattr(pkpy_vm* vm_handle, const char* name) {
  441. CVM* vm = (CVM*) vm_handle;
  442. ERRHANDLER_OPEN
  443. PyObject* a = vm->c_data->top();
  444. PyObject* val = vm->c_data->second();
  445. vm->setattr(a, name, val);
  446. vm->c_data->shrink(2);
  447. ERRHANDLER_CLOSE
  448. return true;
  449. }
  450. bool pkpy_eval(pkpy_vm* vm_handle, const char* code) {
  451. CVM* vm = (CVM*) vm_handle;
  452. ERRHANDLER_OPEN
  453. CodeObject_ co = vm->compile(code, "<eval>", EVAL_MODE);
  454. PyObject* ret = vm->_exec(co, vm->_main);
  455. vm->c_data->push(ret);
  456. ERRHANDLER_CLOSE
  457. return true;
  458. }
  459. void* pkpy_get_id(pkpy_vm* vm_handle, int index) {
  460. CVM* vm = (CVM*) vm_handle;
  461. index = lua_to_cstack_index(index, vm->c_data->size());
  462. PyObject* o = vm->c_data->begin()[index];
  463. if(is_tagged(o)) return nullptr;
  464. return (void*) o;
  465. }