pocketpy_c.cpp 15 KB

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