contrib/groff/src/preproc/html/pushback.h

   1 // -*- C -*-
   2 /* Copyright (C) 2000, 2001, 2003, 2004, 2009
   3      Free Software Foundation, Inc.
   4      Written by Gaius Mulley (gaius@glam.ac.uk).
   5
   6 This file is part of groff.
   7
   8 groff is free software; you can redistribute it and/or modify it under
   9 the terms of the GNU General Public License as published by the Free
  10 Software Foundation, either version 3 of the License, or
  11 (at your option) any later version.
  12
  13 groff is distributed in the hope that it will be useful, but WITHOUT ANY
  14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
  15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  16 for more details.
  17
  18 You should have received a copy of the GNU General Public License
  19 along with this program. If not, see <http://www.gnu.org/licenses/>. */
  20
  21
  22 #define eof              (char)-1
  23
  24
  25 /*
  26  *  defines the class and methods implemented within pushback.cpp
  27  */
  28
  29 class pushBackBuffer
  30 {
  31  private:
  32   char       *charStack;
  33   int         stackPtr;   /* index to push back stack        */
  34   int         debug;
  35   int         verbose;
  36   int         eofFound;
  37   char       *fileName;
  38   int         lineNo;
  39   int         stdIn;
  40
  41  public:
  42          pushBackBuffer (char *);
  43   ~      pushBackBuffer ();
  44   char   getPB          (void);
  45   char   putPB          (char ch);
  46   void   skipUntilToken (void);
  47   void   skipToNewline  (void);
  48   double readNumber     (void);
  49   int    readInt        (void);
  50   char  *readString     (void);
  51   int    isString       (const char *string);
  52 };
  53
  54