Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index f335c937b21b33d5ebd3cd322ac34e0ab17b059c..a97eea3137938363160d5189ee0b2c1406c8937b 100644 (file)
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -161,6 +161,9 @@ struct s_uentry
 
   storageClassCode      storageclass;
   /*@relnull@*/ uinfo   info; /* null for KELIPSMARKER, KINVALID */
+
+  qualList cQuals; /*drl 04-19-2002 stores c qualifiers.  THis was neccessary to get the
+                   function to print out right as C quals are not stored anywhere else*/
 } ;
 
 /*
@@ -672,6 +675,10 @@ extern void uentry_setPostconditions (uentry p_ue, /*@only@*/ functionConstraint
 extern void uentry_setPreconditions (uentry p_ue, /*@only@*/ functionConstraint p_preconditions);
 /*end mods*/
 
+/*drl added function for cod generation */
+extern /*@only@*/ cstring uentry_unparseFunctionHeader (uentry p_v) /*@*/;
+
+/*end drl*/
 /*
 ** For debugging only
 */