// 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