Fixed all /*@i...@*/ tags (except 1).

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

diff --git a/src/Headers/stateCombinationTable.h b/src/Headers/stateCombinationTable.h
index 75646618a3aef51c119f5920da3751a683dd0d24..c21339c928d137f131ef45ec7af9f8f60a182912 100644 (file)
--- a/src/Headers/stateCombinationTable.h
+++ b/src/Headers/stateCombinationTable.h
@@ -20,22 +20,20 @@ typedef struct {
     cstring msg;
 } *stateEntry;
 
-/*@i23 typedef @only@ stateEntry o_stateEntry; */
+typedef /*@only@*/ stateEntry o_stateEntry;
 
 typedef struct
 {
     int size;
-    /*@only@*/ stateEntry *entries;
+    /*@only@*/ o_stateEntry *entries;
 } *stateRow;
 
-# if 0
-this breaks comething? typedef /*@only@*/ stateRow o_stateRow; /*@i324*/
-# endif
+typedef /*@only@*/ stateRow o_stateRow;
 
 abst_typedef struct
 {
-    int size;
-    /*@only@*/ stateRow *rows;
+  int size;
+  /*@only@*/ o_stateRow *rows;
 } *stateCombinationTable;
 
 extern /*@only@*/ stateCombinationTable stateCombinationTable_create (int p_size);
@@ -52,7 +50,7 @@ extern void stateCombinationTable_update (stateCombinationTable p_h,
 
 extern int stateCombinationTable_lookup 
                (stateCombinationTable p_h, int p_from,
-               int p_to, /*@out@*/ /*@observer@*/ cstring *p_msg);
+               int p_to, /*@out@*/ ob_cstring *p_msg);
 
 extern int stateCombinationTable_lookupLoseReference 
                (stateCombinationTable p_h, int p_from,