---

signature.tab.h

Go to the documentation of this file.

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;
} 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

---