*** empty log message ***

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

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index e3c703716cf1933be173ffcdbfd98e206ee5b661..16dcc362d5c570592f0f668104d3061c39e265f3 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -6,7 +6,7 @@ typedef union
 {
   /*@exposed@*/ /*@dependent@*/ exprNode expr;
   /*@only@*/  sRef     sref;
-  int      intlit;
+  long intlit;
 } constraintTermValue;
 
 /*@-namechecks@*/
@@ -26,6 +26,9 @@ struct _constraintTerm {
 
 abst_typedef struct _constraintTerm *constraintTerm;
 
+/*@i311 shouldn't need this...never null */
+extern bool constraintTerm_isDefined (constraintTerm t) /*@*/ ;
+
 extern constraintTermType constraintTerm_getKind (constraintTerm) ;
 extern /*@exposed@*/ sRef constraintTerm_getSRef (constraintTerm) ;
 
@@ -40,7 +43,7 @@ constraintTerm constraintTerm_copy (constraintTerm term) /*@*/;
 bool constraintTerm_similar (constraintTerm term1, constraintTerm term2) /*@*/;
 
 bool constraintTerm_canGetValue (constraintTerm term)/*@*/;
-int constraintTerm_getValue (constraintTerm term) /*@*/;
+long constraintTerm_getValue (constraintTerm term) /*@*/;
 
 fileloc constraintTerm_getFileloc (constraintTerm t) /*@*/;
 
@@ -55,7 +58,7 @@ constraintTerm constraintTerm_makesRef  (/*@temp@*/ /*@observer@*/ sRef s) /*@*/
 
 constraintTerm constraintTerm_setFileloc (/*@returned@*/ constraintTerm term, fileloc loc) /*@modifies term@*/;
 
-constraintTerm constraintTerm_makeIntLiteral (int i) /*@*/;
+constraintTerm constraintTerm_makeIntLiteral (long i) /*@*/;
 
 bool constraintTerm_isStringLiteral (constraintTerm c) /*@*/;
 cstring constraintTerm_getStringLiteral (constraintTerm c) /*@*/;
@@ -67,6 +70,10 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f);
 
 /*@only@*/ constraintTerm constraintTerm_undump ( FILE *f);
 
+bool constraintTerm_isInitBlock (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+int constraintTerm_getInitBlockLength (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
 /*@=namechecks@*/
 
 #else