ldblib.c revision 344220
1/* 2** $Id: ldblib.c,v 1.151.1.1 2017/04/19 17:20:42 roberto Exp $ 3** Interface from Lua to its debug API 4** See Copyright Notice in lua.h 5*/ 6 7#define ldblib_c 8#define LUA_LIB 9 10#include "lprefix.h" 11 12 13#include <stdio.h> 14#include <stdlib.h> 15#include <string.h> 16 17#include "lua.h" 18 19#include "lauxlib.h" 20#include "lualib.h" 21 22 23/* 24** The hook table at registry[&HOOKKEY] maps threads to their current 25** hook function. (We only need the unique address of 'HOOKKEY'.) 26*/ 27static const int HOOKKEY = 0; 28 29 30/* 31** If L1 != L, L1 can be in any state, and therefore there are no 32** guarantees about its stack space; any push in L1 must be 33** checked. 34*/ 35static void checkstack (lua_State *L, lua_State *L1, int n) { 36 if (L != L1 && !lua_checkstack(L1, n)) 37 luaL_error(L, "stack overflow"); 38} 39 40 41static int db_getregistry (lua_State *L) { 42 lua_pushvalue(L, LUA_REGISTRYINDEX); 43 return 1; 44} 45 46 47static int db_getmetatable (lua_State *L) { 48 luaL_checkany(L, 1); 49 if (!lua_getmetatable(L, 1)) { 50 lua_pushnil(L); /* no metatable */ 51 } 52 return 1; 53} 54 55 56static int db_setmetatable (lua_State *L) { 57 int t = lua_type(L, 2); 58 luaL_argcheck(L, t == LUA_TNIL || t == LUA_TTABLE, 2, 59 "nil or table expected"); 60 lua_settop(L, 2); 61 lua_setmetatable(L, 1); 62 return 1; /* return 1st argument */ 63} 64 65 66static int db_getuservalue (lua_State *L) { 67 if (lua_type(L, 1) != LUA_TUSERDATA) 68 lua_pushnil(L); 69 else 70 lua_getuservalue(L, 1); 71 return 1; 72} 73 74 75static int db_setuservalue (lua_State *L) { 76 luaL_checktype(L, 1, LUA_TUSERDATA); 77 luaL_checkany(L, 2); 78 lua_settop(L, 2); 79 lua_setuservalue(L, 1); 80 return 1; 81} 82 83 84/* 85** Auxiliary function used by several library functions: check for 86** an optional thread as function's first argument and set 'arg' with 87** 1 if this argument is present (so that functions can skip it to 88** access their other arguments) 89*/ 90static lua_State *getthread (lua_State *L, int *arg) { 91 if (lua_isthread(L, 1)) { 92 *arg = 1; 93 return lua_tothread(L, 1); 94 } 95 else { 96 *arg = 0; 97 return L; /* function will operate over current thread */ 98 } 99} 100 101 102/* 103** Variations of 'lua_settable', used by 'db_getinfo' to put results 104** from 'lua_getinfo' into result table. Key is always a string; 105** value can be a string, an int, or a boolean. 106*/ 107static void settabss (lua_State *L, const char *k, const char *v) { 108 lua_pushstring(L, v); 109 lua_setfield(L, -2, k); 110} 111 112static void settabsi (lua_State *L, const char *k, int v) { 113 lua_pushinteger(L, v); 114 lua_setfield(L, -2, k); 115} 116 117static void settabsb (lua_State *L, const char *k, int v) { 118 lua_pushboolean(L, v); 119 lua_setfield(L, -2, k); 120} 121 122 123/* 124** In function 'db_getinfo', the call to 'lua_getinfo' may push 125** results on the stack; later it creates the result table to put 126** these objects. Function 'treatstackoption' puts the result from 127** 'lua_getinfo' on top of the result table so that it can call 128** 'lua_setfield'. 129*/ 130static void treatstackoption (lua_State *L, lua_State *L1, const char *fname) { 131 if (L == L1) 132 lua_rotate(L, -2, 1); /* exchange object and table */ 133 else 134 lua_xmove(L1, L, 1); /* move object to the "main" stack */ 135 lua_setfield(L, -2, fname); /* put object into table */ 136} 137 138 139/* 140** Calls 'lua_getinfo' and collects all results in a new table. 141** L1 needs stack space for an optional input (function) plus 142** two optional outputs (function and line table) from function 143** 'lua_getinfo'. 144*/ 145static int db_getinfo (lua_State *L) { 146 lua_Debug ar; 147 int arg; 148 lua_State *L1 = getthread(L, &arg); 149 const char *options = luaL_optstring(L, arg+2, "flnStu"); 150 checkstack(L, L1, 3); 151 if (lua_isfunction(L, arg + 1)) { /* info about a function? */ 152 options = lua_pushfstring(L, ">%s", options); /* add '>' to 'options' */ 153 lua_pushvalue(L, arg + 1); /* move function to 'L1' stack */ 154 lua_xmove(L, L1, 1); 155 } 156 else { /* stack level */ 157 if (!lua_getstack(L1, (int)luaL_checkinteger(L, arg + 1), &ar)) { 158 lua_pushnil(L); /* level out of range */ 159 return 1; 160 } 161 } 162 if (!lua_getinfo(L1, options, &ar)) 163 return luaL_argerror(L, arg+2, "invalid option"); 164 lua_newtable(L); /* table to collect results */ 165 if (strchr(options, 'S')) { 166 settabss(L, "source", ar.source); 167 settabss(L, "short_src", ar.short_src); 168 settabsi(L, "linedefined", ar.linedefined); 169 settabsi(L, "lastlinedefined", ar.lastlinedefined); 170 settabss(L, "what", ar.what); 171 } 172 if (strchr(options, 'l')) 173 settabsi(L, "currentline", ar.currentline); 174 if (strchr(options, 'u')) { 175 settabsi(L, "nups", ar.nups); 176 settabsi(L, "nparams", ar.nparams); 177 settabsb(L, "isvararg", ar.isvararg); 178 } 179 if (strchr(options, 'n')) { 180 settabss(L, "name", ar.name); 181 settabss(L, "namewhat", ar.namewhat); 182 } 183 if (strchr(options, 't')) 184 settabsb(L, "istailcall", ar.istailcall); 185 if (strchr(options, 'L')) 186 treatstackoption(L, L1, "activelines"); 187 if (strchr(options, 'f')) 188 treatstackoption(L, L1, "func"); 189 return 1; /* return table */ 190} 191 192 193static int db_getlocal (lua_State *L) { 194 int arg; 195 lua_State *L1 = getthread(L, &arg); 196 lua_Debug ar; 197 const char *name; 198 int nvar = (int)luaL_checkinteger(L, arg + 2); /* local-variable index */ 199 if (lua_isfunction(L, arg + 1)) { /* function argument? */ 200 lua_pushvalue(L, arg + 1); /* push function */ 201 lua_pushstring(L, lua_getlocal(L, NULL, nvar)); /* push local name */ 202 return 1; /* return only name (there is no value) */ 203 } 204 else { /* stack-level argument */ 205 int level = (int)luaL_checkinteger(L, arg + 1); 206 if (!lua_getstack(L1, level, &ar)) /* out of range? */ 207 return luaL_argerror(L, arg+1, "level out of range"); 208 checkstack(L, L1, 1); 209 name = lua_getlocal(L1, &ar, nvar); 210 if (name) { 211 lua_xmove(L1, L, 1); /* move local value */ 212 lua_pushstring(L, name); /* push name */ 213 lua_rotate(L, -2, 1); /* re-order */ 214 return 2; 215 } 216 else { 217 lua_pushnil(L); /* no name (nor value) */ 218 return 1; 219 } 220 } 221} 222 223 224static int db_setlocal (lua_State *L) { 225 int arg; 226 const char *name; 227 lua_State *L1 = getthread(L, &arg); 228 lua_Debug ar; 229 int level = (int)luaL_checkinteger(L, arg + 1); 230 int nvar = (int)luaL_checkinteger(L, arg + 2); 231 if (!lua_getstack(L1, level, &ar)) /* out of range? */ 232 return luaL_argerror(L, arg+1, "level out of range"); 233 luaL_checkany(L, arg+3); 234 lua_settop(L, arg+3); 235 checkstack(L, L1, 1); 236 lua_xmove(L, L1, 1); 237 name = lua_setlocal(L1, &ar, nvar); 238 if (name == NULL) 239 lua_pop(L1, 1); /* pop value (if not popped by 'lua_setlocal') */ 240 lua_pushstring(L, name); 241 return 1; 242} 243 244 245/* 246** get (if 'get' is true) or set an upvalue from a closure 247*/ 248static int auxupvalue (lua_State *L, int get) { 249 const char *name; 250 int n = (int)luaL_checkinteger(L, 2); /* upvalue index */ 251 luaL_checktype(L, 1, LUA_TFUNCTION); /* closure */ 252 name = get ? lua_getupvalue(L, 1, n) : lua_setupvalue(L, 1, n); 253 if (name == NULL) return 0; 254 lua_pushstring(L, name); 255 lua_insert(L, -(get+1)); /* no-op if get is false */ 256 return get + 1; 257} 258 259 260static int db_getupvalue (lua_State *L) { 261 return auxupvalue(L, 1); 262} 263 264 265static int db_setupvalue (lua_State *L) { 266 luaL_checkany(L, 3); 267 return auxupvalue(L, 0); 268} 269 270 271/* 272** Check whether a given upvalue from a given closure exists and 273** returns its index 274*/ 275static int checkupval (lua_State *L, int argf, int argnup) { 276 int nup = (int)luaL_checkinteger(L, argnup); /* upvalue index */ 277 luaL_checktype(L, argf, LUA_TFUNCTION); /* closure */ 278 luaL_argcheck(L, (lua_getupvalue(L, argf, nup) != NULL), argnup, 279 "invalid upvalue index"); 280 return nup; 281} 282 283 284static int db_upvalueid (lua_State *L) { 285 int n = checkupval(L, 1, 2); 286 lua_pushlightuserdata(L, lua_upvalueid(L, 1, n)); 287 return 1; 288} 289 290 291static int db_upvaluejoin (lua_State *L) { 292 int n1 = checkupval(L, 1, 2); 293 int n2 = checkupval(L, 3, 4); 294 luaL_argcheck(L, !lua_iscfunction(L, 1), 1, "Lua function expected"); 295 luaL_argcheck(L, !lua_iscfunction(L, 3), 3, "Lua function expected"); 296 lua_upvaluejoin(L, 1, n1, 3, n2); 297 return 0; 298} 299 300 301/* 302** Call hook function registered at hook table for the current 303** thread (if there is one) 304*/ 305static void hookf (lua_State *L, lua_Debug *ar) { 306 static const char *const hooknames[] = 307 {"call", "return", "line", "count", "tail call"}; 308 lua_rawgetp(L, LUA_REGISTRYINDEX, &HOOKKEY); 309 lua_pushthread(L); 310 if (lua_rawget(L, -2) == LUA_TFUNCTION) { /* is there a hook function? */ 311 lua_pushstring(L, hooknames[(int)ar->event]); /* push event name */ 312 if (ar->currentline >= 0) 313 lua_pushinteger(L, ar->currentline); /* push current line */ 314 else lua_pushnil(L); 315 lua_assert(lua_getinfo(L, "lS", ar)); 316 lua_call(L, 2, 0); /* call hook function */ 317 } 318} 319 320 321/* 322** Convert a string mask (for 'sethook') into a bit mask 323*/ 324static int makemask (const char *smask, int count) { 325 int mask = 0; 326 if (strchr(smask, 'c')) mask |= LUA_MASKCALL; 327 if (strchr(smask, 'r')) mask |= LUA_MASKRET; 328 if (strchr(smask, 'l')) mask |= LUA_MASKLINE; 329 if (count > 0) mask |= LUA_MASKCOUNT; 330 return mask; 331} 332 333 334/* 335** Convert a bit mask (for 'gethook') into a string mask 336*/ 337static char *unmakemask (int mask, char *smask) { 338 int i = 0; 339 if (mask & LUA_MASKCALL) smask[i++] = 'c'; 340 if (mask & LUA_MASKRET) smask[i++] = 'r'; 341 if (mask & LUA_MASKLINE) smask[i++] = 'l'; 342 smask[i] = '\0'; 343 return smask; 344} 345 346 347static int db_sethook (lua_State *L) { 348 int arg, mask, count; 349 lua_Hook func; 350 lua_State *L1 = getthread(L, &arg); 351 if (lua_isnoneornil(L, arg+1)) { /* no hook? */ 352 lua_settop(L, arg+1); 353 func = NULL; mask = 0; count = 0; /* turn off hooks */ 354 } 355 else { 356 const char *smask = luaL_checkstring(L, arg+2); 357 luaL_checktype(L, arg+1, LUA_TFUNCTION); 358 count = (int)luaL_optinteger(L, arg + 3, 0); 359 func = hookf; mask = makemask(smask, count); 360 } 361 if (lua_rawgetp(L, LUA_REGISTRYINDEX, &HOOKKEY) == LUA_TNIL) { 362 lua_createtable(L, 0, 2); /* create a hook table */ 363 lua_pushvalue(L, -1); 364 lua_rawsetp(L, LUA_REGISTRYINDEX, &HOOKKEY); /* set it in position */ 365 lua_pushstring(L, "k"); 366 lua_setfield(L, -2, "__mode"); /** hooktable.__mode = "k" */ 367 lua_pushvalue(L, -1); 368 lua_setmetatable(L, -2); /* setmetatable(hooktable) = hooktable */ 369 } 370 checkstack(L, L1, 1); 371 lua_pushthread(L1); lua_xmove(L1, L, 1); /* key (thread) */ 372 lua_pushvalue(L, arg + 1); /* value (hook function) */ 373 lua_rawset(L, -3); /* hooktable[L1] = new Lua hook */ 374 lua_sethook(L1, func, mask, count); 375 return 0; 376} 377 378 379static int db_gethook (lua_State *L) { 380 int arg; 381 lua_State *L1 = getthread(L, &arg); 382 char buff[5]; 383 int mask = lua_gethookmask(L1); 384 lua_Hook hook = lua_gethook(L1); 385 if (hook == NULL) /* no hook? */ 386 lua_pushnil(L); 387 else if (hook != hookf) /* external hook? */ 388 lua_pushliteral(L, "external hook"); 389 else { /* hook table must exist */ 390 lua_rawgetp(L, LUA_REGISTRYINDEX, &HOOKKEY); 391 checkstack(L, L1, 1); 392 lua_pushthread(L1); lua_xmove(L1, L, 1); 393 lua_rawget(L, -2); /* 1st result = hooktable[L1] */ 394 lua_remove(L, -2); /* remove hook table */ 395 } 396 lua_pushstring(L, unmakemask(mask, buff)); /* 2nd result = mask */ 397 lua_pushinteger(L, lua_gethookcount(L1)); /* 3rd result = count */ 398 return 3; 399} 400 401 402static int db_debug (lua_State *L) { 403 for (;;) { 404 char buffer[250]; 405 lua_writestringerror("%s", "lua_debug> "); 406 if (fgets(buffer, sizeof(buffer), stdin) == 0 || 407 strcmp(buffer, "cont\n") == 0) 408 return 0; 409 if (luaL_loadbuffer(L, buffer, strlen(buffer), "=(debug command)") || 410 lua_pcall(L, 0, 0, 0)) 411 lua_writestringerror("%s\n", lua_tostring(L, -1)); 412 lua_settop(L, 0); /* remove eventual returns */ 413 } 414} 415 416 417static int db_traceback (lua_State *L) { 418 int arg; 419 lua_State *L1 = getthread(L, &arg); 420 const char *msg = lua_tostring(L, arg + 1); 421 if (msg == NULL && !lua_isnoneornil(L, arg + 1)) /* non-string 'msg'? */ 422 lua_pushvalue(L, arg + 1); /* return it untouched */ 423 else { 424 int level = (int)luaL_optinteger(L, arg + 2, (L == L1) ? 1 : 0); 425 luaL_traceback(L, L1, msg, level); 426 } 427 return 1; 428} 429 430 431static const luaL_Reg dblib[] = { 432 {"debug", db_debug}, 433 {"getuservalue", db_getuservalue}, 434 {"gethook", db_gethook}, 435 {"getinfo", db_getinfo}, 436 {"getlocal", db_getlocal}, 437 {"getregistry", db_getregistry}, 438 {"getmetatable", db_getmetatable}, 439 {"getupvalue", db_getupvalue}, 440 {"upvaluejoin", db_upvaluejoin}, 441 {"upvalueid", db_upvalueid}, 442 {"setuservalue", db_setuservalue}, 443 {"sethook", db_sethook}, 444 {"setlocal", db_setlocal}, 445 {"setmetatable", db_setmetatable}, 446 {"setupvalue", db_setupvalue}, 447 {"traceback", db_traceback}, 448 {NULL, NULL} 449}; 450 451 452LUAMOD_API int luaopen_debug (lua_State *L) { 453 luaL_newlib(L, dblib); 454 return 1; 455} 456 457