*** empty log message ***

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

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 3ad571c2b252b2d1f19a899996a7fa4a475c36d4..1ecd622d62f45dfac1d7f0806a147788623b68b9 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -25,7 +25,7 @@ struct s_constraintTerm {
 
 abst_typedef struct s_constraintTerm *constraintTerm;
 
-/*@i311 shouldn't need this...never null */
+
 extern bool constraintTerm_isDefined (constraintTerm p_t) /*@*/ ;
 
 extern constraintTermType constraintTerm_getKind (constraintTerm) ;
@@ -41,15 +41,15 @@ constraintTerm constraintTerm_copy (constraintTerm p_term) /*@*/;
 
 bool constraintTerm_similar (constraintTerm p_term1, constraintTerm p_term2) /*@*/;
 
-bool constraintTerm_canGetValue (constraintTerm p_term)/*@*/;
-long constraintTerm_getValue (constraintTerm p_term) /*@*/;
-
-fileloc constraintTerm_getFileloc (constraintTerm p_t) /*@*/;
+extern bool constraintTerm_canGetValue (constraintTerm p_term)/*@*/;
+extern long constraintTerm_getValue (constraintTerm p_term) /*@*/;
+extern void constraintTerm_setValue (constraintTerm p_term, long p_value) /*@modifies p_term@*/;
 
+extern fileloc constraintTerm_getFileloc (constraintTerm p_t) /*@*/;
 
-bool constraintTerm_isIntLiteral (constraintTerm p_term) /*@*/;
+extern bool constraintTerm_isIntLiteral (constraintTerm p_term) /*@*/;
 
-constraintTerm constraintTerm_makesRef  (/*@temp@*/ /*@observer@*/ sRef p_s) /*@*/;
+extern constraintTerm constraintTerm_makesRef  (/*@temp@*/ /*@observer@*/ sRef p_s) /*@*/;
 
 /*@unused@*/ bool constraintTerm_probSame (constraintTerm p_term1, constraintTerm p_term2) /*@*/;