Splint annotations.

CVS patchset: 7182
CVS date: 2004/03/23 05:09:13

1 files changed, 20 insertions, 9 deletions

diff --git a/lua/lvm.h b/lua/lvm.h
index a468077f2..2f28114aa 100644
--- a/lua/lvm.h
+++ b/lua/lvm.h
@@ -1,5 +1,5 @@
 /*
-** $Id: lvm.h,v 1.1 2004/03/16 21:58:30 niemeyer Exp $
+** $Id: lvm.h,v 1.2 2004/03/23 05:09:14 jbj Exp $
 ** Lua virtual machine
 ** See Copyright Notice in lua.h
 */
@@ -22,14 +22,25 @@
 	(ttype(o1) == ttype(o2) && luaV_equalval(L, o1, o2))
 
 
-int luaV_lessthan (lua_State *L, const TObject *l, const TObject *r);
-int luaV_equalval (lua_State *L, const TObject *t1, const TObject *t2);
-const TObject *luaV_tonumber (const TObject *obj, TObject *n);
-int luaV_tostring (lua_State *L, StkId obj);
+int luaV_lessthan (lua_State *L, const TObject *l, const TObject *r)
+	/*@modifies L @*/;
+int luaV_equalval (lua_State *L, const TObject *t1, const TObject *t2)
+	/*@modifies L, t1, t2 @*/;
+/*@observer@*/ /*@null@*/
+const TObject *luaV_tonumber (const TObject *obj, TObject *n)
+	/*@modifies n @*/;
+int luaV_tostring (lua_State *L, StkId obj)
+	/*@modifies L, obj @*/;
+/*@observer@*/
 const TObject *luaV_gettable (lua_State *L, const TObject *t, TObject *key,
-                              int loop);
-void luaV_settable (lua_State *L, const TObject *t, TObject *key, StkId val);
-StkId luaV_execute (lua_State *L);
-void luaV_concat (lua_State *L, int total, int last);
+                              int loop)
+	/*@modifies L, t @*/;
+void luaV_settable (lua_State *L, const TObject *t, TObject *key, StkId val)
+	/*@modifies L, t @*/;
+/*@null@*/
+StkId luaV_execute (lua_State *L)
+	/*@modifies L @*/;
+void luaV_concat (lua_State *L, int total, int last)
+	/*@modifies L @*/;
 
 #endif