* data/bison.c++ (yy::b4_name::error_): New method, replaces yyerror in

[bison.git] / data / bison.c++

#output "b4_output_prefix[]b4_output_infix[]-class.hh"
/* -*- C++ -*- */

/* A Bison parser, made from %%filename,
   by GNU bison %%version.  */

/* Skeleton output parser for bison,
   Copyright 1984, 1989, 1990, 2000, 2001 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 2, 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, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

#include "stack.hh"
#include "location.hh"

b4_prologue

// FIXME: This should be defined in traits, not here.
typedef b4_stype yystype;

namespace yy
{
  class b4_name;

  template < typename P >
  struct Traits
  {
  };

  template < >
  struct Traits< b4_name >
  {
    typedef int      StateType;
    typedef yystype  SemanticType;
    typedef b4_ltype LocationType;
  };
}

namespace yy
{
  class b4_name
  {
  public:

    typedef Traits< b4_name >::StateType    StateType;
    typedef Traits< b4_name >::SemanticType SemanticType;
    typedef Traits< b4_name >::LocationType LocationType;

    typedef Stack< StateType >    StateStack;
    typedef Stack< SemanticType > SemanticStack;
    typedef Stack< LocationType > LocationStack;

    b4_name (bool debug) : debug_ (debug)
    {
      looka = empty_;
    }

    virtual ~b4_name ()
    {
    }

    virtual int parse ();

  private:

    virtual void error_ ();

    /* Call to lexical analyser.  */
    virtual
    void
    lex ()
    {
      looka = yylex (&value, &location);
    }

    /* Stacks.  */
    StateStack    state_stack;
    SemanticStack semantic_stack;
    LocationStack location_stack;

    /* Tables.  */
    static const short pact_[[]];
    static const short defact_[[]];
    static const short pgoto_[[]];
    static const short defgoto_[[]];
    static const short table_[[]];
    static const short check_[[]];
    static const short r1_[[]];
    static const short r2_[[]];
    static const char* const name_[[]];

    /* More tables, for debugging.  */
    /* FIXME: These tables should not be printed when not in debug 
       mode.  %%ifdef?  */
    static const short rhs_[[]];
    static const short prhs_[[]];
    static const short rline_[[]];

    /* Even more tables.  */
    static inline char translate (int token);

    /* Eof and empty.  */
    static const int eof_;
    static const int empty_;
    static const int ntokens_;

    /* State.  */
    int n;
    int len;
    int debug_;
    int state;

    /* Lookahead.  */
    int looka;
    int ilooka;

    /* Message.  */
    std::string message;

    /* @$ and $$.  */
    SemanticType value;
    LocationType location;
  };
}

#output "b4_output_prefix[]b4_output_infix[].cc"
#include "b4_output_prefix[]b4_output_infix-class.hh"

/* Enabling traces.  */
#ifndef YYDEBUG
# define YYDEBUG b4_debug
#endif

/* Enable debugging if requested.  */
#if YYDEBUG

# include <cstdio>
# define YYFPRINTF std::fprintf

# define YYDPRINTF(Args)			\
do {						\
  if (debug_)					\
    YYFPRINTF Args;				\
} while (0)
/* Nonzero means print parse trace. [The following comment makes no
   sense to me.  Could someone clarify it?  --akim] Since this is
   uninitialized, it does not stop multiple parsers from coexisting.
   */
int yydebug;
#else /* !YYDEBUG */
# define YYDPRINTF(Args)
#endif /* !YYDEBUG */

/* Tokens.  */
b4_tokendef

int
yy::b4_name::parse ()
{
  int nerrs = 0;
  int errstatus = 0;

  /* Initialize stack.  */
  state_stack = StateStack (0);
  semantic_stack = SemanticStack (1);
  location_stack = LocationStack (1);

  /* Reserve initial space.  The C parser needed that, but is it really
     useful here?  */
  state_stack.reserve (b4_initdepth);
  semantic_stack.reserve (b4_initdepth);
  location_stack.reserve (b4_initdepth);

  /* Start.  */
  state = 0;
  YYDPRINTF ((stderr, "Starting parse\n"));

  /* New state.  */
 yynewstate:
  state_stack.push (state);
  YYDPRINTF ((stderr, "Entering state %d\n", state));
  goto yybackup;

  /* Backup.  */
 yybackup:

  /* Try to take a decision without lookahead.  */
  n = pact_[[state]];
  if (n == b4_flag)
    goto yydefault;

  /* Read a lookahead token.  */
  if (looka == empty_)
    {
      YYDPRINTF ((stderr, "Reading a token: "));
      lex ();
    }

  /* Convert token to internal form.  */
  if (looka <= 0)
    {
      looka = eof_;
      ilooka = 0;
      YYDPRINTF ((stderr, "Now at end of input.\n"));
    }
  else
    {
      ilooka = translate (looka);
#if YYDEBUG
      if (debug_)
	{
	  YYFPRINTF (stderr, "Next token is %d (%s", looka, name_[[ilooka]]);
	  YYFPRINTF (stderr, ")\n");
	}
#endif
    }

  n += ilooka;
  if (n < 0 || n > b4_last || check_[[n]] != ilooka)
    goto yydefault;

  /* Reduce or error.  */
  n = table_[[n]];
  if (n < 0)
    {
      if (n == b4_flag)
	goto yyerrlab;
      else
	{
	  n = -n;
	  goto yyreduce;
	}
    }
  else if (n == 0)
    goto yyerrlab;
  
  /* Accept?  */
  if (n == b4_final)
    goto yyacceptlab;

  /* Shift the lookahead token.  */
  YYDPRINTF ((stderr, "Shifting token %d (%s), ", looka, name_[[ilooka]]));

  /* Discard the token being shifted unless it is eof.  */
  if (looka != eof_)
    looka = empty_;

  semantic_stack.push (value);
  location_stack.push (location);
  state = n;
  goto yynewstate;

  /* Default action.  */
 yydefault:
  n = defact_[[state]];
  if (n == 0)
    goto yyerrlab;
  goto yyreduce;

  /* Reduce.  */
 yyreduce:
  len = r2_[[n]];
  if (len)
    {
      value = semantic_stack[[1 - len]];
      location = location_stack[[1 - len]];
    }
  else
    { 
      // FIXME: This is truly ugly.
      value = semantic_stack[[0]];
      location = location_stack[[0]];
    }

#if YYDEBUG
  if (debug_)
    {
      YYFPRINTF (stderr, "Reducing via rule %d (line %d), ", n - 1, rline_[[n]]);
      for (unsigned i = prhs_[[n]];
	   rhs_[[i]] >= 0; ++i)
	YYFPRINTF (stderr, "%s ", name_[[rhs_[i]]]);
      YYFPRINTF (stderr, "-> %s\n", name_[[r1_[n]]]);
    }
#endif
  
  {
    SemanticType& yyval (value);
    LocationType& yyloc (location);
    SemanticStack& yyvsp (semantic_stack);
    LocationStack& yylsp (location_stack);

    switch (n)
      {
	b4_actions
      }
  }
  
  state_stack.pop (len);
  semantic_stack.pop (len);
  location_stack.pop (len);

#if YYDEBUG
  if (debug_)
    {
      YYFPRINTF (stderr, "state stack now");
      for (StateStack::ConstIterator i = state_stack.begin (); 
	   i != state_stack.end (); ++i)
	YYFPRINTF (stderr, " %d", *i);
      YYFPRINTF (stderr, "\n");
    }
#endif
  
  semantic_stack.push (value);
  location_stack.push (location);

  /* Shift the result of the reduction.  */
  n = r1_[[n]];
  state = pgoto_[[n - ntokens_]] + state_stack[[0]];
  if (state >= 0 && state <= b4_last && check_[[state]] == state_stack[[0]])
    state = table_[[state]];
  else
    state = defgoto_[[n - ntokens_]];
  goto yynewstate;

  /* Report and recover from errors.  This is very incomplete.  */
 yyerrlab:
  /* If not already recovering from an error, report this error.  */
  if (!errstatus)
    {
      ++nerrs;
      
      // FIXME: Should be #if YYERROR_VERBOSE from here...
      n = pact_[[state]];
      if (n > b4_flag && n < b4_last)
	{
	  message = "parse error, unexpected ";
	  message += name_[[ilooka]];
	  {
	    int count = 0;
	    for (int x = (n < 0 ? -n : 0); x < b4_ntokens + b4_nnts; ++x)
	      if (check_[[x + n]] == x)
		++count;
	    if (count < 5)
	      {
		count = 0;
		for (int x = (n < 0 ? -n : 0); x < b4_ntokens + b4_nnts; ++x)
		  if (check_[[x + n]] == x)
		    {
		      message += (!count++) ? ", expecting " : " or "; 
		      message += name_[[x]];
		    }
	      }
	  }
	}
      else
      // FIXME: to there...
	message = "parse error";
    }
  error_ ();
  return 1;
  
  /* Accept.  */
 yyacceptlab:
  return 0;
}

/* YYPACT[[STATE-NUM]] -- Index in YYTABLE of the portion describing
   STATE-NUM.  */
const short 
yy::b4_name::pact_[[]] =
{
  b4_pact
};

/* YYDEFACT[[S]] -- default rule to reduce with in state S when YYTABLE
   doesn't specify something else to do.  Zero means the default is an
   error.  */
const short 
yy::b4_name::defact_[[]] =
{
  b4_defact
};

/* YYPGOTO[[NTERM-NUM]].  */
const short 
yy::b4_name::pgoto_[[]] =
{
  b4_pgoto
};

/* YYDEFGOTO[[NTERM-NUM]].  */
const short 
yy::b4_name::defgoto_[[]] =
{
  b4_defgoto
};

/* YYTABLE[[YYPACT[STATE-NUM]]].  What to do in state STATE-NUM.  If
   positive, shift that token.  If negative, reduce the rule which
   number is the opposite.  If zero, do what YYDEFACT says.  */
const short 
yy::b4_name::table_[[]] =
{
  b4_table
};

/* YYCHECK.  */
const short 
yy::b4_name::check_[[]] =
{
  b4_check
};

/* YYRLINE[[YYN]] -- source line where rule number YYN was defined.  */
const short
yy::b4_name::rline_[[]] =
{
  b4_rline
};

/* YYR1[[YYN]] -- Symbol number of symbol that rule YYN derives.  */
const short 
yy::b4_name::r1_[[]] =
{
  b4_r1
};

/* YYR2[[YYN]] -- Number of symbols composing right hand side of rule YYN.  */
const short 
yy::b4_name::r2_[[]] =
{
  b4_r2
};

/* YYTNAME[[SYMBOL-NUM]] -- String name of the symbol SYMBOL-NUM.
   First, the terminals, then, starting at YYNTOKENS, nonterminals. */
const char*
const yy::b4_name::name_[[]] =
{
  b4_tname
};

/* YYRHS -- A `-1'-separated list of the rules' RHS. */
const short 
yy::b4_name::rhs_[[]] =
{
  b4_rhs
};

/* YYPRHS[[YYN]] -- Index of the first RHS symbol of rule number YYN in
   YYRHS.  */
const short 
yy::b4_name::prhs_[[]] =
{
  b4_prhs
};

/* YYTRANSLATE(YYLEX) -- Bison symbol number corresponding to YYLEX.  */
char
yy::b4_name::translate (int token)
{
  static 
  const char 
  translate_[[]] =
  {
    b4_translate
  };
  return ((unsigned)(token) <= b4_maxtok ? translate_[[token]] : b4_nsym);
}

const int yy::b4_name::eof_ = 0;
const int yy::b4_name::empty_ = -2;
const int yy::b4_name::ntokens_ = b4_ntokens;

b4_epilogue

#output "stack.hh"
#ifndef BISON_STACK_HH
# define BISON_STACK_HH

#include <vector>

namespace yy
{
  template < class T, class S = std::vector< T > >
  class Stack
  {
  public:

    typedef typename S::iterator Iterator;
    typedef typename S::const_iterator ConstIterator;

    Stack () : seq_ ()
    {
    }

    Stack (unsigned n) : seq_ (n)
    {
    }

    inline
    T&
    operator [[]] (int index)
    {
      return seq_[[seq_.size () - 1 + index]];
    }

    inline
    const T&
    operator [[]] (int index) const
    {
      return seq_[[seq_.size () - 1 + index]];
    }

    inline
    void
    push (const T& t)
    {
      seq_.push_back (t);
    }

    inline
    void
    pop (unsigned n = 1)
    {
      for (; n; --n)
	seq_.pop_back ();
    }
    
    inline
    void
    reserve (unsigned n)
    {
      seq_.reserve (n);
    }

    inline ConstIterator begin () const { return seq_.begin (); }
    inline ConstIterator end () const { return seq_.end (); }

  private:

    S seq_;
  };
}

#endif // not BISON_STACK_HH

#output "location.hh"
#ifndef BISON_LOCATION_HH
# define BISON_LOCATION_HH

namespace yy
{
  struct Position
  {
    int line;
    int column;
  };

  struct Location
  {
    Position first;
    Position last;
  };
}

#endif // not BISON_LOCATION_HH

m4_if(b4_defines_flag, 0, [],
[#output "b4_output_header_name"
#ifndef b4_header_guard
# define b4_header_guard

b4_tokendef

#ifndef YYSTYPE
typedef b4_stype
yystype;
# define YYSTYPE yystype
#endif

m4_if(b4_pure, [0],
[extern YYSTYPE b4_prefix[]lval;])

m4_if(b4_locations_flag, [0], [],
[#ifndef YYLTYPE
typedef struct yyltype
{
  int first_line;
  int first_column;
  int last_line;
  int last_column;
} yyltype;
# define YYLTYPE yyltype
#endif

m4_if(b4_pure, [0],
[extern YYLTYPE b4_prefix[]lloc;])
])
#endif /* not b4_header_guard */
])