Fixed library dump support so that buffer constraint annotations are read and written...

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

diff --git a/src/Headers/uentry.h b/src/Headers/uentry.h
index b8a7269a1a0224c95560f7f75e54b6451d916370..caaa6c364aa654e4bf977da528ec97a55fc70191 100644 (file)
--- a/src/Headers/uentry.h
+++ b/src/Headers/uentry.h
@@ -620,11 +620,6 @@ extern bool uentry_hasBufStateInfo (uentry p_ue);
 
 /* end modifications */
 
-/* drl added defination 6/11/01 */
-void
-uentry_setPreconditions (uentry ue, /*@owned@*/ constraintList preconditions);
-
-
 # ifdef DOANNOTS
 typedef enum { AN_UNKNOWN, AN_FCNRETURN, AN_FCNPARAM, AN_SUFIELD, AN_TDEFN, AN_GSVAR,
                 AN_CONST, AN_LAST
@@ -641,7 +636,10 @@ extern void uentry_tallyAnnots (uentry u, ancontext kind);
 extern constraintList uentry_getFcnPreconditions (uentry ue);
 extern constraintList uentry_getFcnPostconditions (uentry ue);
 extern void
-uentry_setPostconditions (uentry ue, /*@owned@*/ constraintList postconditions);
+uentry_setPostconditions (uentry ue, /*@only@*/ constraintList postconditions);
+
+extern void
+uentry_setPreconditions (uentry ue, /*@only@*/ constraintList preconditions);
 
      /*end mods*/