src/signature.tab.h

   1 typedef union {
   2   ltoken ltok;  /* a leaf is also an ltoken */
   3   unsigned int count;
   4   /*@only@*/  ltokenList ltokenList;
   5   /*@only@*/  opFormNode opform;
   6   /*@owned@*/ sigNode signature;
   7   /*@only@*/  nameNode name;
   8   /*@owned@*/ lslOp operator;
   9   /*@only@*/  lslOpList operators;
  10 } YYSTYPE;
  11 #define LST_SIMPLEID    257
  12 #define LST_LOGICALOP   258
  13 #define LST_EQOP        259
  14 #define LST_SIMPLEOP    260
  15 #define LST_MAPSYM      261
  16 #define LST_FIELDMAPSYM 262
  17 #define LST_MARKERSYM   263
  18 #define LST_ifTOKEN     264
  19 #define LST_thenTOKEN   265
  20 #define LST_elseTOKEN   266
  21 #define LST_LBRACKET    267
  22 #define LST_RBRACKET    268
  23 #define LST_SELECTSYM   269
  24 #define LST_SEPSYM      270
  25 #define LST_OPENSYM     271
  26 #define LST_CLOSESYM    272
  27 #define LST_COLON       273
  28 #define LST_COMMA       274
  29 #define LST_EOL 275
  30 #define LST_COMMENTSYM  276
  31 #define LST_WHITESPACE  277
  32 #define LST_QUANTIFIERSYM       278
  33 #define LST_EQUATIONSYM 279
  34 #define LST_EQSEPSYM    280
  35 #define LST_COMPOSESYM  281
  36 #define LST_LPAR        282
  37 #define LST_RPAR        283
  38 #define LST_assertsTOKEN        284
  39 #define LST_assumesTOKEN        285
  40 #define LST_byTOKEN     286
  41 #define LST_convertsTOKEN       287
  42 #define LST_enumerationTOKEN    288
  43 #define LST_equationsTOKEN      289
  44 #define LST_exemptingTOKEN      290
  45 #define LST_forTOKEN    291
  46 #define LST_generatedTOKEN      292
  47 #define LST_impliesTOKEN        293
  48 #define LST_includesTOKEN       294
  49 #define LST_introducesTOKEN     295
  50 #define LST_ofTOKEN     296
  51 #define LST_partitionedTOKEN    297
  52 #define LST_traitTOKEN  298
  53 #define LST_tupleTOKEN  299
  54 #define LST_unionTOKEN  300
  55 #define LST_BADTOKEN    301
  56