#ifndef ERRORLIST_H
#define ERRORLIST_H
-#include "support/std_string.h"
+#include "support/types.h"
#include <vector>
+#include <string>
class Buffer;
/// A class to hold an error item
struct ErrorItem {
- string error;
- string description;
+ std::string error;
+ std::string description;
int par_id;
- int pos_start;
- int pos_end;
- ErrorItem(string const & error, string const & description,
- int parid, int posstart, int posend);
+ lyx::pos_type pos_start;
+ lyx::pos_type pos_end;
+ ErrorItem(std::string const & error, std::string const & description,
+ int parid, lyx::pos_type posstart, lyx::pos_type posend);
ErrorItem();
};
+
class ErrorList : private std::vector<ErrorItem>
{
-public:
+public:
ErrorList() : std::vector<ErrorItem> () {};
using std::vector<ErrorItem>::push_back;
using std::vector<ErrorItem>::const_iterator;
};
-
-
#endif