// 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 . // 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 # include // std::abort # include # include # include # include #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 #ifndef YY_ASSERT # include # 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 (Val) # define YY_REINTERPRET_CAST(Type, Val) reinterpret_cast (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 semantic_type (YY_RVREF (T) t) : yytypeid_ (&typeid (T)) { YY_ASSERT (sizeof (T) <= size); new (yyas_ ()) 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 T& emplace (U&&... u) { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (std::forward (u)...); } # else /// Instantiate an empty \a T in here. template T& emplace () { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (); } /// Instantiate a \a T in here from \a t. template T& emplace (const T& t) { YY_ASSERT (!yytypeid_); YY_ASSERT (sizeof (T) <= size); yytypeid_ = & typeid (T); return *new (yyas_ ()) T (t); } # endif /// Instantiate an empty \a T in here. /// Obsolete, use emplace. template T& build () { return emplace (); } /// Instantiate a \a T in here from \a t. /// Obsolete, use emplace. template T& build (const T& t) { return emplace (t); } /// Accessor to a built \a T. template T& as () YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == typeid (T)); YY_ASSERT (sizeof (T) <= size); return *yyas_ (); } /// Const accessor to a built \a T (for %printer). template const T& as () const YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == typeid (T)); YY_ASSERT (sizeof (T) <= size); return *yyas_ (); } /// 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 void swap (self_type& that) YY_NOEXCEPT { YY_ASSERT (yytypeid_); YY_ASSERT (*yytypeid_ == *that.yytypeid_); std::swap (as (), that.as ()); } /// Move the content of \a that to this. /// /// Destroys \a that. template void move (self_type& that) { # if 201103L <= YY_CPLUSPLUS emplace (std::move (that.as ())); # else emplace (); swap (that); # endif that.destroy (); } # if 201103L <= YY_CPLUSPLUS /// Move the content of \a that to this. template void move (self_type&& that) { emplace (std::move (that.as ())); that.destroy (); } #endif /// Copy the content of \a that to this. template void copy (const self_type& that) { emplace (that.as ()); } /// Destroy the stored \a T. template void destroy () { as ().~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 T* yyas_ () YY_NOEXCEPT { void *yyp = yybuffer_.yyraw; return static_cast (yyp); } /// Const accessor to raw memory as \a T. template const T* yyas_ () const YY_NOEXCEPT { const void *yyp = yybuffer_.yyraw; return static_cast (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 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& 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 { /// Superclass. typedef basic_symbol 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 void yy_print_ (std::ostream& yyo, const basic_symbol& 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 void yy_destroy_ (const char* yymsg, basic_symbol& 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 { /// Superclass. typedef basic_symbol 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 > 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_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 Parser::basic_symbol::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 Parser::symbol_kind_type Parser::basic_symbol::type_get () const YY_NOEXCEPT { return this->kind (); } template bool Parser::basic_symbol::empty () const YY_NOEXCEPT { return this->kind () == symbol_kind::S_YYEMPTY; } template void Parser::basic_symbol::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