diff options
| author | jbj <devnull@localhost> | 2004-03-23 05:09:13 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2004-03-23 05:09:13 +0000 |
| commit | 7b5c3b42c9b847badc5c6f66f054ee536ce82edd (patch) | |
| tree | e43fbc2496a3485768e5e45fe15f068a456e9a81 /lua/lstring.h | |
| parent | 9ecefd3901e8d3dc5652247bb4ab02f73a949fb7 (diff) | |
| download | rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.gz rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.tar.bz2 rpm-7b5c3b42c9b847badc5c6f66f054ee536ce82edd.zip | |
Splint annotations.
CVS patchset: 7182
CVS date: 2004/03/23 05:09:13
Diffstat (limited to 'lua/lstring.h')
| -rw-r--r-- | lua/lstring.h | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/lua/lstring.h b/lua/lstring.h index 099524c1c..90e88264e 100644 --- a/lua/lstring.h +++ b/lua/lstring.h @@ -1,5 +1,5 @@ /* -** $Id: lstring.h,v 1.1 2004/03/16 21:58:30 niemeyer Exp $ +** $Id: lstring.h,v 1.2 2004/03/23 05:09:14 jbj Exp $ ** String table (keep all strings handled by Lua) ** See Copyright Notice in lua.h */ @@ -24,10 +24,16 @@ #define luaS_fix(s) ((s)->tsv.marked |= (1<<4)) -void luaS_resize (lua_State *L, int newsize); -Udata *luaS_newudata (lua_State *L, size_t s); -void luaS_freeall (lua_State *L); -TString *luaS_newlstr (lua_State *L, const char *str, size_t l); +void luaS_resize (lua_State *L, int newsize) + /*@modifies L @*/; +/*@null@*/ +Udata *luaS_newudata (lua_State *L, size_t s) + /*@modifies L @*/; +void luaS_freeall (lua_State *L) + /*@modifies L @*/; +/*@null@*/ +TString *luaS_newlstr (lua_State *L, /*@null@*/ const char *str, size_t l) + /*@modifies L @*/; #endif |