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