ws changes only

[lyx.git] / src / lyxlex.h

diff --git a/src/lyxlex.h b/src/lyxlex.h
index 143a88d087547bf7e04d0dc7560ec3b01ccab01c..98172c6d6c80cfa4dd3a5e2dc7ff5cf9d7d13b2d 100644 (file)
--- a/src/lyxlex.h
+++ b/src/lyxlex.h
@@ -1,20 +1,27 @@
 // -*- C++ -*-
+/**
+ * \file lyxlex.h
+ * This file is part of LyX, the document processor.
+ * Licence details can be found in the file COPYING.
+ *
+ * \author Alejandro Aguilar Sierra
+ * \author Lars Gullik Bjønnes
+ *
+ * Full author contact details are available in file CREDITS.
+ */
+
 //  Generalized simple lexical analizer.
 //  It can be used for simple syntax parsers, like lyxrc,
-//  texclass and others to come.   [asierra30/03/96]
-//
-//   Copyright 1996 Lyx Team.
+//  texclass and others to come.
+
 #ifndef LYXLEX_H
 #define LYXLEX_H
 
-#ifdef __GNUG__
-#pragma interface
-#endif
+#include <boost/utility.hpp>
 
 #include <iosfwd>
+#include <string>
 
-#include "LString.h"
-#include <boost/utility.hpp>
 
 ///
 struct keyword_item {
@@ -32,7 +39,7 @@ struct keyword_item {
 class LyXLex : boost::noncopyable {
 public:
        ///
-       LyXLex (keyword_item *, int);
+       LyXLex(keyword_item *, int);
        ///
        ~LyXLex();
 
@@ -51,9 +58,9 @@ public:
        /// file is open and end of file is not reached
        bool isOK() const;
        /// return true if able to open file, else false
-       bool setFile(string const & filename);
+       bool setFile(std::string const & filename);
        ///
-       void setStream(std::istream & i);
+       void setStream(std::istream & is);
        ///
        std::istream & getStream();
        /// Danger! Don't use it unless you know what you are doing.
@@ -75,7 +82,7 @@ public:
        */
        bool nextToken();
        /// Push a token, that next token got from lyxlex.
-       void pushToken(string const &);
+       void pushToken(std::string const &);
 
        ///
        int getLineNo() const;
@@ -87,7 +94,7 @@ public:
        ///
        float getFloat() const;
        ///
-       string const getString() const;
+       std::string const getString() const;
 
        /** Get a long string, ended by the tag `endtag'.
            This string can span several lines. The first line
@@ -96,16 +103,13 @@ public:
            each following line. This mechanism does not work
            perfectly if you use tabs.
        */
-       string const getLongString(string const & endtag);
+       std::string const getLongString(std::string const & endtag);
 
        ///
        bool eatLine();
        ///
        int findToken(char const * str[]);
 
-       ///
-       string const text() const;
-
        /** Pushes a token list on a stack and replaces it with a new one.
         */
        void pushTable(keyword_item *, int);
@@ -119,7 +123,7 @@ public:
            and file name. If message contains the substring `$$Token',
            it is replaced with the value of GetString()
        */
-       void printError(string const & message) const;
+       void printError(std::string const & message) const;
 
        /**
           Prints the current token table on the supplied ostream.