#include <vector>
class Buffer;
-class TeXErrors;
/// A class to hold an error item
struct ErrorItem {
int par_id;
int pos_start;
int pos_end;
- ErrorItem(string const &, string const &,
- int, int, int);
+ ErrorItem(string const & error, string const & description,
+ int parid, int posstart, int posend);
ErrorItem();
};
{
public:
ErrorList() : std::vector<ErrorItem> () {};
- ErrorList(Buffer const & buf, TeXErrors const &);
using std::vector<ErrorItem>::push_back;
using std::vector<ErrorItem>::end;