- void insertError(int line, string const &error_desc,
- string const &error_text);
+ class Error {
+ public:
+ ///
+ Error () : error_in_line(0) {}
+ ///
+ Error(int line, std::string const & desc, std::string const & text)
+ : error_in_line(line),
+ error_desc(desc),
+ error_text(text) {}
+ /// what line in the TeX file the error occured in
+ int error_in_line;
+ /// The kind of error
+ std::string error_desc;
+ /// The line/cmd that caused the error.
+ std::string error_text;
+ };
+public: