else if (context_suppressFlagMsg(FLG_BOUNDSWRITE, loc) )
{
DPRINTF ((message ("constraintList_removeSurpressed getting rid of surpressed constraint %q",
- constraint_print(elem))));
+ constraint_unparse(elem))));
constraint_free(elem);
}
else if (!constraint_hasMaxSet(elem) && context_suppressFlagMsg(FLG_BOUNDSREAD, loc))
{
DPRINTF ((message("constraintList_removeSurpressed getting rid of surpressed constraint %q",
- constraint_print(elem))));
+ constraint_unparse(elem))));
constraint_free(elem);
}
else
return ret;
}
-
-extern /*@only@*/ cstring constraintList_unparse ( /*@observer@*/ constraintList s) /*@*/
-{
- return (constraintList_print(s));
-}
-
# if 0
static /*@only@*/ cstring
-constraintList_printLocation (/*@temp@*/ constraintList s) /*@*/
+constraintList_unparseLocation (/*@temp@*/ constraintList s) /*@*/
{
int i;
cstring st = cstring_undefined;
if (constraint_isDefined(current) )
{
cstring temp1;
- temp1 = constraint_printLocation(current);
+ temp1 = constraint_unparseLocation(current);
type = message ("%q %q\n", type, temp1 );
}
# endif
/*@only@*/ cstring
-constraintList_print (/*@temp@*/ constraintList s) /*@*/
+constraintList_unparse (/*@temp@*/ constraintList s) /*@*/
{
int i;
cstring st = cstring_undefined;
if (context_getFlag (FLG_ORCONSTRAINT))
{
- temp1 = constraint_printOr(current);
+ temp1 = constraint_unparseOr(current);
}
else
{
- temp1 = constraint_print (current);
+ temp1 = constraint_unparse (current);
}
type = message ("%q %q\n", type, temp1 );
}
return st;
}
-void constraintList_printErrorPostConditions (constraintList s, fileloc loc)
+void constraintList_unparseErrorPostConditions (constraintList s, fileloc loc)
{
constraintList_elements (s, elem)
return;
}
-void constraintList_printError (constraintList s, fileloc loc)
+void constraintList_unparseError (constraintList s, fileloc loc)
{
constraintList_elements (s, elem)
cstring
-constraintList_printDetailed (constraintList s)
+constraintList_unparseDetailed (constraintList s)
{
int i;
cstring st = cstring_undefined;
if (constraint_isDefined(current ) )
{
- cstring temp1 = constraint_printDetailed (current);
+ cstring temp1 = constraint_unparseDetailed (current);
type = message ("%s %s\n", type, temp1 );
cstring_free(temp1);
}
constraint temp;
constraintList ret;
DPRINTF ((message ("Logical or on %s and %s",
- constraintList_print(l1),
- constraintList_print(l2)) ) );
+ constraintList_unparse(l1),
+ constraintList_unparse(l2)) ) );
ret = constraintList_makeNew();
constraintList_elements (l1, el)
void
constraintList_free (/*@only@*/ constraintList s)
{
- int i;
-
- llassert(constraintList_isDefined(s) );
-
-
- for (i = 0; i < s->nelements; i++)
+ if (constraintList_isDefined (s))
{
- constraint_free (s->elements[i]);
+ int i;
+
+ for (i = 0; i < s->nelements; i++)
+ {
+ constraint_free (s->elements[i]);
+ }
+
+ sfree (s->elements);
+ s->elements = NULL;
+ s->nelements = -1;
+ s->nspace = -1;
+ sfree (s);
+ s = NULL;
}
-
- sfree (s->elements);
- s->elements = NULL;
- s->nelements = -1;
- s->nspace = -1;
- sfree (s);
- s = NULL;
}
constraintList
constraintList constraintList_preserveOrig (constraintList c)
{
- DPRINTF((message("constraintList_preserveOrig preserving the originial constraints for %s ", constraintList_print (c) ) ));
+ DPRINTF((message("constraintList_preserveOrig preserving the originial constraints for %s ", constraintList_unparse (c) ) ));
constraintList_elements_private (c, el)
{
constraintList constraintList_preserveCallInfo (/*@returned@*/ constraintList c,/*@observer@*/ /*@dependent@*/ /*@observer@*/ exprNode fcn)
{
- DPRINTF((message("constraintList_preserveCallInfo %s ", constraintList_print (c) ) ));
+ DPRINTF((message("constraintList_preserveCallInfo %s ", constraintList_unparse (c) ) ));
constraintList_elements_private (c, el)
{
constraintList_elements_private (c, el)
{
- DPRINTF ((message ("setting generatingExpr for %s to %s", constraint_print(el), exprNode_unparse(e) ) ));
+ DPRINTF ((message ("setting generatingExpr for %s to %s", constraint_unparse(el), exprNode_unparse(e) ) ));
el = constraint_addGeneratingExpr (el, e);
}
end_constraintList_elements_private;