lua/liolib.c

499 lines
12 KiB
C
Raw Normal View History

1997-09-16 23:25:59 +04:00
/*
2005-05-25 17:21:26 +04:00
** $Id: liolib.c,v 2.60 2005/05/16 21:19:00 roberto Exp roberto $
1997-09-16 23:25:59 +04:00
** Standard I/O (and system) library
** See Copyright Notice in lua.h
*/
#include <errno.h>
1993-07-28 17:18:00 +04:00
#include <stdio.h>
1997-12-18 22:11:43 +03:00
#include <stdlib.h>
1994-11-16 20:39:16 +03:00
#include <string.h>
1993-07-28 17:18:00 +04:00
2002-12-04 20:38:31 +03:00
#define liolib_c
#define LUA_LIB
2002-12-04 20:38:31 +03:00
1993-07-28 17:18:00 +04:00
#include "lua.h"
#include "lauxlib.h"
#include "lualib.h"
1993-07-28 17:18:00 +04:00
#define IO_INPUT 1
#define IO_OUTPUT 2
2004-07-09 19:47:48 +04:00
static const char *const fnames[] = {"input", "output"};
2002-11-18 19:53:19 +03:00
static int pushresult (lua_State *L, int i, const char *filename) {
2000-08-28 21:57:04 +04:00
if (i) {
2002-04-05 00:24:56 +04:00
lua_pushboolean(L, 1);
2000-08-28 21:57:04 +04:00
return 1;
}
else {
lua_pushnil(L);
2002-11-18 19:53:19 +03:00
if (filename)
lua_pushfstring(L, "%s: %s", filename, strerror(errno));
else
lua_pushfstring(L, "%s", strerror(errno));
lua_pushinteger(L, errno);
2001-01-25 19:45:36 +03:00
return 3;
}
}
static void fileerror (lua_State *L, int arg, const char *filename) {
lua_pushfstring(L, "%s: %s", filename, strerror(errno));
luaL_argerror(L, arg, lua_tostring(L, -1));
}
2004-07-09 19:47:48 +04:00
static FILE **topfile (lua_State *L) {
FILE **f = (FILE **)luaL_checkudata(L, 1, LUA_FILEHANDLE);
if (f == NULL) luaL_argerror(L, 1, "bad file");
return f;
}
2002-12-04 18:27:17 +03:00
static int io_type (lua_State *L) {
FILE **f = (FILE **)luaL_checkudata(L, 1, LUA_FILEHANDLE);
if (f == NULL) lua_pushnil(L);
2002-12-04 18:27:17 +03:00
else if (*f == NULL)
lua_pushliteral(L, "closed file");
else
lua_pushliteral(L, "file");
return 1;
}
2004-07-09 19:47:48 +04:00
static FILE *tofile (lua_State *L) {
FILE **f = topfile(L);
if (*f == NULL)
luaL_error(L, "attempt to use a closed file");
return *f;
}
/*
** When creating file handles, always creates a `closed' file handle
** before opening the actual file; so, if there is a memory error, the
** file is not left opened.
*/
static FILE **newfile (lua_State *L) {
FILE **pf = (FILE **)lua_newuserdata(L, sizeof(FILE *));
*pf = NULL; /* file handle is currently `closed' */
luaL_getmetatable(L, LUA_FILEHANDLE);
2002-01-30 20:26:44 +03:00
lua_setmetatable(L, -2);
return pf;
}
static int aux_close (lua_State *L) {
2004-07-09 19:47:48 +04:00
FILE *f = tofile(L);
if (f == stdin || f == stdout || f == stderr)
return 0; /* file cannot be closed */
else {
int ok = (fclose(f) == 0);
if (ok)
*(FILE **)lua_touserdata(L, 1) = NULL; /* mark file as closed */
return ok;
}
}
2000-08-28 21:57:04 +04:00
static int io_close (lua_State *L) {
if (lua_isnone(L, 1))
lua_rawgeti(L, LUA_ENVIRONINDEX, IO_OUTPUT);
2002-11-18 19:53:19 +03:00
return pushresult(L, aux_close(L), NULL);
}
static int io_gc (lua_State *L) {
2004-07-09 19:47:48 +04:00
FILE **f = topfile(L);
if (*f != NULL) /* ignore closed files */
aux_close(L);
return 0;
}
static int io_tostring (lua_State *L) {
FILE *f = *topfile(L);
if (f == NULL)
lua_pushstring(L, "file (closed)");
else
lua_pushfstring(L, "file (%p)", f);
return 1;
}
2002-04-05 00:24:56 +04:00
static int io_open (lua_State *L) {
2002-11-14 18:41:38 +03:00
const char *filename = luaL_checkstring(L, 1);
const char *mode = luaL_optstring(L, 2, "r");
FILE **pf = newfile(L);
*pf = fopen(filename, mode);
2002-11-18 19:53:19 +03:00
return (*pf == NULL) ? pushresult(L, 0, filename) : 1;
}
2000-11-23 16:49:35 +03:00
static int io_tmpfile (lua_State *L) {
FILE **pf = newfile(L);
*pf = tmpfile();
2002-11-18 19:53:19 +03:00
return (*pf == NULL) ? pushresult(L, 0, NULL) : 1;
}
2004-07-09 19:47:48 +04:00
static FILE *getiofile (lua_State *L, int findex) {
FILE *f;
lua_rawgeti(L, LUA_ENVIRONINDEX, findex);
2004-07-09 19:47:48 +04:00
lua_assert(luaL_checkudata(L, -1, LUA_FILEHANDLE));
f = *(FILE **)lua_touserdata(L, -1);
if (f == NULL)
luaL_error(L, "standard %s file is closed", fnames[findex - 1]);
return f;
2002-04-05 00:24:56 +04:00
}
2002-04-05 00:24:56 +04:00
static int g_iofile (lua_State *L, int f, const char *mode) {
2003-03-14 22:08:11 +03:00
if (!lua_isnoneornil(L, 1)) {
2002-04-05 00:24:56 +04:00
const char *filename = lua_tostring(L, 1);
if (filename) {
FILE **pf = newfile(L);
*pf = fopen(filename, mode);
if (*pf == NULL)
fileerror(L, 1, filename);
2002-04-05 00:24:56 +04:00
}
else {
2004-07-09 19:47:48 +04:00
tofile(L); /* check that it's a valid file handle */
2002-04-05 00:24:56 +04:00
lua_pushvalue(L, 1);
}
2004-07-09 19:47:48 +04:00
lua_assert(luaL_checkudata(L, -1, LUA_FILEHANDLE));
lua_rawseti(L, LUA_ENVIRONINDEX, f);
}
2003-03-14 22:08:11 +03:00
/* return current value */
lua_rawgeti(L, LUA_ENVIRONINDEX, f);
2003-03-14 22:08:11 +03:00
return 1;
}
2002-04-05 00:24:56 +04:00
static int io_input (lua_State *L) {
return g_iofile(L, IO_INPUT, "r");
1993-07-28 17:18:00 +04:00
}
2002-04-05 00:24:56 +04:00
static int io_output (lua_State *L) {
return g_iofile(L, IO_OUTPUT, "w");
}
static int io_readline (lua_State *L);
static void aux_lines (lua_State *L, int idx, int toclose) {
2003-02-27 15:39:05 +03:00
lua_pushvalue(L, idx);
lua_pushboolean(L, toclose); /* close/not close file when finished */
lua_pushcclosure(L, io_readline, 2);
}
static int f_lines (lua_State *L) {
2004-07-09 19:47:48 +04:00
tofile(L); /* check that it's a valid file handle */
aux_lines(L, 1, 0);
return 1;
}
static int io_lines (lua_State *L) {
if (lua_isnoneornil(L, 1)) { /* no arguments? */
/* will iterate over default input */
lua_rawgeti(L, LUA_ENVIRONINDEX, IO_INPUT);
return f_lines(L);
}
else {
2002-11-14 18:41:38 +03:00
const char *filename = luaL_checkstring(L, 1);
FILE **pf = newfile(L);
*pf = fopen(filename, "r");
if (*pf == NULL)
fileerror(L, 1, filename);
aux_lines(L, lua_gettop(L), 1);
return 1;
}
}
1999-01-04 15:41:12 +03:00
/*
** {======================================================
** READ
1999-01-04 15:41:12 +03:00
** =======================================================
*/
static int read_number (lua_State *L, FILE *f) {
lua_Number d;
if (fscanf(f, LUA_NUMBER_SCAN, &d) == 1) {
lua_pushnumber(L, d);
return 1;
2000-05-24 17:54:49 +04:00
}
else return 0; /* read fails */
}
static int test_eof (lua_State *L, FILE *f) {
int c = getc(f);
ungetc(c, f);
lua_pushlstring(L, NULL, 0);
return (c != EOF);
}
static int read_line (lua_State *L, FILE *f) {
luaL_Buffer b;
luaL_buffinit(L, &b);
for (;;) {
size_t l;
char *p = luaL_prepbuffer(&b);
if (fgets(p, LUAL_BUFFERSIZE, f) == NULL) { /* eof? */
luaL_pushresult(&b); /* close buffer */
return (lua_strlen(L, -1) > 0); /* check whether read something */
}
l = strlen(p);
if (p[l-1] != '\n')
luaL_addsize(&b, l);
else {
luaL_addsize(&b, l - 1); /* do not include `eol' */
luaL_pushresult(&b); /* close buffer */
return 1; /* read at least an `eol' */
}
}
}
2000-05-24 17:54:49 +04:00
static int read_chars (lua_State *L, FILE *f, size_t n) {
2001-07-12 18:59:14 +04:00
size_t rlen; /* how much to read */
size_t nr; /* number of chars actually read */
luaL_Buffer b;
luaL_buffinit(L, &b);
2001-07-12 18:59:14 +04:00
rlen = LUAL_BUFFERSIZE; /* try to read that much each time */
do {
char *p = luaL_prepbuffer(&b);
2001-07-12 18:59:14 +04:00
if (rlen > n) rlen = n; /* cannot read more than asked */
nr = fread(p, sizeof(char), rlen, f);
2001-07-12 18:59:14 +04:00
luaL_addsize(&b, nr);
n -= nr; /* still have to read `n' chars */
} while (n > 0 && nr == rlen); /* until end of count or eof */
luaL_pushresult(&b); /* close buffer */
return (n == 0 || lua_strlen(L, -1) > 0);
}
2002-04-05 00:24:56 +04:00
static int g_read (lua_State *L, FILE *f, int first) {
int nargs = lua_gettop(L) - 1;
int success;
int n;
clearerr(f);
2001-01-25 19:45:36 +03:00
if (nargs == 0) { /* no arguments? */
success = read_line(L, f);
2002-04-05 00:24:56 +04:00
n = first+1; /* to return 1 result */
}
2001-01-25 19:45:36 +03:00
else { /* ensure stack space for all results and for auxlib's buffer */
2002-11-14 18:41:38 +03:00
luaL_checkstack(L, nargs+LUA_MINSTACK, "too many arguments");
2001-01-25 19:45:36 +03:00
success = 1;
2002-04-05 00:24:56 +04:00
for (n = first; nargs-- && success; n++) {
2001-12-05 23:15:18 +03:00
if (lua_type(L, n) == LUA_TNUMBER) {
size_t l = (size_t)lua_tointeger(L, n);
success = (l == 0) ? test_eof(L, f) : read_chars(L, f, l);
}
else {
const char *p = lua_tostring(L, n);
2003-03-20 00:16:12 +03:00
luaL_argcheck(L, p && p[0] == '*', n, "invalid option");
switch (p[1]) {
case 'n': /* number */
success = read_number(L, f);
break;
case 'l': /* line */
success = read_line(L, f);
break;
case 'a': /* file */
read_chars(L, f, ~((size_t)0)); /* read MAX_SIZE_T chars */
success = 1; /* always success */
break;
default:
return luaL_argerror(L, n, "invalid format");
}
}
}
}
if (ferror(f))
return pushresult(L, 0, NULL);
if (!success) {
lua_pop(L, 1); /* remove last result */
lua_pushnil(L); /* push nil instead */
}
2002-04-05 00:24:56 +04:00
return n - first;
}
static int io_read (lua_State *L) {
return g_read(L, getiofile(L, IO_INPUT), 1);
}
static int f_read (lua_State *L) {
2004-07-09 19:47:48 +04:00
return g_read(L, tofile(L), 2);
}
static int io_readline (lua_State *L) {
FILE *f = *(FILE **)lua_touserdata(L, lua_upvalueindex(1));
int sucess;
if (f == NULL) /* file is already closed? */
luaL_error(L, "file is already closed");
sucess = read_line(L, f);
if (ferror(f))
luaL_error(L, "%s", strerror(errno));
if (sucess) return 1;
else { /* EOF */
if (lua_toboolean(L, lua_upvalueindex(2))) { /* generator created file? */
lua_settop(L, 0);
lua_pushvalue(L, lua_upvalueindex(1));
aux_close(L); /* close it */
}
return 0;
}
}
1999-01-04 15:41:12 +03:00
/* }====================================================== */
2002-04-05 00:24:56 +04:00
static int g_write (lua_State *L, FILE *f, int arg) {
int nargs = lua_gettop(L) - 1;
int status = 1;
2002-04-05 00:24:56 +04:00
for (; nargs--; arg++) {
2001-12-05 23:15:18 +03:00
if (lua_type(L, arg) == LUA_TNUMBER) {
1999-12-28 14:52:49 +03:00
/* optimization: could be done exactly as for strings */
2001-03-26 18:31:49 +04:00
status = status &&
fprintf(f, LUA_NUMBER_FMT, lua_tonumber(L, arg)) > 0;
1999-12-28 14:52:49 +03:00
}
else {
2000-05-24 17:54:49 +04:00
size_t l;
2002-11-14 18:41:38 +03:00
const char *s = luaL_checklstring(L, arg, &l);
status = status && (fwrite(s, sizeof(char), l, f) == l);
}
}
return pushresult(L, status, NULL);
1993-07-28 17:18:00 +04:00
}
2002-04-05 00:24:56 +04:00
static int io_write (lua_State *L) {
return g_write(L, getiofile(L, IO_OUTPUT), 1);
}
static int f_write (lua_State *L) {
2004-07-09 19:47:48 +04:00
return g_write(L, tofile(L), 2);
2002-04-05 00:24:56 +04:00
}
static int f_seek (lua_State *L) {
1999-08-17 00:52:00 +04:00
static const int mode[] = {SEEK_SET, SEEK_CUR, SEEK_END};
static const char *const modenames[] = {"set", "cur", "end", NULL};
2004-07-09 19:47:48 +04:00
FILE *f = tofile(L);
2005-05-25 17:21:26 +04:00
int op = luaL_checkoption(L, 2, "cur", modenames);
lua_Integer offset = luaL_optinteger(L, 3, 0);
1998-08-25 00:14:56 +04:00
op = fseek(f, offset, mode[op]);
if (op)
2002-11-18 19:53:19 +03:00
return pushresult(L, 0, NULL); /* error */
2000-08-28 21:57:04 +04:00
else {
lua_pushinteger(L, ftell(f));
2000-08-28 21:57:04 +04:00
return 1;
}
1998-08-25 00:14:56 +04:00
}
2003-05-14 23:03:43 +04:00
static int f_setvbuf (lua_State *L) {
static const int mode[] = {_IONBF, _IOFBF, _IOLBF};
static const char *const modenames[] = {"no", "full", "line", NULL};
2004-07-09 19:47:48 +04:00
FILE *f = tofile(L);
2005-05-25 17:21:26 +04:00
int op = luaL_checkoption(L, 2, NULL, modenames);
2003-05-14 23:03:43 +04:00
return pushresult(L, setvbuf(f, NULL, mode[op], 0) == 0, NULL);
}
2000-08-28 21:57:04 +04:00
static int io_flush (lua_State *L) {
2002-11-18 19:53:19 +03:00
return pushresult(L, fflush(getiofile(L, IO_OUTPUT)) == 0, NULL);
2002-04-05 00:24:56 +04:00
}
static int f_flush (lua_State *L) {
2004-07-09 19:47:48 +04:00
return pushresult(L, fflush(tofile(L)) == 0, NULL);
1998-08-25 00:14:56 +04:00
}
2002-04-05 00:24:56 +04:00
2002-03-20 15:54:08 +03:00
static const luaL_reg iolib[] = {
2002-04-05 00:24:56 +04:00
{"input", io_input},
{"output", io_output},
{"lines", io_lines},
2002-03-20 15:54:08 +03:00
{"close", io_close},
2002-04-05 00:24:56 +04:00
{"flush", io_flush},
{"open", io_open},
{"read", io_read},
{"tmpfile", io_tmpfile},
2002-12-04 18:27:17 +03:00
{"type", io_type},
2002-04-05 00:24:56 +04:00
{"write", io_write},
2002-03-20 15:54:08 +03:00
{NULL, NULL}
};
2002-04-05 00:24:56 +04:00
static const luaL_reg flib[] = {
{"flush", f_flush},
{"read", f_read},
{"lines", f_lines},
2002-04-05 00:24:56 +04:00
{"seek", f_seek},
2003-05-14 23:03:43 +04:00
{"setvbuf", f_setvbuf},
2002-04-05 00:24:56 +04:00
{"write", f_write},
{"close", io_close},
2003-02-11 18:24:52 +03:00
{"__gc", io_gc},
{"__tostring", io_tostring},
2002-04-05 00:24:56 +04:00
{NULL, NULL}
};
static void createmeta (lua_State *L) {
luaL_newmetatable(L, LUA_FILEHANDLE); /* create metatable for file handles */
lua_pushvalue(L, -1); /* push metatable */
lua_setfield(L, -2, "__index"); /* metatable.__index = metatable */
2004-07-09 19:47:48 +04:00
luaL_openlib(L, NULL, flib, 0); /* file methods */
1993-07-28 17:18:00 +04:00
}
2004-07-09 19:47:48 +04:00
static void createupval (lua_State *L) {
lua_newtable(L);
/* create (and set) default files */
*newfile(L) = stdin;
lua_rawseti(L, -2, IO_INPUT);
*newfile(L) = stdout;
lua_rawseti(L, -2, IO_OUTPUT);
}
2002-03-20 15:54:08 +03:00
LUALIB_API int luaopen_io (lua_State *L) {
createmeta(L);
2004-07-09 19:47:48 +04:00
createupval(L);
2002-11-14 18:41:38 +03:00
lua_pushvalue(L, -1);
lua_replace(L, LUA_ENVIRONINDEX);
luaL_openlib(L, LUA_IOLIBNAME, iolib, 0);
2002-04-05 00:24:56 +04:00
/* put predefined file handles into `io' table */
lua_rawgeti(L, -2, IO_INPUT); /* get current input from upval */
lua_setfield(L, -2, "stdin"); /* io.stdin = upval[IO_INPUT] */
lua_rawgeti(L, -2, IO_OUTPUT); /* get current output from upval */
lua_setfield(L, -2, "stdout"); /* io.stdout = upval[IO_OUTPUT] */
*newfile(L) = stderr;
2004-07-09 19:47:48 +04:00
lua_setfield(L, -2, "stderr"); /* io.stderr = newfile(stderr) */
2002-12-20 13:26:33 +03:00
return 1;
1993-07-28 17:18:00 +04:00
}