spot  2.11.6
Public Types | List of all members
tlyy::parser::token Struct Reference

Token kinds. More...

#include <spot/parsetl/parsetl.hh>

Collaboration diagram for tlyy::parser::token:

Public Types

enum  token_kind_type {
  TLYYEMPTY = -2 , TLYYEOF = 0 , TLYYerror = 256 , TLYYUNDEF = 257 ,
  START_LTL = 258 , START_LBT = 259 , START_SERE = 260 , START_BOOL = 261 ,
  PAR_OPEN = 262 , PAR_CLOSE = 263 , PAR_BLOCK = 264 , BRA_BLOCK = 265 ,
  BRA_BANG_BLOCK = 266 , BRACE_OPEN = 267 , BRACE_CLOSE = 268 , BRACE_BANG_CLOSE = 269 ,
  OP_OR = 270 , OP_XOR = 271 , OP_AND = 272 , OP_SHORT_AND = 273 ,
  OP_IMPLIES = 274 , OP_EQUIV = 275 , OP_U = 276 , OP_R = 277 ,
  OP_W = 278 , OP_M = 279 , OP_F = 280 , OP_G = 281 ,
  OP_X = 282 , OP_STRONG_X = 283 , OP_NOT = 284 , OP_XREP = 285 ,
  OP_FREP = 286 , OP_GREP = 287 , OP_STAR = 288 , OP_BSTAR = 289 ,
  OP_BFSTAR = 290 , OP_PLUS = 291 , OP_FPLUS = 292 , OP_STAR_OPEN = 293 ,
  OP_FSTAR_OPEN = 294 , OP_EQUAL_OPEN = 295 , OP_GOTO_OPEN = 296 , OP_SQBKT_CLOSE = 297 ,
  OP_SQBKT_STRONG_CLOSE = 298 , OP_SQBKT_NUM = 299 , OP_UNBOUNDED = 300 , OP_SQBKT_SEP = 301 ,
  OP_UCONCAT = 302 , OP_ECONCAT = 303 , OP_UCONCAT_NONO = 304 , OP_ECONCAT_NONO = 305 ,
  OP_FIRST_MATCH = 306 , ATOMIC_PROP = 307 , OP_CONCAT = 308 , OP_FUSION = 309 ,
  CONST_TRUE = 310 , CONST_FALSE = 311 , END_OF_INPUT = 312 , OP_POST_NEG = 313 ,
  OP_POST_POS = 314 , OP_DELAY_N = 315 , OP_DELAY_OPEN = 316 , OP_DELAY_PLUS = 317 ,
  OP_DELAY_STAR = 318
}
 
typedef token_kind_type yytokentype
 Backward compatibility alias (Bison 3.6). More...
 

Detailed Description

Token kinds.

Member Typedef Documentation

◆ yytokentype

typedef token_kind_type tlyy::parser::token::yytokentype

Backward compatibility alias (Bison 3.6).


The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1