Merged this branch with the one in the splint.sf.net repository.

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index 85c2f38915e2c79d0ccba9c79f4eec556bb517c6..cb6f8fea98b3916b29cd81adad6dc01f553f0bb1 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -30,8 +30,10 @@ extern bool constraintList_isEmpty (/*@sef@*/ constraintList p_e) /*@*/;
 
 # define constraintList_isEmpty(e)      ((constraintList_isUndefined((e)) ) ||(( (e)->nelements == 0) ) )
 
-extern constraintList constraintList_single (/*@only@*/ constraint) ;
+extern int constraintList_size (/*@sef@*/ constraintList);
+# define constraintList_size(s)  (constraintList_isDefined (s) ? (s)->nelements : 0)
 
+extern constraintList constraintList_single (/*@only@*/ constraint) ;
 extern constraintList constraintList_addListFree (/*@returned@*/ constraintList, /*@only@*/ constraintList) ;
 extern constraintList constraintList_preserveCallInfo (/*@returned@*/ constraintList p_c, /*@observer@*/ /*@dependent@*/ exprNode p_fcn) ;