lauxlib.c 32 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106
  1. /*
  2. ** $Id: lauxlib.c $
  3. ** Auxiliary functions for building Lua libraries
  4. ** See Copyright Notice in lua.h
  5. */
  6. #define lauxlib_c
  7. #define LUA_LIB
  8. #include "lprefix.h"
  9. #include <errno.h>
  10. #include <stdarg.h>
  11. #include <stdio.h>
  12. #include <stdlib.h>
  13. #include <string.h>
  14. /*
  15. ** This file uses only the official API of Lua.
  16. ** Any function declared here could be written as an application function.
  17. */
  18. #include "lua.h"
  19. #include "lauxlib.h"
  20. #if !defined(MAX_SIZET)
  21. /* maximum value for size_t */
  22. #define MAX_SIZET ((size_t)(~(size_t)0))
  23. #endif
  24. /*
  25. ** {======================================================
  26. ** Traceback
  27. ** =======================================================
  28. */
  29. #define LEVELS1 10 /* size of the first part of the stack */
  30. #define LEVELS2 11 /* size of the second part of the stack */
  31. /*
  32. ** Search for 'objidx' in table at index -1. ('objidx' must be an
  33. ** absolute index.) Return 1 + string at top if it found a good name.
  34. */
  35. static int findfield (lua_State *L, int objidx, int level) {
  36. if (level == 0 || !lua_istable(L, -1))
  37. return 0; /* not found */
  38. lua_pushnil(L); /* start 'next' loop */
  39. while (lua_next(L, -2)) { /* for each pair in table */
  40. if (lua_type(L, -2) == LUA_TSTRING) { /* ignore non-string keys */
  41. if (lua_rawequal(L, objidx, -1)) { /* found object? */
  42. lua_pop(L, 1); /* remove value (but keep name) */
  43. return 1;
  44. }
  45. else if (findfield(L, objidx, level - 1)) { /* try recursively */
  46. /* stack: lib_name, lib_table, field_name (top) */
  47. lua_pushliteral(L, "."); /* place '.' between the two names */
  48. lua_replace(L, -3); /* (in the slot occupied by table) */
  49. lua_concat(L, 3); /* lib_name.field_name */
  50. return 1;
  51. }
  52. }
  53. lua_pop(L, 1); /* remove value */
  54. }
  55. return 0; /* not found */
  56. }
  57. /*
  58. ** Search for a name for a function in all loaded modules
  59. */
  60. static int pushglobalfuncname (lua_State *L, lua_Debug *ar) {
  61. int top = lua_gettop(L);
  62. lua_getinfo(L, "f", ar); /* push function */
  63. lua_getfield(L, LUA_REGISTRYINDEX, LUA_LOADED_TABLE);
  64. if (findfield(L, top + 1, 2)) {
  65. const char *name = lua_tostring(L, -1);
  66. if (strncmp(name, LUA_GNAME ".", 3) == 0) { /* name start with '_G.'? */
  67. lua_pushstring(L, name + 3); /* push name without prefix */
  68. lua_remove(L, -2); /* remove original name */
  69. }
  70. lua_copy(L, -1, top + 1); /* copy name to proper place */
  71. lua_settop(L, top + 1); /* remove table "loaded" and name copy */
  72. return 1;
  73. }
  74. else {
  75. lua_settop(L, top); /* remove function and global table */
  76. return 0;
  77. }
  78. }
  79. static void pushfuncname (lua_State *L, lua_Debug *ar) {
  80. if (pushglobalfuncname(L, ar)) { /* try first a global name */
  81. lua_pushfstring(L, "function '%s'", lua_tostring(L, -1));
  82. lua_remove(L, -2); /* remove name */
  83. }
  84. else if (*ar->namewhat != '\0') /* is there a name from code? */
  85. lua_pushfstring(L, "%s '%s'", ar->namewhat, ar->name); /* use it */
  86. else if (*ar->what == 'm') /* main? */
  87. lua_pushliteral(L, "main chunk");
  88. else if (*ar->what != 'C') /* for Lua functions, use <file:line> */
  89. lua_pushfstring(L, "function <%s:%d>", ar->short_src, ar->linedefined);
  90. else /* nothing left... */
  91. lua_pushliteral(L, "?");
  92. }
  93. static int lastlevel (lua_State *L) {
  94. lua_Debug ar;
  95. int li = 1, le = 1;
  96. /* find an upper bound */
  97. while (lua_getstack(L, le, &ar)) { li = le; le *= 2; }
  98. /* do a binary search */
  99. while (li < le) {
  100. int m = (li + le)/2;
  101. if (lua_getstack(L, m, &ar)) li = m + 1;
  102. else le = m;
  103. }
  104. return le - 1;
  105. }
  106. LUALIB_API void luaL_traceback (lua_State *L, lua_State *L1,
  107. const char *msg, int level) {
  108. luaL_Buffer b;
  109. lua_Debug ar;
  110. int last = lastlevel(L1);
  111. int limit2show = (last - level > LEVELS1 + LEVELS2) ? LEVELS1 : -1;
  112. luaL_buffinit(L, &b);
  113. if (msg) {
  114. luaL_addstring(&b, msg);
  115. luaL_addchar(&b, '\n');
  116. }
  117. luaL_addstring(&b, "stack traceback:");
  118. while (lua_getstack(L1, level++, &ar)) {
  119. if (limit2show-- == 0) { /* too many levels? */
  120. int n = last - level - LEVELS2 + 1; /* number of levels to skip */
  121. lua_pushfstring(L, "\n\t...\t(skipping %d levels)", n);
  122. luaL_addvalue(&b); /* add warning about skip */
  123. level += n; /* and skip to last levels */
  124. }
  125. else {
  126. lua_getinfo(L1, "Slnt", &ar);
  127. if (ar.currentline <= 0)
  128. lua_pushfstring(L, "\n\t%s: in ", ar.short_src);
  129. else
  130. lua_pushfstring(L, "\n\t%s:%d: in ", ar.short_src, ar.currentline);
  131. luaL_addvalue(&b);
  132. pushfuncname(L, &ar);
  133. luaL_addvalue(&b);
  134. if (ar.istailcall)
  135. luaL_addstring(&b, "\n\t(...tail calls...)");
  136. }
  137. }
  138. luaL_pushresult(&b);
  139. }
  140. /* }====================================================== */
  141. /*
  142. ** {======================================================
  143. ** Error-report functions
  144. ** =======================================================
  145. */
  146. LUALIB_API int luaL_argerror (lua_State *L, int arg, const char *extramsg) {
  147. lua_Debug ar;
  148. if (!lua_getstack(L, 0, &ar)) /* no stack frame? */
  149. return luaL_error(L, "bad argument #%d (%s)", arg, extramsg);
  150. lua_getinfo(L, "n", &ar);
  151. if (strcmp(ar.namewhat, "method") == 0) {
  152. arg--; /* do not count 'self' */
  153. if (arg == 0) /* error is in the self argument itself? */
  154. return luaL_error(L, "calling '%s' on bad self (%s)",
  155. ar.name, extramsg);
  156. }
  157. if (ar.name == NULL)
  158. ar.name = (pushglobalfuncname(L, &ar)) ? lua_tostring(L, -1) : "?";
  159. return luaL_error(L, "bad argument #%d to '%s' (%s)",
  160. arg, ar.name, extramsg);
  161. }
  162. LUALIB_API int luaL_typeerror (lua_State *L, int arg, const char *tname) {
  163. const char *msg;
  164. const char *typearg; /* name for the type of the actual argument */
  165. if (luaL_getmetafield(L, arg, "__name") == LUA_TSTRING)
  166. typearg = lua_tostring(L, -1); /* use the given type name */
  167. else if (lua_type(L, arg) == LUA_TLIGHTUSERDATA)
  168. typearg = "light userdata"; /* special name for messages */
  169. else
  170. typearg = luaL_typename(L, arg); /* standard name */
  171. msg = lua_pushfstring(L, "%s expected, got %s", tname, typearg);
  172. return luaL_argerror(L, arg, msg);
  173. }
  174. static void tag_error (lua_State *L, int arg, int tag) {
  175. luaL_typeerror(L, arg, lua_typename(L, tag));
  176. }
  177. /*
  178. ** The use of 'lua_pushfstring' ensures this function does not
  179. ** need reserved stack space when called.
  180. */
  181. LUALIB_API void luaL_where (lua_State *L, int level) {
  182. lua_Debug ar;
  183. if (lua_getstack(L, level, &ar)) { /* check function at level */
  184. lua_getinfo(L, "Sl", &ar); /* get info about it */
  185. if (ar.currentline > 0) { /* is there info? */
  186. lua_pushfstring(L, "%s:%d: ", ar.short_src, ar.currentline);
  187. return;
  188. }
  189. }
  190. lua_pushfstring(L, ""); /* else, no information available... */
  191. }
  192. /*
  193. ** Again, the use of 'lua_pushvfstring' ensures this function does
  194. ** not need reserved stack space when called. (At worst, it generates
  195. ** an error with "stack overflow" instead of the given message.)
  196. */
  197. LUALIB_API int luaL_error (lua_State *L, const char *fmt, ...) {
  198. va_list argp;
  199. va_start(argp, fmt);
  200. luaL_where(L, 1);
  201. lua_pushvfstring(L, fmt, argp);
  202. va_end(argp);
  203. lua_concat(L, 2);
  204. return lua_error(L);
  205. }
  206. LUALIB_API int luaL_fileresult (lua_State *L, int stat, const char *fname) {
  207. int en = errno; /* calls to Lua API may change this value */
  208. if (stat) {
  209. lua_pushboolean(L, 1);
  210. return 1;
  211. }
  212. else {
  213. luaL_pushfail(L);
  214. if (fname)
  215. lua_pushfstring(L, "%s: %s", fname, strerror(en));
  216. else
  217. lua_pushstring(L, strerror(en));
  218. lua_pushinteger(L, en);
  219. return 3;
  220. }
  221. }
  222. #if !defined(l_inspectstat) /* { */
  223. #if defined(LUA_USE_POSIX)
  224. #include <sys/wait.h>
  225. /*
  226. ** use appropriate macros to interpret 'pclose' return status
  227. */
  228. #define l_inspectstat(stat,what) \
  229. if (WIFEXITED(stat)) { stat = WEXITSTATUS(stat); } \
  230. else if (WIFSIGNALED(stat)) { stat = WTERMSIG(stat); what = "signal"; }
  231. #else
  232. #define l_inspectstat(stat,what) /* no op */
  233. #endif
  234. #endif /* } */
  235. LUALIB_API int luaL_execresult (lua_State *L, int stat) {
  236. if (stat != 0 && errno != 0) /* error with an 'errno'? */
  237. return luaL_fileresult(L, 0, NULL);
  238. else {
  239. const char *what = "exit"; /* type of termination */
  240. l_inspectstat(stat, what); /* interpret result */
  241. if (*what == 'e' && stat == 0) /* successful termination? */
  242. lua_pushboolean(L, 1);
  243. else
  244. luaL_pushfail(L);
  245. lua_pushstring(L, what);
  246. lua_pushinteger(L, stat);
  247. return 3; /* return true/fail,what,code */
  248. }
  249. }
  250. /* }====================================================== */
  251. /*
  252. ** {======================================================
  253. ** Userdata's metatable manipulation
  254. ** =======================================================
  255. */
  256. LUALIB_API int luaL_newmetatable (lua_State *L, const char *tname) {
  257. if (luaL_getmetatable(L, tname) != LUA_TNIL) /* name already in use? */
  258. return 0; /* leave previous value on top, but return 0 */
  259. lua_pop(L, 1);
  260. lua_createtable(L, 0, 2); /* create metatable */
  261. lua_pushstring(L, tname);
  262. lua_setfield(L, -2, "__name"); /* metatable.__name = tname */
  263. lua_pushvalue(L, -1);
  264. lua_setfield(L, LUA_REGISTRYINDEX, tname); /* registry.name = metatable */
  265. return 1;
  266. }
  267. LUALIB_API void luaL_setmetatable (lua_State *L, const char *tname) {
  268. luaL_getmetatable(L, tname);
  269. lua_setmetatable(L, -2);
  270. }
  271. LUALIB_API void *luaL_testudata (lua_State *L, int ud, const char *tname) {
  272. void *p = lua_touserdata(L, ud);
  273. if (p != NULL) { /* value is a userdata? */
  274. if (lua_getmetatable(L, ud)) { /* does it have a metatable? */
  275. luaL_getmetatable(L, tname); /* get correct metatable */
  276. if (!lua_rawequal(L, -1, -2)) /* not the same? */
  277. p = NULL; /* value is a userdata with wrong metatable */
  278. lua_pop(L, 2); /* remove both metatables */
  279. return p;
  280. }
  281. }
  282. return NULL; /* value is not a userdata with a metatable */
  283. }
  284. LUALIB_API void *luaL_checkudata (lua_State *L, int ud, const char *tname) {
  285. void *p = luaL_testudata(L, ud, tname);
  286. luaL_argexpected(L, p != NULL, ud, tname);
  287. return p;
  288. }
  289. /* }====================================================== */
  290. /*
  291. ** {======================================================
  292. ** Argument check functions
  293. ** =======================================================
  294. */
  295. LUALIB_API int luaL_checkoption (lua_State *L, int arg, const char *def,
  296. const char *const lst[]) {
  297. const char *name = (def) ? luaL_optstring(L, arg, def) :
  298. luaL_checkstring(L, arg);
  299. int i;
  300. for (i=0; lst[i]; i++)
  301. if (strcmp(lst[i], name) == 0)
  302. return i;
  303. return luaL_argerror(L, arg,
  304. lua_pushfstring(L, "invalid option '%s'", name));
  305. }
  306. /*
  307. ** Ensures the stack has at least 'space' extra slots, raising an error
  308. ** if it cannot fulfill the request. (The error handling needs a few
  309. ** extra slots to format the error message. In case of an error without
  310. ** this extra space, Lua will generate the same 'stack overflow' error,
  311. ** but without 'msg'.)
  312. */
  313. LUALIB_API void luaL_checkstack (lua_State *L, int space, const char *msg) {
  314. if (l_unlikely(!lua_checkstack(L, space))) {
  315. if (msg)
  316. luaL_error(L, "stack overflow (%s)", msg);
  317. else
  318. luaL_error(L, "stack overflow");
  319. }
  320. }
  321. LUALIB_API void luaL_checktype (lua_State *L, int arg, int t) {
  322. if (l_unlikely(lua_type(L, arg) != t))
  323. tag_error(L, arg, t);
  324. }
  325. LUALIB_API void luaL_checkany (lua_State *L, int arg) {
  326. if (l_unlikely(lua_type(L, arg) == LUA_TNONE))
  327. luaL_argerror(L, arg, "value expected");
  328. }
  329. LUALIB_API const char *luaL_checklstring (lua_State *L, int arg, size_t *len) {
  330. const char *s = lua_tolstring(L, arg, len);
  331. if (l_unlikely(!s)) tag_error(L, arg, LUA_TSTRING);
  332. return s;
  333. }
  334. LUALIB_API const char *luaL_optlstring (lua_State *L, int arg,
  335. const char *def, size_t *len) {
  336. if (lua_isnoneornil(L, arg)) {
  337. if (len)
  338. *len = (def ? strlen(def) : 0);
  339. return def;
  340. }
  341. else return luaL_checklstring(L, arg, len);
  342. }
  343. LUALIB_API lua_Number luaL_checknumber (lua_State *L, int arg) {
  344. int isnum;
  345. lua_Number d = lua_tonumberx(L, arg, &isnum);
  346. if (l_unlikely(!isnum))
  347. tag_error(L, arg, LUA_TNUMBER);
  348. return d;
  349. }
  350. LUALIB_API lua_Number luaL_optnumber (lua_State *L, int arg, lua_Number def) {
  351. return luaL_opt(L, luaL_checknumber, arg, def);
  352. }
  353. static void interror (lua_State *L, int arg) {
  354. if (lua_isnumber(L, arg))
  355. luaL_argerror(L, arg, "number has no integer representation");
  356. else
  357. tag_error(L, arg, LUA_TNUMBER);
  358. }
  359. LUALIB_API lua_Integer luaL_checkinteger (lua_State *L, int arg) {
  360. int isnum;
  361. lua_Integer d = lua_tointegerx(L, arg, &isnum);
  362. if (l_unlikely(!isnum)) {
  363. interror(L, arg);
  364. }
  365. return d;
  366. }
  367. LUALIB_API lua_Integer luaL_optinteger (lua_State *L, int arg,
  368. lua_Integer def) {
  369. return luaL_opt(L, luaL_checkinteger, arg, def);
  370. }
  371. /* }====================================================== */
  372. /*
  373. ** {======================================================
  374. ** Generic Buffer manipulation
  375. ** =======================================================
  376. */
  377. /* userdata to box arbitrary data */
  378. typedef struct UBox {
  379. void *box;
  380. size_t bsize;
  381. } UBox;
  382. static void *resizebox (lua_State *L, int idx, size_t newsize) {
  383. void *ud;
  384. lua_Alloc allocf = lua_getallocf(L, &ud);
  385. UBox *box = (UBox *)lua_touserdata(L, idx);
  386. void *temp = allocf(ud, box->box, box->bsize, newsize);
  387. if (l_unlikely(temp == NULL && newsize > 0)) { /* allocation error? */
  388. lua_pushliteral(L, "not enough memory");
  389. lua_error(L); /* raise a memory error */
  390. }
  391. box->box = temp;
  392. box->bsize = newsize;
  393. return temp;
  394. }
  395. static int boxgc (lua_State *L) {
  396. resizebox(L, 1, 0);
  397. return 0;
  398. }
  399. static const luaL_Reg boxmt[] = { /* box metamethods */
  400. {"__gc", boxgc},
  401. {"__close", boxgc},
  402. {NULL, NULL}
  403. };
  404. static void newbox (lua_State *L) {
  405. UBox *box = (UBox *)lua_newuserdatauv(L, sizeof(UBox), 0);
  406. box->box = NULL;
  407. box->bsize = 0;
  408. if (luaL_newmetatable(L, "_UBOX*")) /* creating metatable? */
  409. luaL_setfuncs(L, boxmt, 0); /* set its metamethods */
  410. lua_setmetatable(L, -2);
  411. }
  412. /*
  413. ** check whether buffer is using a userdata on the stack as a temporary
  414. ** buffer
  415. */
  416. #define buffonstack(B) ((B)->b != (B)->init.b)
  417. /*
  418. ** Whenever buffer is accessed, slot 'idx' must either be a box (which
  419. ** cannot be NULL) or it is a placeholder for the buffer.
  420. */
  421. #define checkbufferlevel(B,idx) \
  422. lua_assert(buffonstack(B) ? lua_touserdata(B->L, idx) != NULL \
  423. : lua_touserdata(B->L, idx) == (void*)B)
  424. /*
  425. ** Compute new size for buffer 'B', enough to accommodate extra 'sz'
  426. ** bytes.
  427. */
  428. static size_t newbuffsize (luaL_Buffer *B, size_t sz) {
  429. size_t newsize = B->size * 2; /* double buffer size */
  430. if (l_unlikely(MAX_SIZET - sz < B->n)) /* overflow in (B->n + sz)? */
  431. return luaL_error(B->L, "buffer too large");
  432. if (newsize < B->n + sz) /* double is not big enough? */
  433. newsize = B->n + sz;
  434. return newsize;
  435. }
  436. /*
  437. ** Returns a pointer to a free area with at least 'sz' bytes in buffer
  438. ** 'B'. 'boxidx' is the relative position in the stack where is the
  439. ** buffer's box or its placeholder.
  440. */
  441. static char *prepbuffsize (luaL_Buffer *B, size_t sz, int boxidx) {
  442. checkbufferlevel(B, boxidx);
  443. if (B->size - B->n >= sz) /* enough space? */
  444. return B->b + B->n;
  445. else {
  446. lua_State *L = B->L;
  447. char *newbuff;
  448. size_t newsize = newbuffsize(B, sz);
  449. /* create larger buffer */
  450. if (buffonstack(B)) /* buffer already has a box? */
  451. newbuff = (char *)resizebox(L, boxidx, newsize); /* resize it */
  452. else { /* no box yet */
  453. lua_remove(L, boxidx); /* remove placeholder */
  454. newbox(L); /* create a new box */
  455. lua_insert(L, boxidx); /* move box to its intended position */
  456. lua_toclose(L, boxidx);
  457. newbuff = (char *)resizebox(L, boxidx, newsize);
  458. memcpy(newbuff, B->b, B->n * sizeof(char)); /* copy original content */
  459. }
  460. B->b = newbuff;
  461. B->size = newsize;
  462. return newbuff + B->n;
  463. }
  464. }
  465. /*
  466. ** returns a pointer to a free area with at least 'sz' bytes
  467. */
  468. LUALIB_API char *luaL_prepbuffsize (luaL_Buffer *B, size_t sz) {
  469. return prepbuffsize(B, sz, -1);
  470. }
  471. LUALIB_API void luaL_addlstring (luaL_Buffer *B, const char *s, size_t l) {
  472. if (l > 0) { /* avoid 'memcpy' when 's' can be NULL */
  473. char *b = prepbuffsize(B, l, -1);
  474. memcpy(b, s, l * sizeof(char));
  475. luaL_addsize(B, l);
  476. }
  477. }
  478. LUALIB_API void luaL_addstring (luaL_Buffer *B, const char *s) {
  479. luaL_addlstring(B, s, strlen(s));
  480. }
  481. LUALIB_API void luaL_pushresult (luaL_Buffer *B) {
  482. lua_State *L = B->L;
  483. checkbufferlevel(B, -1);
  484. lua_pushlstring(L, B->b, B->n);
  485. if (buffonstack(B))
  486. lua_closeslot(L, -2); /* close the box */
  487. lua_remove(L, -2); /* remove box or placeholder from the stack */
  488. }
  489. LUALIB_API void luaL_pushresultsize (luaL_Buffer *B, size_t sz) {
  490. luaL_addsize(B, sz);
  491. luaL_pushresult(B);
  492. }
  493. /*
  494. ** 'luaL_addvalue' is the only function in the Buffer system where the
  495. ** box (if existent) is not on the top of the stack. So, instead of
  496. ** calling 'luaL_addlstring', it replicates the code using -2 as the
  497. ** last argument to 'prepbuffsize', signaling that the box is (or will
  498. ** be) bellow the string being added to the buffer. (Box creation can
  499. ** trigger an emergency GC, so we should not remove the string from the
  500. ** stack before we have the space guaranteed.)
  501. */
  502. LUALIB_API void luaL_addvalue (luaL_Buffer *B) {
  503. lua_State *L = B->L;
  504. size_t len;
  505. const char *s = lua_tolstring(L, -1, &len);
  506. char *b = prepbuffsize(B, len, -2);
  507. memcpy(b, s, len * sizeof(char));
  508. luaL_addsize(B, len);
  509. lua_pop(L, 1); /* pop string */
  510. }
  511. LUALIB_API void luaL_buffinit (lua_State *L, luaL_Buffer *B) {
  512. B->L = L;
  513. B->b = B->init.b;
  514. B->n = 0;
  515. B->size = LUAL_BUFFERSIZE;
  516. lua_pushlightuserdata(L, (void*)B); /* push placeholder */
  517. }
  518. LUALIB_API char *luaL_buffinitsize (lua_State *L, luaL_Buffer *B, size_t sz) {
  519. luaL_buffinit(L, B);
  520. return prepbuffsize(B, sz, -1);
  521. }
  522. /* }====================================================== */
  523. /*
  524. ** {======================================================
  525. ** Reference system
  526. ** =======================================================
  527. */
  528. /* index of free-list header (after the predefined values) */
  529. #define freelist (LUA_RIDX_LAST + 1)
  530. /*
  531. ** The previously freed references form a linked list:
  532. ** t[freelist] is the index of a first free index, or zero if list is
  533. ** empty; t[t[freelist]] is the index of the second element; etc.
  534. */
  535. LUALIB_API int luaL_ref (lua_State *L, int t) {
  536. int ref;
  537. if (lua_isnil(L, -1)) {
  538. lua_pop(L, 1); /* remove from stack */
  539. return LUA_REFNIL; /* 'nil' has a unique fixed reference */
  540. }
  541. t = lua_absindex(L, t);
  542. if (lua_rawgeti(L, t, freelist) == LUA_TNIL) { /* first access? */
  543. ref = 0; /* list is empty */
  544. lua_pushinteger(L, 0); /* initialize as an empty list */
  545. lua_rawseti(L, t, freelist); /* ref = t[freelist] = 0 */
  546. }
  547. else { /* already initialized */
  548. lua_assert(lua_isinteger(L, -1));
  549. ref = (int)lua_tointeger(L, -1); /* ref = t[freelist] */
  550. }
  551. lua_pop(L, 1); /* remove element from stack */
  552. if (ref != 0) { /* any free element? */
  553. lua_rawgeti(L, t, ref); /* remove it from list */
  554. lua_rawseti(L, t, freelist); /* (t[freelist] = t[ref]) */
  555. }
  556. else /* no free elements */
  557. ref = (int)lua_rawlen(L, t) + 1; /* get a new reference */
  558. lua_rawseti(L, t, ref);
  559. return ref;
  560. }
  561. LUALIB_API void luaL_unref (lua_State *L, int t, int ref) {
  562. if (ref >= 0) {
  563. t = lua_absindex(L, t);
  564. lua_rawgeti(L, t, freelist);
  565. lua_assert(lua_isinteger(L, -1));
  566. lua_rawseti(L, t, ref); /* t[ref] = t[freelist] */
  567. lua_pushinteger(L, ref);
  568. lua_rawseti(L, t, freelist); /* t[freelist] = ref */
  569. }
  570. }
  571. /* }====================================================== */
  572. /*
  573. ** {======================================================
  574. ** Load functions
  575. ** =======================================================
  576. */
  577. typedef struct LoadF {
  578. int n; /* number of pre-read characters */
  579. FILE *f; /* file being read */
  580. char buff[BUFSIZ]; /* area for reading file */
  581. } LoadF;
  582. static const char *getF (lua_State *L, void *ud, size_t *size) {
  583. LoadF *lf = (LoadF *)ud;
  584. (void)L; /* not used */
  585. if (lf->n > 0) { /* are there pre-read characters to be read? */
  586. *size = lf->n; /* return them (chars already in buffer) */
  587. lf->n = 0; /* no more pre-read characters */
  588. }
  589. else { /* read a block from file */
  590. /* 'fread' can return > 0 *and* set the EOF flag. If next call to
  591. 'getF' called 'fread', it might still wait for user input.
  592. The next check avoids this problem. */
  593. if (feof(lf->f)) return NULL;
  594. *size = fread(lf->buff, 1, sizeof(lf->buff), lf->f); /* read block */
  595. }
  596. return lf->buff;
  597. }
  598. static int errfile (lua_State *L, const char *what, int fnameindex) {
  599. const char *serr = strerror(errno);
  600. const char *filename = lua_tostring(L, fnameindex) + 1;
  601. lua_pushfstring(L, "cannot %s %s: %s", what, filename, serr);
  602. lua_remove(L, fnameindex);
  603. return LUA_ERRFILE;
  604. }
  605. static int skipBOM (LoadF *lf) {
  606. const char *p = "\xEF\xBB\xBF"; /* UTF-8 BOM mark */
  607. int c;
  608. lf->n = 0;
  609. do {
  610. c = getc(lf->f);
  611. if (c == EOF || c != *(const unsigned char *)p++) return c;
  612. lf->buff[lf->n++] = c; /* to be read by the parser */
  613. } while (*p != '\0');
  614. lf->n = 0; /* prefix matched; discard it */
  615. return getc(lf->f); /* return next character */
  616. }
  617. /*
  618. ** reads the first character of file 'f' and skips an optional BOM mark
  619. ** in its beginning plus its first line if it starts with '#'. Returns
  620. ** true if it skipped the first line. In any case, '*cp' has the
  621. ** first "valid" character of the file (after the optional BOM and
  622. ** a first-line comment).
  623. */
  624. static int skipcomment (LoadF *lf, int *cp) {
  625. int c = *cp = skipBOM(lf);
  626. if (c == '#') { /* first line is a comment (Unix exec. file)? */
  627. do { /* skip first line */
  628. c = getc(lf->f);
  629. } while (c != EOF && c != '\n');
  630. *cp = getc(lf->f); /* skip end-of-line, if present */
  631. return 1; /* there was a comment */
  632. }
  633. else return 0; /* no comment */
  634. }
  635. LUALIB_API int luaL_loadfilex (lua_State *L, const char *filename,
  636. const char *mode) {
  637. LoadF lf;
  638. int status, readstatus;
  639. int c;
  640. int fnameindex = lua_gettop(L) + 1; /* index of filename on the stack */
  641. if (filename == NULL) {
  642. lua_pushliteral(L, "=stdin");
  643. lf.f = stdin;
  644. }
  645. else {
  646. lua_pushfstring(L, "@%s", filename);
  647. lf.f = fopen(filename, "r");
  648. if (lf.f == NULL) return errfile(L, "open", fnameindex);
  649. }
  650. if (skipcomment(&lf, &c)) /* read initial portion */
  651. lf.buff[lf.n++] = '\n'; /* add line to correct line numbers */
  652. if (c == LUA_SIGNATURE[0] && filename) { /* binary file? */
  653. lf.f = freopen(filename, "rb", lf.f); /* reopen in binary mode */
  654. if (lf.f == NULL) return errfile(L, "reopen", fnameindex);
  655. skipcomment(&lf, &c); /* re-read initial portion */
  656. }
  657. if (c != EOF)
  658. lf.buff[lf.n++] = c; /* 'c' is the first character of the stream */
  659. status = lua_load(L, getF, &lf, lua_tostring(L, -1), mode);
  660. readstatus = ferror(lf.f);
  661. if (filename) fclose(lf.f); /* close file (even in case of errors) */
  662. if (readstatus) {
  663. lua_settop(L, fnameindex); /* ignore results from 'lua_load' */
  664. return errfile(L, "read", fnameindex);
  665. }
  666. lua_remove(L, fnameindex);
  667. return status;
  668. }
  669. typedef struct LoadS {
  670. const char *s;
  671. size_t size;
  672. } LoadS;
  673. static const char *getS (lua_State *L, void *ud, size_t *size) {
  674. LoadS *ls = (LoadS *)ud;
  675. (void)L; /* not used */
  676. if (ls->size == 0) return NULL;
  677. *size = ls->size;
  678. ls->size = 0;
  679. return ls->s;
  680. }
  681. LUALIB_API int luaL_loadbufferx (lua_State *L, const char *buff, size_t size,
  682. const char *name, const char *mode) {
  683. LoadS ls;
  684. ls.s = buff;
  685. ls.size = size;
  686. return lua_load(L, getS, &ls, name, mode);
  687. }
  688. LUALIB_API int luaL_loadstring (lua_State *L, const char *s) {
  689. return luaL_loadbuffer(L, s, strlen(s), s);
  690. }
  691. /* }====================================================== */
  692. LUALIB_API int luaL_getmetafield (lua_State *L, int obj, const char *event) {
  693. if (!lua_getmetatable(L, obj)) /* no metatable? */
  694. return LUA_TNIL;
  695. else {
  696. int tt;
  697. lua_pushstring(L, event);
  698. tt = lua_rawget(L, -2);
  699. if (tt == LUA_TNIL) /* is metafield nil? */
  700. lua_pop(L, 2); /* remove metatable and metafield */
  701. else
  702. lua_remove(L, -2); /* remove only metatable */
  703. return tt; /* return metafield type */
  704. }
  705. }
  706. LUALIB_API int luaL_callmeta (lua_State *L, int obj, const char *event) {
  707. obj = lua_absindex(L, obj);
  708. if (luaL_getmetafield(L, obj, event) == LUA_TNIL) /* no metafield? */
  709. return 0;
  710. lua_pushvalue(L, obj);
  711. lua_call(L, 1, 1);
  712. return 1;
  713. }
  714. LUALIB_API lua_Integer luaL_len (lua_State *L, int idx) {
  715. lua_Integer l;
  716. int isnum;
  717. lua_len(L, idx);
  718. l = lua_tointegerx(L, -1, &isnum);
  719. if (l_unlikely(!isnum))
  720. luaL_error(L, "object length is not an integer");
  721. lua_pop(L, 1); /* remove object */
  722. return l;
  723. }
  724. LUALIB_API const char *luaL_tolstring (lua_State *L, int idx, size_t *len) {
  725. idx = lua_absindex(L,idx);
  726. if (luaL_callmeta(L, idx, "__tostring")) { /* metafield? */
  727. if (!lua_isstring(L, -1))
  728. luaL_error(L, "'__tostring' must return a string");
  729. }
  730. else {
  731. switch (lua_type(L, idx)) {
  732. case LUA_TNUMBER: {
  733. if (lua_isinteger(L, idx))
  734. lua_pushfstring(L, "%I", (LUAI_UACINT)lua_tointeger(L, idx));
  735. else
  736. lua_pushfstring(L, "%f", (LUAI_UACNUMBER)lua_tonumber(L, idx));
  737. break;
  738. }
  739. case LUA_TSTRING:
  740. lua_pushvalue(L, idx);
  741. break;
  742. case LUA_TBOOLEAN:
  743. lua_pushstring(L, (lua_toboolean(L, idx) ? "true" : "false"));
  744. break;
  745. case LUA_TNIL:
  746. lua_pushliteral(L, "nil");
  747. break;
  748. default: {
  749. int tt = luaL_getmetafield(L, idx, "__name"); /* try name */
  750. const char *kind = (tt == LUA_TSTRING) ? lua_tostring(L, -1) :
  751. luaL_typename(L, idx);
  752. lua_pushfstring(L, "%s: %p", kind, lua_topointer(L, idx));
  753. if (tt != LUA_TNIL)
  754. lua_remove(L, -2); /* remove '__name' */
  755. break;
  756. }
  757. }
  758. }
  759. return lua_tolstring(L, -1, len);
  760. }
  761. /*
  762. ** set functions from list 'l' into table at top - 'nup'; each
  763. ** function gets the 'nup' elements at the top as upvalues.
  764. ** Returns with only the table at the stack.
  765. */
  766. LUALIB_API void luaL_setfuncs (lua_State *L, const luaL_Reg *l, int nup) {
  767. luaL_checkstack(L, nup, "too many upvalues");
  768. for (; l->name != NULL; l++) { /* fill the table with given functions */
  769. if (l->func == NULL) /* place holder? */
  770. lua_pushboolean(L, 0);
  771. else {
  772. int i;
  773. for (i = 0; i < nup; i++) /* copy upvalues to the top */
  774. lua_pushvalue(L, -nup);
  775. lua_pushcclosure(L, l->func, nup); /* closure with those upvalues */
  776. }
  777. lua_setfield(L, -(nup + 2), l->name);
  778. }
  779. lua_pop(L, nup); /* remove upvalues */
  780. }
  781. /*
  782. ** ensure that stack[idx][fname] has a table and push that table
  783. ** into the stack
  784. */
  785. LUALIB_API int luaL_getsubtable (lua_State *L, int idx, const char *fname) {
  786. if (lua_getfield(L, idx, fname) == LUA_TTABLE)
  787. return 1; /* table already there */
  788. else {
  789. lua_pop(L, 1); /* remove previous result */
  790. idx = lua_absindex(L, idx);
  791. lua_newtable(L);
  792. lua_pushvalue(L, -1); /* copy to be left at top */
  793. lua_setfield(L, idx, fname); /* assign new table to field */
  794. return 0; /* false, because did not find table there */
  795. }
  796. }
  797. /*
  798. ** Stripped-down 'require': After checking "loaded" table, calls 'openf'
  799. ** to open a module, registers the result in 'package.loaded' table and,
  800. ** if 'glb' is true, also registers the result in the global table.
  801. ** Leaves resulting module on the top.
  802. */
  803. LUALIB_API void luaL_requiref (lua_State *L, const char *modname,
  804. lua_CFunction openf, int glb) {
  805. luaL_getsubtable(L, LUA_REGISTRYINDEX, LUA_LOADED_TABLE);
  806. lua_getfield(L, -1, modname); /* LOADED[modname] */
  807. if (!lua_toboolean(L, -1)) { /* package not already loaded? */
  808. lua_pop(L, 1); /* remove field */
  809. lua_pushcfunction(L, openf);
  810. lua_pushstring(L, modname); /* argument to open function */
  811. lua_call(L, 1, 1); /* call 'openf' to open module */
  812. lua_pushvalue(L, -1); /* make copy of module (call result) */
  813. lua_setfield(L, -3, modname); /* LOADED[modname] = module */
  814. }
  815. lua_remove(L, -2); /* remove LOADED table */
  816. if (glb) {
  817. lua_pushvalue(L, -1); /* copy of module */
  818. lua_setglobal(L, modname); /* _G[modname] = module */
  819. }
  820. }
  821. LUALIB_API void luaL_addgsub (luaL_Buffer *b, const char *s,
  822. const char *p, const char *r) {
  823. const char *wild;
  824. size_t l = strlen(p);
  825. while ((wild = strstr(s, p)) != NULL) {
  826. luaL_addlstring(b, s, wild - s); /* push prefix */
  827. luaL_addstring(b, r); /* push replacement in place of pattern */
  828. s = wild + l; /* continue after 'p' */
  829. }
  830. luaL_addstring(b, s); /* push last suffix */
  831. }
  832. LUALIB_API const char *luaL_gsub (lua_State *L, const char *s,
  833. const char *p, const char *r) {
  834. luaL_Buffer b;
  835. luaL_buffinit(L, &b);
  836. luaL_addgsub(&b, s, p, r);
  837. luaL_pushresult(&b);
  838. return lua_tostring(L, -1);
  839. }
  840. static void *l_alloc (void *ud, void *ptr, size_t osize, size_t nsize) {
  841. (void)ud; (void)osize; /* not used */
  842. if (nsize == 0) {
  843. free(ptr);
  844. return NULL;
  845. }
  846. else
  847. return realloc(ptr, nsize);
  848. }
  849. static int panic (lua_State *L) {
  850. const char *msg = lua_tostring(L, -1);
  851. if (msg == NULL) msg = "error object is not a string";
  852. lua_writestringerror("PANIC: unprotected error in call to Lua API (%s)\n",
  853. msg);
  854. return 0; /* return to Lua to abort */
  855. }
  856. /*
  857. ** Warning functions:
  858. ** warnfoff: warning system is off
  859. ** warnfon: ready to start a new message
  860. ** warnfcont: previous message is to be continued
  861. */
  862. static void warnfoff (void *ud, const char *message, int tocont);
  863. static void warnfon (void *ud, const char *message, int tocont);
  864. static void warnfcont (void *ud, const char *message, int tocont);
  865. /*
  866. ** Check whether message is a control message. If so, execute the
  867. ** control or ignore it if unknown.
  868. */
  869. static int checkcontrol (lua_State *L, const char *message, int tocont) {
  870. if (tocont || *(message++) != '@') /* not a control message? */
  871. return 0;
  872. else {
  873. if (strcmp(message, "off") == 0)
  874. lua_setwarnf(L, warnfoff, L); /* turn warnings off */
  875. else if (strcmp(message, "on") == 0)
  876. lua_setwarnf(L, warnfon, L); /* turn warnings on */
  877. return 1; /* it was a control message */
  878. }
  879. }
  880. static void warnfoff (void *ud, const char *message, int tocont) {
  881. checkcontrol((lua_State *)ud, message, tocont);
  882. }
  883. /*
  884. ** Writes the message and handle 'tocont', finishing the message
  885. ** if needed and setting the next warn function.
  886. */
  887. static void warnfcont (void *ud, const char *message, int tocont) {
  888. lua_State *L = (lua_State *)ud;
  889. lua_writestringerror("%s", message); /* write message */
  890. if (tocont) /* not the last part? */
  891. lua_setwarnf(L, warnfcont, L); /* to be continued */
  892. else { /* last part */
  893. lua_writestringerror("%s", "\n"); /* finish message with end-of-line */
  894. lua_setwarnf(L, warnfon, L); /* next call is a new message */
  895. }
  896. }
  897. static void warnfon (void *ud, const char *message, int tocont) {
  898. if (checkcontrol((lua_State *)ud, message, tocont)) /* control message? */
  899. return; /* nothing else to be done */
  900. lua_writestringerror("%s", "Lua warning: "); /* start a new warning */
  901. warnfcont(ud, message, tocont); /* finish processing */
  902. }
  903. LUALIB_API lua_State *luaL_newstate (void) {
  904. lua_State *L = lua_newstate(l_alloc, NULL);
  905. if (l_likely(L)) {
  906. lua_atpanic(L, &panic);
  907. lua_setwarnf(L, warnfoff, L); /* default is warnings off */
  908. }
  909. return L;
  910. }
  911. LUALIB_API void luaL_checkversion_ (lua_State *L, lua_Number ver, size_t sz) {
  912. lua_Number v = lua_version(L);
  913. if (sz != LUAL_NUMSIZES) /* check numeric types */
  914. luaL_error(L, "core and library have incompatible numeric types");
  915. else if (v != ver)
  916. luaL_error(L, "version mismatch: app. needs %f, Lua core provides %f",
  917. (LUAI_UACNUMBER)ver, (LUAI_UACNUMBER)v);
  918. }