pocketpy.h 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972
  1. #pragma once
  2. #include "ceval.h"
  3. #include "compiler.h"
  4. #include "repl.h"
  5. #include "iter.h"
  6. #define CPP_LAMBDA(x) ([](VM* vm, pkpy::Args& args) { return x; })
  7. #define CPP_NOT_IMPLEMENTED() ([](VM* vm, pkpy::Args& args) { vm->NotImplementedError(); return vm->None; })
  8. CodeObject_ VM::compile(Str source, Str filename, CompileMode mode) {
  9. Compiler compiler(this, source.c_str(), filename, mode);
  10. try{
  11. return compiler.compile();
  12. }catch(pkpy::Exception& e){
  13. _error(e);
  14. return nullptr;
  15. }
  16. }
  17. #define BIND_NUM_ARITH_OPT(name, op) \
  18. _vm->_bind_methods<1>({"int","float"}, #name, [](VM* vm, pkpy::Args& args){ \
  19. if(is_int(args[0]) && is_int(args[1])){ \
  20. return vm->PyInt(vm->PyInt_AS_C(args[0]) op vm->PyInt_AS_C(args[1])); \
  21. }else{ \
  22. return vm->PyFloat(vm->num_to_float(args[0]) op vm->num_to_float(args[1])); \
  23. } \
  24. });
  25. #define BIND_NUM_LOGICAL_OPT(name, op, is_eq) \
  26. _vm->_bind_methods<1>({"int","float"}, #name, [](VM* vm, pkpy::Args& args){ \
  27. if(!is_int_or_float(args[0]) || !is_int_or_float(args[1])){ \
  28. if constexpr(is_eq) return vm->PyBool(args[0] op args[1]); \
  29. vm->TypeError("unsupported operand type(s) for " #op ); \
  30. } \
  31. return vm->PyBool(vm->num_to_float(args[0]) op vm->num_to_float(args[1])); \
  32. });
  33. void init_builtins(VM* _vm) {
  34. BIND_NUM_ARITH_OPT(__add__, +)
  35. BIND_NUM_ARITH_OPT(__sub__, -)
  36. BIND_NUM_ARITH_OPT(__mul__, *)
  37. BIND_NUM_LOGICAL_OPT(__lt__, <, false)
  38. BIND_NUM_LOGICAL_OPT(__le__, <=, false)
  39. BIND_NUM_LOGICAL_OPT(__gt__, >, false)
  40. BIND_NUM_LOGICAL_OPT(__ge__, >=, false)
  41. BIND_NUM_LOGICAL_OPT(__eq__, ==, true)
  42. BIND_NUM_LOGICAL_OPT(__ne__, !=, true)
  43. #undef BIND_NUM_ARITH_OPT
  44. #undef BIND_NUM_LOGICAL_OPT
  45. _vm->bind_builtin_func<1>("__sys_stdout_write", [](VM* vm, pkpy::Args& args) {
  46. (*vm->_stdout) << vm->PyStr_AS_C(args[0]);
  47. return vm->None;
  48. });
  49. _vm->bind_builtin_func<0>("super", [](VM* vm, pkpy::Args& args) {
  50. const PyVar* self = vm->top_frame()->f_locals().try_get(m_self);
  51. if(self == nullptr) vm->TypeError("super() can only be called in a class");
  52. return vm->new_object(vm->tp_super, *self);
  53. });
  54. _vm->bind_builtin_func<1>("eval", [](VM* vm, pkpy::Args& args) {
  55. CodeObject_ code = vm->compile(vm->PyStr_AS_C(args[0]), "<eval>", EVAL_MODE);
  56. return vm->_exec(code, vm->top_frame()->_module, vm->top_frame()->_locals);
  57. });
  58. _vm->bind_builtin_func<1>("exec", [](VM* vm, pkpy::Args& args) {
  59. CodeObject_ code = vm->compile(vm->PyStr_AS_C(args[0]), "<exec>", EXEC_MODE);
  60. vm->_exec(code, vm->top_frame()->_module, vm->top_frame()->_locals);
  61. return vm->None;
  62. });
  63. _vm->bind_builtin_func<-1>("exit", [](VM* vm, pkpy::Args& args) {
  64. if(args.size() == 0) std::exit(0);
  65. else if(args.size() == 1) std::exit((int)vm->PyInt_AS_C(args[0]));
  66. else vm->TypeError("exit() takes at most 1 argument");
  67. return vm->None;
  68. });
  69. _vm->bind_builtin_func<1>("repr", CPP_LAMBDA(vm->asRepr(args[0])));
  70. _vm->bind_builtin_func<1>("len", CPP_LAMBDA(vm->call(args[0], __len__, pkpy::no_arg())));
  71. _vm->bind_builtin_func<1>("hash", [](VM* vm, pkpy::Args& args){
  72. i64 value = vm->hash(args[0]);
  73. if(value < kMinSafeInt || value > kMaxSafeInt) value >>= 2;
  74. return vm->PyInt(value);
  75. });
  76. _vm->bind_builtin_func<1>("chr", [](VM* vm, pkpy::Args& args) {
  77. i64 i = vm->PyInt_AS_C(args[0]);
  78. if (i < 0 || i > 128) vm->ValueError("chr() arg not in range(128)");
  79. return vm->PyStr(std::string(1, (char)i));
  80. });
  81. _vm->bind_builtin_func<1>("ord", [](VM* vm, pkpy::Args& args) {
  82. Str s = vm->PyStr_AS_C(args[0]);
  83. if (s.size() != 1) vm->TypeError("ord() expected an ASCII character");
  84. return vm->PyInt((i64)(s.c_str()[0]));
  85. });
  86. _vm->bind_builtin_func<2>("hasattr", [](VM* vm, pkpy::Args& args) {
  87. return vm->PyBool(vm->getattr(args[0], vm->PyStr_AS_C(args[1]), false) != nullptr);
  88. });
  89. _vm->bind_builtin_func<3>("setattr", [](VM* vm, pkpy::Args& args) {
  90. vm->setattr(args[0], vm->PyStr_AS_C(args[1]), args[2]);
  91. return vm->None;
  92. });
  93. _vm->bind_builtin_func<2>("getattr", [](VM* vm, pkpy::Args& args) {
  94. Str name = vm->PyStr_AS_C(args[1]);
  95. return vm->getattr(args[0], name);
  96. });
  97. _vm->bind_builtin_func<1>("hex", [](VM* vm, pkpy::Args& args) {
  98. std::stringstream ss;
  99. ss << std::hex << vm->PyInt_AS_C(args[0]);
  100. return vm->PyStr("0x" + ss.str());
  101. });
  102. _vm->bind_builtin_func<1>("dir", [](VM* vm, pkpy::Args& args) {
  103. std::vector<Str> names;
  104. if(args[0]->is_attr_valid()){
  105. for (auto& [k, _] : args[0]->attr()) names.push_back(k);
  106. }
  107. for (auto& [k, _] : vm->_t(args[0])->attr()) {
  108. if (std::find(names.begin(), names.end(), k) == names.end()) names.push_back(k);
  109. }
  110. pkpy::List ret;
  111. for (const auto& name : names) ret.push_back(vm->PyStr(name));
  112. return vm->PyList(std::move(ret));
  113. });
  114. _vm->bind_method<0>("object", "__repr__", [](VM* vm, pkpy::Args& args) {
  115. PyVar self = args[0];
  116. std::uintptr_t addr = self.is_tagged() ? 0 : (uintptr_t)self.get();
  117. StrStream ss;
  118. ss << std::hex << addr;
  119. Str s = "<" + OBJ_NAME(vm->_t(self)) + " object at 0x" + ss.str() + ">";
  120. return vm->PyStr(s);
  121. });
  122. _vm->bind_method<1>("object", "__eq__", CPP_LAMBDA(vm->PyBool(args[0] == args[1])));
  123. _vm->bind_method<1>("object", "__ne__", CPP_LAMBDA(vm->PyBool(args[0] != args[1])));
  124. _vm->bind_static_method<1>("type", "__new__", CPP_LAMBDA(vm->_t(args[0])));
  125. _vm->bind_static_method<-1>("range", "__new__", [](VM* vm, pkpy::Args& args) {
  126. pkpy::Range r;
  127. switch (args.size()) {
  128. case 1: r.stop = vm->PyInt_AS_C(args[0]); break;
  129. case 2: r.start = vm->PyInt_AS_C(args[0]); r.stop = vm->PyInt_AS_C(args[1]); break;
  130. case 3: r.start = vm->PyInt_AS_C(args[0]); r.stop = vm->PyInt_AS_C(args[1]); r.step = vm->PyInt_AS_C(args[2]); break;
  131. default: vm->TypeError("expected 1-3 arguments, but got " + std::to_string(args.size()));
  132. }
  133. return vm->PyRange(r);
  134. });
  135. _vm->bind_method<0>("range", "__iter__", CPP_LAMBDA(
  136. vm->PyIter(pkpy::make_shared<BaseIter, RangeIter>(vm, args[0]))
  137. ));
  138. _vm->bind_method<0>("NoneType", "__repr__", CPP_LAMBDA(vm->PyStr("None")));
  139. _vm->bind_method<0>("NoneType", "__json__", CPP_LAMBDA(vm->PyStr("null")));
  140. _vm->_bind_methods<1>({"int", "float"}, "__truediv__", [](VM* vm, pkpy::Args& args) {
  141. f64 rhs = vm->num_to_float(args[1]);
  142. if (rhs == 0) vm->ZeroDivisionError();
  143. return vm->PyFloat(vm->num_to_float(args[0]) / rhs);
  144. });
  145. _vm->_bind_methods<1>({"int", "float"}, "__pow__", [](VM* vm, pkpy::Args& args) {
  146. if(is_int(args[0]) && is_int(args[1])){
  147. i64 lhs = vm->PyInt_AS_C(args[0]);
  148. i64 rhs = vm->PyInt_AS_C(args[1]);
  149. bool flag = false;
  150. if(rhs < 0) {flag = true; rhs = -rhs;}
  151. i64 ret = 1;
  152. while(rhs){
  153. if(rhs & 1) ret *= lhs;
  154. lhs *= lhs;
  155. rhs >>= 1;
  156. }
  157. if(flag) return vm->PyFloat((f64)(1.0 / ret));
  158. return vm->PyInt(ret);
  159. }else{
  160. return vm->PyFloat((f64)std::pow(vm->num_to_float(args[0]), vm->num_to_float(args[1])));
  161. }
  162. });
  163. /************ PyInt ************/
  164. _vm->bind_static_method<1>("int", "__new__", [](VM* vm, pkpy::Args& args) {
  165. if (is_type(args[0], vm->tp_int)) return args[0];
  166. if (is_type(args[0], vm->tp_float)) return vm->PyInt((i64)vm->PyFloat_AS_C(args[0]));
  167. if (is_type(args[0], vm->tp_bool)) return vm->PyInt(vm->PyBool_AS_C(args[0]) ? 1 : 0);
  168. if (is_type(args[0], vm->tp_str)) {
  169. const Str& s = vm->PyStr_AS_C(args[0]);
  170. try{
  171. size_t parsed = 0;
  172. i64 val = std::stoll(s, &parsed, 10);
  173. if(parsed != s.size()) throw std::invalid_argument("<?>");
  174. return vm->PyInt(val);
  175. }catch(std::invalid_argument&){
  176. vm->ValueError("invalid literal for int(): " + s.escape(true));
  177. }
  178. }
  179. vm->TypeError("int() argument must be a int, float, bool or str");
  180. return vm->None;
  181. });
  182. _vm->bind_method<1>("int", "__floordiv__", [](VM* vm, pkpy::Args& args) {
  183. i64 rhs = vm->PyInt_AS_C(args[1]);
  184. if(rhs == 0) vm->ZeroDivisionError();
  185. return vm->PyInt(vm->PyInt_AS_C(args[0]) / rhs);
  186. });
  187. _vm->bind_method<1>("int", "__mod__", [](VM* vm, pkpy::Args& args) {
  188. i64 rhs = vm->PyInt_AS_C(args[1]);
  189. if(rhs == 0) vm->ZeroDivisionError();
  190. return vm->PyInt(vm->PyInt_AS_C(args[0]) % rhs);
  191. });
  192. _vm->bind_method<0>("int", "__repr__", CPP_LAMBDA(vm->PyStr(std::to_string(vm->PyInt_AS_C(args[0])))));
  193. _vm->bind_method<0>("int", "__json__", CPP_LAMBDA(vm->PyStr(std::to_string(vm->PyInt_AS_C(args[0])))));
  194. #define INT_BITWISE_OP(name,op) \
  195. _vm->bind_method<1>("int", #name, CPP_LAMBDA(vm->PyInt(vm->PyInt_AS_C(args[0]) op vm->PyInt_AS_C(args[1]))));
  196. INT_BITWISE_OP(__lshift__, <<)
  197. INT_BITWISE_OP(__rshift__, >>)
  198. INT_BITWISE_OP(__and__, &)
  199. INT_BITWISE_OP(__or__, |)
  200. INT_BITWISE_OP(__xor__, ^)
  201. #undef INT_BITWISE_OP
  202. /************ PyFloat ************/
  203. _vm->bind_static_method<1>("float", "__new__", [](VM* vm, pkpy::Args& args) {
  204. if (is_type(args[0], vm->tp_int)) return vm->PyFloat((f64)vm->PyInt_AS_C(args[0]));
  205. if (is_type(args[0], vm->tp_float)) return args[0];
  206. if (is_type(args[0], vm->tp_bool)) return vm->PyFloat(vm->PyBool_AS_C(args[0]) ? 1.0 : 0.0);
  207. if (is_type(args[0], vm->tp_str)) {
  208. const Str& s = vm->PyStr_AS_C(args[0]);
  209. if(s == "inf") return vm->PyFloat(INFINITY);
  210. if(s == "-inf") return vm->PyFloat(-INFINITY);
  211. try{
  212. f64 val = std::stod(s);
  213. return vm->PyFloat(val);
  214. }catch(std::invalid_argument&){
  215. vm->ValueError("invalid literal for float(): '" + s + "'");
  216. }
  217. }
  218. vm->TypeError("float() argument must be a int, float, bool or str");
  219. return vm->None;
  220. });
  221. _vm->bind_method<0>("float", "__repr__", [](VM* vm, pkpy::Args& args) {
  222. f64 val = vm->PyFloat_AS_C(args[0]);
  223. if(std::isinf(val) || std::isnan(val)) return vm->PyStr(std::to_string(val));
  224. StrStream ss;
  225. ss << std::setprecision(std::numeric_limits<f64>::max_digits10-1-2) << val;
  226. std::string s = ss.str();
  227. if(std::all_of(s.begin()+1, s.end(), isdigit)) s += ".0";
  228. return vm->PyStr(s);
  229. });
  230. _vm->bind_method<0>("float", "__json__", [](VM* vm, pkpy::Args& args) {
  231. f64 val = vm->PyFloat_AS_C(args[0]);
  232. if(std::isinf(val) || std::isnan(val)) vm->ValueError("cannot jsonify 'nan' or 'inf'");
  233. return vm->PyStr(std::to_string(val));
  234. });
  235. /************ PyString ************/
  236. _vm->bind_static_method<1>("str", "__new__", CPP_LAMBDA(vm->asStr(args[0])));
  237. _vm->bind_method<1>("str", "__add__", [](VM* vm, pkpy::Args& args) {
  238. const Str& lhs = vm->PyStr_AS_C(args[0]);
  239. const Str& rhs = vm->PyStr_AS_C(args[1]);
  240. return vm->PyStr(lhs + rhs);
  241. });
  242. _vm->bind_method<0>("str", "__len__", [](VM* vm, pkpy::Args& args) {
  243. const Str& self = vm->PyStr_AS_C(args[0]);
  244. return vm->PyInt(self.u8_length());
  245. });
  246. _vm->bind_method<1>("str", "__contains__", [](VM* vm, pkpy::Args& args) {
  247. const Str& self = vm->PyStr_AS_C(args[0]);
  248. const Str& other = vm->PyStr_AS_C(args[1]);
  249. return vm->PyBool(self.find(other) != Str::npos);
  250. });
  251. _vm->bind_method<0>("str", "__str__", CPP_LAMBDA(args[0]));
  252. _vm->bind_method<0>("str", "__iter__", CPP_LAMBDA(
  253. vm->PyIter(pkpy::make_shared<BaseIter, StringIter>(vm, args[0]))
  254. ));
  255. _vm->bind_method<0>("str", "__repr__", [](VM* vm, pkpy::Args& args) {
  256. const Str& _self = vm->PyStr_AS_C(args[0]);
  257. return vm->PyStr(_self.escape(true));
  258. });
  259. _vm->bind_method<0>("str", "__json__", [](VM* vm, pkpy::Args& args) {
  260. const Str& _self = vm->PyStr_AS_C(args[0]);
  261. return vm->PyStr(_self.escape(false));
  262. });
  263. _vm->bind_method<1>("str", "__eq__", [](VM* vm, pkpy::Args& args) {
  264. if(is_type(args[0], vm->tp_str) && is_type(args[1], vm->tp_str))
  265. return vm->PyBool(vm->PyStr_AS_C(args[0]) == vm->PyStr_AS_C(args[1]));
  266. return vm->PyBool(args[0] == args[1]);
  267. });
  268. _vm->bind_method<1>("str", "__ne__", [](VM* vm, pkpy::Args& args) {
  269. if(is_type(args[0], vm->tp_str) && is_type(args[1], vm->tp_str))
  270. return vm->PyBool(vm->PyStr_AS_C(args[0]) != vm->PyStr_AS_C(args[1]));
  271. return vm->PyBool(args[0] != args[1]);
  272. });
  273. _vm->bind_method<1>("str", "__getitem__", [](VM* vm, pkpy::Args& args) {
  274. const Str& _self (vm->PyStr_AS_C(args[0]));
  275. if(is_type(args[1], vm->tp_slice)){
  276. pkpy::Slice s = vm->PySlice_AS_C(args[1]);
  277. s.normalize(_self.u8_length());
  278. return vm->PyStr(_self.u8_substr(s.start, s.stop));
  279. }
  280. int _index = (int)vm->PyInt_AS_C(args[1]);
  281. _index = vm->normalized_index(_index, _self.u8_length());
  282. return vm->PyStr(_self.u8_getitem(_index));
  283. });
  284. _vm->bind_method<1>("str", "__gt__", [](VM* vm, pkpy::Args& args) {
  285. const Str& _self (vm->PyStr_AS_C(args[0]));
  286. const Str& _obj (vm->PyStr_AS_C(args[1]));
  287. return vm->PyBool(_self > _obj);
  288. });
  289. _vm->bind_method<1>("str", "__lt__", [](VM* vm, pkpy::Args& args) {
  290. const Str& _self (vm->PyStr_AS_C(args[0]));
  291. const Str& _obj (vm->PyStr_AS_C(args[1]));
  292. return vm->PyBool(_self < _obj);
  293. });
  294. _vm->bind_method<2>("str", "replace", [](VM* vm, pkpy::Args& args) {
  295. const Str& _self = vm->PyStr_AS_C(args[0]);
  296. const Str& _old = vm->PyStr_AS_C(args[1]);
  297. const Str& _new = vm->PyStr_AS_C(args[2]);
  298. Str _copy = _self;
  299. // replace all occurences of _old with _new in _copy
  300. size_t pos = 0;
  301. while ((pos = _copy.find(_old, pos)) != std::string::npos) {
  302. _copy.replace(pos, _old.length(), _new);
  303. pos += _new.length();
  304. }
  305. return vm->PyStr(_copy);
  306. });
  307. _vm->bind_method<1>("str", "startswith", [](VM* vm, pkpy::Args& args) {
  308. const Str& _self = vm->PyStr_AS_C(args[0]);
  309. const Str& _prefix = vm->PyStr_AS_C(args[1]);
  310. return vm->PyBool(_self.find(_prefix) == 0);
  311. });
  312. _vm->bind_method<1>("str", "endswith", [](VM* vm, pkpy::Args& args) {
  313. const Str& _self = vm->PyStr_AS_C(args[0]);
  314. const Str& _suffix = vm->PyStr_AS_C(args[1]);
  315. return vm->PyBool(_self.rfind(_suffix) == _self.length() - _suffix.length());
  316. });
  317. _vm->bind_method<1>("str", "join", [](VM* vm, pkpy::Args& args) {
  318. const Str& self = vm->PyStr_AS_C(args[0]);
  319. StrStream ss;
  320. PyVar obj = vm->asList(args[1]);
  321. const pkpy::List& list = vm->PyList_AS_C(obj);
  322. for (int i = 0; i < list.size(); ++i) {
  323. if (i > 0) ss << self;
  324. ss << vm->PyStr_AS_C(list[i]);
  325. }
  326. return vm->PyStr(ss.str());
  327. });
  328. /************ PyList ************/
  329. _vm->bind_method<1>("list", "append", [](VM* vm, pkpy::Args& args) {
  330. pkpy::List& self = vm->PyList_AS_C(args[0]);
  331. self.push_back(args[1]);
  332. return vm->None;
  333. });
  334. _vm->bind_method<0>("list", "reverse", [](VM* vm, pkpy::Args& args) {
  335. pkpy::List& self = vm->PyList_AS_C(args[0]);
  336. std::reverse(self.begin(), self.end());
  337. return vm->None;
  338. });
  339. _vm->bind_method<1>("list", "__mul__", [](VM* vm, pkpy::Args& args) {
  340. const pkpy::List& self = vm->PyList_AS_C(args[0]);
  341. int n = (int)vm->PyInt_AS_C(args[1]);
  342. pkpy::List result;
  343. result.reserve(self.size() * n);
  344. for(int i = 0; i < n; i++) result.insert(result.end(), self.begin(), self.end());
  345. return vm->PyList(std::move(result));
  346. });
  347. _vm->bind_method<2>("list", "insert", [](VM* vm, pkpy::Args& args) {
  348. pkpy::List& _self = vm->PyList_AS_C(args[0]);
  349. int index = (int)vm->PyInt_AS_C(args[1]);
  350. if(index < 0) index += _self.size();
  351. if(index < 0) index = 0;
  352. if(index > _self.size()) index = _self.size();
  353. _self.insert(_self.begin() + index, args[2]);
  354. return vm->None;
  355. });
  356. _vm->bind_method<0>("list", "clear", [](VM* vm, pkpy::Args& args) {
  357. vm->PyList_AS_C(args[0]).clear();
  358. return vm->None;
  359. });
  360. _vm->bind_method<0>("list", "copy", CPP_LAMBDA(vm->PyList(vm->PyList_AS_C(args[0]))));
  361. _vm->bind_method<1>("list", "__add__", [](VM* vm, pkpy::Args& args) {
  362. const pkpy::List& self = vm->PyList_AS_C(args[0]);
  363. const pkpy::List& obj = vm->PyList_AS_C(args[1]);
  364. pkpy::List new_list = self;
  365. new_list.insert(new_list.end(), obj.begin(), obj.end());
  366. return vm->PyList(new_list);
  367. });
  368. _vm->bind_method<0>("list", "__len__", [](VM* vm, pkpy::Args& args) {
  369. const pkpy::List& self = vm->PyList_AS_C(args[0]);
  370. return vm->PyInt(self.size());
  371. });
  372. _vm->bind_method<0>("list", "__iter__", [](VM* vm, pkpy::Args& args) {
  373. return vm->PyIter(pkpy::make_shared<BaseIter, ArrayIter<pkpy::List>>(vm, args[0]));
  374. });
  375. _vm->bind_method<1>("list", "__getitem__", [](VM* vm, pkpy::Args& args) {
  376. const pkpy::List& self = vm->PyList_AS_C(args[0]);
  377. if(is_type(args[1], vm->tp_slice)){
  378. pkpy::Slice s = vm->PySlice_AS_C(args[1]);
  379. s.normalize(self.size());
  380. pkpy::List new_list;
  381. for(size_t i = s.start; i < s.stop; i++) new_list.push_back(self[i]);
  382. return vm->PyList(std::move(new_list));
  383. }
  384. int index = (int)vm->PyInt_AS_C(args[1]);
  385. index = vm->normalized_index(index, self.size());
  386. return self[index];
  387. });
  388. _vm->bind_method<2>("list", "__setitem__", [](VM* vm, pkpy::Args& args) {
  389. pkpy::List& self = vm->PyList_AS_C(args[0]);
  390. int index = (int)vm->PyInt_AS_C(args[1]);
  391. index = vm->normalized_index(index, self.size());
  392. self[index] = args[2];
  393. return vm->None;
  394. });
  395. _vm->bind_method<1>("list", "__delitem__", [](VM* vm, pkpy::Args& args) {
  396. pkpy::List& self = vm->PyList_AS_C(args[0]);
  397. int index = (int)vm->PyInt_AS_C(args[1]);
  398. index = vm->normalized_index(index, self.size());
  399. self.erase(self.begin() + index);
  400. return vm->None;
  401. });
  402. /************ PyTuple ************/
  403. _vm->bind_static_method<1>("tuple", "__new__", [](VM* vm, pkpy::Args& args) {
  404. pkpy::List list = vm->PyList_AS_C(vm->asList(args[0]));
  405. return vm->PyTuple(std::move(list));
  406. });
  407. _vm->bind_method<0>("tuple", "__iter__", [](VM* vm, pkpy::Args& args) {
  408. return vm->PyIter(pkpy::make_shared<BaseIter, ArrayIter<pkpy::Args>>(vm, args[0]));
  409. });
  410. _vm->bind_method<1>("tuple", "__getitem__", [](VM* vm, pkpy::Args& args) {
  411. const pkpy::Tuple& self = vm->PyTuple_AS_C(args[0]);
  412. if(is_type(args[1], vm->tp_slice)){
  413. pkpy::Slice s = vm->PySlice_AS_C(args[1]);
  414. s.normalize(self.size());
  415. pkpy::List new_list;
  416. for(size_t i = s.start; i < s.stop; i++) new_list.push_back(self[i]);
  417. return vm->PyTuple(std::move(new_list));
  418. }
  419. int index = (int)vm->PyInt_AS_C(args[1]);
  420. index = vm->normalized_index(index, self.size());
  421. return self[index];
  422. });
  423. _vm->bind_method<0>("tuple", "__len__", [](VM* vm, pkpy::Args& args) {
  424. const pkpy::Tuple& self = vm->PyTuple_AS_C(args[0]);
  425. return vm->PyInt(self.size());
  426. });
  427. /************ PyBool ************/
  428. _vm->bind_static_method<1>("bool", "__new__", CPP_LAMBDA(vm->asBool(args[0])));
  429. _vm->bind_method<0>("bool", "__repr__", [](VM* vm, pkpy::Args& args) {
  430. bool val = vm->PyBool_AS_C(args[0]);
  431. return vm->PyStr(val ? "True" : "False");
  432. });
  433. _vm->bind_method<0>("bool", "__json__", [](VM* vm, pkpy::Args& args) {
  434. bool val = vm->PyBool_AS_C(args[0]);
  435. return vm->PyStr(val ? "true" : "false");
  436. });
  437. _vm->bind_method<1>("bool", "__xor__", [](VM* vm, pkpy::Args& args) {
  438. bool self = vm->PyBool_AS_C(args[0]);
  439. bool other = vm->PyBool_AS_C(args[1]);
  440. return vm->PyBool(self ^ other);
  441. });
  442. _vm->bind_method<0>("ellipsis", "__repr__", CPP_LAMBDA(vm->PyStr("Ellipsis")));
  443. }
  444. #include "builtins.h"
  445. #ifdef _WIN32
  446. #define __EXPORT __declspec(dllexport)
  447. #elif __APPLE__
  448. #define __EXPORT __attribute__((visibility("default"))) __attribute__((used))
  449. #elif __EMSCRIPTEN__
  450. #include <emscripten.h>
  451. #define __EXPORT EMSCRIPTEN_KEEPALIVE
  452. #else
  453. #define __EXPORT
  454. #endif
  455. void add_module_time(VM* vm){
  456. PyVar mod = vm->new_module("time");
  457. vm->bind_func<0>(mod, "time", [](VM* vm, pkpy::Args& args) {
  458. auto now = std::chrono::high_resolution_clock::now();
  459. return vm->PyFloat(std::chrono::duration_cast<std::chrono::microseconds>(now.time_since_epoch()).count() / 1000000.0);
  460. });
  461. }
  462. void add_module_sys(VM* vm){
  463. PyVar mod = vm->new_module("sys");
  464. vm->setattr(mod, "version", vm->PyStr(PK_VERSION));
  465. vm->bind_func<1>(mod, "getrefcount", CPP_LAMBDA(vm->PyInt(args[0].use_count())));
  466. vm->bind_func<0>(mod, "getrecursionlimit", CPP_LAMBDA(vm->PyInt(vm->recursionlimit)));
  467. vm->bind_func<1>(mod, "setrecursionlimit", [](VM* vm, pkpy::Args& args) {
  468. vm->recursionlimit = (int)vm->PyInt_AS_C(args[0]);
  469. return vm->None;
  470. });
  471. }
  472. void add_module_json(VM* vm){
  473. PyVar mod = vm->new_module("json");
  474. vm->bind_func<1>(mod, "loads", [](VM* vm, pkpy::Args& args) {
  475. const Str& expr = vm->PyStr_AS_C(args[0]);
  476. CodeObject_ code = vm->compile(expr, "<json>", JSON_MODE);
  477. return vm->_exec(code, vm->top_frame()->_module, vm->top_frame()->_locals);
  478. });
  479. vm->bind_func<1>(mod, "dumps", CPP_LAMBDA(vm->call(args[0], __json__)));
  480. }
  481. void add_module_math(VM* vm){
  482. PyVar mod = vm->new_module("math");
  483. vm->setattr(mod, "pi", vm->PyFloat(3.1415926535897932384));
  484. vm->setattr(mod, "e" , vm->PyFloat(2.7182818284590452354));
  485. vm->bind_func<1>(mod, "log", CPP_LAMBDA(vm->PyFloat(std::log(vm->num_to_float(args[0])))));
  486. vm->bind_func<1>(mod, "log10", CPP_LAMBDA(vm->PyFloat(std::log10(vm->num_to_float(args[0])))));
  487. vm->bind_func<1>(mod, "log2", CPP_LAMBDA(vm->PyFloat(std::log2(vm->num_to_float(args[0])))));
  488. vm->bind_func<1>(mod, "sin", CPP_LAMBDA(vm->PyFloat(std::sin(vm->num_to_float(args[0])))));
  489. vm->bind_func<1>(mod, "cos", CPP_LAMBDA(vm->PyFloat(std::cos(vm->num_to_float(args[0])))));
  490. vm->bind_func<1>(mod, "tan", CPP_LAMBDA(vm->PyFloat(std::tan(vm->num_to_float(args[0])))));
  491. vm->bind_func<1>(mod, "isnan", CPP_LAMBDA(vm->PyBool(std::isnan(vm->num_to_float(args[0])))));
  492. vm->bind_func<1>(mod, "isinf", CPP_LAMBDA(vm->PyBool(std::isinf(vm->num_to_float(args[0])))));
  493. vm->bind_func<1>(mod, "fabs", CPP_LAMBDA(vm->PyFloat(std::fabs(vm->num_to_float(args[0])))));
  494. vm->bind_func<1>(mod, "floor", CPP_LAMBDA(vm->PyInt((i64)std::floor(vm->num_to_float(args[0])))));
  495. vm->bind_func<1>(mod, "ceil", CPP_LAMBDA(vm->PyInt((i64)std::ceil(vm->num_to_float(args[0])))));
  496. vm->bind_func<1>(mod, "sqrt", CPP_LAMBDA(vm->PyFloat(std::sqrt(vm->num_to_float(args[0])))));
  497. }
  498. void add_module_dis(VM* vm){
  499. PyVar mod = vm->new_module("dis");
  500. vm->bind_func<1>(mod, "dis", [](VM* vm, pkpy::Args& args) {
  501. PyVar f = args[0];
  502. if(is_type(f, vm->tp_bound_method)) f = vm->PyBoundMethod_AS_C(args[0]).method;
  503. CodeObject_ code = vm->PyFunction_AS_C(f).code;
  504. (*vm->_stdout) << vm->disassemble(code);
  505. return vm->None;
  506. });
  507. }
  508. #include <fstream>
  509. struct FileIO {
  510. PY_CLASS(io, FileIO)
  511. Str file;
  512. Str mode;
  513. std::fstream _fs;
  514. FileIO(VM* vm, Str file, Str mode): file(file), mode(mode) {
  515. if(mode == "rt" || mode == "r"){
  516. _fs.open(file, std::ios::in);
  517. }else if(mode == "wt" || mode == "w"){
  518. _fs.open(file, std::ios::out);
  519. }else if(mode == "at" || mode == "a"){
  520. _fs.open(file, std::ios::app);
  521. }
  522. if(!_fs.is_open()) vm->IOError(strerror(errno));
  523. }
  524. static void _register(VM* vm, PyVar mod, PyVar type){
  525. vm->bind_static_method<2>(type, "__new__", [](VM* vm, pkpy::Args& args){
  526. return vm->new_object<FileIO>(
  527. vm, vm->PyStr_AS_C(args[0]), vm->PyStr_AS_C(args[1])
  528. );
  529. });
  530. vm->bind_method<0>(type, "read", [](VM* vm, pkpy::Args& args){
  531. FileIO& io = vm->py_cast<FileIO>(args[0]);
  532. std::string buffer;
  533. io._fs >> buffer;
  534. return vm->PyStr(buffer);
  535. });
  536. vm->bind_method<1>(type, "write", [](VM* vm, pkpy::Args& args){
  537. FileIO& io = vm->py_cast<FileIO>(args[0]);
  538. io._fs << vm->PyStr_AS_C(args[1]);
  539. return vm->None;
  540. });
  541. vm->bind_method<0>(type, "close", [](VM* vm, pkpy::Args& args){
  542. FileIO& io = vm->py_cast<FileIO>(args[0]);
  543. io._fs.close();
  544. return vm->None;
  545. });
  546. vm->bind_method<0>(type, "__exit__", [](VM* vm, pkpy::Args& args){
  547. FileIO& io = vm->py_cast<FileIO>(args[0]);
  548. io._fs.close();
  549. return vm->None;
  550. });
  551. vm->bind_method<0>(type, "__enter__", CPP_LAMBDA(vm->None));
  552. }
  553. };
  554. void add_module_io(VM* vm){
  555. PyVar mod = vm->new_module("io");
  556. PyVar type = vm->register_class<FileIO>(mod);
  557. vm->bind_builtin_func<2>("open", [type](VM* vm, const pkpy::Args& args){
  558. return vm->call(type, args);
  559. });
  560. }
  561. void add_module_os(VM* vm){}
  562. struct ReMatch {
  563. PY_CLASS(re, Match)
  564. i64 start;
  565. i64 end;
  566. std::smatch m;
  567. ReMatch(i64 start, i64 end, std::smatch m) : start(start), end(end), m(m) {}
  568. static void _register(VM* vm, PyVar mod, PyVar type){
  569. vm->bind_method<-1>(type, "__init__", CPP_NOT_IMPLEMENTED());
  570. vm->bind_method<0>(type, "start", CPP_LAMBDA(vm->PyInt(vm->py_cast<ReMatch>(args[0]).start)));
  571. vm->bind_method<0>(type, "end", CPP_LAMBDA(vm->PyInt(vm->py_cast<ReMatch>(args[0]).end)));
  572. vm->bind_method<0>(type, "span", [](VM* vm, pkpy::Args& args) {
  573. auto& self = vm->py_cast<ReMatch>(args[0]);
  574. return vm->PyTuple({ vm->PyInt(self.start), vm->PyInt(self.end) });
  575. });
  576. vm->bind_method<1>(type, "group", [](VM* vm, pkpy::Args& args) {
  577. auto& self = vm->py_cast<ReMatch>(args[0]);
  578. int index = (int)vm->PyInt_AS_C(args[1]);
  579. index = vm->normalized_index(index, self.m.size());
  580. return vm->PyStr(self.m[index].str());
  581. });
  582. }
  583. };
  584. PyVar _regex_search(const Str& pattern, const Str& string, bool fromStart, VM* vm){
  585. std::regex re(pattern);
  586. std::smatch m;
  587. if(std::regex_search(string, m, re)){
  588. if(fromStart && m.position() != 0) return vm->None;
  589. i64 start = string._to_u8_index(m.position());
  590. i64 end = string._to_u8_index(m.position() + m.length());
  591. return vm->new_object<ReMatch>(start, end, m);
  592. }
  593. return vm->None;
  594. };
  595. void add_module_re(VM* vm){
  596. PyVar mod = vm->new_module("re");
  597. vm->register_class<ReMatch>(mod);
  598. vm->bind_func<2>(mod, "match", [](VM* vm, pkpy::Args& args) {
  599. const Str& pattern = vm->PyStr_AS_C(args[0]);
  600. const Str& string = vm->PyStr_AS_C(args[1]);
  601. return _regex_search(pattern, string, true, vm);
  602. });
  603. vm->bind_func<2>(mod, "search", [](VM* vm, pkpy::Args& args) {
  604. const Str& pattern = vm->PyStr_AS_C(args[0]);
  605. const Str& string = vm->PyStr_AS_C(args[1]);
  606. return _regex_search(pattern, string, false, vm);
  607. });
  608. vm->bind_func<3>(mod, "sub", [](VM* vm, pkpy::Args& args) {
  609. const Str& pattern = vm->PyStr_AS_C(args[0]);
  610. const Str& repl = vm->PyStr_AS_C(args[1]);
  611. const Str& string = vm->PyStr_AS_C(args[2]);
  612. std::regex re(pattern);
  613. return vm->PyStr(std::regex_replace(string, re, repl));
  614. });
  615. vm->bind_func<2>(mod, "split", [](VM* vm, pkpy::Args& args) {
  616. const Str& pattern = vm->PyStr_AS_C(args[0]);
  617. const Str& string = vm->PyStr_AS_C(args[1]);
  618. std::regex re(pattern);
  619. std::sregex_token_iterator it(string.begin(), string.end(), re, -1);
  620. std::sregex_token_iterator end;
  621. pkpy::List vec;
  622. for(; it != end; ++it){
  623. vec.push_back(vm->PyStr(it->str()));
  624. }
  625. return vm->PyList(vec);
  626. });
  627. }
  628. void add_module_random(VM* vm){
  629. PyVar mod = vm->new_module("random");
  630. std::srand(std::time(0));
  631. vm->bind_func<1>(mod, "seed", [](VM* vm, pkpy::Args& args) {
  632. std::srand((unsigned int)vm->PyInt_AS_C(args[0]));
  633. return vm->None;
  634. });
  635. vm->bind_func<0>(mod, "random", CPP_LAMBDA(vm->PyFloat((f64)std::rand() / RAND_MAX)));
  636. vm->bind_func<2>(mod, "randint", [](VM* vm, pkpy::Args& args) {
  637. i64 a = vm->PyInt_AS_C(args[0]);
  638. i64 b = vm->PyInt_AS_C(args[1]);
  639. if(a > b) std::swap(a, b);
  640. return vm->PyInt(a + std::rand() % (b - a + 1));
  641. });
  642. vm->bind_func<2>(mod, "uniform", [](VM* vm, pkpy::Args& args) {
  643. f64 a = vm->PyFloat_AS_C(args[0]);
  644. f64 b = vm->PyFloat_AS_C(args[1]);
  645. if(a > b) std::swap(a, b);
  646. return vm->PyFloat(a + (b - a) * std::rand() / RAND_MAX);
  647. });
  648. CodeObject_ code = vm->compile(kRandomCode, "random.py", EXEC_MODE);
  649. vm->_exec(code, mod, pkpy::make_shared<pkpy::NameDict>());
  650. }
  651. class _PkExported{
  652. public:
  653. virtual ~_PkExported() = default;
  654. virtual void* get() = 0;
  655. };
  656. static std::vector<_PkExported*> _pk_lookup_table;
  657. template<typename T>
  658. class PkExported : public _PkExported{
  659. T* _ptr;
  660. public:
  661. template<typename... Args>
  662. PkExported(Args&&... args) {
  663. _ptr = new T(std::forward<Args>(args)...);
  664. _pk_lookup_table.push_back(this);
  665. }
  666. ~PkExported() override { delete _ptr; }
  667. void* get() override { return _ptr; }
  668. operator T*() { return _ptr; }
  669. };
  670. #define PKPY_ALLOCATE(T, ...) *(new PkExported<T>(__VA_ARGS__))
  671. extern "C" {
  672. __EXPORT
  673. /// Delete a pointer allocated by `pkpy_xxx_xxx`.
  674. /// It can be `VM*`, `REPL*`, `char*`, etc.
  675. ///
  676. /// !!!
  677. /// If the pointer is not allocated by `pkpy_xxx_xxx`, the behavior is undefined.
  678. /// !!!
  679. void pkpy_delete(void* p){
  680. for(int i = 0; i < _pk_lookup_table.size(); i++){
  681. if(_pk_lookup_table[i]->get() == p){
  682. delete _pk_lookup_table[i];
  683. _pk_lookup_table.erase(_pk_lookup_table.begin() + i);
  684. return;
  685. }
  686. }
  687. free(p);
  688. }
  689. __EXPORT
  690. /// Run a given source on a virtual machine.
  691. void pkpy_vm_exec(VM* vm, const char* source){
  692. vm->exec(source, "main.py", EXEC_MODE);
  693. }
  694. __EXPORT
  695. /// Get a global variable of a virtual machine.
  696. ///
  697. /// Return `__repr__` of the result.
  698. /// If the variable is not found, return `nullptr`.
  699. char* pkpy_vm_get_global(VM* vm, const char* name){
  700. auto it = vm->_main->attr().find(name);
  701. if(it == vm->_main->attr().end()) return nullptr;
  702. try{
  703. Str _repr = vm->PyStr_AS_C(vm->asRepr(it->second));
  704. return strdup(_repr.c_str());
  705. }catch(...){
  706. return nullptr;
  707. }
  708. }
  709. __EXPORT
  710. /// Evaluate an expression.
  711. ///
  712. /// Return `__repr__` of the result.
  713. /// If there is any error, return `nullptr`.
  714. char* pkpy_vm_eval(VM* vm, const char* source){
  715. PyVarOrNull ret = vm->exec(source, "<eval>", EVAL_MODE);
  716. if(ret == nullptr) return nullptr;
  717. try{
  718. Str _repr = vm->PyStr_AS_C(vm->asRepr(ret));
  719. return strdup(_repr.c_str());
  720. }catch(...){
  721. return nullptr;
  722. }
  723. }
  724. __EXPORT
  725. /// Create a REPL, using the given virtual machine as the backend.
  726. REPL* pkpy_new_repl(VM* vm){
  727. return PKPY_ALLOCATE(REPL, vm);
  728. }
  729. __EXPORT
  730. /// Input a source line to an interactive console. Return true if need more lines.
  731. bool pkpy_repl_input(REPL* r, const char* line){
  732. return r->input(line);
  733. }
  734. __EXPORT
  735. /// Add a source module into a virtual machine.
  736. void pkpy_vm_add_module(VM* vm, const char* name, const char* source){
  737. vm->_lazy_modules[name] = source;
  738. }
  739. __EXPORT
  740. /// Create a virtual machine.
  741. VM* pkpy_new_vm(bool use_stdio){
  742. VM* vm = PKPY_ALLOCATE(VM, use_stdio);
  743. init_builtins(vm);
  744. add_module_sys(vm);
  745. add_module_time(vm);
  746. add_module_json(vm);
  747. add_module_math(vm);
  748. add_module_re(vm);
  749. add_module_dis(vm);
  750. add_module_random(vm);
  751. add_module_io(vm);
  752. add_module_os(vm);
  753. CodeObject_ code = vm->compile(kBuiltinsCode, "<builtins>", EXEC_MODE);
  754. vm->_exec(code, vm->builtins, pkpy::make_shared<pkpy::NameDict>());
  755. return vm;
  756. }
  757. __EXPORT
  758. /// Read the standard output and standard error as string of a virtual machine.
  759. /// The `vm->use_stdio` should be `false`.
  760. /// After this operation, both stream will be cleared.
  761. ///
  762. /// Return a json representing the result.
  763. char* pkpy_vm_read_output(VM* vm){
  764. if(vm->use_stdio) return nullptr;
  765. StrStream* s_out = (StrStream*)(vm->_stdout);
  766. StrStream* s_err = (StrStream*)(vm->_stderr);
  767. Str _stdout = s_out->str();
  768. Str _stderr = s_err->str();
  769. StrStream ss;
  770. ss << '{' << "\"stdout\": " << _stdout.escape(false);
  771. ss << ", " << "\"stderr\": " << _stderr.escape(false) << '}';
  772. s_out->str(""); s_err->str("");
  773. return strdup(ss.str().c_str());
  774. }
  775. typedef i64 (*f_int_t)(char*);
  776. typedef f64 (*f_float_t)(char*);
  777. typedef bool (*f_bool_t)(char*);
  778. typedef char* (*f_str_t)(char*);
  779. typedef void (*f_None_t)(char*);
  780. static f_int_t f_int = nullptr;
  781. static f_float_t f_float = nullptr;
  782. static f_bool_t f_bool = nullptr;
  783. static f_str_t f_str = nullptr;
  784. static f_None_t f_None = nullptr;
  785. __EXPORT
  786. /// Setup the callback functions.
  787. void pkpy_setup_callbacks(f_int_t f_int, f_float_t f_float, f_bool_t f_bool, f_str_t f_str, f_None_t f_None){
  788. ::f_int = f_int;
  789. ::f_float = f_float;
  790. ::f_bool = f_bool;
  791. ::f_str = f_str;
  792. ::f_None = f_None;
  793. }
  794. __EXPORT
  795. /// Bind a function to a virtual machine.
  796. char* pkpy_vm_bind(VM* vm, const char* mod, const char* name, int ret_code){
  797. if(!f_int || !f_float || !f_bool || !f_str || !f_None) return nullptr;
  798. static int kGlobalBindId = 0;
  799. for(int i=0; mod[i]; i++) if(mod[i] == ' ') return nullptr;
  800. for(int i=0; name[i]; i++) if(name[i] == ' ') return nullptr;
  801. std::string f_header = std::string(mod) + '.' + name + '#' + std::to_string(kGlobalBindId++);
  802. PyVar obj = vm->_modules.contains(mod) ? vm->_modules[mod] : vm->new_module(mod);
  803. vm->bind_func<-1>(obj, name, [ret_code, f_header](VM* vm, const pkpy::Args& args){
  804. StrStream ss;
  805. ss << f_header;
  806. for(int i=0; i<args.size(); i++){
  807. ss << ' ';
  808. PyVar x = vm->call(args[i], __json__);
  809. ss << vm->PyStr_AS_C(x);
  810. }
  811. char* packet = strdup(ss.str().c_str());
  812. switch(ret_code){
  813. case 'i': return vm->PyInt(f_int(packet));
  814. case 'f': return vm->PyFloat(f_float(packet));
  815. case 'b': return vm->PyBool(f_bool(packet));
  816. case 's': {
  817. char* p = f_str(packet);
  818. if(p == nullptr) return vm->None;
  819. return vm->PyStr(p); // no need to free(p)
  820. }
  821. case 'N': f_None(packet); return vm->None;
  822. }
  823. free(packet);
  824. UNREACHABLE();
  825. return vm->None;
  826. });
  827. return strdup(f_header.c_str());
  828. }
  829. }