aboutsummaryrefslogtreecommitdiff
path: root/lparser.c
diff options
context:
space:
mode:
Diffstat (limited to 'lparser.c')
-rw-r--r--lparser.c35
1 files changed, 24 insertions, 11 deletions
diff --git a/lparser.c b/lparser.c
index 77bb0b68..eb61b02c 100644
--- a/lparser.c
+++ b/lparser.c
@@ -1,5 +1,5 @@
1/* 1/*
2** $Id: lparser.c,v 2.76 2010/02/26 20:40:29 roberto Exp roberto $ 2** $Id: lparser.c,v 2.77 2010/03/04 18:12:57 roberto Exp roberto $
3** Lua Parser 3** Lua Parser
4** See Copyright Notice in lua.h 4** See Copyright Notice in lua.h
5*/ 5*/
@@ -224,10 +224,10 @@ static int newupvalue (FuncState *fs, TString *name, expdesc *v) {
224 luaM_growvector(fs->L, f->upvalues, fs->nups, f->sizeupvalues, 224 luaM_growvector(fs->L, f->upvalues, fs->nups, f->sizeupvalues,
225 Upvaldesc, UCHAR_MAX, "upvalues"); 225 Upvaldesc, UCHAR_MAX, "upvalues");
226 while (oldsize < f->sizeupvalues) f->upvalues[oldsize++].name = NULL; 226 while (oldsize < f->sizeupvalues) f->upvalues[oldsize++].name = NULL;
227 f->upvalues[fs->nups].name = name;
228 luaC_objbarrier(fs->L, f, name);
229 f->upvalues[fs->nups].instack = (v->k == VLOCAL); 227 f->upvalues[fs->nups].instack = (v->k == VLOCAL);
230 f->upvalues[fs->nups].idx = cast_byte(v->u.s.info); 228 f->upvalues[fs->nups].idx = cast_byte(v->u.s.info);
229 f->upvalues[fs->nups].name = name;
230 luaC_objbarrier(fs->L, f, name);
231 return fs->nups++; 231 return fs->nups++;
232} 232}
233 233
@@ -430,26 +430,39 @@ static void close_func (LexState *ls) {
430} 430}
431 431
432 432
433/*
434** opens the main function, which is a regular vararg function with an
435** upvalue named '_ENV'
436*/
437static void open_mainfunc (lua_State *L, LexState *ls, FuncState *fs) {
438 expdesc v;
439 open_func(ls, fs);
440 fs->f->is_vararg = 1; /* main function is always vararg */
441 ls->envn = luaS_new(L, "_ENV"); /* create '_ENV' string */
442 setsvalue2s(L, L->top++, ls->envn); /* anchor it */
443 init_exp(&v, VLOCAL, 0);
444 newupvalue(fs, ls->envn, &v); /* create '_ENV' upvalue */
445 L->top--; /* now string is anchored as an upvalue name */
446}
447
448
433Proto *luaY_parser (lua_State *L, ZIO *z, Mbuffer *buff, Varlist *varl, 449Proto *luaY_parser (lua_State *L, ZIO *z, Mbuffer *buff, Varlist *varl,
434 const char *name) { 450 const char *name) {
435 struct LexState lexstate; 451 LexState lexstate;
436 struct FuncState funcstate; 452 FuncState funcstate;
437 TString *tname = luaS_new(L, name); 453 TString *tname = luaS_new(L, name);
438 setsvalue2s(L, L->top, tname); /* push name to protect it */ 454 setsvalue2s(L, L->top, tname); /* push name to protect it */
439 incr_top(L); 455 incr_top(L);
440 lexstate.buff = buff; 456 lexstate.buff = buff;
441 lexstate.varl = varl; 457 lexstate.varl = varl;
442 luaX_setinput(L, &lexstate, z, tname); 458 luaX_setinput(L, &lexstate, z, tname);
443 open_func(&lexstate, &funcstate); 459 open_mainfunc(L, &lexstate, &funcstate);
444 funcstate.f->is_vararg = 1; /* main function is always vararg */
445 luaX_next(&lexstate); /* read first token */ 460 luaX_next(&lexstate); /* read first token */
446 chunk(&lexstate); 461 chunk(&lexstate); /* read main chunk */
447 check(&lexstate, TK_EOS); 462 check(&lexstate, TK_EOS);
448 close_func(&lexstate); 463 close_func(&lexstate);
449 L->top--; /* pop name */ 464 L->top--; /* pop name */
450 lua_assert(funcstate.prev == NULL); 465 lua_assert(!funcstate.prev && funcstate.nups == 1 && !lexstate.fs);
451 lua_assert(funcstate.nups == 0);
452 lua_assert(lexstate.fs == NULL);
453 return funcstate.f; 466 return funcstate.f;
454} 467}
455 468