Committed my changes (but there are several splintme errors currently).

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

diff --git a/src/Headers/stateInfo.h b/src/Headers/stateInfo.h
index 2e2d2237e11ca3e5c9aad4ba95686efd052907e9..c556e1d84628a06e54b68818f7c8386fb9d03367 100644 (file)
--- a/src/Headers/stateInfo.h
+++ b/src/Headers/stateInfo.h
@@ -9,12 +9,15 @@
 # ifndef STATEINFO_H
 # define STATEINFO_H
 
-typedef /*@null@*/ struct
+typedef /*@null@*/ struct s_stateInfo *stateInfo ;
+
+
+/*@null@*/ struct s_stateInfo
 {
   /*@only@*/ fileloc  loc;
   /*@observer@*/ sRef ref;
-  /*@observer@*/ uentry ue;
-} *stateInfo;
+  /*@null@*/ stateInfo previous;
+} ;
 
 /*@constant null stateInfo stateInfo_undefined@*/
 # define stateInfo_undefined (NULL)
@@ -40,6 +43,8 @@ extern /*@only@*/ stateInfo stateInfo_makeRefLoc (/*@exposed@*/ sRef p_ref, file
 extern /*@observer@*/ fileloc stateInfo_getLoc (stateInfo p_info) ;
 extern /*@only@*/ cstring stateInfo_unparse (stateInfo p_s) /*@*/ ;
 
+extern void stateInfo_display (stateInfo p_s, /*@only@*/ cstring p_sname) /*@modifies g_errorstream@*/ ;
+
 # else
 # error "Multiple include"
 # endif