blob: d39df87f86e3c502ed6a697aaf7d3fff6aab6481 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
/* This file is part of dvi2bitmap; see README for copyrights and licence */
#ifndef DVIERROR_HEADER_READ
#define DVIERROR_HEADER_READ 1
#include <string>
using std::string;
class DviError {
public:
DviError(const string s) : problem_(s) { }
DviError(const char *fmt, ...);
virtual ~DviError() { }
void print() const;
string problem() const { return problem_; }
protected:
DviError() { };
string problem_;
};
class DviBug : public DviError {
public:
DviBug(const string s) : DviError(s) { }
DviBug(const char *fmt, ...);
void print() const;
};
#endif /* DVIERROR_HEADER_READ */
|
