From aeee38dabead310a6db2f62e7bfbf25bf2068ba3 Mon Sep 17 00:00:00 2001
From: evans1629 <evans1629>
Date: Sun, 17 Mar 2002 19:42:22 +0000
Subject: [PATCH] Added signature_gen.h

---
 src/Headers/signature_gen.h | 156 ++++++++++++++++++++++++++++++++++++
 1 file changed, 156 insertions(+)
 create mode 100644 src/Headers/signature_gen.h

diff --git a/src/Headers/signature_gen.h b/src/Headers/signature_gen.h
new file mode 100644
index 0000000..4de07de
--- /dev/null
+++ b/src/Headers/signature_gen.h
@@ -0,0 +1,156 @@
+/*
+** Inserted at beginning of c files generated by bison
+** REMEMBER:  Change bison.reset too.
+*/
+
+/*@-allmacros@*/
+/*@+boolint@*/
+/*@+charint@*/
+/*@-macroparams@*/
+/*@-macroundef@*/
+/*@-unreachable@*/
+/*@-macrospec@*/
+/*@-varuse@*/
+/*@+ignorequals@*/
+/*@-macrostmt@*/
+/*@-noeffect@*/
+/*@-shadow@*/
+/*@-exitarg@*/
+/*@-macroredef@*/
+/*@-uniondef@*/
+/*@-compdef@*/
+/*@-matchfields@*/
+/*@-exportlocal@*/
+/*@-evalorderuncon@*/
+/*@-exportheader@*/
+/*@-typeuse@*/
+/*@-redecl@*/
+/*@-redef@*/
+/*@-noparams@*/
+/*@-ansireserved@*/
+/*@-fielduse@*/
+/*@-ifblock@*/
+/*@-elseifcomplete@*/
+/*@-whileblock@*/
+/*@-forblock@*/
+/*@-branchstate@*/
+/*@-readonlytrans@*/
+/*@-namechecks@*/
+/*@-usedef@*/
+/*@-systemunrecog@*/
+/*@-dependenttrans@*/
+/*@-unqualifiedtrans@*/
+/*@-nullassign@*/
+/*@-nullpass@*/
+/*@-nullptrarith*/
+/*@-usereleased@*/
+/*@-declundef@*/
+
+/*drl added 11/27/2001*/
+/*@-bounds@*/
+/* < end of bison.head > */
+
+typedef union {
+  ltoken ltok;  /* a leaf is also an ltoken */
+  unsigned int count;
+  /*@only@*/  ltokenList ltokenList;
+  /*@only@*/  opFormNode opform;
+  /*@owned@*/ sigNode signature;
+  /*@only@*/  nameNode name;
+  /*@owned@*/ lslOp operator;
+  /*@only@*/  lslOpList operators;
+  /*@-redef@*/ /*@-matchfields@*/ 
+} YYSTYPE;
+#define	LST_SIMPLEID	257
+#define	LST_LOGICALOP	258
+#define	LST_EQOP	259
+#define	LST_SIMPLEOP	260
+#define	LST_MAPSYM	261
+#define	LST_FIELDMAPSYM	262
+#define	LST_MARKERSYM	263
+#define	LST_ifTOKEN	264
+#define	LST_thenTOKEN	265
+#define	LST_elseTOKEN	266
+#define	LST_LBRACKET	267
+#define	LST_RBRACKET	268
+#define	LST_SELECTSYM	269
+#define	LST_SEPSYM	270
+#define	LST_OPENSYM	271
+#define	LST_CLOSESYM	272
+#define	LST_COLON	273
+#define	LST_COMMA	274
+#define	LST_EOL	275
+#define	LST_COMMENTSYM	276
+#define	LST_WHITESPACE	277
+#define	LST_QUANTIFIERSYM	278
+#define	LST_EQUATIONSYM	279
+#define	LST_EQSEPSYM	280
+#define	LST_COMPOSESYM	281
+#define	LST_LPAR	282
+#define	LST_RPAR	283
+#define	LST_assertsTOKEN	284
+#define	LST_assumesTOKEN	285
+#define	LST_byTOKEN	286
+#define	LST_convertsTOKEN	287
+#define	LST_enumerationTOKEN	288
+#define	LST_equationsTOKEN	289
+#define	LST_exemptingTOKEN	290
+#define	LST_forTOKEN	291
+#define	LST_generatedTOKEN	292
+#define	LST_impliesTOKEN	293
+#define	LST_includesTOKEN	294
+#define	LST_introducesTOKEN	295
+#define	LST_ofTOKEN	296
+#define	LST_partitionedTOKEN	297
+#define	LST_traitTOKEN	298
+#define	LST_tupleTOKEN	299
+#define	LST_unionTOKEN	300
+#define	LST_BADTOKEN	301
+
+/*
+** Resets all flags in bison.head
+*/
+
+
+/*@=allmacros@*/
+/*@=boolint@*/
+/*@=charint@*/
+/*@=macroparams@*/
+/*@=macroundef@*/
+/*@=unreachable@*/
+/*@=macrospec@*/
+/*@=varuse@*/
+/*@=ignorequals@*/
+/*@=macrostmt@*/
+/*@=noeffect@*/
+/*@=shadow@*/
+/*@=exitarg@*/
+/*@=macroredef@*/
+/*@=uniondef@*/
+/*@=compdef@*/
+/*@=matchfields@*/
+/*@=exportlocal@*/
+/*@=evalorderuncon@*/
+/*@=exportheader@*/
+/*@=typeuse@*/
+/*@=redecl@*/
+/*@=redef@*/
+/*@=noparams@*/
+/*@=ansireserved@*/
+/*@=fielduse@*/
+/*@=ifblock@*/
+/*@=elseifcomplete@*/
+/*@=whileblock@*/
+/*@=forblock@*/
+/*@=branchstate@*/
+/*@=readonlytrans@*/
+/*@=namechecks@*/
+/*@=usedef@*/
+/*@=systemunrecog@*/
+/*@=dependenttrans@*/
+/*@=unqualifiedtrans@*/
+/*@=declundef@*/
+
+
+/*drl added 11/27/2001*/
+/*@=bounds@*/
-- 
2.45.1