| // A Bison parser, made by GNU Bison 3.7.5. |
| |
| // Skeleton interface for Bison LALR(1) parsers in C++ |
| |
| // Copyright (C) 2002-2015, 2018-2021 Free Software Foundation, Inc. |
| |
| // This program is free software: you can redistribute it and/or modify |
| // it under the terms of the GNU General Public License as published by |
| // the Free Software Foundation, either version 3 of the License, or |
| // (at your option) any later version. |
| |
| // This program is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| |
| // You should have received a copy of the GNU General Public License |
| // along with this program. If not, see <http://www.gnu.org/licenses/>. |
| |
| // As a special exception, you may create a larger work that contains |
| // part or all of the Bison parser skeleton and distribute that work |
| // under terms of your choice, so long as that work isn't itself a |
| // parser generator using the skeleton or a modified version thereof |
| // as a parser skeleton. Alternatively, if you modify or redistribute |
| // the parser skeleton itself, you may (at your option) remove this |
| // special exception, which will cause the skeleton and the resulting |
| // Bison output files to be licensed under the GNU General Public |
| // License without this special exception. |
| |
| // This special exception was added by the Free Software Foundation in |
| // version 2.2 of Bison. |
| |
| |
| /** |
| ** \file QLParser.tab.hh |
| ** Define the QL::parser class. |
| */ |
| |
| // C++ LALR(1) parser skeleton written by Akim Demaille. |
| |
| // DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual, |
| // especially those whose name start with YY_ or yy_. They are |
| // private implementation details that can be changed or removed. |
| |
| #ifndef YY_YY_QLPARSER_TAB_HH_INCLUDED |
| # define YY_YY_QLPARSER_TAB_HH_INCLUDED |
| // "%code requires" blocks. |
| #line 33 "QLParser.yy" |
| |
| #include "QLParser.h" |
| #include "DbeSession.h" |
| #include "Expression.h" |
| #include "Table.h" |
| #include "i18n.h" |
| |
| #line 57 "QLParser.tab.hh" |
| |
| # include <cassert> |
| # include <cstdlib> // std::abort |
| # include <iostream> |
| # include <stdexcept> |
| # include <string> |
| # include <vector> |
| |
| #if defined __cplusplus |
| # define YY_CPLUSPLUS __cplusplus |
| #else |
| # define YY_CPLUSPLUS 199711L |
| #endif |
| |
| // Support move semantics when possible. |
| #if 201103L <= YY_CPLUSPLUS |
| # define YY_MOVE std::move |
| # define YY_MOVE_OR_COPY move |
| # define YY_MOVE_REF(Type) Type&& |
| # define YY_RVREF(Type) Type&& |
| # define YY_COPY(Type) Type |
| #else |
| # define YY_MOVE |
| # define YY_MOVE_OR_COPY copy |
| # define YY_MOVE_REF(Type) Type& |
| # define YY_RVREF(Type) const Type& |
| # define YY_COPY(Type) const Type& |
| #endif |
| |
| // Support noexcept when possible. |
| #if 201103L <= YY_CPLUSPLUS |
| # define YY_NOEXCEPT noexcept |
| # define YY_NOTHROW |
| #else |
| # define YY_NOEXCEPT |
| # define YY_NOTHROW throw () |
| #endif |
| |
| // Support constexpr when possible. |
| #if 201703 <= YY_CPLUSPLUS |
| # define YY_CONSTEXPR constexpr |
| #else |
| # define YY_CONSTEXPR |
| #endif |
| |
| #include <typeinfo> |
| #ifndef YY_ASSERT |
| # include <cassert> |
| # define YY_ASSERT assert |
| #endif |
| |
| |
| #ifndef YY_ATTRIBUTE_PURE |
| # if defined __GNUC__ && 2 < __GNUC__ + (96 <= __GNUC_MINOR__) |
| # define YY_ATTRIBUTE_PURE __attribute__ ((__pure__)) |
| # else |
| # define YY_ATTRIBUTE_PURE |
| # endif |
| #endif |
| |
| #ifndef YY_ATTRIBUTE_UNUSED |
| # if defined __GNUC__ && 2 < __GNUC__ + (7 <= __GNUC_MINOR__) |
| # define YY_ATTRIBUTE_UNUSED __attribute__ ((__unused__)) |
| # else |
| # define YY_ATTRIBUTE_UNUSED |
| # endif |
| #endif |
| |
| /* Suppress unused-variable warnings by "using" E. */ |
| #if ! defined lint || defined __GNUC__ |
| # define YY_USE(E) ((void) (E)) |
| #else |
| # define YY_USE(E) /* empty */ |
| #endif |
| |
| #if defined __GNUC__ && ! defined __ICC && 407 <= __GNUC__ * 100 + __GNUC_MINOR__ |
| /* Suppress an incorrect diagnostic about yylval being uninitialized. */ |
| # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN \ |
| _Pragma ("GCC diagnostic push") \ |
| _Pragma ("GCC diagnostic ignored \"-Wuninitialized\"") \ |
| _Pragma ("GCC diagnostic ignored \"-Wmaybe-uninitialized\"") |
| # define YY_IGNORE_MAYBE_UNINITIALIZED_END \ |
| _Pragma ("GCC diagnostic pop") |
| #else |
| # define YY_INITIAL_VALUE(Value) Value |
| #endif |
| #ifndef YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
| # define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
| # define YY_IGNORE_MAYBE_UNINITIALIZED_END |
| #endif |
| #ifndef YY_INITIAL_VALUE |
| # define YY_INITIAL_VALUE(Value) /* Nothing. */ |
| #endif |
| |
| #if defined __cplusplus && defined __GNUC__ && ! defined __ICC && 6 <= __GNUC__ |
| # define YY_IGNORE_USELESS_CAST_BEGIN \ |
| _Pragma ("GCC diagnostic push") \ |
| _Pragma ("GCC diagnostic ignored \"-Wuseless-cast\"") |
| # define YY_IGNORE_USELESS_CAST_END \ |
| _Pragma ("GCC diagnostic pop") |
| #endif |
| #ifndef YY_IGNORE_USELESS_CAST_BEGIN |
| # define YY_IGNORE_USELESS_CAST_BEGIN |
| # define YY_IGNORE_USELESS_CAST_END |
| #endif |
| |
| # ifndef YY_CAST |
| # ifdef __cplusplus |
| # define YY_CAST(Type, Val) static_cast<Type> (Val) |
| # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast<Type> (Val) |
| # else |
| # define YY_CAST(Type, Val) ((Type) (Val)) |
| # define YY_REINTERPRET_CAST(Type, Val) ((Type) (Val)) |
| # endif |
| # endif |
| # ifndef YY_NULLPTR |
| # if defined __cplusplus |
| # if 201103L <= __cplusplus |
| # define YY_NULLPTR nullptr |
| # else |
| # define YY_NULLPTR 0 |
| # endif |
| # else |
| # define YY_NULLPTR ((void*)0) |
| # endif |
| # endif |
| |
| /* Debug traces. */ |
| #ifndef YYDEBUG |
| # define YYDEBUG 0 |
| #endif |
| |
| #line 50 "QLParser.yy" |
| namespace QL { |
| #line 192 "QLParser.tab.hh" |
| |
| |
| |
| |
| /// A Bison parser. |
| class Parser |
| { |
| public: |
| #ifndef YYSTYPE |
| /// A buffer to store and retrieve objects. |
| /// |
| /// Sort of a variant, but does not keep track of the nature |
| /// of the stored data, since that knowledge is available |
| /// via the current parser state. |
| class semantic_type |
| { |
| public: |
| /// Type of *this. |
| typedef semantic_type self_type; |
| |
| /// Empty construction. |
| semantic_type () YY_NOEXCEPT |
| : yybuffer_ () |
| , yytypeid_ (YY_NULLPTR) |
| {} |
| |
| /// Construct and fill. |
| template <typename T> |
| semantic_type (YY_RVREF (T) t) |
| : yytypeid_ (&typeid (T)) |
| { |
| YY_ASSERT (sizeof (T) <= size); |
| new (yyas_<T> ()) T (YY_MOVE (t)); |
| } |
| |
| #if 201103L <= YY_CPLUSPLUS |
| /// Non copyable. |
| semantic_type (const self_type&) = delete; |
| /// Non copyable. |
| self_type& operator= (const self_type&) = delete; |
| #endif |
| |
| /// Destruction, allowed only if empty. |
| ~semantic_type () YY_NOEXCEPT |
| { |
| YY_ASSERT (!yytypeid_); |
| } |
| |
| # if 201103L <= YY_CPLUSPLUS |
| /// Instantiate a \a T in here from \a t. |
| template <typename T, typename... U> |
| T& |
| emplace (U&&... u) |
| { |
| YY_ASSERT (!yytypeid_); |
| YY_ASSERT (sizeof (T) <= size); |
| yytypeid_ = & typeid (T); |
| return *new (yyas_<T> ()) T (std::forward <U>(u)...); |
| } |
| # else |
| /// Instantiate an empty \a T in here. |
| template <typename T> |
| T& |
| emplace () |
| { |
| YY_ASSERT (!yytypeid_); |
| YY_ASSERT (sizeof (T) <= size); |
| yytypeid_ = & typeid (T); |
| return *new (yyas_<T> ()) T (); |
| } |
| |
| /// Instantiate a \a T in here from \a t. |
| template <typename T> |
| T& |
| emplace (const T& t) |
| { |
| YY_ASSERT (!yytypeid_); |
| YY_ASSERT (sizeof (T) <= size); |
| yytypeid_ = & typeid (T); |
| return *new (yyas_<T> ()) T (t); |
| } |
| # endif |
| |
| /// Instantiate an empty \a T in here. |
| /// Obsolete, use emplace. |
| template <typename T> |
| T& |
| build () |
| { |
| return emplace<T> (); |
| } |
| |
| /// Instantiate a \a T in here from \a t. |
| /// Obsolete, use emplace. |
| template <typename T> |
| T& |
| build (const T& t) |
| { |
| return emplace<T> (t); |
| } |
| |
| /// Accessor to a built \a T. |
| template <typename T> |
| T& |
| as () YY_NOEXCEPT |
| { |
| YY_ASSERT (yytypeid_); |
| YY_ASSERT (*yytypeid_ == typeid (T)); |
| YY_ASSERT (sizeof (T) <= size); |
| return *yyas_<T> (); |
| } |
| |
| /// Const accessor to a built \a T (for %printer). |
| template <typename T> |
| const T& |
| as () const YY_NOEXCEPT |
| { |
| YY_ASSERT (yytypeid_); |
| YY_ASSERT (*yytypeid_ == typeid (T)); |
| YY_ASSERT (sizeof (T) <= size); |
| return *yyas_<T> (); |
| } |
| |
| /// Swap the content with \a that, of same type. |
| /// |
| /// Both variants must be built beforehand, because swapping the actual |
| /// data requires reading it (with as()), and this is not possible on |
| /// unconstructed variants: it would require some dynamic testing, which |
| /// should not be the variant's responsibility. |
| /// Swapping between built and (possibly) non-built is done with |
| /// self_type::move (). |
| template <typename T> |
| void |
| swap (self_type& that) YY_NOEXCEPT |
| { |
| YY_ASSERT (yytypeid_); |
| YY_ASSERT (*yytypeid_ == *that.yytypeid_); |
| std::swap (as<T> (), that.as<T> ()); |
| } |
| |
| /// Move the content of \a that to this. |
| /// |
| /// Destroys \a that. |
| template <typename T> |
| void |
| move (self_type& that) |
| { |
| # if 201103L <= YY_CPLUSPLUS |
| emplace<T> (std::move (that.as<T> ())); |
| # else |
| emplace<T> (); |
| swap<T> (that); |
| # endif |
| that.destroy<T> (); |
| } |
| |
| # if 201103L <= YY_CPLUSPLUS |
| /// Move the content of \a that to this. |
| template <typename T> |
| void |
| move (self_type&& that) |
| { |
| emplace<T> (std::move (that.as<T> ())); |
| that.destroy<T> (); |
| } |
| #endif |
| |
| /// Copy the content of \a that to this. |
| template <typename T> |
| void |
| copy (const self_type& that) |
| { |
| emplace<T> (that.as<T> ()); |
| } |
| |
| /// Destroy the stored \a T. |
| template <typename T> |
| void |
| destroy () |
| { |
| as<T> ().~T (); |
| yytypeid_ = YY_NULLPTR; |
| } |
| |
| private: |
| #if YY_CPLUSPLUS < 201103L |
| /// Non copyable. |
| semantic_type (const self_type&); |
| /// Non copyable. |
| self_type& operator= (const self_type&); |
| #endif |
| |
| /// Accessor to raw memory as \a T. |
| template <typename T> |
| T* |
| yyas_ () YY_NOEXCEPT |
| { |
| void *yyp = yybuffer_.yyraw; |
| return static_cast<T*> (yyp); |
| } |
| |
| /// Const accessor to raw memory as \a T. |
| template <typename T> |
| const T* |
| yyas_ () const YY_NOEXCEPT |
| { |
| const void *yyp = yybuffer_.yyraw; |
| return static_cast<const T*> (yyp); |
| } |
| |
| /// An auxiliary type to compute the largest semantic type. |
| union union_type |
| { |
| // "number" |
| // "name" |
| // FNAME |
| // JGROUP |
| // JPARENT |
| // QSTR |
| // FILEIOVFD |
| // exp |
| // term |
| char dummy1[sizeof (Expression *)]; |
| }; |
| |
| /// The size of the largest semantic type. |
| enum { size = sizeof (union_type) }; |
| |
| /// A buffer to store semantic values. |
| union |
| { |
| /// Strongest alignment constraints. |
| long double yyalign_me; |
| /// A buffer large enough to store any of the semantic values. |
| char yyraw[size]; |
| } yybuffer_; |
| |
| /// Whether the content is built: if defined, the name of the stored type. |
| const std::type_info *yytypeid_; |
| }; |
| |
| #else |
| typedef YYSTYPE semantic_type; |
| #endif |
| |
| /// Syntax errors thrown from user actions. |
| struct syntax_error : std::runtime_error |
| { |
| syntax_error (const std::string& m) |
| : std::runtime_error (m) |
| {} |
| |
| syntax_error (const syntax_error& s) |
| : std::runtime_error (s.what ()) |
| {} |
| |
| ~syntax_error () YY_NOEXCEPT YY_NOTHROW; |
| }; |
| |
| /// Token kinds. |
| struct token |
| { |
| enum token_kind_type |
| { |
| L_YYEMPTY = -2, |
| L_YYEOF = 0, // "end of file" |
| L_YYerror = 256, // error |
| L_YYUNDEF = 257, // "invalid token" |
| L_LPAR = 258, // "(" |
| L_RPAR = 259, // ")" |
| L_NUM = 260, // "number" |
| L_NAME = 261, // "name" |
| L_FNAME = 262, // FNAME |
| L_HASPROP = 263, // HASPROP |
| L_JGROUP = 264, // JGROUP |
| L_JPARENT = 265, // JPARENT |
| L_QSTR = 266, // QSTR |
| L_FILEIOVFD = 267, // FILEIOVFD |
| L_IN = 268, // IN |
| L_SOME = 269, // SOME |
| L_ORDR = 270, // ORDR |
| L_COMMA = 271, // COMMA |
| L_QWE = 273, // QWE |
| L_COLON = 275, // COLON |
| L_AND = 277, // AND |
| L_OR = 279, // OR |
| L_EQV = 281, // EQV |
| L_NEQV = 282, // NEQV |
| L_BITAND = 283, // BITAND |
| L_BITOR = 284, // BITOR |
| L_BITXOR = 285, // BITXOR |
| L_EQ = 287, // EQ |
| L_NE = 289, // NE |
| L_LT = 291, // LT |
| L_GT = 293, // GT |
| L_LE = 295, // LE |
| L_GE = 297, // GE |
| L_LS = 299, // LS |
| L_RS = 301, // RS |
| L_ADD = 303, // ADD |
| L_MINUS = 305, // MINUS |
| L_MUL = 307, // MUL |
| L_DIV = 309, // DIV |
| L_REM = 311, // REM |
| L_DEG = 313, // DEG |
| L_NOT = 314, // NOT |
| L_BITNOT = 316 // BITNOT |
| }; |
| /// Backward compatibility alias (Bison 3.6). |
| typedef token_kind_type yytokentype; |
| }; |
| |
| /// Token kind, as returned by yylex. |
| typedef token::yytokentype token_kind_type; |
| |
| /// Backward compatibility alias (Bison 3.6). |
| typedef token_kind_type token_type; |
| |
| /// Symbol kinds. |
| struct symbol_kind |
| { |
| enum symbol_kind_type |
| { |
| YYNTOKENS = 63, ///< Number of tokens. |
| S_YYEMPTY = -2, |
| S_YYEOF = 0, // "end of file" |
| S_YYerror = 1, // error |
| S_YYUNDEF = 2, // "invalid token" |
| S_LPAR = 3, // "(" |
| S_RPAR = 4, // ")" |
| S_NUM = 5, // "number" |
| S_NAME = 6, // "name" |
| S_FNAME = 7, // FNAME |
| S_HASPROP = 8, // HASPROP |
| S_JGROUP = 9, // JGROUP |
| S_JPARENT = 10, // JPARENT |
| S_QSTR = 11, // QSTR |
| S_FILEIOVFD = 12, // FILEIOVFD |
| S_IN = 13, // IN |
| S_SOME = 14, // SOME |
| S_ORDR = 15, // ORDR |
| S_COMMA = 16, // COMMA |
| S_17_ = 17, // "," |
| S_QWE = 18, // QWE |
| S_19_ = 19, // "?" |
| S_COLON = 20, // COLON |
| S_21_ = 21, // ":" |
| S_AND = 22, // AND |
| S_23_ = 23, // "&&" |
| S_OR = 24, // OR |
| S_25_ = 25, // "|" |
| S_EQV = 26, // EQV |
| S_NEQV = 27, // NEQV |
| S_BITAND = 28, // BITAND |
| S_BITOR = 29, // BITOR |
| S_BITXOR = 30, // BITXOR |
| S_31_ = 31, // "^" |
| S_EQ = 32, // EQ |
| S_33_ = 33, // "=" |
| S_NE = 34, // NE |
| S_35_ = 35, // "!=" |
| S_LT = 36, // LT |
| S_37_ = 37, // "<" |
| S_GT = 38, // GT |
| S_39_ = 39, // ">" |
| S_LE = 40, // LE |
| S_41_ = 41, // "<=" |
| S_GE = 42, // GE |
| S_43_ = 43, // ">=" |
| S_LS = 44, // LS |
| S_45_ = 45, // "<<" |
| S_RS = 46, // RS |
| S_47_ = 47, // ">>" |
| S_ADD = 48, // ADD |
| S_49_ = 49, // "+" |
| S_MINUS = 50, // MINUS |
| S_51_ = 51, // "-" |
| S_MUL = 52, // MUL |
| S_53_ = 53, // "*" |
| S_DIV = 54, // DIV |
| S_55_ = 55, // "/" |
| S_REM = 56, // REM |
| S_57_ = 57, // "%" |
| S_DEG = 58, // DEG |
| S_NOT = 59, // NOT |
| S_60_ = 60, // "!" |
| S_BITNOT = 61, // BITNOT |
| S_62_ = 62, // "~" |
| S_YYACCEPT = 63, // $accept |
| S_S = 64, // S |
| S_exp = 65, // exp |
| S_term = 66 // term |
| }; |
| }; |
| |
| /// (Internal) symbol kind. |
| typedef symbol_kind::symbol_kind_type symbol_kind_type; |
| |
| /// The number of tokens. |
| static const symbol_kind_type YYNTOKENS = symbol_kind::YYNTOKENS; |
| |
| /// A complete symbol. |
| /// |
| /// Expects its Base type to provide access to the symbol kind |
| /// via kind (). |
| /// |
| /// Provide access to semantic value. |
| template <typename Base> |
| struct basic_symbol : Base |
| { |
| /// Alias to Base. |
| typedef Base super_type; |
| |
| /// Default constructor. |
| basic_symbol () |
| : value () |
| {} |
| |
| #if 201103L <= YY_CPLUSPLUS |
| /// Move constructor. |
| basic_symbol (basic_symbol&& that) |
| : Base (std::move (that)) |
| , value () |
| { |
| switch (this->kind ()) |
| { |
| case symbol_kind::S_NUM: // "number" |
| case symbol_kind::S_NAME: // "name" |
| case symbol_kind::S_FNAME: // FNAME |
| case symbol_kind::S_JGROUP: // JGROUP |
| case symbol_kind::S_JPARENT: // JPARENT |
| case symbol_kind::S_QSTR: // QSTR |
| case symbol_kind::S_FILEIOVFD: // FILEIOVFD |
| case symbol_kind::S_exp: // exp |
| case symbol_kind::S_term: // term |
| value.move< Expression * > (std::move (that.value)); |
| break; |
| |
| default: |
| break; |
| } |
| |
| } |
| #endif |
| |
| /// Copy constructor. |
| basic_symbol (const basic_symbol& that); |
| |
| /// Constructors for typed symbols. |
| #if 201103L <= YY_CPLUSPLUS |
| basic_symbol (typename Base::kind_type t) |
| : Base (t) |
| {} |
| #else |
| basic_symbol (typename Base::kind_type t) |
| : Base (t) |
| {} |
| #endif |
| |
| #if 201103L <= YY_CPLUSPLUS |
| basic_symbol (typename Base::kind_type t, Expression *&& v) |
| : Base (t) |
| , value (std::move (v)) |
| {} |
| #else |
| basic_symbol (typename Base::kind_type t, const Expression *& v) |
| : Base (t) |
| , value (v) |
| {} |
| #endif |
| |
| /// Destroy the symbol. |
| ~basic_symbol () |
| { |
| clear (); |
| } |
| |
| /// Destroy contents, and record that is empty. |
| void clear () YY_NOEXCEPT |
| { |
| // User destructor. |
| symbol_kind_type yykind = this->kind (); |
| basic_symbol<Base>& yysym = *this; |
| (void) yysym; |
| switch (yykind) |
| { |
| case symbol_kind::S_NUM: // "number" |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 682 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_NAME: // "name" |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 688 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_FNAME: // FNAME |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 694 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_JGROUP: // JGROUP |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 700 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_JPARENT: // JPARENT |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 706 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_QSTR: // QSTR |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 712 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_FILEIOVFD: // FILEIOVFD |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 718 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_exp: // exp |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 724 "QLParser.tab.hh" |
| break; |
| |
| case symbol_kind::S_term: // term |
| #line 100 "QLParser.yy" |
| { delete yysym.value.template as < Expression * > (); } |
| #line 730 "QLParser.tab.hh" |
| break; |
| |
| default: |
| break; |
| } |
| |
| // Value type destructor. |
| switch (yykind) |
| { |
| case symbol_kind::S_NUM: // "number" |
| case symbol_kind::S_NAME: // "name" |
| case symbol_kind::S_FNAME: // FNAME |
| case symbol_kind::S_JGROUP: // JGROUP |
| case symbol_kind::S_JPARENT: // JPARENT |
| case symbol_kind::S_QSTR: // QSTR |
| case symbol_kind::S_FILEIOVFD: // FILEIOVFD |
| case symbol_kind::S_exp: // exp |
| case symbol_kind::S_term: // term |
| value.template destroy< Expression * > (); |
| break; |
| |
| default: |
| break; |
| } |
| |
| Base::clear (); |
| } |
| |
| #if YYDEBUG || 0 |
| /// The user-facing name of this symbol. |
| const char *name () const YY_NOEXCEPT |
| { |
| return Parser::symbol_name (this->kind ()); |
| } |
| #endif // #if YYDEBUG || 0 |
| |
| |
| /// Backward compatibility (Bison 3.6). |
| symbol_kind_type type_get () const YY_NOEXCEPT; |
| |
| /// Whether empty. |
| bool empty () const YY_NOEXCEPT; |
| |
| /// Destructive move, \a s is emptied into this. |
| void move (basic_symbol& s); |
| |
| /// The semantic value. |
| semantic_type value; |
| |
| private: |
| #if YY_CPLUSPLUS < 201103L |
| /// Assignment operator. |
| basic_symbol& operator= (const basic_symbol& that); |
| #endif |
| }; |
| |
| /// Type access provider for token (enum) based symbols. |
| struct by_kind |
| { |
| /// Default constructor. |
| by_kind (); |
| |
| #if 201103L <= YY_CPLUSPLUS |
| /// Move constructor. |
| by_kind (by_kind&& that); |
| #endif |
| |
| /// Copy constructor. |
| by_kind (const by_kind& that); |
| |
| /// The symbol kind as needed by the constructor. |
| typedef token_kind_type kind_type; |
| |
| /// Constructor from (external) token numbers. |
| by_kind (kind_type t); |
| |
| /// Record that this symbol is empty. |
| void clear () YY_NOEXCEPT; |
| |
| /// Steal the symbol kind from \a that. |
| void move (by_kind& that); |
| |
| /// The (internal) type number (corresponding to \a type). |
| /// \a empty when empty. |
| symbol_kind_type kind () const YY_NOEXCEPT; |
| |
| /// Backward compatibility (Bison 3.6). |
| symbol_kind_type type_get () const YY_NOEXCEPT; |
| |
| /// The symbol kind. |
| /// \a S_YYEMPTY when empty. |
| symbol_kind_type kind_; |
| }; |
| |
| /// Backward compatibility for a private implementation detail (Bison 3.6). |
| typedef by_kind by_type; |
| |
| /// "External" symbols: returned by the scanner. |
| struct symbol_type : basic_symbol<by_kind> |
| { |
| /// Superclass. |
| typedef basic_symbol<by_kind> super_type; |
| |
| /// Empty symbol. |
| symbol_type () {} |
| |
| /// Constructor for valueless symbols, and symbols from each type. |
| #if 201103L <= YY_CPLUSPLUS |
| symbol_type (int tok) |
| : super_type(token_type (tok)) |
| #else |
| symbol_type (int tok) |
| : super_type(token_type (tok)) |
| #endif |
| { |
| YY_ASSERT (tok == token::L_YYEOF |
| || (token::L_YYerror <= tok && tok <= token::L_RPAR) |
| || tok == token::L_HASPROP |
| || (token::L_IN <= tok && tok <= 317)); |
| } |
| #if 201103L <= YY_CPLUSPLUS |
| symbol_type (int tok, Expression * v) |
| : super_type(token_type (tok), std::move (v)) |
| #else |
| symbol_type (int tok, const Expression *& v) |
| : super_type(token_type (tok), v) |
| #endif |
| { |
| YY_ASSERT ((token::L_NUM <= tok && tok <= token::L_FNAME) |
| || (token::L_JGROUP <= tok && tok <= token::L_FILEIOVFD)); |
| } |
| }; |
| |
| /// Build a parser object. |
| Parser (QL::Result &result_yyarg); |
| virtual ~Parser (); |
| |
| #if 201103L <= YY_CPLUSPLUS |
| /// Non copyable. |
| Parser (const Parser&) = delete; |
| /// Non copyable. |
| Parser& operator= (const Parser&) = delete; |
| #endif |
| |
| /// Parse. An alias for parse (). |
| /// \returns 0 iff parsing succeeded. |
| int operator() (); |
| |
| /// Parse. |
| /// \returns 0 iff parsing succeeded. |
| virtual int parse (); |
| |
| #if YYDEBUG |
| /// The current debugging stream. |
| std::ostream& debug_stream () const YY_ATTRIBUTE_PURE; |
| /// Set the current debugging stream. |
| void set_debug_stream (std::ostream &); |
| |
| /// Type for debugging levels. |
| typedef int debug_level_type; |
| /// The current debugging level. |
| debug_level_type debug_level () const YY_ATTRIBUTE_PURE; |
| /// Set the current debugging level. |
| void set_debug_level (debug_level_type l); |
| #endif |
| |
| /// Report a syntax error. |
| /// \param msg a description of the syntax error. |
| virtual void error (const std::string& msg); |
| |
| /// Report a syntax error. |
| void error (const syntax_error& err); |
| |
| #if YYDEBUG || 0 |
| /// The user-facing name of the symbol whose (internal) number is |
| /// YYSYMBOL. No bounds checking. |
| static const char *symbol_name (symbol_kind_type yysymbol); |
| #endif // #if YYDEBUG || 0 |
| |
| |
| // Implementation of make_symbol for each symbol type. |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_YYEOF () |
| { |
| return symbol_type (token::L_YYEOF); |
| } |
| #else |
| static |
| symbol_type |
| make_YYEOF () |
| { |
| return symbol_type (token::L_YYEOF); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_YYerror () |
| { |
| return symbol_type (token::L_YYerror); |
| } |
| #else |
| static |
| symbol_type |
| make_YYerror () |
| { |
| return symbol_type (token::L_YYerror); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_YYUNDEF () |
| { |
| return symbol_type (token::L_YYUNDEF); |
| } |
| #else |
| static |
| symbol_type |
| make_YYUNDEF () |
| { |
| return symbol_type (token::L_YYUNDEF); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_LPAR () |
| { |
| return symbol_type (token::L_LPAR); |
| } |
| #else |
| static |
| symbol_type |
| make_LPAR () |
| { |
| return symbol_type (token::L_LPAR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_RPAR () |
| { |
| return symbol_type (token::L_RPAR); |
| } |
| #else |
| static |
| symbol_type |
| make_RPAR () |
| { |
| return symbol_type (token::L_RPAR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_NUM (Expression * v) |
| { |
| return symbol_type (token::L_NUM, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_NUM (const Expression *& v) |
| { |
| return symbol_type (token::L_NUM, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_NAME (Expression * v) |
| { |
| return symbol_type (token::L_NAME, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_NAME (const Expression *& v) |
| { |
| return symbol_type (token::L_NAME, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_FNAME (Expression * v) |
| { |
| return symbol_type (token::L_FNAME, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_FNAME (const Expression *& v) |
| { |
| return symbol_type (token::L_FNAME, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_HASPROP () |
| { |
| return symbol_type (token::L_HASPROP); |
| } |
| #else |
| static |
| symbol_type |
| make_HASPROP () |
| { |
| return symbol_type (token::L_HASPROP); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_JGROUP (Expression * v) |
| { |
| return symbol_type (token::L_JGROUP, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_JGROUP (const Expression *& v) |
| { |
| return symbol_type (token::L_JGROUP, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_JPARENT (Expression * v) |
| { |
| return symbol_type (token::L_JPARENT, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_JPARENT (const Expression *& v) |
| { |
| return symbol_type (token::L_JPARENT, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_QSTR (Expression * v) |
| { |
| return symbol_type (token::L_QSTR, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_QSTR (const Expression *& v) |
| { |
| return symbol_type (token::L_QSTR, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_FILEIOVFD (Expression * v) |
| { |
| return symbol_type (token::L_FILEIOVFD, std::move (v)); |
| } |
| #else |
| static |
| symbol_type |
| make_FILEIOVFD (const Expression *& v) |
| { |
| return symbol_type (token::L_FILEIOVFD, v); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_IN () |
| { |
| return symbol_type (token::L_IN); |
| } |
| #else |
| static |
| symbol_type |
| make_IN () |
| { |
| return symbol_type (token::L_IN); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_SOME () |
| { |
| return symbol_type (token::L_SOME); |
| } |
| #else |
| static |
| symbol_type |
| make_SOME () |
| { |
| return symbol_type (token::L_SOME); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_ORDR () |
| { |
| return symbol_type (token::L_ORDR); |
| } |
| #else |
| static |
| symbol_type |
| make_ORDR () |
| { |
| return symbol_type (token::L_ORDR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_COMMA () |
| { |
| return symbol_type (token::L_COMMA); |
| } |
| #else |
| static |
| symbol_type |
| make_COMMA () |
| { |
| return symbol_type (token::L_COMMA); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_QWE () |
| { |
| return symbol_type (token::L_QWE); |
| } |
| #else |
| static |
| symbol_type |
| make_QWE () |
| { |
| return symbol_type (token::L_QWE); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_COLON () |
| { |
| return symbol_type (token::L_COLON); |
| } |
| #else |
| static |
| symbol_type |
| make_COLON () |
| { |
| return symbol_type (token::L_COLON); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_AND () |
| { |
| return symbol_type (token::L_AND); |
| } |
| #else |
| static |
| symbol_type |
| make_AND () |
| { |
| return symbol_type (token::L_AND); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_OR () |
| { |
| return symbol_type (token::L_OR); |
| } |
| #else |
| static |
| symbol_type |
| make_OR () |
| { |
| return symbol_type (token::L_OR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_EQV () |
| { |
| return symbol_type (token::L_EQV); |
| } |
| #else |
| static |
| symbol_type |
| make_EQV () |
| { |
| return symbol_type (token::L_EQV); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_NEQV () |
| { |
| return symbol_type (token::L_NEQV); |
| } |
| #else |
| static |
| symbol_type |
| make_NEQV () |
| { |
| return symbol_type (token::L_NEQV); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_BITAND () |
| { |
| return symbol_type (token::L_BITAND); |
| } |
| #else |
| static |
| symbol_type |
| make_BITAND () |
| { |
| return symbol_type (token::L_BITAND); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_BITOR () |
| { |
| return symbol_type (token::L_BITOR); |
| } |
| #else |
| static |
| symbol_type |
| make_BITOR () |
| { |
| return symbol_type (token::L_BITOR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_BITXOR () |
| { |
| return symbol_type (token::L_BITXOR); |
| } |
| #else |
| static |
| symbol_type |
| make_BITXOR () |
| { |
| return symbol_type (token::L_BITXOR); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_EQ () |
| { |
| return symbol_type (token::L_EQ); |
| } |
| #else |
| static |
| symbol_type |
| make_EQ () |
| { |
| return symbol_type (token::L_EQ); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_NE () |
| { |
| return symbol_type (token::L_NE); |
| } |
| #else |
| static |
| symbol_type |
| make_NE () |
| { |
| return symbol_type (token::L_NE); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_LT () |
| { |
| return symbol_type (token::L_LT); |
| } |
| #else |
| static |
| symbol_type |
| make_LT () |
| { |
| return symbol_type (token::L_LT); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_GT () |
| { |
| return symbol_type (token::L_GT); |
| } |
| #else |
| static |
| symbol_type |
| make_GT () |
| { |
| return symbol_type (token::L_GT); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_LE () |
| { |
| return symbol_type (token::L_LE); |
| } |
| #else |
| static |
| symbol_type |
| make_LE () |
| { |
| return symbol_type (token::L_LE); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_GE () |
| { |
| return symbol_type (token::L_GE); |
| } |
| #else |
| static |
| symbol_type |
| make_GE () |
| { |
| return symbol_type (token::L_GE); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_LS () |
| { |
| return symbol_type (token::L_LS); |
| } |
| #else |
| static |
| symbol_type |
| make_LS () |
| { |
| return symbol_type (token::L_LS); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_RS () |
| { |
| return symbol_type (token::L_RS); |
| } |
| #else |
| static |
| symbol_type |
| make_RS () |
| { |
| return symbol_type (token::L_RS); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_ADD () |
| { |
| return symbol_type (token::L_ADD); |
| } |
| #else |
| static |
| symbol_type |
| make_ADD () |
| { |
| return symbol_type (token::L_ADD); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_MINUS () |
| { |
| return symbol_type (token::L_MINUS); |
| } |
| #else |
| static |
| symbol_type |
| make_MINUS () |
| { |
| return symbol_type (token::L_MINUS); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_MUL () |
| { |
| return symbol_type (token::L_MUL); |
| } |
| #else |
| static |
| symbol_type |
| make_MUL () |
| { |
| return symbol_type (token::L_MUL); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_DIV () |
| { |
| return symbol_type (token::L_DIV); |
| } |
| #else |
| static |
| symbol_type |
| make_DIV () |
| { |
| return symbol_type (token::L_DIV); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_REM () |
| { |
| return symbol_type (token::L_REM); |
| } |
| #else |
| static |
| symbol_type |
| make_REM () |
| { |
| return symbol_type (token::L_REM); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_DEG () |
| { |
| return symbol_type (token::L_DEG); |
| } |
| #else |
| static |
| symbol_type |
| make_DEG () |
| { |
| return symbol_type (token::L_DEG); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_NOT () |
| { |
| return symbol_type (token::L_NOT); |
| } |
| #else |
| static |
| symbol_type |
| make_NOT () |
| { |
| return symbol_type (token::L_NOT); |
| } |
| #endif |
| #if 201103L <= YY_CPLUSPLUS |
| static |
| symbol_type |
| make_BITNOT () |
| { |
| return symbol_type (token::L_BITNOT); |
| } |
| #else |
| static |
| symbol_type |
| make_BITNOT () |
| { |
| return symbol_type (token::L_BITNOT); |
| } |
| #endif |
| |
| |
| private: |
| #if YY_CPLUSPLUS < 201103L |
| /// Non copyable. |
| Parser (const Parser&); |
| /// Non copyable. |
| Parser& operator= (const Parser&); |
| #endif |
| |
| |
| /// Stored state numbers (used for stacks). |
| typedef signed char state_type; |
| |
| /// Compute post-reduction state. |
| /// \param yystate the current state |
| /// \param yysym the nonterminal to push on the stack |
| static state_type yy_lr_goto_state_ (state_type yystate, int yysym); |
| |
| /// Whether the given \c yypact_ value indicates a defaulted state. |
| /// \param yyvalue the value to check |
| static bool yy_pact_value_is_default_ (int yyvalue); |
| |
| /// Whether the given \c yytable_ value indicates a syntax error. |
| /// \param yyvalue the value to check |
| static bool yy_table_value_is_error_ (int yyvalue); |
| |
| static const signed char yypact_ninf_; |
| static const signed char yytable_ninf_; |
| |
| /// Convert a scanner token kind \a t to a symbol kind. |
| /// In theory \a t should be a token_kind_type, but character literals |
| /// are valid, yet not members of the token_type enum. |
| static symbol_kind_type yytranslate_ (int t); |
| |
| #if YYDEBUG || 0 |
| /// For a symbol, its name in clear. |
| static const char* const yytname_[]; |
| #endif // #if YYDEBUG || 0 |
| |
| |
| // Tables. |
| // YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing |
| // STATE-NUM. |
| static const short yypact_[]; |
| |
| // YYDEFACT[STATE-NUM] -- Default reduction number in state STATE-NUM. |
| // Performed when YYTABLE does not specify something else to do. Zero |
| // means the default is an error. |
| static const signed char yydefact_[]; |
| |
| // YYPGOTO[NTERM-NUM]. |
| static const signed char yypgoto_[]; |
| |
| // YYDEFGOTO[NTERM-NUM]. |
| static const signed char yydefgoto_[]; |
| |
| // YYTABLE[YYPACT[STATE-NUM]] -- What to do in state STATE-NUM. If |
| // positive, shift that token. If negative, reduce the rule whose |
| // number is the opposite. If YYTABLE_NINF, syntax error. |
| static const signed char yytable_[]; |
| |
| static const signed char yycheck_[]; |
| |
| // YYSTOS[STATE-NUM] -- The (internal number of the) accessing |
| // symbol of state STATE-NUM. |
| static const signed char yystos_[]; |
| |
| // YYR1[YYN] -- Symbol number of symbol that rule YYN derives. |
| static const signed char yyr1_[]; |
| |
| // YYR2[YYN] -- Number of symbols on the right hand side of rule YYN. |
| static const signed char yyr2_[]; |
| |
| |
| #if YYDEBUG |
| // YYRLINE[YYN] -- Source line where rule number YYN was defined. |
| static const unsigned char yyrline_[]; |
| /// Report on the debug stream that the rule \a r is going to be reduced. |
| virtual void yy_reduce_print_ (int r) const; |
| /// Print the state stack on the debug stream. |
| virtual void yy_stack_print_ () const; |
| |
| /// Debugging level. |
| int yydebug_; |
| /// Debug stream. |
| std::ostream* yycdebug_; |
| |
| /// \brief Display a symbol kind, value and location. |
| /// \param yyo The output stream. |
| /// \param yysym The symbol. |
| template <typename Base> |
| void yy_print_ (std::ostream& yyo, const basic_symbol<Base>& yysym) const; |
| #endif |
| |
| /// \brief Reclaim the memory associated to a symbol. |
| /// \param yymsg Why this token is reclaimed. |
| /// If null, print nothing. |
| /// \param yysym The symbol. |
| template <typename Base> |
| void yy_destroy_ (const char* yymsg, basic_symbol<Base>& yysym) const; |
| |
| private: |
| /// Type access provider for state based symbols. |
| struct by_state |
| { |
| /// Default constructor. |
| by_state () YY_NOEXCEPT; |
| |
| /// The symbol kind as needed by the constructor. |
| typedef state_type kind_type; |
| |
| /// Constructor. |
| by_state (kind_type s) YY_NOEXCEPT; |
| |
| /// Copy constructor. |
| by_state (const by_state& that) YY_NOEXCEPT; |
| |
| /// Record that this symbol is empty. |
| void clear () YY_NOEXCEPT; |
| |
| /// Steal the symbol kind from \a that. |
| void move (by_state& that); |
| |
| /// The symbol kind (corresponding to \a state). |
| /// \a symbol_kind::S_YYEMPTY when empty. |
| symbol_kind_type kind () const YY_NOEXCEPT; |
| |
| /// The state number used to denote an empty symbol. |
| /// We use the initial state, as it does not have a value. |
| enum { empty_state = 0 }; |
| |
| /// The state. |
| /// \a empty when empty. |
| state_type state; |
| }; |
| |
| /// "Internal" symbol: element of the stack. |
| struct stack_symbol_type : basic_symbol<by_state> |
| { |
| /// Superclass. |
| typedef basic_symbol<by_state> super_type; |
| /// Construct an empty symbol. |
| stack_symbol_type (); |
| /// Move or copy construction. |
| stack_symbol_type (YY_RVREF (stack_symbol_type) that); |
| /// Steal the contents from \a sym to build this. |
| stack_symbol_type (state_type s, YY_MOVE_REF (symbol_type) sym); |
| #if YY_CPLUSPLUS < 201103L |
| /// Assignment, needed by push_back by some old implementations. |
| /// Moves the contents of that. |
| stack_symbol_type& operator= (stack_symbol_type& that); |
| |
| /// Assignment, needed by push_back by other implementations. |
| /// Needed by some other old implementations. |
| stack_symbol_type& operator= (const stack_symbol_type& that); |
| #endif |
| }; |
| |
| /// A stack with random access from its top. |
| template <typename T, typename S = std::vector<T> > |
| class stack |
| { |
| public: |
| // Hide our reversed order. |
| typedef typename S::iterator iterator; |
| typedef typename S::const_iterator const_iterator; |
| typedef typename S::size_type size_type; |
| typedef typename std::ptrdiff_t index_type; |
| |
| stack (size_type n = 200) |
| : seq_ (n) |
| {} |
| |
| #if 201103L <= YY_CPLUSPLUS |
| /// Non copyable. |
| stack (const stack&) = delete; |
| /// Non copyable. |
| stack& operator= (const stack&) = delete; |
| #endif |
| |
| /// Random access. |
| /// |
| /// Index 0 returns the topmost element. |
| const T& |
| operator[] (index_type i) const |
| { |
| return seq_[size_type (size () - 1 - i)]; |
| } |
| |
| /// Random access. |
| /// |
| /// Index 0 returns the topmost element. |
| T& |
| operator[] (index_type i) |
| { |
| return seq_[size_type (size () - 1 - i)]; |
| } |
| |
| /// Steal the contents of \a t. |
| /// |
| /// Close to move-semantics. |
| void |
| push (YY_MOVE_REF (T) t) |
| { |
| seq_.push_back (T ()); |
| operator[] (0).move (t); |
| } |
| |
| /// Pop elements from the stack. |
| void |
| pop (std::ptrdiff_t n = 1) YY_NOEXCEPT |
| { |
| for (; 0 < n; --n) |
| seq_.pop_back (); |
| } |
| |
| /// Pop all elements from the stack. |
| void |
| clear () YY_NOEXCEPT |
| { |
| seq_.clear (); |
| } |
| |
| /// Number of elements on the stack. |
| index_type |
| size () const YY_NOEXCEPT |
| { |
| return index_type (seq_.size ()); |
| } |
| |
| /// Iterator on top of the stack (going downwards). |
| const_iterator |
| begin () const YY_NOEXCEPT |
| { |
| return seq_.begin (); |
| } |
| |
| /// Bottom of the stack. |
| const_iterator |
| end () const YY_NOEXCEPT |
| { |
| return seq_.end (); |
| } |
| |
| /// Present a slice of the top of a stack. |
| class slice |
| { |
| public: |
| slice (const stack& stack, index_type range) |
| : stack_ (stack) |
| , range_ (range) |
| {} |
| |
| const T& |
| operator[] (index_type i) const |
| { |
| return stack_[range_ - i]; |
| } |
| |
| private: |
| const stack& stack_; |
| index_type range_; |
| }; |
| |
| private: |
| #if YY_CPLUSPLUS < 201103L |
| /// Non copyable. |
| stack (const stack&); |
| /// Non copyable. |
| stack& operator= (const stack&); |
| #endif |
| /// The wrapped container. |
| S seq_; |
| }; |
| |
| |
| /// Stack type. |
| typedef stack<stack_symbol_type> stack_type; |
| |
| /// The stack. |
| stack_type yystack_; |
| |
| /// Push a new state on the stack. |
| /// \param m a debug message to display |
| /// if null, no trace is output. |
| /// \param sym the symbol |
| /// \warning the contents of \a s.value is stolen. |
| void yypush_ (const char* m, YY_MOVE_REF (stack_symbol_type) sym); |
| |
| /// Push a new look ahead token on the state on the stack. |
| /// \param m a debug message to display |
| /// if null, no trace is output. |
| /// \param s the state |
| /// \param sym the symbol (for its value and location). |
| /// \warning the contents of \a sym.value is stolen. |
| void yypush_ (const char* m, state_type s, YY_MOVE_REF (symbol_type) sym); |
| |
| /// Pop \a n symbols from the stack. |
| void yypop_ (int n = 1); |
| |
| /// Constants. |
| enum |
| { |
| yylast_ = 279, ///< Last index in yytable_. |
| yynnts_ = 4, ///< Number of nonterminal symbols. |
| yyfinal_ = 24 ///< Termination state number. |
| }; |
| |
| |
| // User arguments. |
| QL::Result &result; |
| |
| }; |
| |
| inline |
| Parser::symbol_kind_type |
| Parser::yytranslate_ (int t) |
| { |
| // YYTRANSLATE[TOKEN-NUM] -- Symbol number corresponding to |
| // TOKEN-NUM as returned by yylex. |
| static |
| const signed char |
| translate_table[] = |
| { |
| 0, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, |
| 2, 2, 2, 2, 2, 2, 1, 2, 3, 4, |
| 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, |
| 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, |
| 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, |
| 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, |
| 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, |
| 55, 56, 57, 58, 59, 60, 61, 62 |
| }; |
| // Last valid token kind. |
| const int code_max = 317; |
| |
| if (t <= 0) |
| return symbol_kind::S_YYEOF; |
| else if (t <= code_max) |
| return YY_CAST (symbol_kind_type, translate_table[t]); |
| else |
| return symbol_kind::S_YYUNDEF; |
| } |
| |
| // basic_symbol. |
| template <typename Base> |
| Parser::basic_symbol<Base>::basic_symbol (const basic_symbol& that) |
| : Base (that) |
| , value () |
| { |
| switch (this->kind ()) |
| { |
| case symbol_kind::S_NUM: // "number" |
| case symbol_kind::S_NAME: // "name" |
| case symbol_kind::S_FNAME: // FNAME |
| case symbol_kind::S_JGROUP: // JGROUP |
| case symbol_kind::S_JPARENT: // JPARENT |
| case symbol_kind::S_QSTR: // QSTR |
| case symbol_kind::S_FILEIOVFD: // FILEIOVFD |
| case symbol_kind::S_exp: // exp |
| case symbol_kind::S_term: // term |
| value.copy< Expression * > (YY_MOVE (that.value)); |
| break; |
| |
| default: |
| break; |
| } |
| |
| } |
| |
| |
| |
| template <typename Base> |
| Parser::symbol_kind_type |
| Parser::basic_symbol<Base>::type_get () const YY_NOEXCEPT |
| { |
| return this->kind (); |
| } |
| |
| template <typename Base> |
| bool |
| Parser::basic_symbol<Base>::empty () const YY_NOEXCEPT |
| { |
| return this->kind () == symbol_kind::S_YYEMPTY; |
| } |
| |
| template <typename Base> |
| void |
| Parser::basic_symbol<Base>::move (basic_symbol& s) |
| { |
| super_type::move (s); |
| switch (this->kind ()) |
| { |
| case symbol_kind::S_NUM: // "number" |
| case symbol_kind::S_NAME: // "name" |
| case symbol_kind::S_FNAME: // FNAME |
| case symbol_kind::S_JGROUP: // JGROUP |
| case symbol_kind::S_JPARENT: // JPARENT |
| case symbol_kind::S_QSTR: // QSTR |
| case symbol_kind::S_FILEIOVFD: // FILEIOVFD |
| case symbol_kind::S_exp: // exp |
| case symbol_kind::S_term: // term |
| value.move< Expression * > (YY_MOVE (s.value)); |
| break; |
| |
| default: |
| break; |
| } |
| |
| } |
| |
| // by_kind. |
| inline |
| Parser::by_kind::by_kind () |
| : kind_ (symbol_kind::S_YYEMPTY) |
| {} |
| |
| #if 201103L <= YY_CPLUSPLUS |
| inline |
| Parser::by_kind::by_kind (by_kind&& that) |
| : kind_ (that.kind_) |
| { |
| that.clear (); |
| } |
| #endif |
| |
| inline |
| Parser::by_kind::by_kind (const by_kind& that) |
| : kind_ (that.kind_) |
| {} |
| |
| inline |
| Parser::by_kind::by_kind (token_kind_type t) |
| : kind_ (yytranslate_ (t)) |
| {} |
| |
| inline |
| void |
| Parser::by_kind::clear () YY_NOEXCEPT |
| { |
| kind_ = symbol_kind::S_YYEMPTY; |
| } |
| |
| inline |
| void |
| Parser::by_kind::move (by_kind& that) |
| { |
| kind_ = that.kind_; |
| that.clear (); |
| } |
| |
| inline |
| Parser::symbol_kind_type |
| Parser::by_kind::kind () const YY_NOEXCEPT |
| { |
| return kind_; |
| } |
| |
| inline |
| Parser::symbol_kind_type |
| Parser::by_kind::type_get () const YY_NOEXCEPT |
| { |
| return this->kind (); |
| } |
| |
| #line 50 "QLParser.yy" |
| } // QL |
| #line 2034 "QLParser.tab.hh" |
| |
| |
| |
| |
| #endif // !YY_YY_QLPARSER_TAB_HH_INCLUDED |