/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
*/
/*
# ifndef uentryLIST_H
# define uentryLIST_H
-abst_typedef /*@null@*/ struct _uentryList *uentryList ;
-
-struct _uentryList
-{
+abst_typedef /*@null@*/ struct {
int nelements;
int nspace;
int current;
/*@reldef@*/ /*@relnull@*/ o_uentry *elements;
-} ;
+} *uentryList;
/*@iter uentryList_elements (sef uentryList x, yield exposed uentry el); @*/
# define uentryList_elements(x, m_el) \
extern int uentryList_compareStrict (uentryList p_s, uentryList p_t) /*@*/ ;
extern int uentryList_compareParams (uentryList p_s, uentryList p_t) /*@*/ ;
extern int uentryList_compareFields (uentryList p_s, uentryList p_t) /*@*/ ;
+extern bool uentryList_equivFields (uentryList p_p1, uentryList p_p2) /*@*/ ;
+
extern cstring uentryList_dumpParams (uentryList p_s) /*@*/ ;
extern uentryList uentryList_undump (char **p_s) /*@modifies *p_s@*/ ;
# define uentryList_sameObject(s,t) ((s) == (t))
-/*@constant int PRINTBREADTH;@*/
-# define PRINTBREADTH 3
-
/*@constant int uentryListBASESIZE;@*/
# define uentryListBASESIZE MIDBASESIZE