lua/lbuiltin.c

608 lines
15 KiB
C
Raw Normal View History

1997-09-16 23:25:59 +04:00
/*
** $Id: lbuiltin.c,v 1.32 1998/06/29 18:24:06 roberto Exp roberto $
1997-09-16 23:25:59 +04:00
** Built-in functions
** See Copyright Notice in lua.h
*/
#include <ctype.h>
1997-09-16 23:25:59 +04:00
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
1997-09-16 23:25:59 +04:00
#include "lapi.h"
#include "lauxlib.h"
#include "lbuiltin.h"
#include "ldo.h"
1997-10-24 21:17:24 +04:00
#include "lfunc.h"
1997-09-16 23:25:59 +04:00
#include "lmem.h"
#include "lobject.h"
#include "lstate.h"
1997-09-16 23:25:59 +04:00
#include "lstring.h"
#include "ltable.h"
#include "ltm.h"
#include "lua.h"
1998-06-19 22:47:06 +04:00
#include "lundump.h"
#include "lvm.h"
1997-09-16 23:25:59 +04:00
static void pushstring (TaggedString *s)
{
TObject o;
o.ttype = LUA_T_STRING;
o.value.ts = s;
luaA_pushobject(&o);
}
static void nextvar (void) {
TObject *o = luaA_Address(luaL_nonnullarg(1));
TaggedString *g;
if (ttype(o) == LUA_T_NIL)
g = (TaggedString *)L->rootglobal.next; /* first variable */
else {
luaL_arg_check(ttype(o) == LUA_T_STRING, 1, "variable name expected");
g = tsvalue(o); /* find given variable name */
/* check whether name is in global var list */
luaL_arg_check((GCnode *)g != g->head.next, 1, "variable name expected");
g = (TaggedString *)g->head.next; /* get next */
}
1998-03-06 19:54:42 +03:00
while (g && g->u.s.globalval.ttype == LUA_T_NIL) /* skip globals with nil */
g = (TaggedString *)g->head.next;
if (g) {
pushstring(g);
1998-03-06 19:54:42 +03:00
luaA_pushobject(&g->u.s.globalval);
1997-09-16 23:25:59 +04:00
}
else lua_pushnil(); /* no more globals */
1997-09-16 23:25:59 +04:00
}
static void foreachvar (void) {
1997-12-09 16:50:08 +03:00
TObject f = *luaA_Address(luaL_functionarg(1));
GCnode *g;
StkId name = L->Cstack.base++; /* place to keep var name (to avoid GC) */
luaD_checkstack(4); /* for var name, f, s, and globalvar */
ttype(L->stack.stack+name) = LUA_T_NIL;
L->stack.top++; /* top == base */
for (g = L->rootglobal.next; g; g = g->next) {
TaggedString *s = (TaggedString *)g;
1998-03-06 19:54:42 +03:00
if (s->u.s.globalval.ttype != LUA_T_NIL) {
ttype(L->stack.stack+name) = LUA_T_STRING;
tsvalue(L->stack.stack+name) = s; /* keep s on stack to avoid GC */
*(L->stack.top++) = f;
pushstring(s);
*(L->stack.top++) = s->u.s.globalval;
luaD_calln(2, 1);
if (ttype(L->stack.top-1) != LUA_T_NIL)
return;
L->stack.top--;
}
}
}
static void next (void) {
Node *n = luaH_next(luaA_Address(luaL_tablearg(1)),
luaA_Address(luaL_nonnullarg(2)));
1997-09-16 23:25:59 +04:00
if (n) {
luaA_pushobject(&n->ref);
luaA_pushobject(&n->val);
}
else lua_pushnil();
1997-09-16 23:25:59 +04:00
}
static void foreach (void) {
1997-12-09 16:50:08 +03:00
TObject t = *luaA_Address(luaL_tablearg(1));
TObject f = *luaA_Address(luaL_functionarg(2));
int i;
luaD_checkstack(3); /* for f, ref, and val */
for (i=0; i<avalue(&t)->nhash; i++) {
Node *nd = &(avalue(&t)->node[i]);
if (ttype(ref(nd)) != LUA_T_NIL && ttype(val(nd)) != LUA_T_NIL) {
*(L->stack.top++) = f;
*(L->stack.top++) = *ref(nd);
*(L->stack.top++) = *val(nd);
luaD_calln(2, 1);
if (ttype(L->stack.top-1) != LUA_T_NIL)
return;
L->stack.top--;
}
}
}
1997-09-16 23:25:59 +04:00
static void internaldostring (void)
{
1998-06-19 22:47:06 +04:00
long l;
char *s = luaL_check_lstr(1, &l);
if (*s == ID_CHUNK)
lua_error("`dostring' cannot run pre-compiled code");
if (lua_dobuffer(s, l, luaL_opt_string(2, NULL)) == 0)
1997-09-16 23:25:59 +04:00
if (luaA_passresults() == 0)
lua_pushuserdata(NULL); /* at least one result to signal no errors */
}
static void internaldofile (void)
{
char *fname = luaL_opt_string(1, NULL);
if (lua_dofile(fname) == 0)
if (luaA_passresults() == 0)
lua_pushuserdata(NULL); /* at least one result to signal no errors */
}
1998-06-01 02:19:35 +04:00
static void to_string (void) {
lua_Object obj = lua_getparam(1);
1997-09-16 23:25:59 +04:00
TObject *o = luaA_Address(obj);
char buff[32];
1997-09-16 23:25:59 +04:00
switch (ttype(o)) {
1998-06-01 02:19:35 +04:00
case LUA_T_NUMBER:
lua_pushstring(lua_getstring(obj));
return;
case LUA_T_STRING:
lua_pushobject(obj);
return;
1997-09-16 23:25:59 +04:00
case LUA_T_ARRAY: {
1997-11-26 21:53:45 +03:00
sprintf(buff, "table: %p", (void *)o->value.a);
1998-06-01 02:19:35 +04:00
break;
1997-09-16 23:25:59 +04:00
}
case LUA_T_CLOSURE: {
1997-11-26 21:53:45 +03:00
sprintf(buff, "function: %p", (void *)o->value.cl);
1998-06-01 02:19:35 +04:00
break;
1997-09-16 23:25:59 +04:00
}
case LUA_T_PROTO: {
sprintf(buff, "function: %p", (void *)o->value.tf);
1998-06-01 02:19:35 +04:00
break;
}
case LUA_T_CPROTO: {
sprintf(buff, "function: %p", (void *)o->value.f);
1998-06-01 02:19:35 +04:00
break;
}
1997-09-16 23:25:59 +04:00
case LUA_T_USERDATA: {
sprintf(buff, "userdata: %p", o->value.ts->u.d.v);
1998-06-01 02:19:35 +04:00
break;
1997-09-16 23:25:59 +04:00
}
case LUA_T_NIL:
1998-06-01 02:19:35 +04:00
lua_pushstring("nil");
return;
1998-03-10 00:49:52 +03:00
default:
LUA_INTERNALERROR("invalid type");
1997-09-16 23:25:59 +04:00
}
1998-06-01 02:19:35 +04:00
lua_pushstring(buff);
1997-09-16 23:25:59 +04:00
}
1998-06-01 02:19:35 +04:00
static void luaI_print (void) {
TaggedString *ts = luaS_new("tostring");
1997-09-16 23:25:59 +04:00
lua_Object obj;
1998-06-01 02:19:35 +04:00
int i = 1;
while ((obj = lua_getparam(i++)) != LUA_NOOBJECT) {
luaA_pushobject(&ts->u.s.globalval);
lua_pushobject(obj);
luaD_calln(1, 1);
1998-06-01 02:19:35 +04:00
if (ttype(L->stack.top-1) != LUA_T_STRING)
lua_error("`tostring' must return a string to `print'");
printf("%.200s\t", svalue(L->stack.top-1));
1998-06-01 02:19:35 +04:00
L->stack.top--;
}
printf("\n");
1997-09-16 23:25:59 +04:00
}
static void luaI_type (void)
{
lua_Object o = luaL_nonnullarg(1);
lua_pushstring(luaO_typename(luaA_Address(o)));
1997-09-16 23:25:59 +04:00
lua_pushnumber(lua_tag(o));
}
static void luaB_tonumber (void)
1997-09-16 23:25:59 +04:00
{
int base = luaL_opt_number(2, 10);
1998-06-19 20:14:09 +04:00
if (base == 10) { /* standard conversion */
lua_Object o = lua_getparam(1);
if (lua_isnumber(o))
lua_pushnumber(lua_getnumber(o));
}
else {
char *s = luaL_check_string(1);
unsigned long n;
luaL_arg_check(0 <= base && base <= 36, 2, "base out of range");
n = strtol(s, &s, base);
while (isspace(*s)) s++; /* skip trailing spaces */
if (*s) lua_pushnil(); /* invalid format: return nil */
else lua_pushnumber(n);
}
1997-09-16 23:25:59 +04:00
}
static void luaI_error (void)
{
1997-12-09 16:50:08 +03:00
lua_error(lua_getstring(lua_getparam(1)));
1997-09-16 23:25:59 +04:00
}
static void luaI_assert (void)
{
lua_Object p = lua_getparam(1);
if (p == LUA_NOOBJECT || lua_isnil(p))
1997-11-26 22:40:27 +03:00
luaL_verror("assertion failed! %.100s", luaL_opt_string(2, ""));
1997-09-16 23:25:59 +04:00
}
static void setglobal (void)
{
char *n = luaL_check_string(1);
lua_Object value = luaL_nonnullarg(2);
1997-09-16 23:25:59 +04:00
lua_pushobject(value);
lua_setglobal(n);
1997-09-16 23:25:59 +04:00
lua_pushobject(value); /* return given value */
}
static void rawsetglobal (void)
{
char *n = luaL_check_string(1);
lua_Object value = luaL_nonnullarg(2);
1997-09-16 23:25:59 +04:00
lua_pushobject(value);
lua_rawsetglobal(n);
1997-09-16 23:25:59 +04:00
lua_pushobject(value); /* return given value */
}
static void getglobal (void)
{
lua_pushobject(lua_getglobal(luaL_check_string(1)));
}
static void rawgetglobal (void)
{
lua_pushobject(lua_rawgetglobal(luaL_check_string(1)));
}
static void luatag (void)
{
lua_pushnumber(lua_tag(lua_getparam(1)));
}
static int getsize (TObject *t) {
int max = 0;
int i;
Hash *h = avalue(t);
LUA_ASSERT(ttype(t) == LUA_T_ARRAY, "table expected");
for (i = 0; i<nhash(h); i++) {
Node *n = h->node+i;
if (ttype(ref(n)) == LUA_T_NUMBER && ttype(val(n)) != LUA_T_NIL &&
(int)nvalue(ref(n)) > max)
max = nvalue(ref(n));
}
return max;
}
static int getnarg (lua_Object table) {
1997-09-16 23:25:59 +04:00
lua_Object temp;
/* temp = table.n */
lua_pushobject(table); lua_pushstring("n"); temp = lua_rawgettable();
return (lua_isnumber(temp) ? lua_getnumber(temp) :
getsize(luaA_Address(table)));
1997-09-16 23:25:59 +04:00
}
static void luaI_call (void) {
lua_Object f = luaL_nonnullarg(1);
1997-12-09 16:50:08 +03:00
lua_Object arg = luaL_tablearg(2);
char *options = luaL_opt_string(3, "");
lua_Object err = lua_getparam(4);
int narg = getnarg(arg);
int i, status;
if (err != LUA_NOOBJECT) { /* set new error method */
lua_pushobject(err);
err = lua_seterrormethod();
}
1997-09-16 23:25:59 +04:00
/* push arg[1...n] */
luaD_checkstack(narg);
for (i=0; i<narg; i++)
*(L->stack.top++) = *luaH_getint(avalue(luaA_Address(arg)), i+1);
status = lua_callfunction(f);
if (err != LUA_NOOBJECT) { /* restore old error method */
lua_pushobject(err);
lua_seterrormethod();
}
if (status != 0) { /* error in call? */
if (strchr(options, 'x')) {
lua_pushnil();
return; /* return nil to signal the error */
}
else
lua_error(NULL);
}
else { /* no errors */
if (strchr(options, 'p'))
luaA_packresults();
else
luaA_passresults();
}
1997-09-16 23:25:59 +04:00
}
static void settag (void)
{
1997-12-09 16:50:08 +03:00
lua_Object o = luaL_tablearg(1);
1997-09-16 23:25:59 +04:00
lua_pushobject(o);
lua_settag(luaL_check_number(2));
1998-02-12 22:27:10 +03:00
lua_pushobject(o); /* returns first argument */
1997-09-16 23:25:59 +04:00
}
static void newtag (void)
{
lua_pushnumber(lua_newtag());
}
static void copytagmethods (void)
{
lua_pushnumber(lua_copytagmethods(luaL_check_number(1),
luaL_check_number(2)));
}
1997-09-16 23:25:59 +04:00
static void rawgettable (void)
{
1998-03-06 19:54:42 +03:00
lua_pushobject(luaL_nonnullarg(1));
lua_pushobject(luaL_nonnullarg(2));
1997-09-16 23:25:59 +04:00
lua_pushobject(lua_rawgettable());
}
static void rawsettable (void)
{
1998-03-06 19:54:42 +03:00
lua_pushobject(luaL_nonnullarg(1));
lua_pushobject(luaL_nonnullarg(2));
lua_pushobject(luaL_nonnullarg(3));
1997-09-16 23:25:59 +04:00
lua_rawsettable();
}
static void settagmethod (void)
{
lua_Object nf = luaL_nonnullarg(3);
1997-09-16 23:25:59 +04:00
lua_pushobject(nf);
lua_pushobject(lua_settagmethod((int)luaL_check_number(1),
luaL_check_string(2)));
}
static void gettagmethod (void)
{
lua_pushobject(lua_gettagmethod((int)luaL_check_number(1),
luaL_check_string(2)));
}
static void seterrormethod (void)
{
1997-12-09 16:50:08 +03:00
lua_Object nf = luaL_functionarg(1);
1997-09-16 23:25:59 +04:00
lua_pushobject(nf);
lua_pushobject(lua_seterrormethod());
}
static void luaI_collectgarbage (void)
{
lua_pushnumber(lua_collectgarbage(luaL_opt_number(1, 0)));
}
static void swap (Hash *a, int i, int j) {
/* notice: must use two temporary vars, because luaH_setint may cause a
rehash and change the addresses of values in the array */
TObject ai = *luaH_getint(a, i);
TObject aj = *luaH_getint(a, j);
luaH_setint(a, i, &aj);
luaH_setint(a, j, &ai);
}
static int sort_comp (TObject *f, TObject *a, TObject *b) {
/* notice: the caller (auxsort) must check stack space */
if (f) {
*(L->stack.top++) = *f;
*(L->stack.top++) = *a;
*(L->stack.top++) = *b;
luaD_calln(2, 1);
}
else { /* a < b? */
*(L->stack.top++) = *a;
*(L->stack.top++) = *b;
luaV_comparison(LUA_T_NUMBER, LUA_T_NIL, LUA_T_NIL, IM_LT);
}
return ttype(--(L->stack.top)) != LUA_T_NIL;
}
/*
** quicksort algorithm from "Programming Pearls", pg. 112
*/
static void auxsort (Hash *a, int l, int u, TObject *f) {
if (u <= l) return; /* 0 or 1 element */
luaD_checkstack(4); /* for pivot, f, a, b (sort_comp) */
if (u-l == 1) { /* only two elements? */
if (sort_comp(f, luaH_getint(a, u), luaH_getint(a, l))) /* a[u] < a[l]? */
swap(a, l, u);
}
else {
int i;
int m = l;
swap(a, l, (l+u)/2); /* put middle element as pivot (a[l]) */
*(L->stack.top++) = *luaH_getint(a, l); /* save pivot on stack (for GC) */
for (i=l+1; i<=u; i++) {
/* invariant: a[l+1..m] < P <= a[m+1..i-1] */
if (sort_comp(f, luaH_getint(a, i), L->stack.top-1)) { /* a[i] < P? */
m++;
swap(a, m, i);
}
}
L->stack.top--; /* remove pivot from stack */
swap(a, l, m);
/* a[l..m-1] < a[m] <= a[m+1..u] */
auxsort(a, l, m-1, f);
auxsort(a, m+1, u, f);
}
}
static void luaB_sort (void) {
lua_Object t = luaL_tablearg(1);
int n = getnarg(t);
Hash *a = avalue(luaA_Address(t));
lua_Object func = lua_getparam(2);
TObject *f;
if (func == LUA_NOOBJECT)
f = NULL;
else {
luaL_arg_check(lua_isfunction(func), 2, "function expected");
f = luaA_Address(func);
}
auxsort(a, 1, n, f);
lua_pushobject(t);
}
1997-09-16 23:25:59 +04:00
/*
** =======================================================
** some DEBUG functions
** =======================================================
*/
#ifdef DEBUG
static void mem_query (void)
{
lua_pushnumber(totalmem);
lua_pushnumber(numblocks);
}
static void countlist (void)
{
char *s = luaL_check_string(1);
GCnode *l = (s[0]=='t') ? L->roottable.next : (s[0]=='c') ? L->rootcl.next :
(s[0]=='p') ? L->rootproto.next : L->rootglobal.next;
int i=0;
while (l) {
i++;
l = l->next;
}
lua_pushnumber(i);
}
1997-09-16 23:25:59 +04:00
static void testC (void)
{
#define getnum(s) ((*s++) - '0')
#define getname(s) (nome[0] = *s++, nome)
static int locks[10];
lua_Object reg[10];
char nome[2];
char *s = luaL_check_string(1);
nome[1] = 0;
while (1) {
switch (*s++) {
case '0': case '1': case '2': case '3': case '4':
case '5': case '6': case '7': case '8': case '9':
lua_pushnumber(*(s-1) - '0');
break;
case 'c': reg[getnum(s)] = lua_createtable(); break;
case 'C': { lua_CFunction f = lua_getcfunction(lua_getglobal(getname(s)));
lua_pushcclosure(f, getnum(s));
break;
}
1997-09-16 23:25:59 +04:00
case 'P': reg[getnum(s)] = lua_pop(); break;
case 'g': { int n=getnum(s); reg[n]=lua_getglobal(getname(s)); break; }
case 'G': { int n = getnum(s);
reg[n] = lua_rawgetglobal(getname(s));
break;
}
case 'l': locks[getnum(s)] = lua_ref(1); break;
case 'L': locks[getnum(s)] = lua_ref(0); break;
case 'r': { int n=getnum(s); reg[n]=lua_getref(locks[getnum(s)]); break; }
case 'u': lua_unref(locks[getnum(s)]); break;
case 'p': { int n = getnum(s); reg[n] = lua_getparam(getnum(s)); break; }
case '=': lua_setglobal(getname(s)); break;
case 's': lua_pushstring(getname(s)); break;
case 'o': lua_pushobject(reg[getnum(s)]); break;
case 'f': (lua_call)(getname(s)); break;
1997-09-16 23:25:59 +04:00
case 'i': reg[getnum(s)] = lua_gettable(); break;
case 'I': reg[getnum(s)] = lua_rawgettable(); break;
case 't': lua_settable(); break;
case 'T': lua_rawsettable(); break;
default: luaL_verror("unknown command in `testC': %c", *(s-1));
}
if (*s == 0) return;
if (*s++ != ' ') lua_error("missing ` ' between commands in `testC'");
}
}
#endif
/*
** Internal functions
*/
static struct luaL_reg int_funcs[] = {
#ifdef LUA_COMPAT2_5
1997-09-16 23:25:59 +04:00
{"setfallback", luaT_setfallback},
#endif
#ifdef DEBUG
{"testC", testC},
{"totalmem", mem_query},
{"count", countlist},
1997-09-16 23:25:59 +04:00
#endif
{"assert", luaI_assert},
{"call", luaI_call},
{"collectgarbage", luaI_collectgarbage},
{"dofile", internaldofile},
{"copytagmethods", copytagmethods},
1997-09-16 23:25:59 +04:00
{"dostring", internaldostring},
{"error", luaI_error},
{"foreach", foreach},
{"foreachvar", foreachvar},
1997-09-16 23:25:59 +04:00
{"getglobal", getglobal},
{"newtag", newtag},
{"next", next},
{"nextvar", nextvar},
{"print", luaI_print},
{"rawgetglobal", rawgetglobal},
{"rawgettable", rawgettable},
{"rawsetglobal", rawsetglobal},
{"rawsettable", rawsettable},
{"seterrormethod", seterrormethod},
{"setglobal", setglobal},
{"settagmethod", settagmethod},
{"gettagmethod", gettagmethod},
{"settag", settag},
{"sort", luaB_sort},
{"tonumber", luaB_tonumber},
1998-06-01 02:19:35 +04:00
{"tostring", to_string},
1997-09-16 23:25:59 +04:00
{"tag", luatag},
{"type", luaI_type}
};
#define INTFUNCSIZE (sizeof(int_funcs)/sizeof(int_funcs[0]))
void luaB_predefine (void)
{
/* pre-register mem error messages, to avoid loop when error arises */
luaS_newfixedstring(tableEM);
luaS_newfixedstring(memEM);
luaL_openlib(int_funcs, (sizeof(int_funcs)/sizeof(int_funcs[0])));
lua_pushstring(LUA_VERSION);
lua_setglobal("_VERSION");
1997-09-16 23:25:59 +04:00
}