40 #ifndef YY_TLYY_PARSETL_HH_INCLUDED 41 # define YY_TLYY_PARSETL_HH_INCLUDED 43 #line 36 "parsetl.yy" // lalr1.cc:377 48 #include <spot/tl/parse.hh> 50 #include <spot/tl/print.hh> 54 #line 55 "parsetl.hh" // lalr1.cc:377 67 # if (defined __GNUC__ \ 68 && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ 69 || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C 70 # define YY_ATTRIBUTE(Spec) __attribute__(Spec) 72 # define YY_ATTRIBUTE(Spec) 76 #ifndef YY_ATTRIBUTE_PURE 77 # define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) 80 #ifndef YY_ATTRIBUTE_UNUSED 81 # define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) 84 #if !defined _Noreturn \ 85 && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112) 86 # if defined _MSC_VER && 1200 <= _MSC_VER 87 # define _Noreturn __declspec (noreturn) 89 # define _Noreturn YY_ATTRIBUTE ((__noreturn__)) 94 #if ! defined lint || defined __GNUC__ 95 # define YYUSE(E) ((void) (E)) 100 #if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ 102 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ 103 _Pragma ("GCC diagnostic push") \ 104 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ 105 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") 106 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ 107 _Pragma ("GCC diagnostic pop") 109 # define YY_INITIAL_VALUE(Value) Value 111 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 112 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 113 # define YY_IGNORE_MAYBE_UNINITIALIZED_END 115 #ifndef YY_INITIAL_VALUE 116 # define YY_INITIAL_VALUE(Value) 126 #line 127 "parsetl.hh" // lalr1.cc:377 140 #line 51 "parsetl.yy" // lalr1.cc:377 147 #line 148 "parsetl.hh" // lalr1.cc:377 158 syntax_error (
const location_type& l,
const std::string& m);
159 location_type location;
175 BRA_BANG_BLOCK = 266,
178 BRACE_BANG_CLOSE = 269,
205 OP_SQBKT_CLOSE = 296,
211 OP_UCONCAT_NONO = 302,
212 OP_ECONCAT_NONO = 303,
231 enum { empty_symbol = -2 };
242 template <
typename Base>
256 const location_type& l);
260 const semantic_type& v,
261 const location_type& l);
309 symbol_number_type type_get ()
const;
312 token_type
token ()
const;
330 virtual int parse ();
333 std::ostream& debug_stream () const YY_ATTRIBUTE_PURE;
336 void set_debug_stream (
std::ostream &);
341 debug_level_type debug_level () const YY_ATTRIBUTE_PURE;
343 void set_debug_level (debug_level_type l);
349 virtual void error (
const location_type& loc,
const std::string& msg);
360 typedef int state_type;
365 virtual std::string yysyntax_error_ (state_type yystate,
366 const symbol_type& yyla)
const;
371 state_type yy_lr_goto_state_ (state_type yystate,
int yysym);
375 static bool yy_pact_value_is_default_ (
int yyvalue);
379 static bool yy_table_value_is_error_ (
int yyvalue);
381 static const short int yypact_ninf_;
382 static const signed char yytable_ninf_;
385 static token_number_type yytranslate_ (
int t);
390 static const short int yypact_[];
395 static const unsigned char yydefact_[];
398 static const short int yypgoto_[];
401 static const short int yydefgoto_[];
406 static const short int yytable_[];
408 static const short int yycheck_[];
412 static const unsigned char yystos_[];
415 static const unsigned char yyr1_[];
418 static const unsigned char yyr2_[];
422 static std::string yytnamerr_ (
const char *n);
426 static const char*
const yytname_[];
429 static const unsigned short int yyrline_[];
431 virtual void yy_reduce_print_ (
int r);
433 virtual void yystack_print_ ();
437 std::ostream* yycdebug_;
442 template <
typename Base>
450 template <
typename Base>
461 typedef state_type kind_type;
464 by_state (kind_type s);
467 by_state (
const by_state& other);
473 void move (by_state& that);
477 symbol_number_type type_get ()
const;
480 enum { empty_state = -1 };
493 stack_symbol_type ();
495 stack_symbol_type (state_type s, symbol_type& sym);
497 stack_symbol_type& operator= (
const stack_symbol_type& that);
511 void yypush_ (
const char* m, stack_symbol_type& s);
519 void yypush_ (
const char* m, state_type s, symbol_type& sym);
522 void yypop_ (
unsigned int n = 1);
546 #line 547 "parsetl.hh" // lalr1.cc:377 551 #endif // !YY_TLYY_PARSETL_HH_INCLUDED spot::location location_type
Symbol locations.
Definition: parsetl.hh:153
Definition: parsetl.hh:125
Symbol semantic values.
Definition: parsetl.hh:138
Type access provider for token (enum) based symbols.
Definition: parsetl.hh:287
An environment that describes atomic propositions.
Definition: environment.hh:32
A Bison parser.
Definition: parsetl.hh:133
Definition: bitset.hh:405
semantic_type value
The semantic value.
Definition: parsetl.hh:276
int symbol_number_type
Symbol type: an internal symbol number.
Definition: parsetl.hh:228
token_type kind_type
The symbol type as needed by the constructor.
Definition: parsetl.hh:296
std::list< one_parse_error > parse_error_list
A list of parser diagnostics, as filled by parse.
Definition: parse.hh:42
location_type location
The location.
Definition: parsetl.hh:279
basic_symbol< by_type > symbol_type
"External" symbols: returned by the scanner.
Definition: parsetl.hh:321
int debug_level_type
Type for debugging levels.
Definition: parsetl.hh:339
Tokens.
Definition: parsetl.hh:163
Definition: parsetl.hh:52
token::yytokentype token_type
(External) token type, as returned by yylex.
Definition: parsetl.hh:225
Definition: parsetl.hh:243
Actual storage for formula nodes.
Definition: formula.hh:109
Definition: parseaut.hh:393
Syntax errors thrown from user actions.
Definition: parsetl.hh:156
int type
Definition: parsetl.hh:317
Base super_type
Alias to Base.
Definition: parsetl.hh:246
unsigned char token_number_type
Internal symbol number for tokens (subsumed by symbol_number_type).
Definition: parsetl.hh:234