39 void stateInfo_free (/*@only@*/ stateInfo a)  in stateInfo_free()
48 /*@only@*/ stateInfo stateInfo_update (/*@only@*/ stateInfo old, stateInfo newinfo)  in stateInfo_update()
80 	  stateInfo snew = stateInfo_makeRefLoc (newinfo->ref,   in stateInfo_update()
90 static /*@observer@*/ stateInfo stateInfo_sort (/*@temp@*/ stateInfo stinfo)  in stateInfo_sort()
101       stateInfo snext = stateInfo_sort (stinfo->previous);  in stateInfo_sort()
102       stateInfo sfirst = snext;  in stateInfo_sort()
150 /*@only@*/ stateInfo 
151 stateInfo_updateLoc (/*@only@*/ stateInfo old, stateAction action, fileloc loc)  in stateInfo_updateLoc()
168       stateInfo snew = stateInfo_makeLoc (loc, action);  in stateInfo_updateLoc()
176 /*@only@*/ stateInfo 
177 stateInfo_updateRefLoc (/*@only@*/ stateInfo old, /*@exposed@*/ sRef ref,   in stateInfo_updateRefLoc()
197       stateInfo snew = stateInfo_makeRefLoc (ref, loc, action);  in stateInfo_updateRefLoc()
205 /*@only@*/ stateInfo stateInfo_copy (stateInfo a)  in stateInfo_copy()
213       stateInfo ret = (stateInfo) dmalloc (sizeof (*ret));  in stateInfo_copy()
224 /*@only@*/ /*@notnull@*/ stateInfo
230 /*@only@*/ /*@notnull@*/ stateInfo
233   stateInfo ret = (stateInfo) dmalloc (sizeof (*ret));  in stateInfo_makeLoc()
249 /*@only@*/ /*@notnull@*/ stateInfo
253   stateInfo ret = (stateInfo) dmalloc (sizeof (*ret));  in stateInfo_makeRefLoc()
269 stateInfo_unparse (stateInfo s)  in stateInfo_unparse()
286 fileloc stateInfo_getLoc (stateInfo info)  in stateInfo_getLoc()
464 void stateInfo_display (stateInfo s, cstring sname)  in stateInfo_display()