Splint annotations.

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

1 files changed, 11 insertions, 6 deletions

diff --git a/lua/lgc.h b/lua/lgc.h
index 36fd877cb..d6542797e 100644
--- a/lua/lgc.h
+++ b/lua/lgc.h
@@ -1,5 +1,5 @@
 /*
-** $Id: lgc.h,v 1.2 2004/03/19 21:14:32 niemeyer Exp $
+** $Id: lgc.h,v 1.3 2004/03/23 05:09:14 jbj Exp $
 ** Garbage Collector
 ** See Copyright Notice in lua.h
 */
@@ -15,11 +15,16 @@
 	if (G(L)->nblocks >= G(L)->GCthreshold) luaC_collectgarbage(L); }
 
 
-size_t luaC_separateudata (lua_State *L);
-void luaC_callGCTM (lua_State *L);
-void luaC_sweep (lua_State *L, int all);
-void luaC_collectgarbage (lua_State *L);
-void luaC_link (lua_State *L, GCObject *o, lu_byte tt);
+size_t luaC_separateudata (lua_State *L)
+	/*@modifies L @*/;
+void luaC_callGCTM (lua_State *L)
+	/*@modifies L @*/;
+void luaC_sweep (lua_State *L, int all)
+	/*@modifies L @*/;
+void luaC_collectgarbage (lua_State *L)
+	/*@modifies L @*/;
+void luaC_link (lua_State *L, GCObject *o, lu_byte tt)
+	/*@modifies L, o @*/;
 
 
 #endif