| /* | |
| ** $Id: lfunc.c $ | |
| ** Auxiliary functions to manipulate prototypes and closures | |
| ** See Copyright Notice in lua.h | |
| */ | |
| #define lfunc_c | |
| #define LUA_CORE | |
| #include "lprefix.h" | |
| #include <stddef.h> | |
| #include "lua.h" | |
| #include "ldebug.h" | |
| #include "ldo.h" | |
| #include "lfunc.h" | |
| #include "lgc.h" | |
| #include "lmem.h" | |
| #include "lobject.h" | |
| #include "lstate.h" | |
| CClosure *luaF_newCclosure (lua_State *L, int nupvals) { | |
| GCObject *o = luaC_newobj(L, LUA_VCCL, sizeCclosure(nupvals)); | |
| CClosure *c = gco2ccl(o); | |
| c->nupvalues = cast_byte(nupvals); | |
| return c; | |
| } | |
| LClosure *luaF_newLclosure (lua_State *L, int nupvals) { | |
| GCObject *o = luaC_newobj(L, LUA_VLCL, sizeLclosure(nupvals)); | |
| LClosure *c = gco2lcl(o); | |
| c->p = NULL; | |
| c->nupvalues = cast_byte(nupvals); | |
| while (nupvals--) c->upvals[nupvals] = NULL; | |
| return c; | |
| } | |
| /* | |
| ** fill a closure with new closed upvalues | |
| */ | |
| void luaF_initupvals (lua_State *L, LClosure *cl) { | |
| int i; | |
| for (i = 0; i < cl->nupvalues; i++) { | |
| GCObject *o = luaC_newobj(L, LUA_VUPVAL, sizeof(UpVal)); | |
| UpVal *uv = gco2upv(o); | |
| uv->v = &uv->u.value; /* make it closed */ | |
| setnilvalue(uv->v); | |
| cl->upvals[i] = uv; | |
| luaC_objbarrier(L, cl, o); | |
| } | |
| } | |
| /* | |
| ** Create a new upvalue at the given level, and link it to the list of | |
| ** open upvalues of 'L' after entry 'prev'. | |
| **/ | |
| static UpVal *newupval (lua_State *L, int tbc, StkId level, UpVal **prev) { | |
| GCObject *o = luaC_newobj(L, LUA_VUPVAL, sizeof(UpVal)); | |
| UpVal *uv = gco2upv(o); | |
| UpVal *next = *prev; | |
| uv->v = s2v(level); /* current value lives in the stack */ | |
| uv->tbc = tbc; | |
| uv->u.open.next = next; /* link it to list of open upvalues */ | |
| uv->u.open.previous = prev; | |
| if (next) | |
| next->u.open.previous = &uv->u.open.next; | |
| *prev = uv; | |
| if (!isintwups(L)) { /* thread not in list of threads with upvalues? */ | |
| L->twups = G(L)->twups; /* link it to the list */ | |
| G(L)->twups = L; | |
| } | |
| return uv; | |
| } | |
| /* | |
| ** Find and reuse, or create if it does not exist, an upvalue | |
| ** at the given level. | |
| */ | |
| UpVal *luaF_findupval (lua_State *L, StkId level) { | |
| UpVal **pp = &L->openupval; | |
| UpVal *p; | |
| lua_assert(isintwups(L) || L->openupval == NULL); | |
| while ((p = *pp) != NULL && uplevel(p) >= level) { /* search for it */ | |
| lua_assert(!isdead(G(L), p)); | |
| if (uplevel(p) == level) /* corresponding upvalue? */ | |
| return p; /* return it */ | |
| pp = &p->u.open.next; | |
| } | |
| /* not found: create a new upvalue after 'pp' */ | |
| return newupval(L, 0, level, pp); | |
| } | |
| static void callclose (lua_State *L, void *ud) { | |
| UNUSED(ud); | |
| luaD_callnoyield(L, L->top - 3, 0); | |
| } | |
| /* | |
| ** Prepare closing method plus its arguments for object 'obj' with | |
| ** error message 'err'. (This function assumes EXTRA_STACK.) | |
| */ | |
| static int prepclosingmethod (lua_State *L, TValue *obj, TValue *err) { | |
| StkId top = L->top; | |
| const TValue *tm = luaT_gettmbyobj(L, obj, TM_CLOSE); | |
| if (ttisnil(tm)) /* no metamethod? */ | |
| return 0; /* nothing to call */ | |
| setobj2s(L, top, tm); /* will call metamethod... */ | |
| setobj2s(L, top + 1, obj); /* with 'self' as the 1st argument */ | |
| setobj2s(L, top + 2, err); /* and error msg. as 2nd argument */ | |
| L->top = top + 3; /* add function and arguments */ | |
| return 1; | |
| } | |
| /* | |
| ** Raise an error with message 'msg', inserting the name of the | |
| ** local variable at position 'level' in the stack. | |
| */ | |
| static void varerror (lua_State *L, StkId level, const char *msg) { | |
| int idx = cast_int(level - L->ci->func); | |
| const char *vname = luaG_findlocal(L, L->ci, idx, NULL); | |
| if (vname == NULL) vname = "?"; | |
| luaG_runerror(L, msg, vname); | |
| } | |
| /* | |
| ** Prepare and call a closing method. If status is OK, code is still | |
| ** inside the original protected call, and so any error will be handled | |
| ** there. Otherwise, a previous error already activated the original | |
| ** protected call, and so the call to the closing method must be | |
| ** protected here. (A status == CLOSEPROTECT behaves like a previous | |
| ** error, to also run the closing method in protected mode). | |
| ** If status is OK, the call to the closing method will be pushed | |
| ** at the top of the stack. Otherwise, values are pushed after | |
| ** the 'level' of the upvalue being closed, as everything after | |
| ** that won't be used again. | |
| */ | |
| static int callclosemth (lua_State *L, StkId level, int status) { | |
| TValue *uv = s2v(level); /* value being closed */ | |
| if (likely(status == LUA_OK)) { | |
| if (prepclosingmethod(L, uv, &G(L)->nilvalue)) /* something to call? */ | |
| callclose(L, NULL); /* call closing method */ | |
| else if (!l_isfalse(uv)) /* non-closable non-false value? */ | |
| varerror(L, level, "attempt to close non-closable variable '%s'"); | |
| } | |
| else { /* must close the object in protected mode */ | |
| ptrdiff_t oldtop; | |
| level++; /* space for error message */ | |
| oldtop = savestack(L, level + 1); /* top will be after that */ | |
| luaD_seterrorobj(L, status, level); /* set error message */ | |
| if (prepclosingmethod(L, uv, s2v(level))) { /* something to call? */ | |
| int newstatus = luaD_pcall(L, callclose, NULL, oldtop, 0); | |
| if (newstatus != LUA_OK && status == CLOSEPROTECT) /* first error? */ | |
| status = newstatus; /* this will be the new error */ | |
| else { | |
| if (newstatus != LUA_OK) /* suppressed error? */ | |
| luaE_warnerror(L, "__close metamethod"); | |
| /* leave original error (or nil) on top */ | |
| L->top = restorestack(L, oldtop); | |
| } | |
| } | |
| /* else no metamethod; ignore this case and keep original error */ | |
| } | |
| return status; | |
| } | |
| /* | |
| ** Try to create a to-be-closed upvalue | |
| ** (can raise a memory-allocation error) | |
| */ | |
| static void trynewtbcupval (lua_State *L, void *ud) { | |
| newupval(L, 1, cast(StkId, ud), &L->openupval); | |
| } | |
| /* | |
| ** Create a to-be-closed upvalue. If there is a memory error | |
| ** when creating the upvalue, the closing method must be called here, | |
| ** as there is no upvalue to call it later. | |
| */ | |
| void luaF_newtbcupval (lua_State *L, StkId level) { | |
| TValue *obj = s2v(level); | |
| lua_assert(L->openupval == NULL || uplevel(L->openupval) < level); | |
| if (!l_isfalse(obj)) { /* false doesn't need to be closed */ | |
| int status; | |
| const TValue *tm = luaT_gettmbyobj(L, obj, TM_CLOSE); | |
| if (ttisnil(tm)) /* no metamethod? */ | |
| varerror(L, level, "variable '%s' got a non-closable value"); | |
| status = luaD_rawrunprotected(L, trynewtbcupval, level); | |
| if (unlikely(status != LUA_OK)) { /* memory error creating upvalue? */ | |
| lua_assert(status == LUA_ERRMEM); | |
| luaD_seterrorobj(L, LUA_ERRMEM, level + 1); /* save error message */ | |
| /* next call must succeed, as object is closable */ | |
| prepclosingmethod(L, s2v(level), s2v(level + 1)); | |
| callclose(L, NULL); /* call closing method */ | |
| luaD_throw(L, LUA_ERRMEM); /* throw memory error */ | |
| } | |
| } | |
| } | |
| void luaF_unlinkupval (UpVal *uv) { | |
| lua_assert(upisopen(uv)); | |
| *uv->u.open.previous = uv->u.open.next; | |
| if (uv->u.open.next) | |
| uv->u.open.next->u.open.previous = uv->u.open.previous; | |
| } | |
| int luaF_close (lua_State *L, StkId level, int status) { | |
| UpVal *uv; | |
| while ((uv = L->openupval) != NULL && uplevel(uv) >= level) { | |
| TValue *slot = &uv->u.value; /* new position for value */ | |
| lua_assert(uplevel(uv) < L->top); | |
| if (uv->tbc && status != NOCLOSINGMETH) { | |
| /* must run closing method, which may change the stack */ | |
| ptrdiff_t levelrel = savestack(L, level); | |
| status = callclosemth(L, uplevel(uv), status); | |
| level = restorestack(L, levelrel); | |
| } | |
| luaF_unlinkupval(uv); | |
| setobj(L, slot, uv->v); /* move value to upvalue slot */ | |
| uv->v = slot; /* now current value lives here */ | |
| if (!iswhite(uv)) { /* neither white nor dead? */ | |
| nw2black(uv); /* closed upvalues cannot be gray */ | |
| luaC_barrier(L, uv, slot); | |
| } | |
| } | |
| return status; | |
| } | |
| Proto *luaF_newproto (lua_State *L) { | |
| GCObject *o = luaC_newobj(L, LUA_VPROTO, sizeof(Proto)); | |
| Proto *f = gco2p(o); | |
| f->k = NULL; | |
| f->sizek = 0; | |
| f->p = NULL; | |
| f->sizep = 0; | |
| f->code = NULL; | |
| f->sizecode = 0; | |
| f->lineinfo = NULL; | |
| f->sizelineinfo = 0; | |
| f->abslineinfo = NULL; | |
| f->sizeabslineinfo = 0; | |
| f->upvalues = NULL; | |
| f->sizeupvalues = 0; | |
| f->numparams = 0; | |
| f->is_vararg = 0; | |
| f->maxstacksize = 0; | |
| f->locvars = NULL; | |
| f->sizelocvars = 0; | |
| f->linedefined = 0; | |
| f->lastlinedefined = 0; | |
| f->source = NULL; | |
| return f; | |
| } | |
| void luaF_freeproto (lua_State *L, Proto *f) { | |
| luaM_freearray(L, f->code, f->sizecode); | |
| luaM_freearray(L, f->p, f->sizep); | |
| luaM_freearray(L, f->k, f->sizek); | |
| luaM_freearray(L, f->lineinfo, f->sizelineinfo); | |
| luaM_freearray(L, f->abslineinfo, f->sizeabslineinfo); | |
| luaM_freearray(L, f->locvars, f->sizelocvars); | |
| luaM_freearray(L, f->upvalues, f->sizeupvalues); | |
| luaM_free(L, f); | |
| } | |
| /* | |
| ** Look for n-th local variable at line 'line' in function 'func'. | |
| ** Returns NULL if not found. | |
| */ | |
| const char *luaF_getlocalname (const Proto *f, int local_number, int pc) { | |
| int i; | |
| for (i = 0; i<f->sizelocvars && f->locvars[i].startpc <= pc; i++) { | |
| if (pc < f->locvars[i].endpc) { /* is variable active? */ | |
| local_number--; | |
| if (local_number == 0) | |
| return getstr(f->locvars[i].varname); | |
| } | |
| } | |
| return NULL; /* not found */ | |
| } | |