-}
-
-#endif // not BISON_STACK_HH]
-dnl
-@output position.hh
-b4_copyright([Position class for Bison C++ parsers], [2002, 2003])[
-
-/**
- ** \file position.hh
- ** Define the Location class.
- */
-
-#ifndef BISON_POSITION_HH
-# define BISON_POSITION_HH
-
-# include <iostream>
-# include <string>
-
-namespace yy
-{
- /** \brief Abstract a Position. */
- class Position
- {
- public:
- /** \brief Initial column number. */
- static const unsigned int initial_column = 0;
- /** \brief Initial line number. */
- static const unsigned int initial_line = 1;
-
- /** \name Ctor & dtor.
- ** \{ */
- public:
- /** \brief Construct a Position. */
- Position () :
- filename (),
- line (initial_line),
- column (initial_column)
- {
- }
- /** \} */
-
-
- /** \name Line and Column related manipulators
- ** \{ */
- public:
- /** \brief (line related) Advance to the COUNT next lines. */
- inline void lines (int count = 1)
- {
- column = initial_column;
- line += count;
- }
-
- /** \brief (column related) Advance to the COUNT next columns. */
- inline void columns (int count = 1)
- {
- int leftmost = initial_column;
- int current = column;
- if (leftmost <= current + count)
- column += count;
- else
- column = initial_column;
- }
- /** \} */
-
- public:
- /** \brief File name to which this position refers. */
- std::string filename;
- /** \brief Current line number. */
- unsigned int line;
- /** \brief Current column number. */
- unsigned int column;
- };
-
- /** \brief Add and assign a Position. */
- inline const Position&
- operator+= (Position& res, const int width)
- {
- res.columns (width);
- return res;
- }
-
- /** \brief Add two Position objects. */
- inline const Position
- operator+ (const Position& begin, const int width)
- {
- Position res = begin;
- return res += width;
- }
-
- /** \brief Add and assign a Position. */
- inline const Position&
- operator-= (Position& res, const int width)
- {
- return res += -width;
- }
-
- /** \brief Add two Position objects. */
- inline const Position
- operator- (const Position& begin, const int width)
- {
- return begin + -width;
- }
-
- /** \brief Intercept output stream redirection.
- ** \param ostr the destination output stream
- ** \param pos a reference to the Position to redirect
- */
- inline std::ostream&
- operator<< (std::ostream& ostr, const Position& pos)
- {
- if (!pos.filename.empty ())
- ostr << pos.filename << ':';
- return ostr << pos.line << '.' << pos.column;
- }
-
-}
-#endif // not BISON_POSITION_HH]
-@output location.hh
-b4_copyright([Location class for Bison C++ parsers], [2002, 2003])[
-
-/**
- ** \file location.hh
- ** Define the Location class.
- */
-
-#ifndef BISON_LOCATION_HH
-# define BISON_LOCATION_HH
-
-# include <iostream>
-# include <string>
-# include "position.hh"
-
-namespace yy
-{
-
- /** \brief Abstract a Location. */
- class Location
- {
- /** \name Ctor & dtor.
- ** \{ */
- public:
- /** \brief Construct a Location. */
- Location (void) :
- begin (),
- end ()
- {
- }
- /** \} */
-
-
- /** \name Line and Column related manipulators
- ** \{ */
- public:
- /** \brief Reset initial location to final location. */
- inline void step (void)
- {
- begin = end;
- }
-
- /** \brief Extend the current location to the COUNT next columns. */
- inline void columns (unsigned int count = 1)
- {
- end += count;
- }
-
- /** \brief Extend the current location to the COUNT next lines. */
- inline void lines (unsigned int count = 1)
- {
- end.lines (count);
- }
- /** \} */
-
-
- public:
- /** \brief Beginning of the located region. */
- Position begin;
- /** \brief End of the located region. */
- Position end;
- };
-
- /** \brief Join two Location objects to create a Location. */
- inline const Location operator+ (const Location& begin, const Location& end)
- {
- Location res = begin;
- res.end = end.end;
- return res;
- }
-
- /** \brief Add two Location objects */
- inline const Location operator+ (const Location& begin, unsigned width)
- {
- Location res = begin;
- res.columns (width);
- return res;
- }
-
- /** \brief Add and assign a Location */
- inline Location &operator+= (Location& res, unsigned width)
- {
- res.columns (width);
- return res;
- }
-
- /** \brief Intercept output stream redirection.
- ** \param ostr the destination output stream
- ** \param loc a reference to the Location to redirect
- **
- ** Avoid duplicate information.
- */
- inline std::ostream& operator<< (std::ostream& ostr, const Location& loc)
- {
- Position last = loc.end - 1;
- ostr << loc.begin;
- if (loc.begin.filename != last.filename)
- ostr << '-' << last;
- else if (loc.begin.line != last.line)
- ostr << '-' << last.line << '.' << last.column;
- else if (loc.begin.column != last.column)
- ostr << '-' << last.column;
- return ostr;
- }
-
-}