parse.hh

Go to the documentation of this file.

// A Bison parser, made by GNU Bison 3.0.4.

// Skeleton interface for Bison LALR(1) parsers in C++

// Copyright (C) 2002-2015 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.

// C++ LALR(1) parser skeleton written by Akim Demaille.

#ifndef YY_YY_USERS_AKIM_SRC_LRDE_2_LIB_VCSN_RAT_PARSE_HH_INCLUDED
# define YY_YY_USERS_AKIM_SRC_LRDE_2_LIB_VCSN_RAT_PARSE_HH_INCLUDED
// //                    "%code requires" blocks.
#line 16 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.yy" // lalr1.cc:377

  #include <iostream>
  #include <tuple>
  #include <vcsn/core/rat/expression.hh>
  #include <vcsn/dyn/value.hh>
  #include <vcsn/misc/location.hh>
  #include <lib/vcsn/rat/fwd.hh>

  namespace vcsn
  {
    namespace rat
    {
      struct braced_expression
      {
        dyn::expression exp;
        bool lparen = false;
        bool rparen = false;
        braced_expression& operator=(dyn::expression e)
        {
          exp = e;
          return *this;
        }
      };

      using irange_type = std::tuple<int, int>;
    }
  }

#line 83 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.hh" // lalr1.cc:377


# include <cstdlib> // std::abort
# include <iostream>
# include <stdexcept>
# include <string>
# include <vector>
# include "stack.hh"
# include <vcsn/misc/location.hh>

#ifndef YYASSERT
# include <cassert>
# define YYASSERT assert
#endif


#ifndef YY_ATTRIBUTE
# if (defined __GNUC__                                               \
      && (2 < __GNUC__ || (__GNUC__ == 2 && 96 <= __GNUC_MINOR__)))  \
     || defined __SUNPRO_C && 0x5110 <= __SUNPRO_C
#  define YY_ATTRIBUTE(Spec) __attribute__(Spec)
# else
#  define YY_ATTRIBUTE(Spec) /* empty */
# endif
#endif

#ifndef YY_ATTRIBUTE_PURE
# define YY_ATTRIBUTE_PURE   YY_ATTRIBUTE ((__pure__))
#endif

#ifndef YY_ATTRIBUTE_UNUSED
# define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__))
#endif

#if !defined _Noreturn \
     && (!defined __STDC_VERSION__ || __STDC_VERSION__ < 201112)
# if defined _MSC_VER && 1200 <= _MSC_VER
#  define _Noreturn __declspec (noreturn)
# else
#  define _Noreturn YY_ATTRIBUTE ((__noreturn__))
# endif
#endif

/* Suppress unused-variable warnings by "using" E.  */
#if ! defined lint || defined __GNUC__
# define YYUSE(E) ((void) (E))
#else
# define YYUSE(E) /* empty */
#endif

#if defined __GNUC__ && 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

/* Debug traces.  */
#ifndef YYDEBUG
# define YYDEBUG 1
#endif

#line 11 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.yy" // lalr1.cc:377
namespace vcsn { namespace rat {
#line 160 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.hh" // lalr1.cc:377



  template <size_t S>
  struct variant
  {
    typedef variant<S> self_type;

    variant ()
    {}

    template <typename T>
    variant (const T& t)
    {
      YYASSERT (sizeof (T) <= S);
      new (yyas_<T> ()) T (t);
    }

    ~variant ()
    {}

    template <typename T>
    T&
    build ()
    {
      return *new (yyas_<T> ()) T;
    }

    template <typename T>
    T&
    build (const T& t)
    {
      return *new (yyas_<T> ()) T (t);
    }

    template <typename T>
    T&
    as ()
    {
      return *yyas_<T> ();
    }

    template <typename T>
    const T&
    as () const
    {
      return *yyas_<T> ();
    }

    template <typename T>
    void
    swap (self_type& other)
    {
      std::swap (as<T> (), other.as<T> ());
    }

    template <typename T>
    void
    move (self_type& other)
    {
      build<T> ();
      swap<T> (other);
      other.destroy<T> ();
    }

    template <typename T>
    void
    copy (const self_type& other)
    {
      build<T> (other.as<T> ());
    }

    template <typename T>
    void
    destroy ()
    {
      as<T> ().~T ();
    }

  private:
    self_type& operator=(const self_type&);
    variant (const self_type&);

    template <typename T>
    T*
    yyas_ ()
    {
      void *yyp = yybuffer_.yyraw;
      return static_cast<T*> (yyp);
     }

    template <typename T>
    const T*
    yyas_ () const
    {
      const void *yyp = yybuffer_.yyraw;
      return static_cast<const T*> (yyp);
     }

    union
    {
      long double yyalign_me;
      char yyraw[S];
    } yybuffer_;
  };


  class parser
  {
  public:
#ifndef YYSTYPE
    union union_type
    {
      // input
      // add
      // tuple
      // exp
      char dummy1[sizeof(braced_expression)];

      // class
      char dummy2[sizeof(class_t)];

      // weights
      char dummy3[sizeof(dyn::weight)];

      // "*"
      char dummy4[sizeof(irange_type)];

      // "letter"
      // "weight"
      char dummy5[sizeof(std::string)];

      // tuple.1
      char dummy6[sizeof(std::vector<vcsn::dyn::expression>)];

      // "("
      char dummy7[sizeof(symbol)];
};

    typedef variant<sizeof(union_type)> semantic_type;
#else
    typedef YYSTYPE semantic_type;
#endif
    typedef location location_type;

    struct syntax_error : std::runtime_error
    {
      syntax_error (const location_type& l, const std::string& m);
      location_type location;
    };

    struct token
    {
      enum yytokentype
      {
        END = 0,
        AMPERSAND = 258,
        AMPERSAND_COLON = 259,
        AT = 260,
        BACKSLASH = 261,
        BANG = 262,
        CARET = 263,
        COLON = 264,
        COMMA = 265,
        COMPLEMENT = 266,
        DASH = 267,
        DOT = 268,
        LBRACKET = 269,
        LT_PLUS = 270,
        ONE = 271,
        PERCENT = 272,
        PIPE = 273,
        PLUS = 274,
        RBRACKET = 275,
        RPAREN = 276,
        SLASH = 277,
        TRANSPOSITION = 278,
        TRANSPOSE = 279,
        ZERO = 280,
        STAR = 281,
        LETTER = 282,
        WEIGHT = 283,
        LPAREN = 284,
        CONCAT = 285,
        RWEIGHT = 286,
        LWEIGHT = 287
      };
    };

    typedef token::yytokentype token_type;

    typedef int symbol_number_type;

    enum { empty_symbol = -2 };

    typedef unsigned char token_number_type;

    template <typename Base>
    struct basic_symbol : Base
    {
      typedef Base super_type;

      basic_symbol ();

      basic_symbol (const basic_symbol& other);


  basic_symbol (typename Base::kind_type t, const location_type& l);

  basic_symbol (typename Base::kind_type t, const braced_expression v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const class_t v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const dyn::weight v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const irange_type v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const std::string v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const std::vector<vcsn::dyn::expression> v, const location_type& l);

  basic_symbol (typename Base::kind_type t, const symbol v, const location_type& l);


      basic_symbol (typename Base::kind_type t,
                    const semantic_type& v,
                    const location_type& l);

      ~basic_symbol ();

      void clear ();

      bool empty () const;

      void move (basic_symbol& s);

      semantic_type value;

      location_type location;

    private:
      basic_symbol& operator= (const basic_symbol& other);
    };

    struct by_type
    {
      by_type ();

      by_type (const by_type& other);

      typedef token_type kind_type;

      by_type (kind_type t);

      void clear ();

      void move (by_type& that);

      symbol_number_type type_get () const;

      token_type token () const;

      int type;
    };

    typedef basic_symbol<by_type> symbol_type;

    // Symbol constructors declarations.
    static inline
    symbol_type
    make_END (const location_type& l);

    static inline
    symbol_type
    make_AMPERSAND (const location_type& l);

    static inline
    symbol_type
    make_AMPERSAND_COLON (const location_type& l);

    static inline
    symbol_type
    make_AT (const location_type& l);

    static inline
    symbol_type
    make_BACKSLASH (const location_type& l);

    static inline
    symbol_type
    make_BANG (const location_type& l);

    static inline
    symbol_type
    make_CARET (const location_type& l);

    static inline
    symbol_type
    make_COLON (const location_type& l);

    static inline
    symbol_type
    make_COMMA (const location_type& l);

    static inline
    symbol_type
    make_COMPLEMENT (const location_type& l);

    static inline
    symbol_type
    make_DASH (const location_type& l);

    static inline
    symbol_type
    make_DOT (const location_type& l);

    static inline
    symbol_type
    make_LBRACKET (const location_type& l);

    static inline
    symbol_type
    make_LT_PLUS (const location_type& l);

    static inline
    symbol_type
    make_ONE (const location_type& l);

    static inline
    symbol_type
    make_PERCENT (const location_type& l);

    static inline
    symbol_type
    make_PIPE (const location_type& l);

    static inline
    symbol_type
    make_PLUS (const location_type& l);

    static inline
    symbol_type
    make_RBRACKET (const location_type& l);

    static inline
    symbol_type
    make_RPAREN (const location_type& l);

    static inline
    symbol_type
    make_SLASH (const location_type& l);

    static inline
    symbol_type
    make_TRANSPOSITION (const location_type& l);

    static inline
    symbol_type
    make_TRANSPOSE (const location_type& l);

    static inline
    symbol_type
    make_ZERO (const location_type& l);

    static inline
    symbol_type
    make_STAR (const irange_type& v, const location_type& l);

    static inline
    symbol_type
    make_LETTER (const std::string& v, const location_type& l);

    static inline
    symbol_type
    make_WEIGHT (const std::string& v, const location_type& l);

    static inline
    symbol_type
    make_LPAREN (const symbol& v, const location_type& l);

    static inline
    symbol_type
    make_CONCAT (const location_type& l);

    static inline
    symbol_type
    make_RWEIGHT (const location_type& l);

    static inline
    symbol_type
    make_LWEIGHT (const location_type& l);


    parser (driver& driver__yyarg);
    virtual ~parser ();

    virtual int parse ();

#if YYDEBUG
    std::ostream& debug_stream () const YY_ATTRIBUTE_PURE;
    void set_debug_stream (std::ostream &);

    typedef int debug_level_type;
    debug_level_type debug_level () const YY_ATTRIBUTE_PURE;
    void set_debug_level (debug_level_type l);
#endif

    virtual void error (const location_type& loc, const std::string& msg);

    void error (const syntax_error& err);

  private:
    parser (const parser&);
    parser& operator= (const parser&);

    typedef int state_type;

    virtual std::string yysyntax_error_ (state_type yystate,
                                         const symbol_type& yyla) const;

    state_type yy_lr_goto_state_ (state_type yystate, int yysym);

    static bool yy_pact_value_is_default_ (int yyvalue);

    static bool yy_table_value_is_error_ (int yyvalue);

    static const signed char yypact_ninf_;
    static const signed char yytable_ninf_;

    static token_number_type yytranslate_ (token_type t);

    // Tables.
  // YYPACT[STATE-NUM] -- Index in YYTABLE of the portion describing
  // STATE-NUM.
  static const short int 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 unsigned 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 unsigned char yytable_[];

  static const signed char yycheck_[];

  // YYSTOS[STATE-NUM] -- The (internal number of the) accessing
  // symbol of state STATE-NUM.
  static const unsigned char yystos_[];

  // YYR1[YYN] -- Symbol number of symbol that rule YYN derives.
  static const unsigned char yyr1_[];

  // YYR2[YYN] -- Number of symbols on the right hand side of rule YYN.
  static const unsigned char yyr2_[];


    static std::string yytnamerr_ (const char *n);


    static const char* const yytname_[];
#if YYDEBUG
  // YYRLINE[YYN] -- Source line where rule number YYN was defined.
  static const unsigned short int yyrline_[];
    virtual void yy_reduce_print_ (int r);
    virtual void yystack_print_ ();

    // Debugging.
    int yydebug_;
    std::ostream* yycdebug_;

    template <typename Base>
    void yy_print_ (std::ostream& yyo, const basic_symbol<Base>& yysym) const;
#endif

    template <typename Base>
    void yy_destroy_ (const char* yymsg, basic_symbol<Base>& yysym) const;

  private:
    struct by_state
    {
      by_state ();

      typedef state_type kind_type;

      by_state (kind_type s);

      by_state (const by_state& other);

      void clear ();

      void move (by_state& that);

      symbol_number_type type_get () const;

      enum { empty_state = -1 };

      state_type state;
    };

    struct stack_symbol_type : basic_symbol<by_state>
    {
      typedef basic_symbol<by_state> super_type;
      stack_symbol_type ();
      stack_symbol_type (state_type s, symbol_type& sym);
      stack_symbol_type& operator= (const stack_symbol_type& that);
    };

    typedef stack<stack_symbol_type> stack_type;

    stack_type yystack_;

    void yypush_ (const char* m, stack_symbol_type& s);

    void yypush_ (const char* m, state_type s, symbol_type& sym);

    void yypop_ (unsigned int n = 1);

    enum
    {
      yyeof_ = 0,
      yylast_ = 227,     
      yynnts_ = 11,  
      yyfinal_ = 5, 
      yyterror_ = 1,
      yyerrcode_ = 256,
      yyntokens_ = 33  
    };


    // User arguments.
    driver& driver_;
  };

  // Symbol number corresponding to token number t.
  inline
  parser::token_number_type
  parser::yytranslate_ (token_type t)
  {
    static
    const token_number_type
    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
    };
    const unsigned int user_token_number_max_ = 287;
    const token_number_type undef_token_ = 2;

    if (static_cast<int>(t) <= yyeof_)
      return yyeof_;
    else if (static_cast<unsigned int> (t) <= user_token_number_max_)
      return translate_table[t];
    else
      return undef_token_;
  }

  inline
  parser::syntax_error::syntax_error (const location_type& l, const std::string& m)
    : std::runtime_error (m)
    , location (l)
  {}

  // basic_symbol.
  template <typename Base>
  inline
  parser::basic_symbol<Base>::basic_symbol ()
    : value ()
  {}

  template <typename Base>
  inline
  parser::basic_symbol<Base>::basic_symbol (const basic_symbol& other)
    : Base (other)
    , value ()
    , location (other.location)
  {
      switch (other.type_get ())
    {
      case 34: // input
      case 36: // add
      case 37: // tuple
      case 41: // exp
        value.copy< braced_expression > (other.value);
        break;

      case 43: // class
        value.copy< class_t > (other.value);
        break;

      case 42: // weights
        value.copy< dyn::weight > (other.value);
        break;

      case 26: // "*"
        value.copy< irange_type > (other.value);
        break;

      case 27: // "letter"
      case 28: // "weight"
        value.copy< std::string > (other.value);
        break;

      case 39: // tuple.1
        value.copy< std::vector<vcsn::dyn::expression> > (other.value);
        break;

      case 29: // "("
        value.copy< symbol > (other.value);
        break;

      default:
        break;
    }

  }


  template <typename Base>
  inline
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const semantic_type& v, const location_type& l)
    : Base (t)
    , value ()
    , location (l)
  {
    (void) v;
      switch (this->type_get ())
    {
      case 34: // input
      case 36: // add
      case 37: // tuple
      case 41: // exp
        value.copy< braced_expression > (v);
        break;

      case 43: // class
        value.copy< class_t > (v);
        break;

      case 42: // weights
        value.copy< dyn::weight > (v);
        break;

      case 26: // "*"
        value.copy< irange_type > (v);
        break;

      case 27: // "letter"
      case 28: // "weight"
        value.copy< std::string > (v);
        break;

      case 39: // tuple.1
        value.copy< std::vector<vcsn::dyn::expression> > (v);
        break;

      case 29: // "("
        value.copy< symbol > (v);
        break;

      default:
        break;
    }
}


  // Implementation of basic_symbol constructor for each type.

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const location_type& l)
    : Base (t)
    , value ()
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const braced_expression v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const class_t v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const dyn::weight v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const irange_type v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const std::string v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const std::vector<vcsn::dyn::expression> v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}

  template <typename Base>
  parser::basic_symbol<Base>::basic_symbol (typename Base::kind_type t, const symbol v, const location_type& l)
    : Base (t)
    , value (v)
    , location (l)
  {}


  template <typename Base>
  inline
  parser::basic_symbol<Base>::~basic_symbol ()
  {
    clear ();
  }

  template <typename Base>
  inline
  void
  parser::basic_symbol<Base>::clear ()
  {
    // User destructor.
    symbol_number_type yytype = this->type_get ();
    basic_symbol<Base>& yysym = *this;
    (void) yysym;
    switch (yytype)
    {
   default:
      break;
    }

    // Type destructor.
    switch (yytype)
    {
      case 34: // input
      case 36: // add
      case 37: // tuple
      case 41: // exp
        value.template destroy< braced_expression > ();
        break;

      case 43: // class
        value.template destroy< class_t > ();
        break;

      case 42: // weights
        value.template destroy< dyn::weight > ();
        break;

      case 26: // "*"
        value.template destroy< irange_type > ();
        break;

      case 27: // "letter"
      case 28: // "weight"
        value.template destroy< std::string > ();
        break;

      case 39: // tuple.1
        value.template destroy< std::vector<vcsn::dyn::expression> > ();
        break;

      case 29: // "("
        value.template destroy< symbol > ();
        break;

      default:
        break;
    }

    Base::clear ();
  }

  template <typename Base>
  inline
  bool
  parser::basic_symbol<Base>::empty () const
  {
    return Base::type_get () == empty_symbol;
  }

  template <typename Base>
  inline
  void
  parser::basic_symbol<Base>::move (basic_symbol& s)
  {
    super_type::move(s);
      switch (this->type_get ())
    {
      case 34: // input
      case 36: // add
      case 37: // tuple
      case 41: // exp
        value.move< braced_expression > (s.value);
        break;

      case 43: // class
        value.move< class_t > (s.value);
        break;

      case 42: // weights
        value.move< dyn::weight > (s.value);
        break;

      case 26: // "*"
        value.move< irange_type > (s.value);
        break;

      case 27: // "letter"
      case 28: // "weight"
        value.move< std::string > (s.value);
        break;

      case 39: // tuple.1
        value.move< std::vector<vcsn::dyn::expression> > (s.value);
        break;

      case 29: // "("
        value.move< symbol > (s.value);
        break;

      default:
        break;
    }

    location = s.location;
  }

  // by_type.
  inline
  parser::by_type::by_type ()
    : type (empty_symbol)
  {}

  inline
  parser::by_type::by_type (const by_type& other)
    : type (other.type)
  {}

  inline
  parser::by_type::by_type (token_type t)
    : type (yytranslate_ (t))
  {}

  inline
  void
  parser::by_type::clear ()
  {
    type = empty_symbol;
  }

  inline
  void
  parser::by_type::move (by_type& that)
  {
    type = that.type;
    that.clear ();
  }

  inline
  int
  parser::by_type::type_get () const
  {
    return type;
  }

  inline
  parser::token_type
  parser::by_type::token () const
  {
    // YYTOKNUM[NUM] -- (External) token number corresponding to the
    // (internal) symbol number NUM (which must be that of a token).  */
    static
    const unsigned short int
    yytoken_number_[] =
    {
       0,   256,   257,   258,   259,   260,   261,   262,   263,   264,
     265,   266,   267,   268,   269,   270,   271,   272,   273,   274,
     275,   276,   277,   278,   279,   280,   281,   282,   283,   284,
     285,   286,   287
    };
    return static_cast<token_type> (yytoken_number_[type]);
  }
  // Implementation of make_symbol for each symbol type.
  parser::symbol_type
  parser::make_END (const location_type& l)
  {
    return symbol_type (token::END, l);
  }

  parser::symbol_type
  parser::make_AMPERSAND (const location_type& l)
  {
    return symbol_type (token::AMPERSAND, l);
  }

  parser::symbol_type
  parser::make_AMPERSAND_COLON (const location_type& l)
  {
    return symbol_type (token::AMPERSAND_COLON, l);
  }

  parser::symbol_type
  parser::make_AT (const location_type& l)
  {
    return symbol_type (token::AT, l);
  }

  parser::symbol_type
  parser::make_BACKSLASH (const location_type& l)
  {
    return symbol_type (token::BACKSLASH, l);
  }

  parser::symbol_type
  parser::make_BANG (const location_type& l)
  {
    return symbol_type (token::BANG, l);
  }

  parser::symbol_type
  parser::make_CARET (const location_type& l)
  {
    return symbol_type (token::CARET, l);
  }

  parser::symbol_type
  parser::make_COLON (const location_type& l)
  {
    return symbol_type (token::COLON, l);
  }

  parser::symbol_type
  parser::make_COMMA (const location_type& l)
  {
    return symbol_type (token::COMMA, l);
  }

  parser::symbol_type
  parser::make_COMPLEMENT (const location_type& l)
  {
    return symbol_type (token::COMPLEMENT, l);
  }

  parser::symbol_type
  parser::make_DASH (const location_type& l)
  {
    return symbol_type (token::DASH, l);
  }

  parser::symbol_type
  parser::make_DOT (const location_type& l)
  {
    return symbol_type (token::DOT, l);
  }

  parser::symbol_type
  parser::make_LBRACKET (const location_type& l)
  {
    return symbol_type (token::LBRACKET, l);
  }

  parser::symbol_type
  parser::make_LT_PLUS (const location_type& l)
  {
    return symbol_type (token::LT_PLUS, l);
  }

  parser::symbol_type
  parser::make_ONE (const location_type& l)
  {
    return symbol_type (token::ONE, l);
  }

  parser::symbol_type
  parser::make_PERCENT (const location_type& l)
  {
    return symbol_type (token::PERCENT, l);
  }

  parser::symbol_type
  parser::make_PIPE (const location_type& l)
  {
    return symbol_type (token::PIPE, l);
  }

  parser::symbol_type
  parser::make_PLUS (const location_type& l)
  {
    return symbol_type (token::PLUS, l);
  }

  parser::symbol_type
  parser::make_RBRACKET (const location_type& l)
  {
    return symbol_type (token::RBRACKET, l);
  }

  parser::symbol_type
  parser::make_RPAREN (const location_type& l)
  {
    return symbol_type (token::RPAREN, l);
  }

  parser::symbol_type
  parser::make_SLASH (const location_type& l)
  {
    return symbol_type (token::SLASH, l);
  }

  parser::symbol_type
  parser::make_TRANSPOSITION (const location_type& l)
  {
    return symbol_type (token::TRANSPOSITION, l);
  }

  parser::symbol_type
  parser::make_TRANSPOSE (const location_type& l)
  {
    return symbol_type (token::TRANSPOSE, l);
  }

  parser::symbol_type
  parser::make_ZERO (const location_type& l)
  {
    return symbol_type (token::ZERO, l);
  }

  parser::symbol_type
  parser::make_STAR (const irange_type& v, const location_type& l)
  {
    return symbol_type (token::STAR, v, l);
  }

  parser::symbol_type
  parser::make_LETTER (const std::string& v, const location_type& l)
  {
    return symbol_type (token::LETTER, v, l);
  }

  parser::symbol_type
  parser::make_WEIGHT (const std::string& v, const location_type& l)
  {
    return symbol_type (token::WEIGHT, v, l);
  }

  parser::symbol_type
  parser::make_LPAREN (const symbol& v, const location_type& l)
  {
    return symbol_type (token::LPAREN, v, l);
  }

  parser::symbol_type
  parser::make_CONCAT (const location_type& l)
  {
    return symbol_type (token::CONCAT, l);
  }

  parser::symbol_type
  parser::make_RWEIGHT (const location_type& l)
  {
    return symbol_type (token::RWEIGHT, l);
  }

  parser::symbol_type
  parser::make_LWEIGHT (const location_type& l)
  {
    return symbol_type (token::LWEIGHT, l);
  }


#line 11 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.yy" // lalr1.cc:377
} } // vcsn::rat
#line 1426 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.hh" // lalr1.cc:377


// //                    "%code provides" blocks.
#line 56 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.yy" // lalr1.cc:377

  #define YY_DECL_(Class) \
    parser::symbol_type Class lex(driver& driver_)
  #define YY_DECL YY_DECL_(yyFlexLexer::)

#line 1436 "/Users/akim/src/lrde/2/lib/vcsn/rat/parse.hh" // lalr1.cc:377


#endif // !YY_YY_USERS_AKIM_SRC_LRDE_2_LIB_VCSN_RAT_PARSE_HH_INCLUDED