+# if 0
+static /*@only@*/ cstring
+constraintList_unparseLocation (/*@temp@*/ constraintList s) /*@*/
+{
+ int i;
+ cstring st = cstring_undefined;
+ bool first = TRUE;
+
+ if (!constraintList_isDefined (s))
+ {
+ return cstring_makeLiteral ("<undefined>");
+ }
+
+ if (s->nelements == 0)
+ {
+ st = cstring_makeLiteral("<List Empty>");
+ return st;
+ }
+
+ for (i = 0; i < s->nelements; i++)
+ {
+ cstring type = cstring_undefined;
+ constraint current = s->elements[i];
+
+ if (constraint_isDefined(current) )
+ {
+ cstring temp1;
+ temp1 = constraint_unparseLocation(current);
+ type = message ("%q %q\n", type, temp1 );
+ }
+
+ if (first)
+ {
+ st = type;
+ first = FALSE;
+ }
+ else
+ {
+ st = message ("%q, %q", st, type);
+ }
+ }
+
+ return st;
+}
+# endif