src/Headers/signature_gen.h

   1 /*
   2 ** Inserted at beginning of c files generated by bison
   3 ** REMEMBER:  Change bison.reset too.
   4 */
   5
   6 /*@-allmacros@*/
   7 /*@+boolint@*/
   8 /*@+charint@*/
   9 /*@-macroparams@*/
  10 /*@-macroundef@*/
  11 /*@-unreachable@*/
  12 /*@-macrospec@*/
  13 /*@-varuse@*/
  14 /*@+ignorequals@*/
  15 /*@-macrostmt@*/
  16 /*@-noeffect@*/
  17 /*@-shadow@*/
  18 /*@-exitarg@*/
  19 /*@-macroredef@*/
  20 /*@-uniondef@*/
  21 /*@-compdef@*/
  22 /*@-matchfields@*/
  23 /*@-exportlocal@*/
  24 /*@-evalorderuncon@*/
  25 /*@-exportheader@*/
  26 /*@-typeuse@*/
  27 /*@-redecl@*/
  28 /*@-redef@*/
  29 /*@-noparams@*/
  30 /*@-ansireserved@*/
  31 /*@-fielduse@*/
  32 /*@-ifblock@*/
  33 /*@-elseifcomplete@*/
  34 /*@-whileblock@*/
  35 /*@-forblock@*/
  36 /*@-branchstate@*/
  37 /*@-readonlytrans@*/
  38 /*@-namechecks@*/
  39 /*@-usedef@*/
  40 /*@-systemunrecog@*/
  41 /*@-dependenttrans@*/
  42 /*@-unqualifiedtrans@*/
  43 /*@-nullassign@*/
  44 /*@-nullpass@*/
  45 /*@-nullptrarith*/
  46 /*@-usereleased@*/
  47 /*@-declundef@*/
  48
  49 /*drl added 11/27/2001*/
  50 /*@-bounds@*/
  51 /* < end of bison.head > */
  52
  53 typedef union {
  54   ltoken ltok;  /* a leaf is also an ltoken */
  55   unsigned int count;
  56   /*@only@*/  ltokenList ltokenList;
  57   /*@only@*/  opFormNode opform;
  58   /*@owned@*/ sigNode signature;
  59   /*@only@*/  nameNode name;
  60   /*@owned@*/ lslOp operator;
  61   /*@only@*/  lslOpList operators;
  62   /*@-redef@*/ /*@-matchfields@*/
  63 } YYSTYPE;
  64 #define LST_SIMPLEID    257
  65 #define LST_LOGICALOP   258
  66 #define LST_EQOP        259
  67 #define LST_SIMPLEOP    260
  68 #define LST_MAPSYM      261
  69 #define LST_FIELDMAPSYM 262
  70 #define LST_MARKERSYM   263
  71 #define LST_ifTOKEN     264
  72 #define LST_thenTOKEN   265
  73 #define LST_elseTOKEN   266
  74 #define LST_LBRACKET    267
  75 #define LST_RBRACKET    268
  76 #define LST_SELECTSYM   269
  77 #define LST_SEPSYM      270
  78 #define LST_OPENSYM     271
  79 #define LST_CLOSESYM    272
  80 #define LST_COLON       273
  81 #define LST_COMMA       274
  82 #define LST_EOL 275
  83 #define LST_COMMENTSYM  276
  84 #define LST_WHITESPACE  277
  85 #define LST_QUANTIFIERSYM       278
  86 #define LST_EQUATIONSYM 279
  87 #define LST_EQSEPSYM    280
  88 #define LST_COMPOSESYM  281
  89 #define LST_LPAR        282
  90 #define LST_RPAR        283
  91 #define LST_assertsTOKEN        284
  92 #define LST_assumesTOKEN        285
  93 #define LST_byTOKEN     286
  94 #define LST_convertsTOKEN       287
  95 #define LST_enumerationTOKEN    288
  96 #define LST_equationsTOKEN      289
  97 #define LST_exemptingTOKEN      290
  98 #define LST_forTOKEN    291
  99 #define LST_generatedTOKEN      292
 100 #define LST_impliesTOKEN        293
 101 #define LST_includesTOKEN       294
 102 #define LST_introducesTOKEN     295
 103 #define LST_ofTOKEN     296
 104 #define LST_partitionedTOKEN    297
 105 #define LST_traitTOKEN  298
 106 #define LST_tupleTOKEN  299
 107 #define LST_unionTOKEN  300
 108 #define LST_BADTOKEN    301
 109
 110 /*
 111 ** Resets all flags in bison.head
 112 */
 113
 114
 115 /*@=allmacros@*/
 116 /*@=boolint@*/
 117 /*@=charint@*/
 118 /*@=macroparams@*/
 119 /*@=macroundef@*/
 120 /*@=unreachable@*/
 121 /*@=macrospec@*/
 122 /*@=varuse@*/
 123 /*@=ignorequals@*/
 124 /*@=macrostmt@*/
 125 /*@=noeffect@*/
 126 /*@=shadow@*/
 127 /*@=exitarg@*/
 128 /*@=macroredef@*/
 129 /*@=uniondef@*/
 130 /*@=compdef@*/
 131 /*@=matchfields@*/
 132 /*@=exportlocal@*/
 133 /*@=evalorderuncon@*/
 134 /*@=exportheader@*/
 135 /*@=typeuse@*/
 136 /*@=redecl@*/
 137 /*@=redef@*/
 138 /*@=noparams@*/
 139 /*@=ansireserved@*/
 140 /*@=fielduse@*/
 141 /*@=ifblock@*/
 142 /*@=elseifcomplete@*/
 143 /*@=whileblock@*/
 144 /*@=forblock@*/
 145 /*@=branchstate@*/
 146 /*@=readonlytrans@*/
 147 /*@=namechecks@*/
 148 /*@=usedef@*/
 149 /*@=systemunrecog@*/
 150 /*@=dependenttrans@*/
 151 /*@=unqualifiedtrans@*/
 152 /*@=declundef@*/
 153
 154
 155 /*drl added 11/27/2001*/
 156 /*@=bounds@*/