Remove splint tags.

1 files changed, 33 insertions, 94 deletions

diff --git a/rpmio/rpmlua.h b/rpmio/rpmlua.h
index 7f6f376af..02d97ab66 100644
--- a/rpmio/rpmlua.h
+++ b/rpmio/rpmlua.h
@@ -39,107 +39,46 @@ struct rpmluav_s {
 
 #endif /* _RPMLUA_INTERNAL */
 
-typedef /*@abstract@*/ struct rpmlua_s * rpmlua;
-typedef /*@abstract@*/ struct rpmluav_s * rpmluav;
+typedef struct rpmlua_s * rpmlua;
+typedef struct rpmluav_s * rpmluav;
 
-/*@-exportlocal@*/
-/*@only@*/
-rpmlua rpmluaNew(void)
-	/*@globals fileSystem @*/
-	/*@modifies fileSystem @*/;
-/*@=exportlocal@*/
-void *rpmluaFree(/*@only@*/ rpmlua lua)
-	/*@modifies lua @*/;
+rpmlua rpmluaNew(void);
+void *rpmluaFree(rpmlua lua);
 
-int rpmluaCheckScript(/*@null@*/ rpmlua lua, const char *script,
-		      /*@null@*/ const char *name)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-int rpmluaRunScript(/*@null@*/ rpmlua lua, const char *script,
-		    /*@null@*/ const char *name)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-/*@-exportlocal@*/
-int rpmluaRunScriptFile(/*@null@*/ rpmlua lua, const char *filename)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-/*@=exportlocal@*/
-void rpmluaInteractive(/*@null@*/ rpmlua lua)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
+int rpmluaCheckScript(rpmlua lua, const char *script,
+		      const char *name);
+int rpmluaRunScript(rpmlua lua, const char *script,
+		    const char *name);
+int rpmluaRunScriptFile(rpmlua lua, const char *filename);
+void rpmluaInteractive(rpmlua lua);
 
-void *rpmluaGetData(/*@null@*/ rpmlua lua, const char *key)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-/*@-exportlocal@*/
-void rpmluaSetData(/*@null@*/ rpmlua lua, const char *key, const void *data)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-/*@=exportlocal@*/
+void *rpmluaGetData(rpmlua lua, const char *key);
+void rpmluaSetData(rpmlua lua, const char *key, const void *data);
 
-/*@exposed@*/
-const char *rpmluaGetPrintBuffer(/*@null@*/ rpmlua lua)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-void rpmluaSetPrintBuffer(/*@null@*/ rpmlua lua, int flag)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
+const char *rpmluaGetPrintBuffer(rpmlua lua);
+void rpmluaSetPrintBuffer(rpmlua lua, int flag);
 
-void rpmluaGetVar(/*@null@*/ rpmlua lua, rpmluav var)
-	/*@globals fileSystem @*/
-	/*@modifies lua, var, fileSystem @*/;
-void rpmluaSetVar(/*@null@*/ rpmlua lua, rpmluav var)
-	/*@globals fileSystem @*/
-	/*@modifies lua, var, fileSystem @*/;
-void rpmluaDelVar(/*@null@*/ rpmlua lua, const char *key, ...)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-int rpmluaVarExists(/*@null@*/ rpmlua lua, const char *key, ...)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-void rpmluaPushTable(/*@null@*/ rpmlua lua, const char *key, ...)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
-void rpmluaPop(/*@null@*/ rpmlua lua)
-	/*@globals fileSystem @*/
-	/*@modifies lua, fileSystem @*/;
+void rpmluaGetVar(rpmlua lua, rpmluav var);
+void rpmluaSetVar(rpmlua lua, rpmluav var);
+void rpmluaDelVar(rpmlua lua, const char *key, ...);
+int rpmluaVarExists(rpmlua lua, const char *key, ...);
+void rpmluaPushTable(rpmlua lua, const char *key, ...);
+void rpmluaPop(rpmlua lua);
 
-/*@only@*/
-rpmluav rpmluavNew(void)
-	/*@*/;
-void * rpmluavFree(/*@only@*/ rpmluav var)
-	/*@modifes var @*/;
-void rpmluavSetListMode(rpmluav var, int flag)
-	/*@modifies var @*/;
-/*@-exportlocal@*/
-void rpmluavSetKey(rpmluav var, rpmluavType type, const void *value)
-	/*@modifies var @*/;
-/*@=exportlocal@*/
-/*@-exportlocal@*/
-void rpmluavSetValue(rpmluav var, rpmluavType type, const void *value)
-	/*@modifies var @*/;
-/*@=exportlocal@*/
-/*@-exportlocal@*/
-void rpmluavGetKey(rpmluav var, /*@out@*/ rpmluavType *type, /*@out@*/ void **value)
-	/*@modifies *type, *value @*/;
-/*@=exportlocal@*/
-/*@-exportlocal@*/
-void rpmluavGetValue(rpmluav var, /*@out@*/ rpmluavType *type, /*@out@*/ void **value)
-	/*@modifies *type, *value @*/;
-/*@=exportlocal@*/
+rpmluav rpmluavNew(void);
+void * rpmluavFree(rpmluav var);
+void rpmluavSetListMode(rpmluav var, int flag);
+void rpmluavSetKey(rpmluav var, rpmluavType type, const void *value);
+void rpmluavSetValue(rpmluav var, rpmluavType type, const void *value);
+void rpmluavGetKey(rpmluav var, rpmluavType *type, void **value);
+void rpmluavGetValue(rpmluav var, rpmluavType *type, void **value);
 
 /* Optional helpers for numbers. */
-void rpmluavSetKeyNum(rpmluav var, double value)
-	/*@modifies var @*/;
-void rpmluavSetValueNum(rpmluav var, double value)
-	/*@modifies var @*/;
-double rpmluavGetKeyNum(rpmluav var)
-	/*@*/;
-double rpmluavGetValueNum(rpmluav var)
-	/*@*/;
-int rpmluavKeyIsNum(rpmluav var)
-	/*@*/;
-int rpmluavValueIsNum(rpmluav var)
-	/*@*/;
+void rpmluavSetKeyNum(rpmluav var, double value);
+void rpmluavSetValueNum(rpmluav var, double value);
+double rpmluavGetKeyNum(rpmluav var);
+double rpmluavGetValueNum(rpmluav var);
+int rpmluavKeyIsNum(rpmluav var);
+int rpmluavValueIsNum(rpmluav var);
 
 #endif /* RPMLUA_H */