Added htmlfileformat flag.

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

diff --git a/src/Headers/idDecl.h b/src/Headers/idDecl.h
index 83cda5a042fc9f70f5fa7e6cc4f608d53eafbda0..5702c0878ed45483172f6bf495ae3f3b861393e7 100644 (file)
--- a/src/Headers/idDecl.h
+++ b/src/Headers/idDecl.h
@@ -31,15 +31,15 @@ extern /*@only@*/ idDecl
   idDecl_createClauses (/*@only@*/ cstring p_s, /*@only@*/ qtype p_t,
                        /*@only@*/ functionClauseList p_clauses);
 
-extern /*@only@*/ cstring idDecl_unparse (idDecl p_d);
-extern /*@only@*/ cstring idDecl_unparseC (idDecl p_d);
-extern /*@exposed@*/ qtype idDecl_getTyp (idDecl p_d);
-extern void idDecl_setTyp (idDecl p_d, /*@only@*/ qtype p_c);
-extern idDecl idDecl_expectFunction (/*@returned@*/ idDecl p_d);
+extern /*@only@*/ cstring idDecl_unparse (idDecl p_d) /*@*/ ;
+extern /*@only@*/ cstring idDecl_unparseC (idDecl p_d) /*@*/ ;
+extern /*@exposed@*/ qtype idDecl_getTyp (idDecl p_d) /*@*/ ;
+extern void idDecl_setTyp (idDecl p_d, /*@only@*/ qtype p_c) /*@modifies p_d@*/ ;
+extern idDecl idDecl_expectFunction (/*@returned@*/ idDecl p_d) /*@*/ ;
 extern void idDecl_notExpectingFunction (idDecl p_d) /*@modifies p_d@*/ ;
-extern idDecl idDecl_replaceCtype (/*@returned@*/ idDecl p_d, ctype p_c);
-extern idDecl idDecl_fixBase (/*@returned@*/ idDecl p_t, qtype p_b);
-extern idDecl idDecl_fixParamBase (/*@returned@*/ idDecl p_t, qtype p_b);
+extern idDecl idDecl_replaceCtype (/*@returned@*/ idDecl p_d, ctype p_c) /*@modifies p_d@*/ ;
+extern idDecl idDecl_fixBase (/*@returned@*/ idDecl p_t, qtype p_b) /*@modifies p_t@*/ ;
+extern idDecl idDecl_fixParamBase (/*@returned@*/ idDecl p_t, qtype p_b) /*@modifies p_t@*/ ;
 
 extern void idDecl_addClauses (idDecl p_d, /*@only@*/ functionClauseList) /*@modifies p_d@*/ ;