1 files changed, 54 insertions, 0 deletions
diff --git a/src/preproc/html/pushbackbuffer.h b/src/preproc/html/pushbackbuffer.h
new file mode 100755
index 00000000..93cb3f1a
--- /dev/null
+++ b/src/preproc/html/pushbackbuffer.h
@@ -0,0 +1,54 @@
+// -*- C -*-
+/* Copyright (C) 2000, 2001 Free Software Foundation, Inc.
+     Written by Gaius Mulley (gaius@glam.ac.uk).
+
+This file is part of groff.
+
+groff 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.
+
+groff 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 groff; see the file COPYING.  If not, write to the Free Software
+Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+
+
+#define eof              (char)-1
+
+
+/*
+ *  defines the class and methods implemented within pushbackbuffer.cc
+ */
+
+class pushBackBuffer
+{
+ private:
+  char       *charStack;
+  int         stackPtr;   /* index to push back stack        */
+  int         debug;
+  int         verbose;
+  int         eofFound;
+  char       *fileName;
+  int         lineNo;
+  int         stdIn;
+
+ public:
+        pushBackBuffer (char *);
+  ~     pushBackBuffer ();
+  char  getPB          (void);
+  char  putPB          (char ch);
+  void  skipUntilToken (void);
+  void  skipToNewline  (void);
+  float readNumber     (void);
+  int   readInt        (void);
+  char *readString     (void);
+  int   isString       (char *string);
+};
+
+