X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=src%2Flyxlex_pimpl.h;h=1f63abc1115d7fcaa4e93306eb16c7a54e78fce4;hb=98c966c64594611e469313314abd1e59524adb4a;hp=177d94f6baf06517cbc15590ff3fcb9529677e7e;hpb=76938908d7da15b92bad3908e71eb969c9449c0e;p=lyx.git

diff --git a/src/lyxlex_pimpl.h b/src/lyxlex_pimpl.h
index 177d94f6ba..1f63abc111 100644
--- a/src/lyxlex_pimpl.h
+++ b/src/lyxlex_pimpl.h
@@ -4,6 +4,8 @@
 #define LYXLEX_PIMPL_H
 
 #include <fstream>
+#include <stack>
+#include <boost/utility.hpp>
 
 #include "lyxlex.h"
 
@@ -12,60 +14,48 @@
 #endif
 
 ///
-struct LyXLex::Pimpl {
+struct LyXLex::Pimpl : boost::noncopyable {
 	///
 	enum {
 		///
 		LEX_MAX_BUFF = 2048
 	};
-	
+
 	///
-	struct pushed_table {
-		///
-		pushed_table(){
-			next = 0;
-			table_elem = 0;
-		}
-		///
-		pushed_table * next;
-		///
-		keyword_item * table_elem;
-		///
-		int table_siz;
-	};
-	
 	Pimpl(keyword_item * tab, int num);
-	
-	string const GetString() const;
-	
+	///
+	string const getString() const;
+	///
 	void printError(string const & message) const;
-	
+	///
 	void printTable(std::ostream & os);
-	
+	///
 	void pushTable(keyword_item * tab, int num);
-	
+	///
 	void popTable();
-	
+	///
 	bool setFile(string const & filename);
-	
+	///
 	void setStream(std::istream & i);
-	
+	///
+	void setCommentChar(char c);
+	///
 	bool next(bool esc = false);
-	
 	///
 	int search_kw(char const * const tag) const;
-	
+	///
 	int lex();
-	
-	bool EatLine();
-	
+	///
+	bool eatLine();
+	///
 	bool nextToken();
-	
+	///
+	void pushToken(string const &);
 	/// fb__ is only used to open files, the stream is accessed through is
 	std::filebuf fb__;
 	/// the stream that we use.
 	std::istream is;
-	/// 
+	///
 	string name;
 	///
 	keyword_item * table;
@@ -74,10 +64,30 @@ struct LyXLex::Pimpl {
 	///
 	char buff[LEX_MAX_BUFF];
 	///
-	short status;
-	///
-	pushed_table * pushed;
+	int status;
 	///
 	int lineno;
+	///
+	string pushTok;
+	///
+	char commentChar;
+private:
+	///
+	void verifyTable();
+	///
+	struct pushed_table {
+		///
+		pushed_table()
+			: table_elem(0), table_siz(0) {}
+		///
+		pushed_table(keyword_item * ki, int siz)
+			: table_elem(ki), table_siz(siz) {}
+		///
+		keyword_item * table_elem;
+		///
+		int table_siz;
+	};
+	///
+	std::stack<pushed_table> pushed;
 };
 #endif