44 #ifndef YY_TLYY_PARSETL_HH_INCLUDED 45 # define YY_TLYY_PARSETL_HH_INCLUDED 47 #line 36 "parsetl.yy" // lalr1.cc:401 52 #include <spot/tl/parse.hh> 54 #include <spot/tl/print.hh> 58 #line 59 "parsetl.hh" // lalr1.cc:401 67 #if defined __cplusplus 68 # define YY_CPLUSPLUS __cplusplus 70 # define YY_CPLUSPLUS 199711L 74 #if 201103L <= YY_CPLUSPLUS 75 # define YY_MOVE std::move 76 # define YY_MOVE_OR_COPY move 77 # define YY_MOVE_REF(Type) Type&& 78 # define YY_RVREF(Type) Type&& 79 # define YY_COPY(Type) Type 82 # define YY_MOVE_OR_COPY copy 83 # define YY_MOVE_REF(Type) Type& 84 # define YY_RVREF(Type) const Type& 85 # define YY_COPY(Type) const Type& 89 #if 201103L <= YY_CPLUSPLUS 90 # define YY_NOEXCEPT noexcept 94 # define YY_NOTHROW throw () 98 #if 201703 <= YY_CPLUSPLUS 99 # define YY_CONSTEXPR constexpr 101 # define YY_CONSTEXPR 107 # if (defined __GNUC__ \ 108 && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__))) \ 109 || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C 110 # define YY_ATTRIBUTE(Spec) __attribute__(Spec) 112 # define YY_ATTRIBUTE(Spec) 116 #ifndef YY_ATTRIBUTE_PURE 117 # define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) 120 #ifndef YY_ATTRIBUTE_UNUSED 121 # define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) 125 #if ! defined lint || defined __GNUC__ 126 # define YYUSE(E) ((void) (E)) 131 #if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ 133 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ 134 _Pragma ("GCC diagnostic push") \ 135 _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"")\ 136 _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") 137 # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ 138 _Pragma ("GCC diagnostic pop") 140 # define YY_INITIAL_VALUE(Value) Value 142 #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 143 # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN 144 # define YY_IGNORE_MAYBE_UNINITIALIZED_END 146 #ifndef YY_INITIAL_VALUE 147 # define YY_INITIAL_VALUE(Value) 151 # if defined __cplusplus 152 # if 201103L <= __cplusplus 153 # define YY_NULLPTR nullptr 155 # define YY_NULLPTR 0 158 # define YY_NULLPTR ((void*)0) 177 #line 178 "parsetl.hh" // lalr1.cc:401 189 #line 52 "parsetl.yy" // lalr1.cc:401 196 #line 197 "parsetl.hh" // lalr1.cc:401 207 syntax_error (
const location_type& l,
const std::string& m)
208 : std::runtime_error (m)
213 : std::runtime_error (s.what ())
214 , location (s.location)
219 location_type location;
235 BRA_BANG_BLOCK = 266,
238 BRACE_BANG_CLOSE = 269,
266 OP_SQBKT_CLOSE = 297,
267 OP_SQBKT_STRONG_CLOSE = 298,
273 OP_UCONCAT_NONO = 304,
274 OP_ECONCAT_NONO = 305,
275 OP_FIRST_MATCH = 306,
298 enum { empty_symbol = -2 };
309 template <
typename Base>
321 #if 201103L <= YY_CPLUSPLUS 330 YY_MOVE_REF (location_type) l);
334 YY_RVREF (semantic_type) v,
335 YY_RVREF (location_type) l);
350 bool empty ()
const YY_NOEXCEPT;
362 #if YY_CPLUSPLUS < 201103L 374 #if 201103L <= YY_CPLUSPLUS 396 symbol_number_type type_get () const YY_NOEXCEPT;
399 token_type
token () const YY_NOEXCEPT;
421 virtual int parse ();
424 std::ostream& debug_stream ()
const YY_ATTRIBUTE_PURE;
427 void set_debug_stream (std::ostream &);
432 debug_level_type debug_level () const YY_ATTRIBUTE_PURE;
434 void set_debug_level (debug_level_type l);
440 virtual void error (
const location_type& loc,
const std::string& msg);
453 typedef int state_type;
458 virtual std::string yysyntax_error_ (state_type yystate,
464 state_type yy_lr_goto_state_ (state_type yystate,
int yysym);
468 static bool yy_pact_value_is_default_ (
int yyvalue);
472 static bool yy_table_value_is_error_ (
int yyvalue);
474 static const signed char yypact_ninf_;
475 static const signed char yytable_ninf_;
478 static token_number_type yytranslate_ (
int t);
483 static const short yypact_[];
488 static const unsigned char yydefact_[];
491 static const short yypgoto_[];
494 static const short yydefgoto_[];
499 static const short yytable_[];
501 static const short yycheck_[];
505 static const unsigned char yystos_[];
508 static const unsigned char yyr1_[];
511 static const unsigned char yyr2_[];
515 static std::string yytnamerr_ (
const char *n);
519 static const char*
const yytname_[];
522 static const unsigned short yyrline_[];
524 virtual void yy_reduce_print_ (
int r);
526 virtual void yystack_print_ ();
531 std::ostream* yycdebug_;
536 template <
typename Base>
544 template <
typename Base>
552 by_state () YY_NOEXCEPT;
555 typedef state_type kind_type;
558 by_state (kind_type s) YY_NOEXCEPT;
561 by_state (const by_state& that) YY_NOEXCEPT;
564 void clear () YY_NOEXCEPT;
567 void move (by_state& that);
571 symbol_number_type type_get () const YY_NOEXCEPT;
574 enum { empty_state = -1 };
587 stack_symbol_type ();
589 stack_symbol_type (YY_RVREF (stack_symbol_type) that);
591 stack_symbol_type (state_type s, YY_MOVE_REF (
symbol_type) sym);
592 #if YY_CPLUSPLUS < 201103L 593 stack_symbol_type& operator= (stack_symbol_type& that);
600 template <
typename T,
typename S = std::vector<T> >
605 typedef typename S::reverse_iterator iterator;
606 typedef typename S::const_reverse_iterator const_iterator;
607 typedef typename S::size_type size_type;
609 stack (size_type n = 200)
617 operator[] (size_type i)
619 return seq_[size () - 1 - i];
628 return operator[] (size_type (i));
635 operator[] (size_type i)
const 637 return seq_[size () - 1 - i];
644 operator[] (
int i)
const 646 return operator[] (size_type (i));
653 push (YY_MOVE_REF (T) t)
655 seq_.push_back (T ());
656 operator[] (0).move (t);
661 pop (
int n = 1) YY_NOEXCEPT
676 size () const YY_NOEXCEPT
683 begin () const YY_NOEXCEPT
685 return seq_.rbegin ();
690 end () const YY_NOEXCEPT
699 slice (
const stack& stack,
int range)
705 operator[] (
int i)
const 707 return stack_[range_ - i];
716 stack (
const stack&);
717 stack& operator= (
const stack&);
724 typedef stack<stack_symbol_type> stack_type;
734 void yypush_ (
const char* m, YY_MOVE_REF (stack_symbol_type) sym);
742 void yypush_ (
const char* m, state_type s, YY_MOVE_REF (
symbol_type) sym);
745 void yypop_ (
int n = 1);
769 #line 770 "parsetl.hh" // lalr1.cc:401 774 #endif // !YY_TLYY_PARSETL_HH_INCLUDED spot::location location_type
Symbol locations.
Definition: parsetl.hh:202
Definition: parsetl.hh:176
Symbol semantic values.
Definition: parsetl.hh:187
Type access provider for token (enum) based symbols.
Definition: parsetl.hh:369
An environment that describes atomic propositions.
Definition: environment.hh:32
Present a slice of the top of a stack.
Definition: parsetl.hh:696
"External" symbols: returned by the scanner.
Definition: parsetl.hh:408
A Bison parser.
Definition: parsetl.hh:182
semantic_type value
The semantic value.
Definition: parsetl.hh:356
int symbol_number_type
Symbol type: an internal symbol number.
Definition: parsetl.hh:295
token_type kind_type
The symbol type as needed by the constructor.
Definition: parsetl.hh:383
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:359
basic_symbol()
Default constructor.
Definition: parsetl.hh:316
void clear()
Destroy contents, and record that is empty.
Definition: parsetl.hh:344
int debug_level_type
Type for debugging levels.
Definition: parsetl.hh:430
Tokens.
Definition: parsetl.hh:223
~basic_symbol()
Destroy the symbol.
Definition: parsetl.hh:338
Definition: parsetl.hh:56
token::yytokentype token_type
(External) token type, as returned by yylex.
Definition: parsetl.hh:292
Definition: parsetl.hh:310
Actual storage for formula nodes.
Definition: formula.hh:127
Definition: parseaut.hh:453
Syntax errors thrown from user actions.
Definition: parsetl.hh:205
Base super_type
Alias to Base.
Definition: parsetl.hh:313
unsigned char token_number_type
Internal symbol number for tokens (subsumed by symbol_number_type).
Definition: parsetl.hh:301