Merged code tree with Dave Evans's version. Many changes to numberous to list....

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

diff --git a/src/Headers/globalsClause.h b/src/Headers/globalsClause.h
new file mode 100644 (file)
index 0000000..2bb71dd
--- /dev/null
+++ b/src/Headers/globalsClause.h
@@ -0,0 +1,30 @@
+/*
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** See ../LICENSE for license information.
+**
+*/
+/*
+** globalsClause.h
+*/
+
+# ifndef GLOBALSCLAUSE_H
+# define GLOBALSCLAUSE_H
+
+struct s_globalsClause {
+  globSet globs;
+  fileloc loc;
+} ;
+
+extern globalsClause globalsClause_create (/*@only@*/ lltok, /*@only@*/ globSet) /*@*/ ;
+extern /*@observer@*/ globSet globalsClause_getGlobs (globalsClause) /*@*/ ;
+extern /*@only@*/ globSet globalsClause_takeGlobs (globalsClause p_gclause) /*@modifies p_gclause@*/ ;
+
+extern /*@observer@*/ fileloc globalsClause_getLoc (globalsClause) /*@*/ ;
+# define globalsClause_getLoc(gl) ((gl)->loc)
+
+extern cstring globalsClause_unparse (globalsClause p_node) /*@*/ ;
+extern void globalsClause_free (/*@only@*/ globalsClause) ;
+
+# else
+# error "Multiple include"
+# endif