blob: 749c640faa6c11c3d3d6154372aa2eba00b68d9c (
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
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
#ifndef MODEL_HH
#define MODEL_HH
#include "dl-refcounted.hh"
#include "dl-dvi-file.hh"
#include "observer.hh"
#include <list>
enum ModelState {
HAS_FILE,
NO_FILE,
ERROR
};
using DviLib::FileLoader;
using DviLib::DviFile;
using DviLib::RefCounted;
using std::string;
class Model : public RefCounted {
ModelState state;
DviFile *dvi_file;
string file_name;
string err_msg;
vector <Observer *> observers;
public:
Model (string file_name);
Model (void);
void add_observer (Observer& o)
{
observers.push_back (&o);
}
void notify (void)
{
typedef vector <Observer *>::const_iterator It;
for (It i = observers.begin(); i != observers.end(); ++i)
(*i)->notify ();
}
ModelState get_state (void) { return state; }
string get_error (void) {
if (state == ERROR)
return err_msg;
else
return "";
};
DviFile *get_dvi_file (void) {
if (state == HAS_FILE)
return dvi_file;
else
return 0;
};
string get_file_name (void) {
if (state == HAS_FILE)
return file_name;
else
return "";
};
};
#endif
|