netconf_parser.cc

Go to the documentation of this file.

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

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

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

// Undocumented macros, especially those whose name start with YY_,
// are private implementation details.  Do not rely on them.


// Take the name prefix into account.
#define yylex   netconf_lex



#include "netconf_parser.h"


// Unqualified %code blocks.
#line 33 "netconf_parser.yy" // lalr1.cc:438

#include <netconf/parser_context.h>

#line 51 "netconf_parser.cc" // lalr1.cc:438


#ifndef YY_
# if defined YYENABLE_NLS && YYENABLE_NLS
#  if ENABLE_NLS
#   include <libintl.h> // FIXME: INFRINGES ON USER NAME SPACE.
#   define YY_(msgid) dgettext ("bison-runtime", msgid)
#  endif
# endif
# ifndef YY_
#  define YY_(msgid) msgid
# endif
#endif

// Whether we are compiled with exception support.
#ifndef YY_EXCEPTIONS
# if defined __GNUC__ && !defined __EXCEPTIONS
#  define YY_EXCEPTIONS 0
# else
#  define YY_EXCEPTIONS 1
# endif
#endif

#define YYRHSLOC(Rhs, K) ((Rhs)[K].location)
/* YYLLOC_DEFAULT -- Set CURRENT to span from RHS[1] to RHS[N].
   If N is 0, then set CURRENT to the empty location which ends
   the previous symbol: RHS[0] (always defined).  */

# ifndef YYLLOC_DEFAULT
#  define YYLLOC_DEFAULT(Current, Rhs, N)                               \
    do                                                                  \
      if (N)                                                            \
        {                                                               \
          (Current).begin  = YYRHSLOC (Rhs, 1).begin;                   \
          (Current).end    = YYRHSLOC (Rhs, N).end;                     \
        }                                                               \
      else                                                              \
        {                                                               \
          (Current).begin = (Current).end = YYRHSLOC (Rhs, 0).end;      \
        }                                                               \
    while (/*CONSTCOND*/ false)
# endif


// Suppress unused-variable warnings by "using" E.
#define YYUSE(E) ((void) (E))

// Enable debugging if requested.
#if NETCONF_DEBUG

// A pseudo ostream that takes yydebug_ into account.
# define YYCDEBUG if (yydebug_) (*yycdebug_)

# define YY_SYMBOL_PRINT(Title, Symbol)         \
  do {                                          \
    if (yydebug_)                               \
    {                                           \
      *yycdebug_ << Title << ' ';               \
      yy_print_ (*yycdebug_, Symbol);           \
      *yycdebug_ << '\n';                       \
    }                                           \
  } while (false)

# define YY_REDUCE_PRINT(Rule)          \
  do {                                  \
    if (yydebug_)                       \
      yy_reduce_print_ (Rule);          \
  } while (false)

# define YY_STACK_PRINT()               \
  do {                                  \
    if (yydebug_)                       \
      yystack_print_ ();                \
  } while (false)

#else // !NETCONF_DEBUG

# define YYCDEBUG if (false) std::cerr
# define YY_SYMBOL_PRINT(Title, Symbol)  YYUSE (Symbol)
# define YY_REDUCE_PRINT(Rule)           static_cast<void> (0)
# define YY_STACK_PRINT()                static_cast<void> (0)

#endif // !NETCONF_DEBUG

#define yyerrok         (yyerrstatus_ = 0)
#define yyclearin       (yyla.clear ())

#define YYACCEPT        goto yyacceptlab
#define YYABORT         goto yyabortlab
#define YYERROR         goto yyerrorlab
#define YYRECOVERING()  (!!yyerrstatus_)

#line 14 "netconf_parser.yy" // lalr1.cc:513
namespace isc { namespace netconf {
#line 146 "netconf_parser.cc" // lalr1.cc:513

  /* Return YYSTR after stripping away unnecessary quotes and
     backslashes, so that it's suitable for yyerror.  The heuristic is
     that double-quoting is unnecessary unless the string contains an
     apostrophe, a comma, or backslash (other than backslash-backslash).
     YYSTR is taken from yytname.  */
  std::string
  NetconfParser::yytnamerr_ (const char *yystr)
  {
    if (*yystr == '"')
      {
        std::string yyr = "";
        char const *yyp = yystr;

        for (;;)
          switch (*++yyp)
            {
            case '\'':
            case ',':
              goto do_not_strip_quotes;

            case '\\':
              if (*++yyp != '\\')
                goto do_not_strip_quotes;
              // Fall through.
            default:
              yyr += *yyp;
              break;

            case '"':
              return yyr;
            }
      do_not_strip_quotes: ;
      }

    return yystr;
  }


  NetconfParser::NetconfParser (isc::netconf::ParserContext& ctx_yyarg)
    :
#if NETCONF_DEBUG
      yydebug_ (false),
      yycdebug_ (&std::cerr),
#endif
      ctx (ctx_yyarg)
  {}

  NetconfParser::~NetconfParser ()
  {}


  /*---------------.
  | Symbol types.  |
  `---------------*/



  // by_state.
  NetconfParser::by_state::by_state ()
    : state (empty_state)
  {}

  NetconfParser::by_state::by_state (const by_state& other)
    : state (other.state)
  {}

  void
  NetconfParser::by_state::clear ()
  {
    state = empty_state;
  }

  void
  NetconfParser::by_state::move (by_state& that)
  {
    state = that.state;
    that.clear ();
  }

  NetconfParser::by_state::by_state (state_type s)
    : state (s)
  {}

  NetconfParser::symbol_number_type
  NetconfParser::by_state::type_get () const
  {
    if (state == empty_state)
      return empty_symbol;
    else
      return yystos_[state];
  }

  NetconfParser::stack_symbol_type::stack_symbol_type ()
  {}

  NetconfParser::stack_symbol_type::stack_symbol_type (YY_RVREF (stack_symbol_type) that)
    : super_type (YY_MOVE (that.state), YY_MOVE (that.location))
  {
    switch (that.type_get ())
    {
      case 57: // value
      case 60: // map_value
      case 119: // socket_type_value
        value.YY_MOVE_OR_COPY< ElementPtr > (YY_MOVE (that.value));
        break;

      case 48: // "boolean"
        value.YY_MOVE_OR_COPY< bool > (YY_MOVE (that.value));
        break;

      case 47: // "floating point"
        value.YY_MOVE_OR_COPY< double > (YY_MOVE (that.value));
        break;

      case 46: // "integer"
        value.YY_MOVE_OR_COPY< int64_t > (YY_MOVE (that.value));
        break;

      case 45: // "constant string"
        value.YY_MOVE_OR_COPY< std::string > (YY_MOVE (that.value));
        break;

      default:
        break;
    }

#if 201103L <= YY_CPLUSPLUS
    // that is emptied.
    that.state = empty_state;
#endif
  }

  NetconfParser::stack_symbol_type::stack_symbol_type (state_type s, YY_MOVE_REF (symbol_type) that)
    : super_type (s, YY_MOVE (that.location))
  {
    switch (that.type_get ())
    {
      case 57: // value
      case 60: // map_value
      case 119: // socket_type_value
        value.move< ElementPtr > (YY_MOVE (that.value));
        break;

      case 48: // "boolean"
        value.move< bool > (YY_MOVE (that.value));
        break;

      case 47: // "floating point"
        value.move< double > (YY_MOVE (that.value));
        break;

      case 46: // "integer"
        value.move< int64_t > (YY_MOVE (that.value));
        break;

      case 45: // "constant string"
        value.move< std::string > (YY_MOVE (that.value));
        break;

      default:
        break;
    }

    // that is emptied.
    that.type = empty_symbol;
  }

#if YY_CPLUSPLUS < 201103L
  NetconfParser::stack_symbol_type&
  NetconfParser::stack_symbol_type::operator= (stack_symbol_type& that)
  {
    state = that.state;
    switch (that.type_get ())
    {
      case 57: // value
      case 60: // map_value
      case 119: // socket_type_value
        value.move< ElementPtr > (that.value);
        break;

      case 48: // "boolean"
        value.move< bool > (that.value);
        break;

      case 47: // "floating point"
        value.move< double > (that.value);
        break;

      case 46: // "integer"
        value.move< int64_t > (that.value);
        break;

      case 45: // "constant string"
        value.move< std::string > (that.value);
        break;

      default:
        break;
    }

    location = that.location;
    // that is emptied.
    that.state = empty_state;
    return *this;
  }
#endif

  template <typename Base>
  void
  NetconfParser::yy_destroy_ (const char* yymsg, basic_symbol<Base>& yysym) const
  {
    if (yymsg)
      YY_SYMBOL_PRINT (yymsg, yysym);
  }

#if NETCONF_DEBUG
  template <typename Base>
  void
  NetconfParser::yy_print_ (std::ostream& yyo,
                                     const basic_symbol<Base>& yysym) const
  {
    std::ostream& yyoutput = yyo;
    YYUSE (yyoutput);
    symbol_number_type yytype = yysym.type_get ();
    // Avoid a (spurious) G++ 4.8 warning about "array subscript is
    // below array bounds".
    if (yysym.empty ())
      std::abort ();
    yyo << (yytype < yyntokens_ ? "token" : "nterm")
        << ' ' << yytname_[yytype] << " ("
        << yysym.location << ": ";
    switch (yytype)
    {
            case 45: // "constant string"

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< std::string > (); }
#line 386 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 46: // "integer"

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< int64_t > (); }
#line 393 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 47: // "floating point"

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< double > (); }
#line 400 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 48: // "boolean"

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< bool > (); }
#line 407 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 57: // value

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< ElementPtr > (); }
#line 414 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 60: // map_value

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< ElementPtr > (); }
#line 421 "netconf_parser.cc" // lalr1.cc:672
        break;

      case 119: // socket_type_value

#line 107 "netconf_parser.yy" // lalr1.cc:672
        { yyoutput << yysym.value.template as< ElementPtr > (); }
#line 428 "netconf_parser.cc" // lalr1.cc:672
        break;


      default:
        break;
    }
    yyo << ')';
  }
#endif

  void
  NetconfParser::yypush_ (const char* m, YY_MOVE_REF (stack_symbol_type) sym)
  {
    if (m)
      YY_SYMBOL_PRINT (m, sym);
    yystack_.push (YY_MOVE (sym));
  }

  void
  NetconfParser::yypush_ (const char* m, state_type s, YY_MOVE_REF (symbol_type) sym)
  {
#if 201103L <= YY_CPLUSPLUS
    yypush_ (m, stack_symbol_type (s, std::move (sym)));
#else
    stack_symbol_type ss (s, sym);
    yypush_ (m, ss);
#endif
  }

  void
  NetconfParser::yypop_ (int n)
  {
    yystack_.pop (n);
  }

#if NETCONF_DEBUG
  std::ostream&
  NetconfParser::debug_stream () const
  {
    return *yycdebug_;
  }

  void
  NetconfParser::set_debug_stream (std::ostream& o)
  {
    yycdebug_ = &o;
  }


  NetconfParser::debug_level_type
  NetconfParser::debug_level () const
  {
    return yydebug_;
  }

  void
  NetconfParser::set_debug_level (debug_level_type l)
  {
    yydebug_ = l;
  }
#endif // NETCONF_DEBUG

  NetconfParser::state_type
  NetconfParser::yy_lr_goto_state_ (state_type yystate, int yysym)
  {
    int yyr = yypgoto_[yysym - yyntokens_] + yystate;
    if (0 <= yyr && yyr <= yylast_ && yycheck_[yyr] == yystate)
      return yytable_[yyr];
    else
      return yydefgoto_[yysym - yyntokens_];
  }

  bool
  NetconfParser::yy_pact_value_is_default_ (int yyvalue)
  {
    return yyvalue == yypact_ninf_;
  }

  bool
  NetconfParser::yy_table_value_is_error_ (int yyvalue)
  {
    return yyvalue == yytable_ninf_;
  }

  int
  NetconfParser::operator() ()
  {
    return parse ();
  }

  int
  NetconfParser::parse ()
  {
    // State.
    int yyn;
    int yylen = 0;

    // Error handling.
    int yynerrs_ = 0;
    int yyerrstatus_ = 0;

    symbol_type yyla;

    stack_symbol_type yyerror_range[3];

    int yyresult;

#if YY_EXCEPTIONS
    try
#endif // YY_EXCEPTIONS
      {
    YYCDEBUG << "Starting parse\n";


    /* Initialize the stack.  The initial state will be set in
       yynewstate, since the latter expects the semantical and the
       location values to have been already stored, initialize these
       stacks with a primary value.  */
    yystack_.clear ();
    yypush_ (YY_NULLPTR, 0, YY_MOVE (yyla));

    // A new symbol was pushed on the stack.
  yynewstate:
    YYCDEBUG << "Entering state " << yystack_[0].state << '\n';

    // Accept?
    if (yystack_[0].state == yyfinal_)
      goto yyacceptlab;

    goto yybackup;

    // Backup.
  yybackup:
    // Try to take a decision without lookahead.
    yyn = yypact_[yystack_[0].state];
    if (yy_pact_value_is_default_ (yyn))
      goto yydefault;

    // Read a lookahead token.
    if (yyla.empty ())
      {
        YYCDEBUG << "Reading a token: ";
#if YY_EXCEPTIONS
        try
#endif // YY_EXCEPTIONS
          {
            symbol_type yylookahead (yylex (ctx));
            yyla.move (yylookahead);
          }
#if YY_EXCEPTIONS
        catch (const syntax_error& yyexc)
          {
            error (yyexc);
            goto yyerrlab1;
          }
#endif // YY_EXCEPTIONS
      }
    YY_SYMBOL_PRINT ("Next token is", yyla);

    /* If the proper action on seeing token YYLA.TYPE is to reduce or
       to detect an error, take that action.  */
    yyn += yyla.type_get ();
    if (yyn < 0 || yylast_ < yyn || yycheck_[yyn] != yyla.type_get ())
      goto yydefault;

    // Reduce or error.
    yyn = yytable_[yyn];
    if (yyn <= 0)
      {
        if (yy_table_value_is_error_ (yyn))
          goto yyerrlab;
        yyn = -yyn;
        goto yyreduce;
      }

    // Count tokens shifted since error; after three, turn off error status.
    if (yyerrstatus_)
      --yyerrstatus_;

    // Shift the lookahead token.
    yypush_ ("Shifting", yyn, YY_MOVE (yyla));
    goto yynewstate;

  /*-----------------------------------------------------------.
  | yydefault -- do the default action for the current state.  |
  `-----------------------------------------------------------*/
  yydefault:
    yyn = yydefact_[yystack_[0].state];
    if (yyn == 0)
      goto yyerrlab;
    goto yyreduce;

  /*-----------------------------.
  | yyreduce -- Do a reduction.  |
  `-----------------------------*/
  yyreduce:
    yylen = yyr2_[yyn];
    {
      stack_symbol_type yylhs;
      yylhs.state = yy_lr_goto_state_ (yystack_[yylen].state, yyr1_[yyn]);
      /* Variants are always initialized to an empty instance of the
         correct type. The default '$$ = $1' action is NOT applied
         when using variants.  */
      switch (yyr1_[yyn])
    {
      case 57: // value
      case 60: // map_value
      case 119: // socket_type_value
        yylhs.value.emplace< ElementPtr > ();
        break;

      case 48: // "boolean"
        yylhs.value.emplace< bool > ();
        break;

      case 47: // "floating point"
        yylhs.value.emplace< double > ();
        break;

      case 46: // "integer"
        yylhs.value.emplace< int64_t > ();
        break;

      case 45: // "constant string"
        yylhs.value.emplace< std::string > ();
        break;

      default:
        break;
    }


      // Default location.
      {
        slice<stack_symbol_type, stack_type> slice (yystack_, yylen);
        YYLLOC_DEFAULT (yylhs.location, slice, yylen);
        yyerror_range[1].location = yylhs.location;
      }

      // Perform the reduction.
      YY_REDUCE_PRINT (yyn);
#if YY_EXCEPTIONS
      try
#endif // YY_EXCEPTIONS
        {
          switch (yyn)
            {
  case 2:
#line 118 "netconf_parser.yy" // lalr1.cc:907
    { ctx.ctx_ = ctx.NO_KEYWORDS; }
#line 683 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 4:
#line 119 "netconf_parser.yy" // lalr1.cc:907
    { ctx.ctx_ = ctx.CONFIG; }
#line 689 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 6:
#line 120 "netconf_parser.yy" // lalr1.cc:907
    { ctx.ctx_ = ctx.NETCONF; }
#line 695 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 8:
#line 128 "netconf_parser.yy" // lalr1.cc:907
    {
    // Parse the Netconf map
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.push_back(m);
}
#line 705 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 9:
#line 132 "netconf_parser.yy" // lalr1.cc:907
    {
    // parsing completed
}
#line 713 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 10:
#line 139 "netconf_parser.yy" // lalr1.cc:907
    {
    // Push back the JSON value on the stack
    ctx.stack_.push_back(yystack_[0].value.as< ElementPtr > ());
}
#line 722 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 11:
#line 145 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new IntElement(yystack_[0].value.as< int64_t > (), ctx.loc2pos(yystack_[0].location))); }
#line 728 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 12:
#line 146 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new DoubleElement(yystack_[0].value.as< double > (), ctx.loc2pos(yystack_[0].location))); }
#line 734 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 13:
#line 147 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new BoolElement(yystack_[0].value.as< bool > (), ctx.loc2pos(yystack_[0].location))); }
#line 740 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 14:
#line 148 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location))); }
#line 746 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 15:
#line 149 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new NullElement(ctx.loc2pos(yystack_[0].location))); }
#line 752 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 16:
#line 150 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ctx.stack_.back(); ctx.stack_.pop_back(); }
#line 758 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 17:
#line 151 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ctx.stack_.back(); ctx.stack_.pop_back(); }
#line 764 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 18:
#line 155 "netconf_parser.yy" // lalr1.cc:907
    {
    // This code is executed when we're about to start parsing
    // the content of the map
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.push_back(m);
}
#line 775 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 19:
#line 160 "netconf_parser.yy" // lalr1.cc:907
    {
    // map parsing completed. If we ever want to do any wrap up
    // (maybe some sanity checking), this would be the best place
    // for it.
}
#line 785 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 20:
#line 166 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ctx.stack_.back(); ctx.stack_.pop_back(); }
#line 791 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 23:
#line 180 "netconf_parser.yy" // lalr1.cc:907
    {
                  // map containing a single entry
                  ctx.stack_.back()->set(yystack_[2].value.as< std::string > (), yystack_[0].value.as< ElementPtr > ());
                  }
#line 800 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 24:
#line 184 "netconf_parser.yy" // lalr1.cc:907
    {
                  // map consisting of a shorter map followed by
                  // comma and string:value
                  ctx.stack_.back()->set(yystack_[2].value.as< std::string > (), yystack_[0].value.as< ElementPtr > ());
                  }
#line 810 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 25:
#line 191 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr l(new ListElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.push_back(l);
}
#line 819 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 26:
#line 194 "netconf_parser.yy" // lalr1.cc:907
    {
}
#line 826 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 29:
#line 201 "netconf_parser.yy" // lalr1.cc:907
    {
                  // List consisting of a single element.
                  ctx.stack_.back()->add(yystack_[0].value.as< ElementPtr > ());
                  }
#line 835 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 30:
#line 205 "netconf_parser.yy" // lalr1.cc:907
    {
                  // List ending with , and a value.
                  ctx.stack_.back()->add(yystack_[0].value.as< ElementPtr > ());
                  }
#line 844 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 31:
#line 218 "netconf_parser.yy" // lalr1.cc:907
    {
    const std::string& where = ctx.contextName();
    const std::string& keyword = yystack_[1].value.as< std::string > ();
    error(yystack_[1].location,
          "got unexpected keyword \"" + keyword + "\" in " + where + " map.");
}
#line 855 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 32:
#line 226 "netconf_parser.yy" // lalr1.cc:907
    {
    // This code is executed when we're about to start parsing
    // the content of the map
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.push_back(m);
}
#line 866 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 33:
#line 231 "netconf_parser.yy" // lalr1.cc:907
    {
    // map parsing completed. If we ever want to do any wrap up
    // (maybe some sanity checking), this would be the best place
    // for it.
}
#line 876 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 38:
#line 248 "netconf_parser.yy" // lalr1.cc:907
    {

    // Let's create a MapElement that will represent it, add it to the
    // top level map (that's already on the stack) and put the new map
    // on the stack as well, so child elements will be able to add
    // themselves to it.
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("Netconf", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.NETCONF);
}
#line 892 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 39:
#line 258 "netconf_parser.yy" // lalr1.cc:907
    {
    // Ok, we're done with parsing Netconf. Let's take the map
    // off the stack.
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 903 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 52:
#line 285 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr flag(new BoolElement(yystack_[0].value.as< bool > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("boot-update", flag);
}
#line 912 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 53:
#line 290 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr flag(new BoolElement(yystack_[0].value.as< bool > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("subscribe-changes", flag);
}
#line 921 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 54:
#line 295 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr flag(new BoolElement(yystack_[0].value.as< bool > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("validate-changes", flag);
}
#line 930 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 55:
#line 300 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 938 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 56:
#line 302 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr parent = ctx.stack_.back();
    ElementPtr user_context = yystack_[0].value.as< ElementPtr > ();
    ConstElementPtr old = parent->get("user-context");

    // Handle already existing user context
    if (old) {
        // Check if it was a comment or a duplicate
        if ((old->size() != 1) || !old->contains("comment")) {
            std::stringstream msg;
            msg << "duplicate user-context entries (previous at "
                << old->getPosition().str() << ")";
            error(yystack_[3].location, msg.str());
        }
        // Merge the comment
        user_context->set("comment", old->get("comment"));
    }

    // Set the user context
    parent->set("user-context", user_context);
    ctx.leave();
}
#line 965 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 57:
#line 325 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 973 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 58:
#line 327 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr parent = ctx.stack_.back();
    ElementPtr user_context(new MapElement(ctx.loc2pos(yystack_[3].location)));
    ElementPtr comment(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    user_context->set("comment", comment);

    // Handle already existing user context
    ConstElementPtr old = parent->get("user-context");
    if (old) {
        // Check for duplicate comment
        if (old->contains("comment")) {
            std::stringstream msg;
            msg << "duplicate user-context/comment entries (previous at "
                << old->getPosition().str() << ")";
            error(yystack_[3].location, msg.str());
        }
        // Merge the user context in the comment
        merge(user_context, old);
    }

    // Set the user context
    parent->set("user-context", user_context);
    ctx.leave();
}
#line 1002 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 59:
#line 353 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr l(new ListElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("hooks-libraries", l);
    ctx.stack_.push_back(l);
    ctx.enter(ctx.HOOKS_LIBRARIES);
}
#line 1013 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 60:
#line 358 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1022 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 65:
#line 371 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->add(m);
    ctx.stack_.push_back(m);
}
#line 1032 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 66:
#line 375 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
}
#line 1040 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 72:
#line 388 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1048 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 73:
#line 390 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr lib(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("library", lib);
    ctx.leave();
}
#line 1058 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 74:
#line 396 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1066 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 75:
#line 398 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.back()->set("parameters", yystack_[0].value.as< ElementPtr > ());
    ctx.leave();
}
#line 1075 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 76:
#line 406 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[2].location)));
    ctx.stack_.back()->set("managed-servers", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.MANAGED_SERVERS);
}
#line 1086 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 77:
#line 411 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1095 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 87:
#line 435 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("dhcp4", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.SERVER);
}
#line 1106 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 88:
#line 440 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1115 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 89:
#line 446 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("dhcp6", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.SERVER);
}
#line 1126 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 90:
#line 451 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1135 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 91:
#line 457 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("d2", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.SERVER);
}
#line 1146 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 92:
#line 462 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1155 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 93:
#line 468 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("ca", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.SERVER);
}
#line 1166 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 94:
#line 473 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1175 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 105:
#line 495 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1183 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 106:
#line 497 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr model(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("model", model);
    ctx.leave();
}
#line 1193 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 107:
#line 504 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("control-socket", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.CONTROL_SOCKET);
}
#line 1204 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 108:
#line 509 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1213 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 117:
#line 527 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.SOCKET_TYPE);
}
#line 1221 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 118:
#line 529 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.back()->set("socket-type", yystack_[0].value.as< ElementPtr > ());
    ctx.leave();
}
#line 1230 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 119:
#line 535 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new StringElement("unix", ctx.loc2pos(yystack_[0].location))); }
#line 1236 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 120:
#line 536 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new StringElement("http", ctx.loc2pos(yystack_[0].location))); }
#line 1242 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 121:
#line 537 "netconf_parser.yy" // lalr1.cc:907
    { yylhs.value.as< ElementPtr > () = ElementPtr(new StringElement("stdout", ctx.loc2pos(yystack_[0].location))); }
#line 1248 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 122:
#line 540 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1256 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 123:
#line 542 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr name(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("socket-name", name);
    ctx.leave();
}
#line 1266 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 124:
#line 549 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1274 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 125:
#line 551 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr url(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("socket-url", url);
    ctx.leave();
}
#line 1284 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 126:
#line 564 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("Logging", m);
    ctx.stack_.push_back(m);
    ctx.enter(ctx.LOGGING);
}
#line 1295 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 127:
#line 569 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1304 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 131:
#line 586 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr l(new ListElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("loggers", l);
    ctx.stack_.push_back(l);
    ctx.enter(ctx.LOGGERS);
}
#line 1315 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 132:
#line 591 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1324 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 135:
#line 603 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr l(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->add(l);
    ctx.stack_.push_back(l);
}
#line 1334 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 136:
#line 607 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
}
#line 1342 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 146:
#line 624 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1350 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 147:
#line 626 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr name(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("name", name);
    ctx.leave();
}
#line 1360 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 148:
#line 632 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr dl(new IntElement(yystack_[0].value.as< int64_t > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("debuglevel", dl);
}
#line 1369 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 149:
#line 637 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1377 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 150:
#line 639 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr sev(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("severity", sev);
    ctx.leave();
}
#line 1387 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 151:
#line 645 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr l(new ListElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("output_options", l);
    ctx.stack_.push_back(l);
    ctx.enter(ctx.OUTPUT_OPTIONS);
}
#line 1398 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 152:
#line 650 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
    ctx.leave();
}
#line 1407 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 155:
#line 659 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr m(new MapElement(ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->add(m);
    ctx.stack_.push_back(m);
}
#line 1417 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 156:
#line 663 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.stack_.pop_back();
}
#line 1425 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 163:
#line 677 "netconf_parser.yy" // lalr1.cc:907
    {
    ctx.enter(ctx.NO_KEYWORDS);
}
#line 1433 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 164:
#line 679 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr sev(new StringElement(yystack_[0].value.as< std::string > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("output", sev);
    ctx.leave();
}
#line 1443 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 165:
#line 685 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr flush(new BoolElement(yystack_[0].value.as< bool > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("flush", flush);
}
#line 1452 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 166:
#line 690 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr maxsize(new IntElement(yystack_[0].value.as< int64_t > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("maxsize", maxsize);
}
#line 1461 "netconf_parser.cc" // lalr1.cc:907
    break;

  case 167:
#line 695 "netconf_parser.yy" // lalr1.cc:907
    {
    ElementPtr maxver(new IntElement(yystack_[0].value.as< int64_t > (), ctx.loc2pos(yystack_[0].location)));
    ctx.stack_.back()->set("maxver", maxver);
}
#line 1470 "netconf_parser.cc" // lalr1.cc:907
    break;


#line 1474 "netconf_parser.cc" // lalr1.cc:907
            default:
              break;
            }
        }
#if YY_EXCEPTIONS
      catch (const syntax_error& yyexc)
        {
          error (yyexc);
          YYERROR;
        }
#endif // YY_EXCEPTIONS
      YY_SYMBOL_PRINT ("-> $$ =", yylhs);
      yypop_ (yylen);
      yylen = 0;
      YY_STACK_PRINT ();

      // Shift the result of the reduction.
      yypush_ (YY_NULLPTR, YY_MOVE (yylhs));
    }
    goto yynewstate;

  /*--------------------------------------.
  | yyerrlab -- here on detecting error.  |
  `--------------------------------------*/
  yyerrlab:
    // If not already recovering from an error, report this error.
    if (!yyerrstatus_)
      {
        ++yynerrs_;
        error (yyla.location, yysyntax_error_ (yystack_[0].state, yyla));
      }


    yyerror_range[1].location = yyla.location;
    if (yyerrstatus_ == 3)
      {
        /* If just tried and failed to reuse lookahead token after an
           error, discard it.  */

        // Return failure if at end of input.
        if (yyla.type_get () == yyeof_)
          YYABORT;
        else if (!yyla.empty ())
          {
            yy_destroy_ ("Error: discarding", yyla);
            yyla.clear ();
          }
      }

    // Else will try to reuse lookahead token after shifting the error token.
    goto yyerrlab1;


  /*---------------------------------------------------.
  | yyerrorlab -- error raised explicitly by YYERROR.  |
  `---------------------------------------------------*/
  yyerrorlab:

    /* Pacify compilers like GCC when the user code never invokes
       YYERROR and the label yyerrorlab therefore never appears in user
       code.  */
    if (false)
      goto yyerrorlab;
    /* Do not reclaim the symbols of the rule whose action triggered
       this YYERROR.  */
    yypop_ (yylen);
    yylen = 0;
    goto yyerrlab1;

  /*-------------------------------------------------------------.
  | yyerrlab1 -- common code for both syntax error and YYERROR.  |
  `-------------------------------------------------------------*/
  yyerrlab1:
    yyerrstatus_ = 3;   // Each real token shifted decrements this.
    {
      stack_symbol_type error_token;
      for (;;)
        {
          yyn = yypact_[yystack_[0].state];
          if (!yy_pact_value_is_default_ (yyn))
            {
              yyn += yyterror_;
              if (0 <= yyn && yyn <= yylast_ && yycheck_[yyn] == yyterror_)
                {
                  yyn = yytable_[yyn];
                  if (0 < yyn)
                    break;
                }
            }

          // Pop the current state because it cannot handle the error token.
          if (yystack_.size () == 1)
            YYABORT;

          yyerror_range[1].location = yystack_[0].location;
          yy_destroy_ ("Error: popping", yystack_[0]);
          yypop_ ();
          YY_STACK_PRINT ();
        }

      yyerror_range[2].location = yyla.location;
      YYLLOC_DEFAULT (error_token.location, yyerror_range, 2);

      // Shift the error token.
      error_token.state = yyn;
      yypush_ ("Shifting", YY_MOVE (error_token));
    }
    goto yynewstate;

    // Accept.
  yyacceptlab:
    yyresult = 0;
    goto yyreturn;

    // Abort.
  yyabortlab:
    yyresult = 1;
    goto yyreturn;

  yyreturn:
    if (!yyla.empty ())
      yy_destroy_ ("Cleanup: discarding lookahead", yyla);

    /* Do not reclaim the symbols of the rule whose action triggered
       this YYABORT or YYACCEPT.  */
    yypop_ (yylen);
    while (1 < yystack_.size ())
      {
        yy_destroy_ ("Cleanup: popping", yystack_[0]);
        yypop_ ();
      }

    return yyresult;
  }
#if YY_EXCEPTIONS
    catch (...)
      {
        YYCDEBUG << "Exception caught: cleaning lookahead and stack\n";
        // Do not try to display the values of the reclaimed symbols,
        // as their printers might throw an exception.
        if (!yyla.empty ())
          yy_destroy_ (YY_NULLPTR, yyla);

        while (1 < yystack_.size ())
          {
            yy_destroy_ (YY_NULLPTR, yystack_[0]);
            yypop_ ();
          }
        throw;
      }
#endif // YY_EXCEPTIONS
  }

  void
  NetconfParser::error (const syntax_error& yyexc)
  {
    error (yyexc.location, yyexc.what ());
  }

  // Generate an error message.
  std::string
  NetconfParser::yysyntax_error_ (state_type yystate, const symbol_type& yyla) const
  {
    // Number of reported tokens (one for the "unexpected", one per
    // "expected").
    size_t yycount = 0;
    // Its maximum.
    enum { YYERROR_VERBOSE_ARGS_MAXIMUM = 5 };
    // Arguments of yyformat.
    char const *yyarg[YYERROR_VERBOSE_ARGS_MAXIMUM];

    /* There are many possibilities here to consider:
       - If this state is a consistent state with a default action, then
         the only way this function was invoked is if the default action
         is an error action.  In that case, don't check for expected
         tokens because there are none.
       - The only way there can be no lookahead present (in yyla) is
         if this state is a consistent state with a default action.
         Thus, detecting the absence of a lookahead is sufficient to
         determine that there is no unexpected or expected token to
         report.  In that case, just report a simple "syntax error".
       - Don't assume there isn't a lookahead just because this state is
         a consistent state with a default action.  There might have
         been a previous inconsistent state, consistent state with a
         non-default action, or user semantic action that manipulated
         yyla.  (However, yyla is currently not documented for users.)
       - Of course, the expected token list depends on states to have
         correct lookahead information, and it depends on the parser not
         to perform extra reductions after fetching a lookahead from the
         scanner and before detecting a syntax error.  Thus, state
         merging (from LALR or IELR) and default reductions corrupt the
         expected token list.  However, the list is correct for
         canonical LR with one exception: it will still contain any
         token that will not be accepted due to an error action in a
         later state.
    */
    if (!yyla.empty ())
      {
        int yytoken = yyla.type_get ();
        yyarg[yycount++] = yytname_[yytoken];
        int yyn = yypact_[yystate];
        if (!yy_pact_value_is_default_ (yyn))
          {
            /* Start YYX at -YYN if negative to avoid negative indexes in
               YYCHECK.  In other words, skip the first -YYN actions for
               this state because they are default actions.  */
            int yyxbegin = yyn < 0 ? -yyn : 0;
            // Stay within bounds of both yycheck and yytname.
            int yychecklim = yylast_ - yyn + 1;
            int yyxend = yychecklim < yyntokens_ ? yychecklim : yyntokens_;
            for (int yyx = yyxbegin; yyx < yyxend; ++yyx)
              if (yycheck_[yyx + yyn] == yyx && yyx != yyterror_
                  && !yy_table_value_is_error_ (yytable_[yyx + yyn]))
                {
                  if (yycount == YYERROR_VERBOSE_ARGS_MAXIMUM)
                    {
                      yycount = 1;
                      break;
                    }
                  else
                    yyarg[yycount++] = yytname_[yyx];
                }
          }
      }

    char const* yyformat = YY_NULLPTR;
    switch (yycount)
      {
#define YYCASE_(N, S)                         \
        case N:                               \
          yyformat = S;                       \
        break
      default: // Avoid compiler warnings.
        YYCASE_ (0, YY_("syntax error"));
        YYCASE_ (1, YY_("syntax error, unexpected %s"));
        YYCASE_ (2, YY_("syntax error, unexpected %s, expecting %s"));
        YYCASE_ (3, YY_("syntax error, unexpected %s, expecting %s or %s"));
        YYCASE_ (4, YY_("syntax error, unexpected %s, expecting %s or %s or %s"));
        YYCASE_ (5, YY_("syntax error, unexpected %s, expecting %s or %s or %s or %s"));
#undef YYCASE_
      }

    std::string yyres;
    // Argument number.
    size_t yyi = 0;
    for (char const* yyp = yyformat; *yyp; ++yyp)
      if (yyp[0] == '%' && yyp[1] == 's' && yyi < yycount)
        {
          yyres += yytnamerr_ (yyarg[yyi++]);
          ++yyp;
        }
      else
        yyres += *yyp;
    return yyres;
  }


  const signed char NetconfParser::yypact_ninf_ = -64;

  const signed char NetconfParser::yytable_ninf_ = -1;

  const short
  NetconfParser::yypact_[] =
  {
      64,   -64,   -64,   -64,    13,     9,    18,    29,   -64,   -64,
     -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,
     -64,   -64,   -64,   -64,     9,   -22,    10,    15,   -64,     1,
      70,    79,    74,   106,   -64,   -64,     7,   -64,   -64,   -64,
     -64,   -64,   113,   116,   117,   118,   -64,   119,   -64,   120,
     121,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,
       9,     9,   -64,    80,   122,   123,    10,   -64,   125,   126,
      83,    84,    85,   127,   131,   -64,   -64,    15,   -64,   -64,
     132,   130,   133,   -64,   134,    97,   -64,   -64,   -64,   -64,
     138,   -64,     9,    15,   105,   -64,   -64,   -64,    44,   137,
     -64,   139,   -64,    16,   -64,   -64,   -64,   -64,   -64,   -64,
     -64,   140,   136,   -64,   -64,   -64,   -64,   -64,   -64,   143,
     142,   -64,   -64,   146,   105,   -64,   147,   148,   152,   153,
     -64,    44,     2,   -64,   137,   141,   -64,   154,   155,   156,
     157,   -64,   -64,   -64,   -64,    40,   -64,   -64,   -64,   -64,
     158,    65,    65,    65,    65,   162,   163,    88,   -64,   -64,
      43,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,
      62,   -64,   -64,   -64,    82,    91,    92,   114,     9,   -64,
       0,   158,   -64,   164,   165,    65,   -64,   -64,   -64,   -64,
     -64,   -64,   -64,   -64,   166,   -64,   -64,   -64,   -64,    93,
     -64,   -64,   -64,   -64,   -64,   -64,   115,   167,   -64,   168,
     169,   129,   172,     0,   -64,   -64,    -6,   135,   173,   -64,
     149,   -64,   -64,   -64,   -64,   -64,   -64,   -64,    94,   -64,
     -64,   -64,   -64,   -64,   170,   -64,   175,   177,   178,    -6,
     -64,   -64,    78,   -64,    87,   150,   151,   -64,    52,   170,
     -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   179,   180,
     181,    95,   -64,   -64,   -64,   -64,   -64,   -64,   188,   145,
     159,   160,    52,   -64,   171,   -64,   -64,   -64,   -64,   -64
  };

  const unsigned char
  NetconfParser::yydefact_[] =
  {
       0,     2,     4,     6,     0,     0,     0,     0,     1,    25,
      18,    15,    14,    11,    12,    13,     3,    10,    16,    17,
      32,     5,     8,     7,    27,    21,     0,    40,    29,     0,
      28,     0,     0,    22,    38,   126,     0,    34,    36,    37,
      55,    57,     0,     0,     0,     0,    59,     0,    51,     0,
      41,    42,    44,    45,    46,    49,    50,    48,    47,    26,
       0,     0,    19,     0,     0,     0,     0,    33,     0,     0,
       0,     0,     0,     0,     0,    31,     9,     0,    30,    23,
       0,     0,     0,    35,     0,     0,    52,    53,    54,    76,
       0,    43,     0,    40,     0,    20,    56,    58,    78,    61,
      24,     0,   131,     0,   128,   130,    87,    89,    91,    93,
      86,     0,    79,    80,    82,    83,    84,    85,    65,     0,
      62,    63,    39,     0,     0,   127,     0,     0,     0,     0,
      77,     0,     0,    60,     0,     0,   129,     0,     0,     0,
       0,    81,    72,    74,    69,     0,    67,    70,    71,    64,
       0,     0,     0,     0,     0,     0,     0,     0,    66,   135,
       0,   133,   105,   107,   104,    98,    99,   100,   102,   103,
       0,    95,    97,   101,     0,     0,     0,     0,     0,    68,
       0,     0,   132,     0,     0,     0,    88,    90,    92,    94,
      73,    75,   146,   151,     0,   149,   145,   143,   144,     0,
     137,   139,   141,   142,   140,   134,     0,     0,    96,     0,
       0,     0,     0,     0,   136,   106,     0,     0,     0,   148,
       0,   138,   117,   122,   124,   116,   114,   115,     0,   109,
     111,   112,   113,   147,     0,   150,     0,     0,     0,     0,
     108,   155,     0,   153,     0,     0,     0,   110,     0,     0,
     152,   119,   120,   121,   118,   123,   125,   163,     0,     0,
       0,     0,   157,   159,   160,   161,   162,   154,     0,     0,
       0,     0,     0,   156,     0,   165,   166,   167,   158,   164
  };

  const short
  NetconfParser::yypgoto_[] =
  {
     -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -20,   124,
     -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -27,   -64,
     -64,   -64,   144,   -64,   -64,   104,   -64,   161,   -24,   -19,
     -18,   -26,   -64,   -25,   -64,   -64,   -64,   -64,   -64,    37,
     -64,   -64,    41,   -64,   -64,   -64,   -64,   -64,   -64,   -64,
     -64,    68,   -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,
     -38,    17,   -64,   -64,   -64,   -64,   -64,   -39,   -64,   -64,
     -64,   -64,   -64,   -64,   -64,   -64,   -64,   -64,    77,   -64,
     -64,   -64,    22,   -64,   -64,    -9,   -64,   -64,   -64,   -64,
     -64,   -64,   -64,   -64,   -42,   -64,   -64,   -63,   -64,   -64,
     -64,   -64,   -64
  };

  const short
  NetconfParser::yydefgoto_[] =
  {
      -1,     4,     5,     6,     7,    23,    27,    16,    17,    18,
      25,    96,    32,    33,    19,    24,    29,    30,   164,    21,
      26,    36,    37,    38,    64,    49,    50,    51,   165,   166,
     167,   168,    68,   169,    69,    57,    74,   119,   120,   121,
     132,   145,   146,   147,   155,   148,   156,    58,    98,   111,
     112,   113,   114,   126,   115,   127,   116,   128,   117,   129,
     170,   171,   172,   183,   173,   184,   228,   229,   230,   236,
     254,   231,   237,   232,   238,    39,    65,   103,   104,   105,
     123,   160,   161,   180,   199,   200,   201,   209,   202,   203,
     212,   204,   210,   242,   243,   248,   261,   262,   263,   268,
     264,   265,   266
  };

  const unsigned short
  NetconfParser::yytable_[] =
  {
      48,    55,    56,    52,    28,    40,    41,    59,    53,    54,
      66,    40,    41,     8,     9,    67,    10,   222,    11,   124,
      34,   223,   224,    31,   125,    20,    40,    41,    42,    43,
      44,    45,   142,   143,   192,   193,    22,   194,   195,    47,
      78,    79,    35,   157,    46,    47,   181,    47,   158,   182,
      48,    55,    56,    52,    12,    13,    14,    15,    53,    54,
      47,   106,   107,   108,   109,   185,    48,    55,    56,    52,
     186,   110,   100,    60,    53,    54,    40,    41,    42,    43,
      44,   249,    62,    61,   250,   185,   162,   163,   257,    47,
     187,   258,   259,   260,   185,   185,   213,   239,   272,   188,
     189,   214,   240,   273,   110,   144,     1,     2,     3,    63,
      47,   251,   252,   253,   174,   175,   176,    70,   142,   143,
      71,    72,    73,    75,    77,    80,    81,    82,    76,    84,
      85,    86,    87,    88,    89,    90,    92,    93,   102,   131,
      94,    10,    97,    99,   118,   134,   150,   122,   130,   133,
     135,   137,   138,   196,   197,   198,   139,   140,   191,   190,
     215,   151,   152,   153,   154,   159,   177,   178,   206,   207,
     211,   149,   217,   218,   216,   219,   220,   241,   234,   244,
     233,   245,   246,   269,   270,   271,   196,   197,   198,   225,
     226,   227,   274,   275,   235,   255,   256,   101,   179,   141,
     247,   136,   208,   205,   221,   276,   277,   267,    95,   278,
      83,     0,   225,   226,   227,     0,   279,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
       0,     0,     0,     0,     0,     0,     0,     0,    91
  };

  const short
  NetconfParser::yycheck_[] =
  {
      27,    27,    27,    27,    24,    11,    12,     6,    27,    27,
       3,    11,    12,     0,     5,     8,     7,    23,     9,     3,
      10,    27,    28,    45,     8,     7,    11,    12,    13,    14,
      15,    16,    30,    31,    34,    35,     7,    37,    38,    45,
      60,    61,    32,     3,    29,    45,     3,    45,     8,     6,
      77,    77,    77,    77,    45,    46,    47,    48,    77,    77,
      45,    17,    18,    19,    20,     3,    93,    93,    93,    93,
       8,    98,    92,     3,    93,    93,    11,    12,    13,    14,
      15,     3,     8,     4,     6,     3,    21,    22,    36,    45,
       8,    39,    40,    41,     3,     3,     3,     3,     3,     8,
       8,     8,     8,     8,   131,   132,    42,    43,    44,     3,
      45,    24,    25,    26,   152,   153,   154,     4,    30,    31,
       4,     4,     4,     4,     3,    45,     4,     4,     8,     4,
       4,    48,    48,    48,     7,     4,     4,     7,    33,     3,
       7,     7,    45,     5,     7,     3,     5,     8,     8,     6,
       4,     4,     4,   180,   180,   180,     4,     4,   178,    45,
      45,     7,     7,     7,     7,     7,     4,     4,     4,     4,
       4,   134,     4,     4,     7,    46,     4,     7,     5,     4,
      45,     4,     4,     4,     4,     4,   213,   213,   213,   216,
     216,   216,     4,    48,    45,    45,    45,    93,   157,   131,
     239,   124,   185,   181,   213,    46,    46,   249,    84,   272,
      66,    -1,   239,   239,   239,    -1,    45,    -1,    -1,    -1,
      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
      -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    77
  };

  const unsigned char
  NetconfParser::yystos_[] =
  {
       0,    42,    43,    44,    50,    51,    52,    53,     0,     5,
       7,     9,    45,    46,    47,    48,    56,    57,    58,    63,
       7,    68,     7,    54,    64,    59,    69,    55,    57,    65,
      66,    45,    61,    62,    10,    32,    70,    71,    72,   124,
      11,    12,    13,    14,    15,    16,    29,    45,    67,    74,
      75,    76,    77,    78,    79,    80,    82,    84,    96,     6,
       3,     4,     8,     3,    73,   125,     3,     8,    81,    83,
       4,     4,     4,     4,    85,     4,     8,     3,    57,    57,
      45,     4,     4,    71,     4,     4,    48,    48,    48,     7,
       4,    76,     4,     7,     7,    58,    60,    45,    97,     5,
      57,    74,    33,   126,   127,   128,    17,    18,    19,    20,
      67,    98,    99,   100,   101,   103,   105,   107,     7,    86,
      87,    88,     8,   129,     3,     8,   102,   104,   106,   108,
       8,     3,    89,     6,     3,     4,   127,     4,     4,     4,
       4,   100,    30,    31,    67,    90,    91,    92,    94,    88,
       5,     7,     7,     7,     7,    93,    95,     3,     8,     7,
     130,   131,    21,    22,    67,    77,    78,    79,    80,    82,
     109,   110,   111,   113,   109,   109,   109,     4,     4,    91,
     132,     3,     6,   112,   114,     3,     8,     8,     8,     8,
      45,    57,    34,    35,    37,    38,    67,    80,    82,   133,
     134,   135,   137,   138,   140,   131,     4,     4,   110,   136,
     141,     4,   139,     3,     8,    45,     7,     4,     4,    46,
       4,   134,    23,    27,    28,    67,    80,    82,   115,   116,
     117,   120,   122,    45,     5,    45,   118,   121,   123,     3,
       8,     7,   142,   143,     4,     4,     4,   116,   144,     3,
       6,    24,    25,    26,   119,    45,    45,    36,    39,    40,
      41,   145,   146,   147,   149,   150,   151,   143,   148,     4,
       4,     4,     3,     8,     4,    48,    46,    46,   146,    45
  };

  const unsigned char
  NetconfParser::yyr1_[] =
  {
       0,    49,    51,    50,    52,    50,    53,    50,    55,    54,
      56,    57,    57,    57,    57,    57,    57,    57,    59,    58,
      60,    61,    61,    62,    62,    64,    63,    65,    65,    66,
      66,    67,    69,    68,    70,    70,    71,    71,    73,    72,
      74,    74,    75,    75,    76,    76,    76,    76,    76,    76,
      76,    76,    77,    78,    79,    81,    80,    83,    82,    85,
      84,    86,    86,    87,    87,    89,    88,    90,    90,    90,
      91,    91,    93,    92,    95,    94,    97,    96,    98,    98,
      99,    99,   100,   100,   100,   100,   100,   102,   101,   104,
     103,   106,   105,   108,   107,   109,   109,   110,   110,   110,
     110,   110,   110,   110,   110,   112,   111,   114,   113,   115,
     115,   116,   116,   116,   116,   116,   116,   118,   117,   119,
     119,   119,   121,   120,   123,   122,   125,   124,   126,   126,
     127,   129,   128,   130,   130,   132,   131,   133,   133,   134,
     134,   134,   134,   134,   134,   134,   136,   135,   137,   139,
     138,   141,   140,   142,   142,   144,   143,   145,   145,   146,
     146,   146,   146,   148,   147,   149,   150,   151
  };

  const unsigned char
  NetconfParser::yyr2_[] =
  {
       0,     2,     0,     3,     0,     3,     0,     3,     0,     4,
       1,     1,     1,     1,     1,     1,     1,     1,     0,     4,
       1,     0,     1,     3,     5,     0,     4,     0,     1,     1,
       3,     2,     0,     4,     1,     3,     1,     1,     0,     6,
       0,     1,     1,     3,     1,     1,     1,     1,     1,     1,
       1,     1,     3,     3,     3,     0,     4,     0,     4,     0,
       6,     0,     1,     1,     3,     0,     4,     1,     3,     1,
       1,     1,     0,     4,     0,     4,     0,     6,     0,     1,
       1,     3,     1,     1,     1,     1,     1,     0,     6,     0,
       6,     0,     6,     0,     6,     1,     3,     1,     1,     1,
       1,     1,     1,     1,     1,     0,     4,     0,     6,     1,
       3,     1,     1,     1,     1,     1,     1,     0,     4,     1,
       1,     1,     0,     4,     0,     4,     0,     6,     1,     3,
       1,     0,     6,     1,     3,     0,     4,     1,     3,     1,
       1,     1,     1,     1,     1,     1,     0,     4,     3,     0,
       4,     0,     6,     1,     3,     0,     4,     1,     3,     1,
       1,     1,     1,     0,     4,     3,     3,     3
  };



  // YYTNAME[SYMBOL-NUM] -- String name of the symbol SYMBOL-NUM.
  // First, the terminals, then, starting at \a yyntokens_, nonterminals.
  const char*
  const NetconfParser::yytname_[] =
  {
  "\"end of file\"", "error", "$undefined", "\",\"", "\":\"", "\"[\"",
  "\"]\"", "\"{\"", "\"}\"", "\"null\"", "\"Netconf\"", "\"user-context\"",
  "\"comment\"", "\"boot-update\"", "\"subscribe-changes\"",
  "\"validate-changes\"", "\"managed-servers\"", "\"dhcp4\"", "\"dhcp6\"",
  "\"d2\"", "\"ca\"", "\"model\"", "\"control-socket\"", "\"socket-type\"",
  "\"unix\"", "\"http\"", "\"stdout\"", "\"socket-name\"",
  "\"socket-url\"", "\"hooks-libraries\"", "\"library\"", "\"parameters\"",
  "\"Logging\"", "\"loggers\"", "\"name\"", "\"output_options\"",
  "\"output\"", "\"debuglevel\"", "\"severity\"", "\"flush\"",
  "\"maxsize\"", "\"maxver\"", "START_JSON", "START_NETCONF",
  "START_SUB_NETCONF", "\"constant string\"", "\"integer\"",
  "\"floating point\"", "\"boolean\"", "$accept", "start", "$@1", "$@2",
  "$@3", "sub_netconf", "$@4", "json", "value", "map", "$@5", "map_value",
  "map_content", "not_empty_map", "list_generic", "$@6", "list_content",
  "not_empty_list", "unknown_map_entry", "netconf_syntax_map", "$@7",
  "global_objects", "global_object", "netconf_object", "$@8",
  "global_params", "not_empty_global_params", "global_param",
  "boot_update", "subscribe_changes", "validate_changes", "user_context",
  "$@9", "comment", "$@10", "hooks_libraries", "$@11",
  "hooks_libraries_list", "not_empty_hooks_libraries_list",
  "hooks_library", "$@12", "hooks_params", "hooks_param", "library",
  "$@13", "parameters", "$@14", "managed_servers", "$@15",
  "servers_entries", "not_empty_servers_entries", "server_entry",
  "dhcp4_server", "$@16", "dhcp6_server", "$@17", "d2_server", "$@18",
  "ca_server", "$@19", "managed_server_params", "managed_server_param",
  "model", "$@20", "control_socket", "$@21", "control_socket_params",
  "control_socket_param", "socket_type", "$@22", "socket_type_value",
  "socket_name", "$@23", "socket_url", "$@24", "logging_object", "$@25",
  "logging_params", "logging_param", "loggers", "$@26", "loggers_entries",
  "logger_entry", "$@27", "logger_params", "logger_param", "name", "$@28",
  "debuglevel", "severity", "$@29", "output_options_list", "$@30",
  "output_options_list_content", "output_entry", "$@31",
  "output_params_list", "output_params", "output", "$@32", "flush",
  "maxsize", "maxver", YY_NULLPTR
  };

#if NETCONF_DEBUG
  const unsigned short
  NetconfParser::yyrline_[] =
  {
       0,   118,   118,   118,   119,   119,   120,   120,   128,   128,
     139,   145,   146,   147,   148,   149,   150,   151,   155,   155,
     166,   171,   172,   180,   184,   191,   191,   197,   198,   201,
     205,   218,   226,   226,   238,   239,   243,   244,   248,   248,
     265,   266,   269,   270,   275,   276,   277,   278,   279,   280,
     281,   282,   285,   290,   295,   300,   300,   325,   325,   353,
     353,   363,   364,   367,   368,   371,   371,   379,   380,   381,
     384,   385,   388,   388,   396,   396,   406,   406,   416,   417,
     420,   421,   427,   428,   429,   430,   431,   435,   435,   446,
     446,   457,   457,   468,   468,   479,   480,   484,   485,   486,
     487,   488,   489,   490,   491,   495,   495,   504,   504,   515,
     516,   519,   520,   521,   522,   523,   524,   527,   527,   535,
     536,   537,   540,   540,   549,   549,   564,   564,   577,   578,
     582,   586,   586,   598,   599,   603,   603,   611,   612,   615,
     616,   617,   618,   619,   620,   621,   624,   624,   632,   637,
     637,   645,   645,   655,   656,   659,   659,   667,   668,   671,
     672,   673,   674,   677,   677,   685,   690,   695
  };

  // Print the state stack on the debug stream.
  void
  NetconfParser::yystack_print_ ()
  {
    *yycdebug_ << "Stack now";
    for (stack_type::const_iterator
           i = yystack_.begin (),
           i_end = yystack_.end ();
         i != i_end; ++i)
      *yycdebug_ << ' ' << i->state;
    *yycdebug_ << '\n';
  }

  // Report on the debug stream that the rule \a yyrule is going to be reduced.
  void
  NetconfParser::yy_reduce_print_ (int yyrule)
  {
    unsigned yylno = yyrline_[yyrule];
    int yynrhs = yyr2_[yyrule];
    // Print the symbols being reduced, and their result.
    *yycdebug_ << "Reducing stack by rule " << yyrule - 1
               << " (line " << yylno << "):\n";
    // The symbols being reduced.
    for (int yyi = 0; yyi < yynrhs; yyi++)
      YY_SYMBOL_PRINT ("   $" << yyi + 1 << " =",
                       yystack_[(yynrhs) - (yyi + 1)]);
  }
#endif // NETCONF_DEBUG


#line 14 "netconf_parser.yy" // lalr1.cc:1218
} } // isc::netconf
#line 2067 "netconf_parser.cc" // lalr1.cc:1218
#line 700 "netconf_parser.yy" // lalr1.cc:1219


void
isc::netconf::NetconfParser::error(const location_type& loc,
                               const std::string& what)
{
    ctx.error(loc, what);
}