Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/idDecl.h b/src/Headers/idDecl.h
index 287f755e61c8c220e9b2135f7c003ca28ca2432a..7449a6f6be26a8b42d718bdd21dc449ac2709654 100644 (file)
--- a/src/Headers/idDecl.h
+++ b/src/Headers/idDecl.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
 ** See ../LICENSE for license information.
 **
 */
@@ -10,10 +10,11 @@
 # ifndef idDecl_H
 # define idDecl_H
 
-struct _idDecl
+struct s_idDecl
 {
   cstring id;
   qtype   typ;
+  functionClauseList clauses;
 } ; 
 
 /*@constant null idDecl idDecl_undefined; @*/
@@ -25,15 +26,25 @@ extern /*@falsenull@*/ bool idDecl_isDefined (idDecl p_t) /*@*/ ;
 extern void idDecl_free (/*@only@*/ idDecl p_t);
 extern /*@only@*/ idDecl 
   idDecl_create (/*@only@*/ cstring p_s, /*@only@*/ qtype p_t);
+
+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 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 void idDecl_addClauses (idDecl p_d, /*@only@*/ functionClauseList) /*@modifies p_d@*/ ;
+
 extern ctype idDecl_getCtype (idDecl p_d) /*@*/ ;
 extern /*@exposed@*/ qualList idDecl_getQuals (idDecl p_d) /*@*/ ; 
+extern /*@exposed@*/ functionClauseList idDecl_getClauses (idDecl p_d) /*@*/ ;
 
 extern /*@dependent@*/ /*@observer@*/ cstring idDecl_getName (idDecl p_t) /*@*/ ;
 extern /*@observer@*/ cstring idDecl_observeId (idDecl p_d) /*@*/ ;