/*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2002 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
+** For more information: http://www.splint.org
*/
/*
** globSet.c
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
globSet
}
globSet
-globSet_insert (/*@returned@*/ globSet s, sRef el)
+globSet_insert (/*@returned@*/ globSet s, /*@exposed@*/ sRef el)
{
if (sRef_isKnown (el) && !sRef_isConst (el) && !sRef_isType (el))
{
- llassertprint (sRef_isGlobal (el) || sRef_isKindSpecial (el),
+ llassertprint (sRef_isFileOrGlobalScope (el) || sRef_isKindSpecial (el),
("el: %s", sRef_unparse (el)));
return (sRefSet_insert (s, el));
}
globSet
- globSet_copy (/*@returned@*/ globSet s1, /*@exposed@*/ globSet s2)
+globSet_single (/*@exposed@*/ sRef el)
{
- return (sRefSet_copy (s1, s2));
+ globSet res = globSet_new ();
+ return globSet_insert (res, el);
+}
+
+void
+globSet_markImmutable (globSet g)
+{
+ sRefSet_markImmutable (g);
+}
+
+globSet
+globSet_copyInto (/*@returned@*/ globSet s1, /*@exposed@*/ globSet s2)
+{
+ return (sRefSet_copyInto (s1, s2));
}
/*@only@*/ globSet
/*@only@*/ cstring
globSet_unparse (globSet ll)
{
- return (sRefSet_unparse (ll));
+ return (sRefSet_unparseFull (ll));
+ /* return (sRefSet_unparsePlain (ll)); */
}
int