40 #ifndef YY_TLYY_PARSETL_HH_INCLUDED
41 # define YY_TLYY_PARSETL_HH_INCLUDED
43 #line 34 "parsetl.yy" // lalr1.cc:372
47 #include <spot/tl/parse.hh>
49 #include <spot/tl/print.hh>
53 #line 54 "parsetl.hh" // lalr1.cc:372
65 # if (defined __GNUC__ \
66 && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \
67 || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C
68 # define YY_ATTRIBUTE(Spec) __attribute__(Spec)
70 # define YY_ATTRIBUTE(Spec)
74 #ifndef YY_ATTRIBUTE_PURE
75 # define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__))
78 #ifndef YY_ATTRIBUTE_UNUSED
79 # define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__))
82 #if !defined _Noreturn \
83 && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112)
84 # if defined _MSC_VER && 1200 <= _MSC_VER
85 # define _Noreturn __declspec (noreturn)
87 # define _Noreturn YY_ATTRIBUTE ((__noreturn__))
92 #if ! defined lint || defined __GNUC__
93 # define YYUSE(E) ((void) (E))
98 #if defined __GNUC__ && 407 <= __GNUC__ * 100 + __GNUC_MINOR__
100 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \
101 _Pragma ("GCC diagnostic push") \
102 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\
103 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"")
104 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \
105 _Pragma ("GCC diagnostic pop")
107 # define YY_INITIAL_VALUE(Value) Value
109 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
110 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN
111 # define YY_IGNORE_MAYBE_UNINITIALIZED_END
113 #ifndef YY_INITIAL_VALUE
114 # define YY_INITIAL_VALUE(Value)
124 #line 125 "parsetl.hh" // lalr1.cc:372
138 #line 48 "parsetl.yy" // lalr1.cc:372
145 #line 146 "parsetl.hh" // lalr1.cc:372
156 syntax_error (
const location_type& l,
const std::string& m);
157 location_type location;
173 BRA_BANG_BLOCK = 266,
176 BRACE_BANG_CLOSE = 269,
200 OP_SQBKT_CLOSE = 293,
206 OP_UCONCAT_NONO = 299,
207 OP_ECONCAT_NONO = 300,
234 template <
typename Base>
248 const location_type& l);
252 const semantic_type& v,
253 const location_type& l);
291 symbol_number_type
type_get ()
const;
294 token_type
token ()
const;
313 virtual int parse ();
324 debug_level_type
debug_level () const YY_ATTRIBUTE_PURE;
332 virtual void error (
const location_type& loc,
const std::string& msg);
343 typedef int state_type;
348 virtual std::string yysyntax_error_ (state_type yystate,
349 symbol_number_type yytoken)
const;
354 state_type yy_lr_goto_state_ (state_type yystate,
int yysym);
358 static bool yy_pact_value_is_default_ (
int yyvalue);
362 static bool yy_table_value_is_error_ (
int yyvalue);
364 static const signed char yypact_ninf_;
365 static const signed char yytable_ninf_;
368 static token_number_type yytranslate_ (
int t);
373 static const short int yypact_[];
378 static const unsigned char yydefact_[];
381 static const short int yypgoto_[];
384 static const short int yydefgoto_[];
389 static const short int yytable_[];
391 static const short int yycheck_[];
395 static const unsigned char yystos_[];
398 static const unsigned char yyr1_[];
401 static const unsigned char yyr2_[];
405 static std::string yytnamerr_ (
const char *n);
409 static const char*
const yytname_[];
412 static const unsigned short int yyrline_[];
414 virtual void yy_reduce_print_ (
int r);
416 virtual void yystack_print_ ();
420 std::ostream* yycdebug_;
425 template <
typename Base>
433 template <
typename Base>
444 typedef state_type kind_type;
447 by_state (kind_type s);
450 by_state (
const by_state& other);
453 void move (by_state& that);
457 symbol_number_type type_get ()
const;
466 struct stack_symbol_type : basic_symbol<by_state>
469 typedef basic_symbol<by_state> super_type;
471 stack_symbol_type ();
473 stack_symbol_type (state_type s, symbol_type& sym);
475 stack_symbol_type& operator= (
const stack_symbol_type& that);
479 typedef stack<stack_symbol_type> stack_type;
489 void yypush_ (
const char* m, stack_symbol_type& s);
497 void yypush_ (
const char* m, state_type s, symbol_type& sym);
500 void yypop_ (
unsigned int n = 1);
525 #line 526 "parsetl.hh" // lalr1.cc:372
530 #endif // !YY_TLYY_PARSETL_HH_INCLUDED
symbol_number_type type_get() const
spot::location location_type
Symbol locations.
Definition: parsetl.hh:151
debug_level_type debug_level() const
The current debugging level.
Definition: parsetl.hh:123
token_number_type type
Definition: parsetl.hh:300
Symbol semantic values.
Definition: parsetl.hh:136
Type access provider for token (enum) based symbols.
Definition: parsetl.hh:272
An environment that describes atomic propositions.
Definition: environment.hh:32
A Bison parser.
Definition: parsetl.hh:131
void set_debug_level(debug_level_type l)
Set the current debugging level.
Definition: formula.hh:1658
semantic_type value
The semantic value.
Definition: parsetl.hh:261
int symbol_number_type
Internal symbol number.
Definition: parsetl.hh:223
by_type()
Default constructor.
token_type kind_type
The symbol type as needed by the constructor.
Definition: parsetl.hh:281
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:264
basic_symbol()
Default constructor.
basic_symbol< by_type > symbol_type
"External" symbols: returned by the scanner.
Definition: parsetl.hh:304
std::ostream & debug_stream() const
The current debugging stream.
virtual void error(const location_type &loc, const std::string &msg)
parser(spot::parse_error_list &error_list_yyarg, spot::environment &parse_environment_yyarg, spot::formula &result_yyarg)
Build a parser object.
int debug_level_type
Type for debugging levels.
Definition: parsetl.hh:322
Tokens.
Definition: parsetl.hh:161
void move(basic_symbol &s)
Destructive move, s is emptied into this.
void move(by_type &that)
Steal the symbol type from that.
void set_debug_stream(std::ostream &)
Set the current debugging stream.
Definition: parsetl.hh:51
token_type token() const
The token.
token::yytokentype token_type
(External) token type, as returned by yylex.
Definition: parsetl.hh:220
Definition: parsetl.hh:235
Actual storage for formula nodes.
Definition: formula.hh:107
Definition: parseaut.hh:363
Syntax errors thrown from user actions.
Definition: parsetl.hh:154
Base super_type
Alias to Base.
Definition: parsetl.hh:238
unsigned char token_number_type
Internal symbol number for tokens (subsumed by symbol_number_type).
Definition: parsetl.hh:226