18e3e3a7aSWarner Losh /* 20495ed39SKyle Evans ** $Id: lobject.c $ 38e3e3a7aSWarner Losh ** Some generic functions over Lua objects 48e3e3a7aSWarner Losh ** See Copyright Notice in lua.h 58e3e3a7aSWarner Losh */ 68e3e3a7aSWarner Losh 78e3e3a7aSWarner Losh #define lobject_c 88e3e3a7aSWarner Losh #define LUA_CORE 98e3e3a7aSWarner Losh 108e3e3a7aSWarner Losh #include "lprefix.h" 118e3e3a7aSWarner Losh 128e3e3a7aSWarner Losh 138e3e3a7aSWarner Losh #include <locale.h> 148e3e3a7aSWarner Losh #include <math.h> 158e3e3a7aSWarner Losh #include <stdarg.h> 168e3e3a7aSWarner Losh #include <stdio.h> 178e3e3a7aSWarner Losh #include <stdlib.h> 188e3e3a7aSWarner Losh #include <string.h> 198e3e3a7aSWarner Losh 208e3e3a7aSWarner Losh #include "lua.h" 218e3e3a7aSWarner Losh 228e3e3a7aSWarner Losh #include "lctype.h" 238e3e3a7aSWarner Losh #include "ldebug.h" 248e3e3a7aSWarner Losh #include "ldo.h" 258e3e3a7aSWarner Losh #include "lmem.h" 268e3e3a7aSWarner Losh #include "lobject.h" 278e3e3a7aSWarner Losh #include "lstate.h" 288e3e3a7aSWarner Losh #include "lstring.h" 298e3e3a7aSWarner Losh #include "lvm.h" 308e3e3a7aSWarner Losh 318e3e3a7aSWarner Losh 328e3e3a7aSWarner Losh /* 338e3e3a7aSWarner Losh ** Computes ceil(log2(x)) 348e3e3a7aSWarner Losh */ 358e3e3a7aSWarner Losh int luaO_ceillog2 (unsigned int x) { 368e3e3a7aSWarner Losh static const lu_byte log_2[256] = { /* log_2[i] = ceil(log2(i - 1)) */ 378e3e3a7aSWarner Losh 0,1,2,2,3,3,3,3,4,4,4,4,4,4,4,4,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5,5, 388e3e3a7aSWarner Losh 6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6,6, 398e3e3a7aSWarner Losh 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7, 408e3e3a7aSWarner Losh 7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7,7, 418e3e3a7aSWarner Losh 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, 428e3e3a7aSWarner Losh 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, 438e3e3a7aSWarner Losh 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8, 448e3e3a7aSWarner Losh 8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8 458e3e3a7aSWarner Losh }; 468e3e3a7aSWarner Losh int l = 0; 478e3e3a7aSWarner Losh x--; 488e3e3a7aSWarner Losh while (x >= 256) { l += 8; x >>= 8; } 498e3e3a7aSWarner Losh return l + log_2[x]; 508e3e3a7aSWarner Losh } 518e3e3a7aSWarner Losh 528e3e3a7aSWarner Losh 538e3e3a7aSWarner Losh static lua_Integer intarith (lua_State *L, int op, lua_Integer v1, 548e3e3a7aSWarner Losh lua_Integer v2) { 558e3e3a7aSWarner Losh switch (op) { 568e3e3a7aSWarner Losh case LUA_OPADD: return intop(+, v1, v2); 578e3e3a7aSWarner Losh case LUA_OPSUB:return intop(-, v1, v2); 588e3e3a7aSWarner Losh case LUA_OPMUL:return intop(*, v1, v2); 598e3e3a7aSWarner Losh case LUA_OPMOD: return luaV_mod(L, v1, v2); 600495ed39SKyle Evans case LUA_OPIDIV: return luaV_idiv(L, v1, v2); 618e3e3a7aSWarner Losh case LUA_OPBAND: return intop(&, v1, v2); 628e3e3a7aSWarner Losh case LUA_OPBOR: return intop(|, v1, v2); 638e3e3a7aSWarner Losh case LUA_OPBXOR: return intop(^, v1, v2); 648e3e3a7aSWarner Losh case LUA_OPSHL: return luaV_shiftl(v1, v2); 658e3e3a7aSWarner Losh case LUA_OPSHR: return luaV_shiftl(v1, -v2); 668e3e3a7aSWarner Losh case LUA_OPUNM: return intop(-, 0, v1); 678e3e3a7aSWarner Losh case LUA_OPBNOT: return intop(^, ~l_castS2U(0), v1); 688e3e3a7aSWarner Losh default: lua_assert(0); return 0; 698e3e3a7aSWarner Losh } 708e3e3a7aSWarner Losh } 718e3e3a7aSWarner Losh 728e3e3a7aSWarner Losh 738e3e3a7aSWarner Losh static lua_Number numarith (lua_State *L, int op, lua_Number v1, 748e3e3a7aSWarner Losh lua_Number v2) { 758e3e3a7aSWarner Losh switch (op) { 768e3e3a7aSWarner Losh case LUA_OPADD: return luai_numadd(L, v1, v2); 778e3e3a7aSWarner Losh case LUA_OPSUB: return luai_numsub(L, v1, v2); 788e3e3a7aSWarner Losh case LUA_OPMUL: return luai_nummul(L, v1, v2); 798e3e3a7aSWarner Losh case LUA_OPDIV: return luai_numdiv(L, v1, v2); 808e3e3a7aSWarner Losh case LUA_OPPOW: return luai_numpow(L, v1, v2); 818e3e3a7aSWarner Losh case LUA_OPIDIV: return luai_numidiv(L, v1, v2); 828e3e3a7aSWarner Losh case LUA_OPUNM: return luai_numunm(L, v1); 830495ed39SKyle Evans case LUA_OPMOD: return luaV_modf(L, v1, v2); 848e3e3a7aSWarner Losh default: lua_assert(0); return 0; 858e3e3a7aSWarner Losh } 868e3e3a7aSWarner Losh } 878e3e3a7aSWarner Losh 888e3e3a7aSWarner Losh 890495ed39SKyle Evans int luaO_rawarith (lua_State *L, int op, const TValue *p1, const TValue *p2, 908e3e3a7aSWarner Losh TValue *res) { 918e3e3a7aSWarner Losh switch (op) { 928e3e3a7aSWarner Losh case LUA_OPBAND: case LUA_OPBOR: case LUA_OPBXOR: 938e3e3a7aSWarner Losh case LUA_OPSHL: case LUA_OPSHR: 948e3e3a7aSWarner Losh case LUA_OPBNOT: { /* operate only on integers */ 958e3e3a7aSWarner Losh lua_Integer i1; lua_Integer i2; 960495ed39SKyle Evans if (tointegerns(p1, &i1) && tointegerns(p2, &i2)) { 978e3e3a7aSWarner Losh setivalue(res, intarith(L, op, i1, i2)); 980495ed39SKyle Evans return 1; 998e3e3a7aSWarner Losh } 1000495ed39SKyle Evans else return 0; /* fail */ 1018e3e3a7aSWarner Losh } 1028e3e3a7aSWarner Losh case LUA_OPDIV: case LUA_OPPOW: { /* operate only on floats */ 1038e3e3a7aSWarner Losh lua_Number n1; lua_Number n2; 1040495ed39SKyle Evans if (tonumberns(p1, n1) && tonumberns(p2, n2)) { 1058e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2)); 1060495ed39SKyle Evans return 1; 1078e3e3a7aSWarner Losh } 1080495ed39SKyle Evans else return 0; /* fail */ 1098e3e3a7aSWarner Losh } 1108e3e3a7aSWarner Losh default: { /* other operations */ 1118e3e3a7aSWarner Losh lua_Number n1; lua_Number n2; 1128e3e3a7aSWarner Losh if (ttisinteger(p1) && ttisinteger(p2)) { 1138e3e3a7aSWarner Losh setivalue(res, intarith(L, op, ivalue(p1), ivalue(p2))); 1140495ed39SKyle Evans return 1; 1158e3e3a7aSWarner Losh } 1160495ed39SKyle Evans else if (tonumberns(p1, n1) && tonumberns(p2, n2)) { 1178e3e3a7aSWarner Losh setfltvalue(res, numarith(L, op, n1, n2)); 1180495ed39SKyle Evans return 1; 1198e3e3a7aSWarner Losh } 1200495ed39SKyle Evans else return 0; /* fail */ 1218e3e3a7aSWarner Losh } 1228e3e3a7aSWarner Losh } 1230495ed39SKyle Evans } 1240495ed39SKyle Evans 1250495ed39SKyle Evans 1260495ed39SKyle Evans void luaO_arith (lua_State *L, int op, const TValue *p1, const TValue *p2, 1270495ed39SKyle Evans StkId res) { 1280495ed39SKyle Evans if (!luaO_rawarith(L, op, p1, p2, s2v(res))) { 1298e3e3a7aSWarner Losh /* could not perform raw operation; try metamethod */ 1308e3e3a7aSWarner Losh luaT_trybinTM(L, p1, p2, res, cast(TMS, (op - LUA_OPADD) + TM_ADD)); 1318e3e3a7aSWarner Losh } 1320495ed39SKyle Evans } 1338e3e3a7aSWarner Losh 1348e3e3a7aSWarner Losh 1358e3e3a7aSWarner Losh int luaO_hexavalue (int c) { 1368e3e3a7aSWarner Losh if (lisdigit(c)) return c - '0'; 1378e3e3a7aSWarner Losh else return (ltolower(c) - 'a') + 10; 1388e3e3a7aSWarner Losh } 1398e3e3a7aSWarner Losh 1408e3e3a7aSWarner Losh 1418e3e3a7aSWarner Losh static int isneg (const char **s) { 1428e3e3a7aSWarner Losh if (**s == '-') { (*s)++; return 1; } 1438e3e3a7aSWarner Losh else if (**s == '+') (*s)++; 1448e3e3a7aSWarner Losh return 0; 1458e3e3a7aSWarner Losh } 1468e3e3a7aSWarner Losh 1478e3e3a7aSWarner Losh 1488e3e3a7aSWarner Losh 1498e3e3a7aSWarner Losh /* 1508e3e3a7aSWarner Losh ** {================================================================== 1518e3e3a7aSWarner Losh ** Lua's implementation for 'lua_strx2number' 1528e3e3a7aSWarner Losh ** =================================================================== 1538e3e3a7aSWarner Losh */ 1548e3e3a7aSWarner Losh 1558e3e3a7aSWarner Losh #if !defined(lua_strx2number) 1568e3e3a7aSWarner Losh 1578e3e3a7aSWarner Losh /* maximum number of significant digits to read (to avoid overflows 1588e3e3a7aSWarner Losh even with single floats) */ 1598e3e3a7aSWarner Losh #define MAXSIGDIG 30 1608e3e3a7aSWarner Losh 1618e3e3a7aSWarner Losh /* 1620495ed39SKyle Evans ** convert a hexadecimal numeric string to a number, following 1638e3e3a7aSWarner Losh ** C99 specification for 'strtod' 1648e3e3a7aSWarner Losh */ 1658e3e3a7aSWarner Losh static lua_Number lua_strx2number (const char *s, char **endptr) { 1668e3e3a7aSWarner Losh int dot = lua_getlocaledecpoint(); 167*8c784bb8SWarner Losh lua_Number r = l_mathop(0.0); /* result (accumulator) */ 1688e3e3a7aSWarner Losh int sigdig = 0; /* number of significant digits */ 1698e3e3a7aSWarner Losh int nosigdig = 0; /* number of non-significant digits */ 1708e3e3a7aSWarner Losh int e = 0; /* exponent correction */ 1718e3e3a7aSWarner Losh int neg; /* 1 if number is negative */ 1728e3e3a7aSWarner Losh int hasdot = 0; /* true after seen a dot */ 1730495ed39SKyle Evans *endptr = cast_charp(s); /* nothing is valid yet */ 1748e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */ 1750495ed39SKyle Evans neg = isneg(&s); /* check sign */ 1768e3e3a7aSWarner Losh if (!(*s == '0' && (*(s + 1) == 'x' || *(s + 1) == 'X'))) /* check '0x' */ 177*8c784bb8SWarner Losh return l_mathop(0.0); /* invalid format (no '0x') */ 1788e3e3a7aSWarner Losh for (s += 2; ; s++) { /* skip '0x' and read numeral */ 1798e3e3a7aSWarner Losh if (*s == dot) { 1808e3e3a7aSWarner Losh if (hasdot) break; /* second dot? stop loop */ 1818e3e3a7aSWarner Losh else hasdot = 1; 1828e3e3a7aSWarner Losh } 1838e3e3a7aSWarner Losh else if (lisxdigit(cast_uchar(*s))) { 1848e3e3a7aSWarner Losh if (sigdig == 0 && *s == '0') /* non-significant digit (zero)? */ 1858e3e3a7aSWarner Losh nosigdig++; 1868e3e3a7aSWarner Losh else if (++sigdig <= MAXSIGDIG) /* can read it without overflow? */ 187*8c784bb8SWarner Losh r = (r * l_mathop(16.0)) + luaO_hexavalue(*s); 1888e3e3a7aSWarner Losh else e++; /* too many digits; ignore, but still count for exponent */ 1898e3e3a7aSWarner Losh if (hasdot) e--; /* decimal digit? correct exponent */ 1908e3e3a7aSWarner Losh } 1918e3e3a7aSWarner Losh else break; /* neither a dot nor a digit */ 1928e3e3a7aSWarner Losh } 1938e3e3a7aSWarner Losh if (nosigdig + sigdig == 0) /* no digits? */ 194*8c784bb8SWarner Losh return l_mathop(0.0); /* invalid format */ 1950495ed39SKyle Evans *endptr = cast_charp(s); /* valid up to here */ 1968e3e3a7aSWarner Losh e *= 4; /* each digit multiplies/divides value by 2^4 */ 1978e3e3a7aSWarner Losh if (*s == 'p' || *s == 'P') { /* exponent part? */ 1988e3e3a7aSWarner Losh int exp1 = 0; /* exponent value */ 1990495ed39SKyle Evans int neg1; /* exponent sign */ 2008e3e3a7aSWarner Losh s++; /* skip 'p' */ 2010495ed39SKyle Evans neg1 = isneg(&s); /* sign */ 2028e3e3a7aSWarner Losh if (!lisdigit(cast_uchar(*s))) 203*8c784bb8SWarner Losh return l_mathop(0.0); /* invalid; must have at least one digit */ 2048e3e3a7aSWarner Losh while (lisdigit(cast_uchar(*s))) /* read exponent */ 2058e3e3a7aSWarner Losh exp1 = exp1 * 10 + *(s++) - '0'; 2068e3e3a7aSWarner Losh if (neg1) exp1 = -exp1; 2078e3e3a7aSWarner Losh e += exp1; 2080495ed39SKyle Evans *endptr = cast_charp(s); /* valid up to here */ 2098e3e3a7aSWarner Losh } 2108e3e3a7aSWarner Losh if (neg) r = -r; 2118e3e3a7aSWarner Losh return l_mathop(ldexp)(r, e); 2128e3e3a7aSWarner Losh } 2138e3e3a7aSWarner Losh 2148e3e3a7aSWarner Losh #endif 2158e3e3a7aSWarner Losh /* }====================================================== */ 2168e3e3a7aSWarner Losh 2178e3e3a7aSWarner Losh 2180495ed39SKyle Evans /* maximum length of a numeral to be converted to a number */ 2198e3e3a7aSWarner Losh #if !defined (L_MAXLENNUM) 2208e3e3a7aSWarner Losh #define L_MAXLENNUM 200 2218e3e3a7aSWarner Losh #endif 2228e3e3a7aSWarner Losh 2230495ed39SKyle Evans /* 2240495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result'). Return NULL on 2250495ed39SKyle Evans ** fail or the address of the ending '\0' on success. ('mode' == 'x') 2260495ed39SKyle Evans ** means a hexadecimal numeral. 2270495ed39SKyle Evans */ 2288e3e3a7aSWarner Losh static const char *l_str2dloc (const char *s, lua_Number *result, int mode) { 2298e3e3a7aSWarner Losh char *endptr; 2308e3e3a7aSWarner Losh *result = (mode == 'x') ? lua_strx2number(s, &endptr) /* try to convert */ 2318e3e3a7aSWarner Losh : lua_str2number(s, &endptr); 2328e3e3a7aSWarner Losh if (endptr == s) return NULL; /* nothing recognized? */ 2338e3e3a7aSWarner Losh while (lisspace(cast_uchar(*endptr))) endptr++; /* skip trailing spaces */ 2340495ed39SKyle Evans return (*endptr == '\0') ? endptr : NULL; /* OK iff no trailing chars */ 2358e3e3a7aSWarner Losh } 2368e3e3a7aSWarner Losh 2378e3e3a7aSWarner Losh 2388e3e3a7aSWarner Losh /* 2390495ed39SKyle Evans ** Convert string 's' to a Lua number (put in 'result') handling the 2400495ed39SKyle Evans ** current locale. 2418e3e3a7aSWarner Losh ** This function accepts both the current locale or a dot as the radix 242bf9580a1SKyle Evans ** mark. If the conversion fails, it may mean number has a dot but 2438e3e3a7aSWarner Losh ** locale accepts something else. In that case, the code copies 's' 2448e3e3a7aSWarner Losh ** to a buffer (because 's' is read-only), changes the dot to the 2458e3e3a7aSWarner Losh ** current locale radix mark, and tries to convert again. 2460495ed39SKyle Evans ** The variable 'mode' checks for special characters in the string: 2470495ed39SKyle Evans ** - 'n' means 'inf' or 'nan' (which should be rejected) 2480495ed39SKyle Evans ** - 'x' means a hexadecimal numeral 2490495ed39SKyle Evans ** - '.' just optimizes the search for the common case (no special chars) 2508e3e3a7aSWarner Losh */ 2518e3e3a7aSWarner Losh static const char *l_str2d (const char *s, lua_Number *result) { 2528e3e3a7aSWarner Losh const char *endptr; 2530495ed39SKyle Evans const char *pmode = strpbrk(s, ".xXnN"); /* look for special chars */ 2548e3e3a7aSWarner Losh int mode = pmode ? ltolower(cast_uchar(*pmode)) : 0; 2558e3e3a7aSWarner Losh if (mode == 'n') /* reject 'inf' and 'nan' */ 2568e3e3a7aSWarner Losh return NULL; 2578e3e3a7aSWarner Losh endptr = l_str2dloc(s, result, mode); /* try to convert */ 2588e3e3a7aSWarner Losh if (endptr == NULL) { /* failed? may be a different locale */ 2598e3e3a7aSWarner Losh char buff[L_MAXLENNUM + 1]; 2608e3e3a7aSWarner Losh const char *pdot = strchr(s, '.'); 2610495ed39SKyle Evans if (pdot == NULL || strlen(s) > L_MAXLENNUM) 2628e3e3a7aSWarner Losh return NULL; /* string too long or no dot; fail */ 2638e3e3a7aSWarner Losh strcpy(buff, s); /* copy string to buffer */ 2648e3e3a7aSWarner Losh buff[pdot - s] = lua_getlocaledecpoint(); /* correct decimal point */ 2658e3e3a7aSWarner Losh endptr = l_str2dloc(buff, result, mode); /* try again */ 2668e3e3a7aSWarner Losh if (endptr != NULL) 2678e3e3a7aSWarner Losh endptr = s + (endptr - buff); /* make relative to 's' */ 2688e3e3a7aSWarner Losh } 2698e3e3a7aSWarner Losh return endptr; 2708e3e3a7aSWarner Losh } 2718e3e3a7aSWarner Losh 2728e3e3a7aSWarner Losh 2738e3e3a7aSWarner Losh #define MAXBY10 cast(lua_Unsigned, LUA_MAXINTEGER / 10) 2748e3e3a7aSWarner Losh #define MAXLASTD cast_int(LUA_MAXINTEGER % 10) 2758e3e3a7aSWarner Losh 2768e3e3a7aSWarner Losh static const char *l_str2int (const char *s, lua_Integer *result) { 2778e3e3a7aSWarner Losh lua_Unsigned a = 0; 2788e3e3a7aSWarner Losh int empty = 1; 2798e3e3a7aSWarner Losh int neg; 2808e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip initial spaces */ 2818e3e3a7aSWarner Losh neg = isneg(&s); 2828e3e3a7aSWarner Losh if (s[0] == '0' && 2838e3e3a7aSWarner Losh (s[1] == 'x' || s[1] == 'X')) { /* hex? */ 2848e3e3a7aSWarner Losh s += 2; /* skip '0x' */ 2858e3e3a7aSWarner Losh for (; lisxdigit(cast_uchar(*s)); s++) { 2868e3e3a7aSWarner Losh a = a * 16 + luaO_hexavalue(*s); 2878e3e3a7aSWarner Losh empty = 0; 2888e3e3a7aSWarner Losh } 2898e3e3a7aSWarner Losh } 2908e3e3a7aSWarner Losh else { /* decimal */ 2918e3e3a7aSWarner Losh for (; lisdigit(cast_uchar(*s)); s++) { 2928e3e3a7aSWarner Losh int d = *s - '0'; 2938e3e3a7aSWarner Losh if (a >= MAXBY10 && (a > MAXBY10 || d > MAXLASTD + neg)) /* overflow? */ 2948e3e3a7aSWarner Losh return NULL; /* do not accept it (as integer) */ 2958e3e3a7aSWarner Losh a = a * 10 + d; 2968e3e3a7aSWarner Losh empty = 0; 2978e3e3a7aSWarner Losh } 2988e3e3a7aSWarner Losh } 2998e3e3a7aSWarner Losh while (lisspace(cast_uchar(*s))) s++; /* skip trailing spaces */ 3008e3e3a7aSWarner Losh if (empty || *s != '\0') return NULL; /* something wrong in the numeral */ 3018e3e3a7aSWarner Losh else { 3028e3e3a7aSWarner Losh *result = l_castU2S((neg) ? 0u - a : a); 3038e3e3a7aSWarner Losh return s; 3048e3e3a7aSWarner Losh } 3058e3e3a7aSWarner Losh } 3068e3e3a7aSWarner Losh 3078e3e3a7aSWarner Losh 3088e3e3a7aSWarner Losh size_t luaO_str2num (const char *s, TValue *o) { 3098e3e3a7aSWarner Losh lua_Integer i; lua_Number n; 3108e3e3a7aSWarner Losh const char *e; 3118e3e3a7aSWarner Losh if ((e = l_str2int(s, &i)) != NULL) { /* try as an integer */ 3128e3e3a7aSWarner Losh setivalue(o, i); 3138e3e3a7aSWarner Losh } 3148e3e3a7aSWarner Losh else if ((e = l_str2d(s, &n)) != NULL) { /* else try as a float */ 3158e3e3a7aSWarner Losh setfltvalue(o, n); 3168e3e3a7aSWarner Losh } 3178e3e3a7aSWarner Losh else 3188e3e3a7aSWarner Losh return 0; /* conversion failed */ 3198e3e3a7aSWarner Losh return (e - s) + 1; /* success; return string size */ 3208e3e3a7aSWarner Losh } 3218e3e3a7aSWarner Losh 3228e3e3a7aSWarner Losh 3238e3e3a7aSWarner Losh int luaO_utf8esc (char *buff, unsigned long x) { 3248e3e3a7aSWarner Losh int n = 1; /* number of bytes put in buffer (backwards) */ 3250495ed39SKyle Evans lua_assert(x <= 0x7FFFFFFFu); 3268e3e3a7aSWarner Losh if (x < 0x80) /* ascii? */ 3270495ed39SKyle Evans buff[UTF8BUFFSZ - 1] = cast_char(x); 3288e3e3a7aSWarner Losh else { /* need continuation bytes */ 3298e3e3a7aSWarner Losh unsigned int mfb = 0x3f; /* maximum that fits in first byte */ 3308e3e3a7aSWarner Losh do { /* add continuation bytes */ 3310495ed39SKyle Evans buff[UTF8BUFFSZ - (n++)] = cast_char(0x80 | (x & 0x3f)); 3328e3e3a7aSWarner Losh x >>= 6; /* remove added bits */ 3338e3e3a7aSWarner Losh mfb >>= 1; /* now there is one less bit available in first byte */ 3348e3e3a7aSWarner Losh } while (x > mfb); /* still needs continuation byte? */ 3350495ed39SKyle Evans buff[UTF8BUFFSZ - n] = cast_char((~mfb << 1) | x); /* add first byte */ 3368e3e3a7aSWarner Losh } 3378e3e3a7aSWarner Losh return n; 3388e3e3a7aSWarner Losh } 3398e3e3a7aSWarner Losh 3408e3e3a7aSWarner Losh 3410495ed39SKyle Evans /* 3420495ed39SKyle Evans ** Maximum length of the conversion of a number to a string. Must be 3430495ed39SKyle Evans ** enough to accommodate both LUA_INTEGER_FMT and LUA_NUMBER_FMT. 3440495ed39SKyle Evans ** (For a long long int, this is 19 digits plus a sign and a final '\0', 3450495ed39SKyle Evans ** adding to 21. For a long double, it can go to a sign, 33 digits, 3460495ed39SKyle Evans ** the dot, an exponent letter, an exponent sign, 5 exponent digits, 3470495ed39SKyle Evans ** and a final '\0', adding to 43.) 3480495ed39SKyle Evans */ 3490495ed39SKyle Evans #define MAXNUMBER2STR 44 3508e3e3a7aSWarner Losh 3518e3e3a7aSWarner Losh 3528e3e3a7aSWarner Losh /* 3530495ed39SKyle Evans ** Convert a number object to a string, adding it to a buffer 3548e3e3a7aSWarner Losh */ 3550495ed39SKyle Evans static int tostringbuff (TValue *obj, char *buff) { 3560495ed39SKyle Evans int len; 3578e3e3a7aSWarner Losh lua_assert(ttisnumber(obj)); 3588e3e3a7aSWarner Losh if (ttisinteger(obj)) 3590495ed39SKyle Evans len = lua_integer2str(buff, MAXNUMBER2STR, ivalue(obj)); 3608e3e3a7aSWarner Losh else { 3610495ed39SKyle Evans len = lua_number2str(buff, MAXNUMBER2STR, fltvalue(obj)); 3628e3e3a7aSWarner Losh if (buff[strspn(buff, "-0123456789")] == '\0') { /* looks like an int? */ 3638e3e3a7aSWarner Losh buff[len++] = lua_getlocaledecpoint(); 3648e3e3a7aSWarner Losh buff[len++] = '0'; /* adds '.0' to result */ 3658e3e3a7aSWarner Losh } 3668e3e3a7aSWarner Losh } 3670495ed39SKyle Evans return len; 3688e3e3a7aSWarner Losh } 3698e3e3a7aSWarner Losh 3708e3e3a7aSWarner Losh 3718e3e3a7aSWarner Losh /* 3720495ed39SKyle Evans ** Convert a number object to a Lua string, replacing the value at 'obj' 3730495ed39SKyle Evans */ 3740495ed39SKyle Evans void luaO_tostring (lua_State *L, TValue *obj) { 3750495ed39SKyle Evans char buff[MAXNUMBER2STR]; 3760495ed39SKyle Evans int len = tostringbuff(obj, buff); 3770495ed39SKyle Evans setsvalue(L, obj, luaS_newlstr(L, buff, len)); 3780495ed39SKyle Evans } 3790495ed39SKyle Evans 3800495ed39SKyle Evans 3810495ed39SKyle Evans 3820495ed39SKyle Evans 3830495ed39SKyle Evans /* 3840495ed39SKyle Evans ** {================================================================== 3850495ed39SKyle Evans ** 'luaO_pushvfstring' 3860495ed39SKyle Evans ** =================================================================== 3870495ed39SKyle Evans */ 3880495ed39SKyle Evans 3890495ed39SKyle Evans /* size for buffer space used by 'luaO_pushvfstring' */ 3900495ed39SKyle Evans #define BUFVFS 200 3910495ed39SKyle Evans 3920495ed39SKyle Evans /* buffer used by 'luaO_pushvfstring' */ 3930495ed39SKyle Evans typedef struct BuffFS { 3940495ed39SKyle Evans lua_State *L; 3950495ed39SKyle Evans int pushed; /* number of string pieces already on the stack */ 3960495ed39SKyle Evans int blen; /* length of partial string in 'space' */ 3970495ed39SKyle Evans char space[BUFVFS]; /* holds last part of the result */ 3980495ed39SKyle Evans } BuffFS; 3990495ed39SKyle Evans 4000495ed39SKyle Evans 4010495ed39SKyle Evans /* 4020495ed39SKyle Evans ** Push given string to the stack, as part of the buffer, and 4030495ed39SKyle Evans ** join the partial strings in the stack into one. 4040495ed39SKyle Evans */ 4050495ed39SKyle Evans static void pushstr (BuffFS *buff, const char *str, size_t l) { 4060495ed39SKyle Evans lua_State *L = buff->L; 4070495ed39SKyle Evans setsvalue2s(L, L->top, luaS_newlstr(L, str, l)); 4080495ed39SKyle Evans L->top++; /* may use one extra slot */ 4090495ed39SKyle Evans buff->pushed++; 4100495ed39SKyle Evans luaV_concat(L, buff->pushed); /* join partial results into one */ 4110495ed39SKyle Evans buff->pushed = 1; 4120495ed39SKyle Evans } 4130495ed39SKyle Evans 4140495ed39SKyle Evans 4150495ed39SKyle Evans /* 4160495ed39SKyle Evans ** empty the buffer space into the stack 4170495ed39SKyle Evans */ 4180495ed39SKyle Evans static void clearbuff (BuffFS *buff) { 4190495ed39SKyle Evans pushstr(buff, buff->space, buff->blen); /* push buffer contents */ 4200495ed39SKyle Evans buff->blen = 0; /* space now is empty */ 4210495ed39SKyle Evans } 4220495ed39SKyle Evans 4230495ed39SKyle Evans 4240495ed39SKyle Evans /* 4250495ed39SKyle Evans ** Get a space of size 'sz' in the buffer. If buffer has not enough 4260495ed39SKyle Evans ** space, empty it. 'sz' must fit in an empty buffer. 4270495ed39SKyle Evans */ 4280495ed39SKyle Evans static char *getbuff (BuffFS *buff, int sz) { 4290495ed39SKyle Evans lua_assert(buff->blen <= BUFVFS); lua_assert(sz <= BUFVFS); 4300495ed39SKyle Evans if (sz > BUFVFS - buff->blen) /* not enough space? */ 4310495ed39SKyle Evans clearbuff(buff); 4320495ed39SKyle Evans return buff->space + buff->blen; 4330495ed39SKyle Evans } 4340495ed39SKyle Evans 4350495ed39SKyle Evans 4360495ed39SKyle Evans #define addsize(b,sz) ((b)->blen += (sz)) 4370495ed39SKyle Evans 4380495ed39SKyle Evans 4390495ed39SKyle Evans /* 4400495ed39SKyle Evans ** Add 'str' to the buffer. If string is larger than the buffer space, 4410495ed39SKyle Evans ** push the string directly to the stack. 4420495ed39SKyle Evans */ 4430495ed39SKyle Evans static void addstr2buff (BuffFS *buff, const char *str, size_t slen) { 4440495ed39SKyle Evans if (slen <= BUFVFS) { /* does string fit into buffer? */ 4450495ed39SKyle Evans char *bf = getbuff(buff, cast_int(slen)); 4460495ed39SKyle Evans memcpy(bf, str, slen); /* add string to buffer */ 4470495ed39SKyle Evans addsize(buff, cast_int(slen)); 4480495ed39SKyle Evans } 4490495ed39SKyle Evans else { /* string larger than buffer */ 4500495ed39SKyle Evans clearbuff(buff); /* string comes after buffer's content */ 4510495ed39SKyle Evans pushstr(buff, str, slen); /* push string */ 4520495ed39SKyle Evans } 4530495ed39SKyle Evans } 4540495ed39SKyle Evans 4550495ed39SKyle Evans 4560495ed39SKyle Evans /* 4570495ed39SKyle Evans ** Add a number to the buffer. 4580495ed39SKyle Evans */ 4590495ed39SKyle Evans static void addnum2buff (BuffFS *buff, TValue *num) { 4600495ed39SKyle Evans char *numbuff = getbuff(buff, MAXNUMBER2STR); 4610495ed39SKyle Evans int len = tostringbuff(num, numbuff); /* format number into 'numbuff' */ 4620495ed39SKyle Evans addsize(buff, len); 4630495ed39SKyle Evans } 4640495ed39SKyle Evans 4650495ed39SKyle Evans 4660495ed39SKyle Evans /* 4670495ed39SKyle Evans ** this function handles only '%d', '%c', '%f', '%p', '%s', and '%%' 4688e3e3a7aSWarner Losh conventional formats, plus Lua-specific '%I' and '%U' 4698e3e3a7aSWarner Losh */ 4708e3e3a7aSWarner Losh const char *luaO_pushvfstring (lua_State *L, const char *fmt, va_list argp) { 4710495ed39SKyle Evans BuffFS buff; /* holds last part of the result */ 4720495ed39SKyle Evans const char *e; /* points to next '%' */ 4730495ed39SKyle Evans buff.pushed = buff.blen = 0; 4740495ed39SKyle Evans buff.L = L; 4750495ed39SKyle Evans while ((e = strchr(fmt, '%')) != NULL) { 4760495ed39SKyle Evans addstr2buff(&buff, fmt, e - fmt); /* add 'fmt' up to '%' */ 4770495ed39SKyle Evans switch (*(e + 1)) { /* conversion specifier */ 4788e3e3a7aSWarner Losh case 's': { /* zero-terminated string */ 4798e3e3a7aSWarner Losh const char *s = va_arg(argp, char *); 4808e3e3a7aSWarner Losh if (s == NULL) s = "(null)"; 4810495ed39SKyle Evans addstr2buff(&buff, s, strlen(s)); 4828e3e3a7aSWarner Losh break; 4838e3e3a7aSWarner Losh } 4848e3e3a7aSWarner Losh case 'c': { /* an 'int' as a character */ 4850495ed39SKyle Evans char c = cast_uchar(va_arg(argp, int)); 4860495ed39SKyle Evans addstr2buff(&buff, &c, sizeof(char)); 4878e3e3a7aSWarner Losh break; 4888e3e3a7aSWarner Losh } 4898e3e3a7aSWarner Losh case 'd': { /* an 'int' */ 4900495ed39SKyle Evans TValue num; 4910495ed39SKyle Evans setivalue(&num, va_arg(argp, int)); 4920495ed39SKyle Evans addnum2buff(&buff, &num); 4930495ed39SKyle Evans break; 4948e3e3a7aSWarner Losh } 4958e3e3a7aSWarner Losh case 'I': { /* a 'lua_Integer' */ 4960495ed39SKyle Evans TValue num; 4970495ed39SKyle Evans setivalue(&num, cast(lua_Integer, va_arg(argp, l_uacInt))); 4980495ed39SKyle Evans addnum2buff(&buff, &num); 4990495ed39SKyle Evans break; 5008e3e3a7aSWarner Losh } 5018e3e3a7aSWarner Losh case 'f': { /* a 'lua_Number' */ 5020495ed39SKyle Evans TValue num; 5030495ed39SKyle Evans setfltvalue(&num, cast_num(va_arg(argp, l_uacNumber))); 5040495ed39SKyle Evans addnum2buff(&buff, &num); 5058e3e3a7aSWarner Losh break; 5068e3e3a7aSWarner Losh } 5078e3e3a7aSWarner Losh case 'p': { /* a pointer */ 5080495ed39SKyle Evans const int sz = 3 * sizeof(void*) + 8; /* enough space for '%p' */ 5090495ed39SKyle Evans char *bf = getbuff(&buff, sz); 510e112e9d2SKyle Evans void *p = va_arg(argp, void *); 5110495ed39SKyle Evans int len = lua_pointer2str(bf, sz, p); 5120495ed39SKyle Evans addsize(&buff, len); 5138e3e3a7aSWarner Losh break; 5148e3e3a7aSWarner Losh } 5150495ed39SKyle Evans case 'U': { /* a 'long' as a UTF-8 sequence */ 5160495ed39SKyle Evans char bf[UTF8BUFFSZ]; 5170495ed39SKyle Evans int len = luaO_utf8esc(bf, va_arg(argp, long)); 5180495ed39SKyle Evans addstr2buff(&buff, bf + UTF8BUFFSZ - len, len); 5198e3e3a7aSWarner Losh break; 5208e3e3a7aSWarner Losh } 5218e3e3a7aSWarner Losh case '%': { 5220495ed39SKyle Evans addstr2buff(&buff, "%", 1); 5238e3e3a7aSWarner Losh break; 5248e3e3a7aSWarner Losh } 5258e3e3a7aSWarner Losh default: { 5268e3e3a7aSWarner Losh luaG_runerror(L, "invalid option '%%%c' to 'lua_pushfstring'", 5278e3e3a7aSWarner Losh *(e + 1)); 5288e3e3a7aSWarner Losh } 5298e3e3a7aSWarner Losh } 5300495ed39SKyle Evans fmt = e + 2; /* skip '%' and the specifier */ 5318e3e3a7aSWarner Losh } 5320495ed39SKyle Evans addstr2buff(&buff, fmt, strlen(fmt)); /* rest of 'fmt' */ 5330495ed39SKyle Evans clearbuff(&buff); /* empty buffer into the stack */ 5340495ed39SKyle Evans lua_assert(buff.pushed == 1); 5350495ed39SKyle Evans return svalue(s2v(L->top - 1)); 5368e3e3a7aSWarner Losh } 5378e3e3a7aSWarner Losh 5388e3e3a7aSWarner Losh 5398e3e3a7aSWarner Losh const char *luaO_pushfstring (lua_State *L, const char *fmt, ...) { 5408e3e3a7aSWarner Losh const char *msg; 5418e3e3a7aSWarner Losh va_list argp; 5428e3e3a7aSWarner Losh va_start(argp, fmt); 5438e3e3a7aSWarner Losh msg = luaO_pushvfstring(L, fmt, argp); 5448e3e3a7aSWarner Losh va_end(argp); 5458e3e3a7aSWarner Losh return msg; 5468e3e3a7aSWarner Losh } 5478e3e3a7aSWarner Losh 5480495ed39SKyle Evans /* }================================================================== */ 5498e3e3a7aSWarner Losh 5508e3e3a7aSWarner Losh 5518e3e3a7aSWarner Losh #define RETS "..." 5528e3e3a7aSWarner Losh #define PRE "[string \"" 5538e3e3a7aSWarner Losh #define POS "\"]" 5548e3e3a7aSWarner Losh 5558e3e3a7aSWarner Losh #define addstr(a,b,l) ( memcpy(a,b,(l) * sizeof(char)), a += (l) ) 5568e3e3a7aSWarner Losh 5570495ed39SKyle Evans void luaO_chunkid (char *out, const char *source, size_t srclen) { 5580495ed39SKyle Evans size_t bufflen = LUA_IDSIZE; /* free space in buffer */ 5598e3e3a7aSWarner Losh if (*source == '=') { /* 'literal' source */ 5600495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */ 5610495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char)); 5628e3e3a7aSWarner Losh else { /* truncate it */ 5638e3e3a7aSWarner Losh addstr(out, source + 1, bufflen - 1); 5648e3e3a7aSWarner Losh *out = '\0'; 5658e3e3a7aSWarner Losh } 5668e3e3a7aSWarner Losh } 5678e3e3a7aSWarner Losh else if (*source == '@') { /* file name */ 5680495ed39SKyle Evans if (srclen <= bufflen) /* small enough? */ 5690495ed39SKyle Evans memcpy(out, source + 1, srclen * sizeof(char)); 5708e3e3a7aSWarner Losh else { /* add '...' before rest of name */ 5718e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS)); 5728e3e3a7aSWarner Losh bufflen -= LL(RETS); 5730495ed39SKyle Evans memcpy(out, source + 1 + srclen - bufflen, bufflen * sizeof(char)); 5748e3e3a7aSWarner Losh } 5758e3e3a7aSWarner Losh } 5768e3e3a7aSWarner Losh else { /* string; format as [string "source"] */ 5778e3e3a7aSWarner Losh const char *nl = strchr(source, '\n'); /* find first new line (if any) */ 5788e3e3a7aSWarner Losh addstr(out, PRE, LL(PRE)); /* add prefix */ 5798e3e3a7aSWarner Losh bufflen -= LL(PRE RETS POS) + 1; /* save space for prefix+suffix+'\0' */ 5800495ed39SKyle Evans if (srclen < bufflen && nl == NULL) { /* small one-line source? */ 5810495ed39SKyle Evans addstr(out, source, srclen); /* keep it */ 5828e3e3a7aSWarner Losh } 5838e3e3a7aSWarner Losh else { 5840495ed39SKyle Evans if (nl != NULL) srclen = nl - source; /* stop at first newline */ 5850495ed39SKyle Evans if (srclen > bufflen) srclen = bufflen; 5860495ed39SKyle Evans addstr(out, source, srclen); 5878e3e3a7aSWarner Losh addstr(out, RETS, LL(RETS)); 5888e3e3a7aSWarner Losh } 5898e3e3a7aSWarner Losh memcpy(out, POS, (LL(POS) + 1) * sizeof(char)); 5908e3e3a7aSWarner Losh } 5918e3e3a7aSWarner Losh } 5928e3e3a7aSWarner Losh 593