*** empty log message ***

[splint.git] / src / Headers / symtable.h

diff --git a/src/Headers/symtable.h b/src/Headers/symtable.h
index aed7481b43fff24c36e63b3c08e9c3057ccf4aa1..4c12d58ba2f5aeca7b6be4aed677fb8fa299b04e 100644 (file)
--- a/src/Headers/symtable.h
+++ b/src/Headers/symtable.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 /*
@@ -133,16 +133,16 @@ typedef struct {
 
 typedef struct s_symtableStruct *symtable;
 
-extern /*@falsenull@*/ bool typeInfo_exists(/*@null@*/ typeInfo p_ti);
+extern /*@falsewhennull@*/ bool typeInfo_exists(/*@null@*/ typeInfo p_ti);
 # define typeInfo_exists(ti)  ((ti) != NULL)
 
-extern /*@falsenull@*/ bool varInfo_exists(/*@null@*/ varInfo p_vi);
+extern /*@falsewhennull@*/ bool varInfo_exists(/*@null@*/ varInfo p_vi);
 # define varInfo_exists(vi)   ((vi) != NULL)
 
-extern /*@falsenull@*/ bool tagInfo_exists(/*@null@*/ tagInfo p_oi);
+extern /*@falsewhennull@*/ bool tagInfo_exists(/*@null@*/ tagInfo p_oi);
 # define tagInfo_exists(ti)   ((ti) != NULL)
 
-extern /*@falsenull@*/ bool opInfo_exists(/*@null@*/ opInfo p_oi);
+extern /*@falsewhennull@*/ bool opInfo_exists(/*@null@*/ opInfo p_oi);
 # define opInfo_exists(oi)    ((oi) != NULL)
 
 extern /*@only@*/ symtable symtable_new (void) /*@*/ ;
@@ -183,7 +183,7 @@ extern void varInfo_free (/*@only@*/ varInfo p_v);
 
 extern /*@only@*/ lslOpSet 
   symtable_opsWithLegalDomain (symtable p_tab, /*@temp@*/ /*@null@*/ nameNode p_n, 
-                              sortSetList p_argSorts, sort p_qual);
+                              sortSetList p_argSorts, sort p_q);
 extern /*@observer@*/ sigNodeSet 
   symtable_possibleOps (symtable p_tab, nameNode p_n);
 extern bool symtable_opExistsWithArity(symtable p_tab, nameNode p_n, int p_arity);