xref: /redis-3.2.3/deps/lua/src/lua.c (revision 21d3294c)
1*21d3294cSantirez /*
2*21d3294cSantirez ** $Id: lua.c,v 1.160.1.2 2007/12/28 15:32:23 roberto Exp $
3*21d3294cSantirez ** Lua stand-alone interpreter
4*21d3294cSantirez ** See Copyright Notice in lua.h
5*21d3294cSantirez */
6*21d3294cSantirez 
7*21d3294cSantirez 
8*21d3294cSantirez #include <signal.h>
9*21d3294cSantirez #include <stdio.h>
10*21d3294cSantirez #include <stdlib.h>
11*21d3294cSantirez #include <string.h>
12*21d3294cSantirez 
13*21d3294cSantirez #define lua_c
14*21d3294cSantirez 
15*21d3294cSantirez #include "lua.h"
16*21d3294cSantirez 
17*21d3294cSantirez #include "lauxlib.h"
18*21d3294cSantirez #include "lualib.h"
19*21d3294cSantirez 
20*21d3294cSantirez 
21*21d3294cSantirez 
22*21d3294cSantirez static lua_State *globalL = NULL;
23*21d3294cSantirez 
24*21d3294cSantirez static const char *progname = LUA_PROGNAME;
25*21d3294cSantirez 
26*21d3294cSantirez 
27*21d3294cSantirez 
lstop(lua_State * L,lua_Debug * ar)28*21d3294cSantirez static void lstop (lua_State *L, lua_Debug *ar) {
29*21d3294cSantirez   (void)ar;  /* unused arg. */
30*21d3294cSantirez   lua_sethook(L, NULL, 0, 0);
31*21d3294cSantirez   luaL_error(L, "interrupted!");
32*21d3294cSantirez }
33*21d3294cSantirez 
34*21d3294cSantirez 
laction(int i)35*21d3294cSantirez static void laction (int i) {
36*21d3294cSantirez   signal(i, SIG_DFL); /* if another SIGINT happens before lstop,
37*21d3294cSantirez                               terminate process (default action) */
38*21d3294cSantirez   lua_sethook(globalL, lstop, LUA_MASKCALL | LUA_MASKRET | LUA_MASKCOUNT, 1);
39*21d3294cSantirez }
40*21d3294cSantirez 
41*21d3294cSantirez 
print_usage(void)42*21d3294cSantirez static void print_usage (void) {
43*21d3294cSantirez   fprintf(stderr,
44*21d3294cSantirez   "usage: %s [options] [script [args]].\n"
45*21d3294cSantirez   "Available options are:\n"
46*21d3294cSantirez   "  -e stat  execute string " LUA_QL("stat") "\n"
47*21d3294cSantirez   "  -l name  require library " LUA_QL("name") "\n"
48*21d3294cSantirez   "  -i       enter interactive mode after executing " LUA_QL("script") "\n"
49*21d3294cSantirez   "  -v       show version information\n"
50*21d3294cSantirez   "  --       stop handling options\n"
51*21d3294cSantirez   "  -        execute stdin and stop handling options\n"
52*21d3294cSantirez   ,
53*21d3294cSantirez   progname);
54*21d3294cSantirez   fflush(stderr);
55*21d3294cSantirez }
56*21d3294cSantirez 
57*21d3294cSantirez 
l_message(const char * pname,const char * msg)58*21d3294cSantirez static void l_message (const char *pname, const char *msg) {
59*21d3294cSantirez   if (pname) fprintf(stderr, "%s: ", pname);
60*21d3294cSantirez   fprintf(stderr, "%s\n", msg);
61*21d3294cSantirez   fflush(stderr);
62*21d3294cSantirez }
63*21d3294cSantirez 
64*21d3294cSantirez 
report(lua_State * L,int status)65*21d3294cSantirez static int report (lua_State *L, int status) {
66*21d3294cSantirez   if (status && !lua_isnil(L, -1)) {
67*21d3294cSantirez     const char *msg = lua_tostring(L, -1);
68*21d3294cSantirez     if (msg == NULL) msg = "(error object is not a string)";
69*21d3294cSantirez     l_message(progname, msg);
70*21d3294cSantirez     lua_pop(L, 1);
71*21d3294cSantirez   }
72*21d3294cSantirez   return status;
73*21d3294cSantirez }
74*21d3294cSantirez 
75*21d3294cSantirez 
traceback(lua_State * L)76*21d3294cSantirez static int traceback (lua_State *L) {
77*21d3294cSantirez   if (!lua_isstring(L, 1))  /* 'message' not a string? */
78*21d3294cSantirez     return 1;  /* keep it intact */
79*21d3294cSantirez   lua_getfield(L, LUA_GLOBALSINDEX, "debug");
80*21d3294cSantirez   if (!lua_istable(L, -1)) {
81*21d3294cSantirez     lua_pop(L, 1);
82*21d3294cSantirez     return 1;
83*21d3294cSantirez   }
84*21d3294cSantirez   lua_getfield(L, -1, "traceback");
85*21d3294cSantirez   if (!lua_isfunction(L, -1)) {
86*21d3294cSantirez     lua_pop(L, 2);
87*21d3294cSantirez     return 1;
88*21d3294cSantirez   }
89*21d3294cSantirez   lua_pushvalue(L, 1);  /* pass error message */
90*21d3294cSantirez   lua_pushinteger(L, 2);  /* skip this function and traceback */
91*21d3294cSantirez   lua_call(L, 2, 1);  /* call debug.traceback */
92*21d3294cSantirez   return 1;
93*21d3294cSantirez }
94*21d3294cSantirez 
95*21d3294cSantirez 
docall(lua_State * L,int narg,int clear)96*21d3294cSantirez static int docall (lua_State *L, int narg, int clear) {
97*21d3294cSantirez   int status;
98*21d3294cSantirez   int base = lua_gettop(L) - narg;  /* function index */
99*21d3294cSantirez   lua_pushcfunction(L, traceback);  /* push traceback function */
100*21d3294cSantirez   lua_insert(L, base);  /* put it under chunk and args */
101*21d3294cSantirez   signal(SIGINT, laction);
102*21d3294cSantirez   status = lua_pcall(L, narg, (clear ? 0 : LUA_MULTRET), base);
103*21d3294cSantirez   signal(SIGINT, SIG_DFL);
104*21d3294cSantirez   lua_remove(L, base);  /* remove traceback function */
105*21d3294cSantirez   /* force a complete garbage collection in case of errors */
106*21d3294cSantirez   if (status != 0) lua_gc(L, LUA_GCCOLLECT, 0);
107*21d3294cSantirez   return status;
108*21d3294cSantirez }
109*21d3294cSantirez 
110*21d3294cSantirez 
print_version(void)111*21d3294cSantirez static void print_version (void) {
112*21d3294cSantirez   l_message(NULL, LUA_RELEASE "  " LUA_COPYRIGHT);
113*21d3294cSantirez }
114*21d3294cSantirez 
115*21d3294cSantirez 
getargs(lua_State * L,char ** argv,int n)116*21d3294cSantirez static int getargs (lua_State *L, char **argv, int n) {
117*21d3294cSantirez   int narg;
118*21d3294cSantirez   int i;
119*21d3294cSantirez   int argc = 0;
120*21d3294cSantirez   while (argv[argc]) argc++;  /* count total number of arguments */
121*21d3294cSantirez   narg = argc - (n + 1);  /* number of arguments to the script */
122*21d3294cSantirez   luaL_checkstack(L, narg + 3, "too many arguments to script");
123*21d3294cSantirez   for (i=n+1; i < argc; i++)
124*21d3294cSantirez     lua_pushstring(L, argv[i]);
125*21d3294cSantirez   lua_createtable(L, narg, n + 1);
126*21d3294cSantirez   for (i=0; i < argc; i++) {
127*21d3294cSantirez     lua_pushstring(L, argv[i]);
128*21d3294cSantirez     lua_rawseti(L, -2, i - n);
129*21d3294cSantirez   }
130*21d3294cSantirez   return narg;
131*21d3294cSantirez }
132*21d3294cSantirez 
133*21d3294cSantirez 
dofile(lua_State * L,const char * name)134*21d3294cSantirez static int dofile (lua_State *L, const char *name) {
135*21d3294cSantirez   int status = luaL_loadfile(L, name) || docall(L, 0, 1);
136*21d3294cSantirez   return report(L, status);
137*21d3294cSantirez }
138*21d3294cSantirez 
139*21d3294cSantirez 
dostring(lua_State * L,const char * s,const char * name)140*21d3294cSantirez static int dostring (lua_State *L, const char *s, const char *name) {
141*21d3294cSantirez   int status = luaL_loadbuffer(L, s, strlen(s), name) || docall(L, 0, 1);
142*21d3294cSantirez   return report(L, status);
143*21d3294cSantirez }
144*21d3294cSantirez 
145*21d3294cSantirez 
dolibrary(lua_State * L,const char * name)146*21d3294cSantirez static int dolibrary (lua_State *L, const char *name) {
147*21d3294cSantirez   lua_getglobal(L, "require");
148*21d3294cSantirez   lua_pushstring(L, name);
149*21d3294cSantirez   return report(L, docall(L, 1, 1));
150*21d3294cSantirez }
151*21d3294cSantirez 
152*21d3294cSantirez 
get_prompt(lua_State * L,int firstline)153*21d3294cSantirez static const char *get_prompt (lua_State *L, int firstline) {
154*21d3294cSantirez   const char *p;
155*21d3294cSantirez   lua_getfield(L, LUA_GLOBALSINDEX, firstline ? "_PROMPT" : "_PROMPT2");
156*21d3294cSantirez   p = lua_tostring(L, -1);
157*21d3294cSantirez   if (p == NULL) p = (firstline ? LUA_PROMPT : LUA_PROMPT2);
158*21d3294cSantirez   lua_pop(L, 1);  /* remove global */
159*21d3294cSantirez   return p;
160*21d3294cSantirez }
161*21d3294cSantirez 
162*21d3294cSantirez 
incomplete(lua_State * L,int status)163*21d3294cSantirez static int incomplete (lua_State *L, int status) {
164*21d3294cSantirez   if (status == LUA_ERRSYNTAX) {
165*21d3294cSantirez     size_t lmsg;
166*21d3294cSantirez     const char *msg = lua_tolstring(L, -1, &lmsg);
167*21d3294cSantirez     const char *tp = msg + lmsg - (sizeof(LUA_QL("<eof>")) - 1);
168*21d3294cSantirez     if (strstr(msg, LUA_QL("<eof>")) == tp) {
169*21d3294cSantirez       lua_pop(L, 1);
170*21d3294cSantirez       return 1;
171*21d3294cSantirez     }
172*21d3294cSantirez   }
173*21d3294cSantirez   return 0;  /* else... */
174*21d3294cSantirez }
175*21d3294cSantirez 
176*21d3294cSantirez 
pushline(lua_State * L,int firstline)177*21d3294cSantirez static int pushline (lua_State *L, int firstline) {
178*21d3294cSantirez   char buffer[LUA_MAXINPUT];
179*21d3294cSantirez   char *b = buffer;
180*21d3294cSantirez   size_t l;
181*21d3294cSantirez   const char *prmt = get_prompt(L, firstline);
182*21d3294cSantirez   if (lua_readline(L, b, prmt) == 0)
183*21d3294cSantirez     return 0;  /* no input */
184*21d3294cSantirez   l = strlen(b);
185*21d3294cSantirez   if (l > 0 && b[l-1] == '\n')  /* line ends with newline? */
186*21d3294cSantirez     b[l-1] = '\0';  /* remove it */
187*21d3294cSantirez   if (firstline && b[0] == '=')  /* first line starts with `=' ? */
188*21d3294cSantirez     lua_pushfstring(L, "return %s", b+1);  /* change it to `return' */
189*21d3294cSantirez   else
190*21d3294cSantirez     lua_pushstring(L, b);
191*21d3294cSantirez   lua_freeline(L, b);
192*21d3294cSantirez   return 1;
193*21d3294cSantirez }
194*21d3294cSantirez 
195*21d3294cSantirez 
loadline(lua_State * L)196*21d3294cSantirez static int loadline (lua_State *L) {
197*21d3294cSantirez   int status;
198*21d3294cSantirez   lua_settop(L, 0);
199*21d3294cSantirez   if (!pushline(L, 1))
200*21d3294cSantirez     return -1;  /* no input */
201*21d3294cSantirez   for (;;) {  /* repeat until gets a complete line */
202*21d3294cSantirez     status = luaL_loadbuffer(L, lua_tostring(L, 1), lua_strlen(L, 1), "=stdin");
203*21d3294cSantirez     if (!incomplete(L, status)) break;  /* cannot try to add lines? */
204*21d3294cSantirez     if (!pushline(L, 0))  /* no more input? */
205*21d3294cSantirez       return -1;
206*21d3294cSantirez     lua_pushliteral(L, "\n");  /* add a new line... */
207*21d3294cSantirez     lua_insert(L, -2);  /* ...between the two lines */
208*21d3294cSantirez     lua_concat(L, 3);  /* join them */
209*21d3294cSantirez   }
210*21d3294cSantirez   lua_saveline(L, 1);
211*21d3294cSantirez   lua_remove(L, 1);  /* remove line */
212*21d3294cSantirez   return status;
213*21d3294cSantirez }
214*21d3294cSantirez 
215*21d3294cSantirez 
dotty(lua_State * L)216*21d3294cSantirez static void dotty (lua_State *L) {
217*21d3294cSantirez   int status;
218*21d3294cSantirez   const char *oldprogname = progname;
219*21d3294cSantirez   progname = NULL;
220*21d3294cSantirez   while ((status = loadline(L)) != -1) {
221*21d3294cSantirez     if (status == 0) status = docall(L, 0, 0);
222*21d3294cSantirez     report(L, status);
223*21d3294cSantirez     if (status == 0 && lua_gettop(L) > 0) {  /* any result to print? */
224*21d3294cSantirez       lua_getglobal(L, "print");
225*21d3294cSantirez       lua_insert(L, 1);
226*21d3294cSantirez       if (lua_pcall(L, lua_gettop(L)-1, 0, 0) != 0)
227*21d3294cSantirez         l_message(progname, lua_pushfstring(L,
228*21d3294cSantirez                                "error calling " LUA_QL("print") " (%s)",
229*21d3294cSantirez                                lua_tostring(L, -1)));
230*21d3294cSantirez     }
231*21d3294cSantirez   }
232*21d3294cSantirez   lua_settop(L, 0);  /* clear stack */
233*21d3294cSantirez   fputs("\n", stdout);
234*21d3294cSantirez   fflush(stdout);
235*21d3294cSantirez   progname = oldprogname;
236*21d3294cSantirez }
237*21d3294cSantirez 
238*21d3294cSantirez 
handle_script(lua_State * L,char ** argv,int n)239*21d3294cSantirez static int handle_script (lua_State *L, char **argv, int n) {
240*21d3294cSantirez   int status;
241*21d3294cSantirez   const char *fname;
242*21d3294cSantirez   int narg = getargs(L, argv, n);  /* collect arguments */
243*21d3294cSantirez   lua_setglobal(L, "arg");
244*21d3294cSantirez   fname = argv[n];
245*21d3294cSantirez   if (strcmp(fname, "-") == 0 && strcmp(argv[n-1], "--") != 0)
246*21d3294cSantirez     fname = NULL;  /* stdin */
247*21d3294cSantirez   status = luaL_loadfile(L, fname);
248*21d3294cSantirez   lua_insert(L, -(narg+1));
249*21d3294cSantirez   if (status == 0)
250*21d3294cSantirez     status = docall(L, narg, 0);
251*21d3294cSantirez   else
252*21d3294cSantirez     lua_pop(L, narg);
253*21d3294cSantirez   return report(L, status);
254*21d3294cSantirez }
255*21d3294cSantirez 
256*21d3294cSantirez 
257*21d3294cSantirez /* check that argument has no extra characters at the end */
258*21d3294cSantirez #define notail(x)	{if ((x)[2] != '\0') return -1;}
259*21d3294cSantirez 
260*21d3294cSantirez 
collectargs(char ** argv,int * pi,int * pv,int * pe)261*21d3294cSantirez static int collectargs (char **argv, int *pi, int *pv, int *pe) {
262*21d3294cSantirez   int i;
263*21d3294cSantirez   for (i = 1; argv[i] != NULL; i++) {
264*21d3294cSantirez     if (argv[i][0] != '-')  /* not an option? */
265*21d3294cSantirez         return i;
266*21d3294cSantirez     switch (argv[i][1]) {  /* option */
267*21d3294cSantirez       case '-':
268*21d3294cSantirez         notail(argv[i]);
269*21d3294cSantirez         return (argv[i+1] != NULL ? i+1 : 0);
270*21d3294cSantirez       case '\0':
271*21d3294cSantirez         return i;
272*21d3294cSantirez       case 'i':
273*21d3294cSantirez         notail(argv[i]);
274*21d3294cSantirez         *pi = 1;  /* go through */
275*21d3294cSantirez       case 'v':
276*21d3294cSantirez         notail(argv[i]);
277*21d3294cSantirez         *pv = 1;
278*21d3294cSantirez         break;
279*21d3294cSantirez       case 'e':
280*21d3294cSantirez         *pe = 1;  /* go through */
281*21d3294cSantirez       case 'l':
282*21d3294cSantirez         if (argv[i][2] == '\0') {
283*21d3294cSantirez           i++;
284*21d3294cSantirez           if (argv[i] == NULL) return -1;
285*21d3294cSantirez         }
286*21d3294cSantirez         break;
287*21d3294cSantirez       default: return -1;  /* invalid option */
288*21d3294cSantirez     }
289*21d3294cSantirez   }
290*21d3294cSantirez   return 0;
291*21d3294cSantirez }
292*21d3294cSantirez 
293*21d3294cSantirez 
runargs(lua_State * L,char ** argv,int n)294*21d3294cSantirez static int runargs (lua_State *L, char **argv, int n) {
295*21d3294cSantirez   int i;
296*21d3294cSantirez   for (i = 1; i < n; i++) {
297*21d3294cSantirez     if (argv[i] == NULL) continue;
298*21d3294cSantirez     lua_assert(argv[i][0] == '-');
299*21d3294cSantirez     switch (argv[i][1]) {  /* option */
300*21d3294cSantirez       case 'e': {
301*21d3294cSantirez         const char *chunk = argv[i] + 2;
302*21d3294cSantirez         if (*chunk == '\0') chunk = argv[++i];
303*21d3294cSantirez         lua_assert(chunk != NULL);
304*21d3294cSantirez         if (dostring(L, chunk, "=(command line)") != 0)
305*21d3294cSantirez           return 1;
306*21d3294cSantirez         break;
307*21d3294cSantirez       }
308*21d3294cSantirez       case 'l': {
309*21d3294cSantirez         const char *filename = argv[i] + 2;
310*21d3294cSantirez         if (*filename == '\0') filename = argv[++i];
311*21d3294cSantirez         lua_assert(filename != NULL);
312*21d3294cSantirez         if (dolibrary(L, filename))
313*21d3294cSantirez           return 1;  /* stop if file fails */
314*21d3294cSantirez         break;
315*21d3294cSantirez       }
316*21d3294cSantirez       default: break;
317*21d3294cSantirez     }
318*21d3294cSantirez   }
319*21d3294cSantirez   return 0;
320*21d3294cSantirez }
321*21d3294cSantirez 
322*21d3294cSantirez 
handle_luainit(lua_State * L)323*21d3294cSantirez static int handle_luainit (lua_State *L) {
324*21d3294cSantirez   const char *init = getenv(LUA_INIT);
325*21d3294cSantirez   if (init == NULL) return 0;  /* status OK */
326*21d3294cSantirez   else if (init[0] == '@')
327*21d3294cSantirez     return dofile(L, init+1);
328*21d3294cSantirez   else
329*21d3294cSantirez     return dostring(L, init, "=" LUA_INIT);
330*21d3294cSantirez }
331*21d3294cSantirez 
332*21d3294cSantirez 
333*21d3294cSantirez struct Smain {
334*21d3294cSantirez   int argc;
335*21d3294cSantirez   char **argv;
336*21d3294cSantirez   int status;
337*21d3294cSantirez };
338*21d3294cSantirez 
339*21d3294cSantirez 
pmain(lua_State * L)340*21d3294cSantirez static int pmain (lua_State *L) {
341*21d3294cSantirez   struct Smain *s = (struct Smain *)lua_touserdata(L, 1);
342*21d3294cSantirez   char **argv = s->argv;
343*21d3294cSantirez   int script;
344*21d3294cSantirez   int has_i = 0, has_v = 0, has_e = 0;
345*21d3294cSantirez   globalL = L;
346*21d3294cSantirez   if (argv[0] && argv[0][0]) progname = argv[0];
347*21d3294cSantirez   lua_gc(L, LUA_GCSTOP, 0);  /* stop collector during initialization */
348*21d3294cSantirez   luaL_openlibs(L);  /* open libraries */
349*21d3294cSantirez   lua_gc(L, LUA_GCRESTART, 0);
350*21d3294cSantirez   s->status = handle_luainit(L);
351*21d3294cSantirez   if (s->status != 0) return 0;
352*21d3294cSantirez   script = collectargs(argv, &has_i, &has_v, &has_e);
353*21d3294cSantirez   if (script < 0) {  /* invalid args? */
354*21d3294cSantirez     print_usage();
355*21d3294cSantirez     s->status = 1;
356*21d3294cSantirez     return 0;
357*21d3294cSantirez   }
358*21d3294cSantirez   if (has_v) print_version();
359*21d3294cSantirez   s->status = runargs(L, argv, (script > 0) ? script : s->argc);
360*21d3294cSantirez   if (s->status != 0) return 0;
361*21d3294cSantirez   if (script)
362*21d3294cSantirez     s->status = handle_script(L, argv, script);
363*21d3294cSantirez   if (s->status != 0) return 0;
364*21d3294cSantirez   if (has_i)
365*21d3294cSantirez     dotty(L);
366*21d3294cSantirez   else if (script == 0 && !has_e && !has_v) {
367*21d3294cSantirez     if (lua_stdin_is_tty()) {
368*21d3294cSantirez       print_version();
369*21d3294cSantirez       dotty(L);
370*21d3294cSantirez     }
371*21d3294cSantirez     else dofile(L, NULL);  /* executes stdin as a file */
372*21d3294cSantirez   }
373*21d3294cSantirez   return 0;
374*21d3294cSantirez }
375*21d3294cSantirez 
376*21d3294cSantirez 
main(int argc,char ** argv)377*21d3294cSantirez int main (int argc, char **argv) {
378*21d3294cSantirez   int status;
379*21d3294cSantirez   struct Smain s;
380*21d3294cSantirez   lua_State *L = lua_open();  /* create state */
381*21d3294cSantirez   if (L == NULL) {
382*21d3294cSantirez     l_message(argv[0], "cannot create state: not enough memory");
383*21d3294cSantirez     return EXIT_FAILURE;
384*21d3294cSantirez   }
385*21d3294cSantirez   s.argc = argc;
386*21d3294cSantirez   s.argv = argv;
387*21d3294cSantirez   status = lua_cpcall(L, &pmain, &s);
388*21d3294cSantirez   report(L, status);
389*21d3294cSantirez   lua_close(L);
390*21d3294cSantirez   return (status || s.status) ? EXIT_FAILURE : EXIT_SUCCESS;
391*21d3294cSantirez }
392*21d3294cSantirez 
393