pocketpy_c.cpp 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618
  1. #include "pocketpy.h"
  2. #include "pocketpy_c.h"
  3. using namespace pkpy;
  4. typedef int (*LuaStyleFuncC)(VM*);
  5. struct LuaStack: public ValueStackImpl<32>{
  6. PyObject*& at(int i) {
  7. if(i < 0 || i >= size()){
  8. throw std::runtime_error("lua stack index out of range");
  9. }
  10. return _begin[i];
  11. }
  12. PyObject* const& at(int i) const {
  13. if(i < 0 || i >= size()){
  14. throw std::runtime_error("lua stack index out of range");
  15. }
  16. return _begin[i];
  17. }
  18. void safe_push(PyObject* obj){
  19. if(size() >= max_size()) throw std::runtime_error("lua stack overflow");
  20. push(obj);
  21. }
  22. void safe_pop(){
  23. if(size() == 0) throw std::runtime_error("lua stack is empty");
  24. pop();
  25. }
  26. PyObject*& safe_top(){
  27. if(size() == 0) throw std::runtime_error("lua stack is empty");
  28. return top();
  29. }
  30. };
  31. #define ERRHANDLER_OPEN \
  32. if (vm->error != nullptr) \
  33. return false; \
  34. try {
  35. #define ERRHANDLER_CLOSE \
  36. } catch(Exception& e ) { \
  37. vm->error = py_var(vm, e); \
  38. return false; \
  39. } catch(const std::exception& re){ \
  40. auto e = Exception("std::exception", re.what()); \
  41. vm->error = py_var(vm, e); \
  42. return false; \
  43. }
  44. class CVM : public VM {
  45. public :
  46. LuaStack* c_data;
  47. PyObject* error;
  48. CVM(bool enable_os=true) : VM(enable_os) {
  49. c_data = new LuaStack();
  50. error = nullptr;
  51. }
  52. ~CVM() {
  53. c_data->clear();
  54. delete c_data;
  55. }
  56. struct TempStack{
  57. CVM* cvm;
  58. LuaStack* prev;
  59. TempStack(CVM* cvm, LuaStack* new_data) : cvm(cvm) {
  60. prev = cvm->c_data;
  61. cvm->c_data = new_data;
  62. }
  63. ~TempStack() { restore(); }
  64. void restore(){
  65. if(prev == nullptr) return;
  66. cvm->c_data = prev;
  67. prev = nullptr;
  68. }
  69. };
  70. };
  71. //for now I will unpack a tuple automatically, we may not want to handle
  72. //it this way, not sure
  73. //it is more lua like, but maybe not python like
  74. static void unpack_return(CVM* vm, PyObject* ret) {
  75. if (is_type(ret, vm->tp_tuple)) {
  76. Tuple& t = _py_cast<Tuple&>(vm, ret);
  77. for (int i = 0; i < t.size(); i++)
  78. vm->c_data->push(t[i]);
  79. } else if (ret == vm->None) {
  80. //do nothing here
  81. //having to pop the stack after every call that returns none is annoying
  82. //lua does not do this
  83. //
  84. //so for now we will not push none on the stack when it is the sole thing returned
  85. //if this becomes a problem we can change it
  86. //
  87. //you can still check if it returned none by comparing stack size before
  88. //and after if you have to
  89. } else
  90. vm->c_data->push(ret);
  91. }
  92. bool pkpy_clear_error(pkpy_vm* vm_handle, char** message) {
  93. CVM* vm = (CVM*) vm_handle;
  94. // no error
  95. if (vm->error == nullptr) return false;
  96. Exception& e = _py_cast<Exception&>(vm, vm->error);
  97. if (message != nullptr)
  98. *message = e.summary().c_str_dup();
  99. else
  100. std::cerr << "ERROR: " << e.summary() << "\n";
  101. vm->error = nullptr;
  102. vm->c_data->clear();
  103. vm->callstack.clear();
  104. vm->s_data.clear();
  105. return true;
  106. }
  107. void gc_marker_ex(CVM* vm) {
  108. for(PyObject* obj: *vm->c_data) if(obj!=nullptr) PK_OBJ_MARK(obj);
  109. if(vm->error != nullptr) PK_OBJ_MARK(vm->error);
  110. }
  111. static OutputHandler stdout_handler = nullptr;
  112. static OutputHandler stderr_handler = nullptr;
  113. void pkpy_set_output_handlers(pkpy_vm*, OutputHandler stdout_handler, OutputHandler stderr_handler){
  114. ::stdout_handler = stdout_handler;
  115. ::stderr_handler = stderr_handler;
  116. }
  117. pkpy_vm* pkpy_vm_create(bool use_stdio, bool enable_os) {
  118. CVM* vm = new CVM(enable_os);
  119. vm->c_data = new LuaStack();
  120. vm->heap._gc_marker_ex = (void (*)(VM*)) gc_marker_ex;
  121. if (!use_stdio) {
  122. vm->_stdout = [](VM* vm, const Str& s){
  123. std::string str = s.str();
  124. if (stdout_handler != nullptr) stdout_handler((pkpy_vm*)vm, str.c_str());
  125. };
  126. vm->_stderr = [](VM* vm, const Str& s){
  127. std::string str = s.str();
  128. if (stderr_handler != nullptr) stderr_handler((pkpy_vm*)vm, str.c_str());
  129. };
  130. }
  131. return (pkpy_vm*) vm;
  132. }
  133. bool pkpy_vm_run(pkpy_vm* vm_handle, const char* source) {
  134. CVM* vm = (CVM*) vm_handle;
  135. ERRHANDLER_OPEN
  136. CodeObject_ code = vm->compile(source, "<c-bound>", EXEC_MODE);
  137. vm->_exec(code, vm->_main);
  138. ERRHANDLER_CLOSE
  139. //unpack_return(w, result);
  140. //NOTE: it seems like vm->_exec should return whatever the last command it
  141. //ran returned but instead it seems to pretty much always return None
  142. //so I guess uncomment this line if that every changes
  143. return true;
  144. }
  145. void pkpy_vm_destroy(pkpy_vm* vm_handle) {
  146. CVM* vm = (CVM*) vm_handle;
  147. delete vm;
  148. }
  149. PyObject* c_function_wrapper(VM* vm, ArgsView args) {
  150. LuaStyleFuncC f = lambda_get_userdata<LuaStyleFuncC>(args.begin());
  151. CVM* cvm = (CVM*) vm;
  152. //setup c stack
  153. LuaStack local_stack;
  154. for (int i = 0; i < args.size(); i++)
  155. local_stack.safe_push(args[i]);
  156. // tmp is controlled by RAII
  157. auto tmp = CVM::TempStack(cvm, &local_stack);
  158. int retc = f(cvm);
  159. // propagate_if_errored
  160. if (cvm->error != nullptr){
  161. Exception e = _py_cast<Exception&>(vm, cvm->error);
  162. cvm->error = nullptr;
  163. tmp.restore();
  164. vm->_error(e);
  165. }
  166. tmp.restore();
  167. PyObject* ret = cvm->None;
  168. if (retc == 1)
  169. ret = local_stack.safe_top();
  170. else if (retc > 1) {
  171. Tuple t(retc);
  172. for (int i = 0; i < retc; i++) {
  173. int stack_index = (local_stack.size() - retc) + i;
  174. t[i] = local_stack.at(stack_index);
  175. }
  176. ret = py_var(cvm, t);
  177. }
  178. return ret;
  179. }
  180. bool pkpy_push_function(pkpy_vm* vm_handle, pkpy_function f, int argc) {
  181. CVM* vm = (CVM*) vm_handle;
  182. NativeFunc nf = NativeFunc(c_function_wrapper, argc, false);
  183. nf.set_userdata(f);
  184. ERRHANDLER_OPEN
  185. vm->c_data->safe_push(py_var(vm, nf));
  186. ERRHANDLER_CLOSE
  187. return true;
  188. }
  189. bool pkpy_push_int(pkpy_vm* vm_handle, int value) {
  190. CVM* vm = (CVM*) vm_handle;
  191. ERRHANDLER_OPEN
  192. vm->c_data->safe_push(py_var(vm, value));
  193. ERRHANDLER_CLOSE
  194. return true;
  195. }
  196. bool pkpy_push_float(pkpy_vm* vm_handle, double value) {
  197. CVM* vm = (CVM*) vm_handle;
  198. ERRHANDLER_OPEN
  199. vm->c_data->safe_push(py_var(vm, value));
  200. ERRHANDLER_CLOSE
  201. return true;
  202. }
  203. bool pkpy_push_bool(pkpy_vm* vm_handle, bool value) {
  204. CVM* vm = (CVM*) vm_handle;
  205. ERRHANDLER_OPEN
  206. vm->c_data->safe_push(py_var(vm, value));
  207. ERRHANDLER_CLOSE
  208. return true;
  209. }
  210. bool pkpy_push_string(pkpy_vm* vm_handle, const char* value) {
  211. CVM* vm = (CVM*) vm_handle;
  212. ERRHANDLER_OPEN
  213. vm->c_data->safe_push(py_var(vm, value));
  214. ERRHANDLER_CLOSE
  215. return true;
  216. }
  217. bool pkpy_push_stringn(pkpy_vm* vm_handle, const char* value, int length) {
  218. CVM* vm = (CVM*) vm_handle;
  219. ERRHANDLER_OPEN
  220. vm->c_data->safe_push(py_var(vm, Str(value, length)));
  221. ERRHANDLER_CLOSE
  222. return true;
  223. }
  224. bool pkpy_push_voidp(pkpy_vm* vm_handle, void* value) {
  225. CVM* vm = (CVM*) vm_handle;
  226. ERRHANDLER_OPEN
  227. vm->c_data->safe_push(py_var(vm, value));
  228. ERRHANDLER_CLOSE
  229. return true;
  230. }
  231. bool pkpy_push_none(pkpy_vm* vm_handle) {
  232. CVM* vm = (CVM*) vm_handle;
  233. ERRHANDLER_OPEN
  234. vm->c_data->safe_push(vm->None);
  235. ERRHANDLER_CLOSE
  236. return true;
  237. }
  238. bool pkpy_set_global(pkpy_vm* vm_handle, const char* name) {
  239. CVM* vm = (CVM*) vm_handle;
  240. ERRHANDLER_OPEN
  241. vm->_main->attr().set(name, vm->c_data->safe_top());
  242. vm->c_data->safe_pop();
  243. ERRHANDLER_CLOSE
  244. return true;
  245. }
  246. //get global will also get bulitins
  247. bool pkpy_get_global(pkpy_vm* vm_handle, const char* name) {
  248. CVM* vm = (CVM*) vm_handle;
  249. ERRHANDLER_OPEN
  250. PyObject* o = vm->_main->attr().try_get(name);
  251. if (o == nullptr) {
  252. o = vm->builtins->attr().try_get(name);
  253. if (o == nullptr)
  254. throw Exception("NameError", name);
  255. }
  256. vm->c_data->safe_push(o);
  257. ERRHANDLER_CLOSE
  258. return true;
  259. }
  260. bool pkpy_call(pkpy_vm* vm_handle, int argc) {
  261. CVM* vm = (CVM*) vm_handle;
  262. ERRHANDLER_OPEN
  263. int callable_index = vm->c_data->size() - argc - 1;
  264. PyObject* callable = vm->c_data->at(callable_index);
  265. vm->s_data.push(callable);
  266. vm->s_data.push(PY_NULL);
  267. for (int i = 0; i < argc; i++)
  268. vm->s_data.push(vm->c_data->at(callable_index + i + 1));
  269. PyObject* o = vm->vectorcall(argc);
  270. vm->c_data->shrink(argc + 1);
  271. unpack_return(vm, o);
  272. ERRHANDLER_CLOSE
  273. return true;
  274. }
  275. bool pkpy_call_method(pkpy_vm* vm_handle, const char* name, int argc) {
  276. CVM* vm = (CVM*) vm_handle;
  277. ERRHANDLER_OPEN
  278. int self_index = vm->c_data->size() - argc - 1;
  279. PyObject* self = vm->c_data->at(self_index);
  280. PyObject* callable = vm->get_unbound_method(self, name, &self);
  281. vm->s_data.push(callable);
  282. vm->s_data.push(self);
  283. for (int i = 0; i < argc; i++)
  284. vm->s_data.push(vm->c_data->at(self_index + i + 1));
  285. PyObject* o = vm->vectorcall(argc);
  286. vm->c_data->shrink(argc + 1);
  287. unpack_return(vm, o);
  288. return true;
  289. ERRHANDLER_CLOSE
  290. }
  291. static int lua_to_cstack_index(int index, int size) {
  292. if (index < 0) index = size + index;
  293. return index;
  294. }
  295. bool pkpy_to_int(pkpy_vm* vm_handle, int index, int* ret) {
  296. CVM* vm = (CVM*) vm_handle;
  297. ERRHANDLER_OPEN
  298. index = lua_to_cstack_index(index, vm->c_data->size());
  299. PyObject* o = vm->c_data->at(index);
  300. if (ret != nullptr) *ret = py_cast<int>(vm, o);
  301. return true;
  302. ERRHANDLER_CLOSE
  303. }
  304. bool pkpy_to_float(pkpy_vm* vm_handle, int index, double* ret) {
  305. CVM* vm = (CVM*) vm_handle;
  306. ERRHANDLER_OPEN
  307. index = lua_to_cstack_index(index, vm->c_data->size());
  308. PyObject* o = vm->c_data->at(index);
  309. if (ret != nullptr) *ret = py_cast<double>(vm, o);
  310. return true;
  311. ERRHANDLER_CLOSE
  312. }
  313. bool pkpy_to_bool(pkpy_vm* vm_handle, int index, bool* ret) {
  314. CVM* vm = (CVM*) vm_handle;
  315. ERRHANDLER_OPEN
  316. index = lua_to_cstack_index(index, vm->c_data->size());
  317. PyObject* o = vm->c_data->at(index);
  318. if (ret != nullptr) *ret = py_cast<bool>(vm, o);
  319. return true;
  320. ERRHANDLER_CLOSE
  321. }
  322. bool pkpy_to_voidp(pkpy_vm* vm_handle, int index, void** 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->at(index);
  327. if (ret != nullptr) *ret = py_cast<void*>(vm, o);
  328. return true;
  329. ERRHANDLER_CLOSE
  330. }
  331. bool pkpy_to_string(pkpy_vm* vm_handle, int index, char** ret) {
  332. CVM* vm = (CVM*) vm_handle;
  333. ERRHANDLER_OPEN
  334. index = lua_to_cstack_index(index, vm->c_data->size());
  335. PyObject* o = vm->c_data->at(index);
  336. if (ret != nullptr) {
  337. *ret = py_cast<Str&>(vm, o).c_str_dup();
  338. }
  339. return true;
  340. ERRHANDLER_CLOSE
  341. }
  342. bool pkpy_to_stringn(pkpy_vm* vm_handle, int index, const char** ret, int* size) {
  343. CVM* vm = (CVM*) vm_handle;
  344. ERRHANDLER_OPEN
  345. index = lua_to_cstack_index(index, vm->c_data->size());
  346. PyObject* o = vm->c_data->at(index);
  347. if (ret != nullptr) {
  348. std::string_view sv = py_cast<Str&>(vm, o).sv();
  349. *ret = sv.data();
  350. *size = sv.size();
  351. }
  352. return true;
  353. ERRHANDLER_CLOSE
  354. }
  355. bool pkpy_is_int(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->at(index);
  359. return is_type(o, vm->tp_int);
  360. }
  361. bool pkpy_is_float(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->at(index);
  365. return is_type(o, vm->tp_float);
  366. }
  367. bool pkpy_is_bool(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->at(index);
  371. return is_type(o, vm->tp_bool);
  372. }
  373. bool pkpy_is_string(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->at(index);
  377. return is_type(o, vm->tp_str);
  378. }
  379. bool pkpy_is_voidp(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->at(index);
  383. return is_type(o, VoidP::_type(vm));
  384. }
  385. bool pkpy_is_none(pkpy_vm* vm_handle, int index) {
  386. CVM* vm = (CVM*) vm_handle;
  387. index = lua_to_cstack_index(index, vm->c_data->size());
  388. PyObject* o = vm->c_data->at(index);
  389. return o == vm->None;
  390. }
  391. bool pkpy_check_global(pkpy_vm* vm_handle, const char* name) {
  392. CVM* vm = (CVM*) vm_handle;
  393. PyObject* o = vm->_main->attr().try_get(name);
  394. if (o == nullptr) {
  395. o = vm->builtins->attr().try_get(name);
  396. if (o == nullptr)
  397. return false;
  398. }
  399. return true;
  400. }
  401. bool pkpy_check_error(pkpy_vm* vm_handle) {
  402. CVM* vm = (CVM*) vm_handle;
  403. return vm->error != nullptr;
  404. }
  405. bool pkpy_check_stack(pkpy_vm* vm_handle, int free) {
  406. CVM* vm = (CVM*) vm_handle;
  407. return free + vm->c_data->size() <= LuaStack::max_size();
  408. }
  409. int pkpy_stack_size(pkpy_vm* vm_handle) {
  410. CVM* vm = (CVM*) vm_handle;
  411. return vm->c_data->size();
  412. }
  413. bool pkpy_pop(pkpy_vm* vm_handle, int n) {
  414. CVM* vm = (CVM*) vm_handle;
  415. vm->c_data->shrink(n);
  416. return true;
  417. }
  418. bool pkpy_push(pkpy_vm* vm_handle, int index) {
  419. CVM* vm = (CVM*) vm_handle;
  420. index = lua_to_cstack_index(index, vm->c_data->size());
  421. vm->c_data->safe_push(vm->c_data->at(index));
  422. return true;
  423. }
  424. bool pkpy_error(pkpy_vm* vm_handle, const char* name, const char* message) {
  425. CVM* vm = (CVM*) vm_handle;
  426. // already in error state
  427. if (vm->error != nullptr) return false;
  428. vm->error = py_var(vm, Exception(name, message));
  429. return false;
  430. }
  431. bool pkpy_getattr(pkpy_vm* vm_handle, const char* name) {
  432. CVM* vm = (CVM*) vm_handle;
  433. ERRHANDLER_OPEN
  434. PyObject* o = vm->c_data->safe_top();
  435. PyObject* ret = vm->getattr(o, name, false);
  436. if(ret == nullptr) return false;
  437. vm->c_data->top() = ret;
  438. ERRHANDLER_CLOSE
  439. return true;
  440. }
  441. bool pkpy_setattr(pkpy_vm* vm_handle, const char* name) {
  442. CVM* vm = (CVM*) vm_handle;
  443. ERRHANDLER_OPEN
  444. if(vm->c_data->size() < 2){
  445. throw std::runtime_error("not enough arguments");
  446. }
  447. PyObject* a = vm->c_data->top();
  448. PyObject* val = vm->c_data->second();
  449. vm->setattr(a, name, val);
  450. vm->c_data->shrink(2);
  451. ERRHANDLER_CLOSE
  452. return true;
  453. }
  454. bool pkpy_eval(pkpy_vm* vm_handle, const char* code) {
  455. CVM* vm = (CVM*) vm_handle;
  456. ERRHANDLER_OPEN
  457. CodeObject_ co = vm->compile(code, "<eval>", EVAL_MODE);
  458. PyObject* ret = vm->_exec(co, vm->_main);
  459. vm->c_data->safe_push(ret);
  460. ERRHANDLER_CLOSE
  461. return true;
  462. }
  463. /*****************************************************************/
  464. void pkpy_free(void* p){
  465. free(p);
  466. }
  467. void pkpy_vm_exec(void* vm, const char* source){
  468. ((VM*)vm)->exec(source, "main.py", EXEC_MODE);
  469. }
  470. void pkpy_vm_exec_2(void* vm_, const char* source, const char* filename, int mode, const char* module){
  471. VM* vm = (VM*)vm_;
  472. PyObject* mod;
  473. if(module == nullptr) mod = vm->_main;
  474. else{
  475. mod = vm->_modules.try_get(module);
  476. if(mod == nullptr) return;
  477. }
  478. vm->exec(source, filename, (CompileMode)mode, mod);
  479. }
  480. void pkpy_vm_compile(void* vm_, const char* source, const char* filename, int mode, bool* ok, char** res){
  481. VM* vm = (VM*)vm_;
  482. try{
  483. CodeObject_ code = vm->compile(source, filename, (CompileMode)mode);
  484. *res = code->serialize(vm).c_str_dup();
  485. *ok = true;
  486. }catch(Exception& e){
  487. *ok = false;
  488. *res = e.summary().c_str_dup();
  489. }catch(std::exception& e){
  490. *ok = false;
  491. *res = strdup(e.what());
  492. }catch(...){
  493. *ok = false;
  494. *res = strdup("unknown error");
  495. }
  496. }
  497. void* pkpy_new_repl(void* vm){
  498. return new REPL((VM*)vm);
  499. }
  500. bool pkpy_repl_input(void* r, const char* line){
  501. return ((REPL*)r)->input(line);
  502. }
  503. void pkpy_vm_add_module(void* vm, const char* name, const char* source){
  504. ((VM*)vm)->_lazy_modules[name] = source;
  505. }
  506. void* pkpy_new_vm(bool enable_os){
  507. void* p = new VM(enable_os);
  508. return p;
  509. }
  510. void pkpy_delete_vm(void* vm){
  511. delete (VM*)vm;
  512. }
  513. void pkpy_delete_repl(void* repl){
  514. delete (REPL*)repl;
  515. }