dvi2bitmap dvi2bitmap1.0

- Main Page
- Related Pages
- Namespaces
- Classes
- Files

- File List
- File Members

PageRange.h
Go to the documentation of this file.
1 /* This file is part of dvi2bitmap; see README for copyrights and licence */
2
3 #ifndef PAGERANGE_HEADER_READ
4 #define PAGERANGE_HEADER_READ 1
5
6 // gcc iostream may somehow omit NULL
7 #ifndef NULL
8 #define NULL 0
9 #endif
10
11 //#include <iostream>
12 #include <map>
13 #include "verbosity.h"
14
15 class PageRange
16 {
17 public:
18 PageRange();
19
20 bool addSpec(const char, const char *);
21 bool isSelected (const int, const int*);
22 static void verbosity (const verbosities level) { verbosity_ = level; };
23
24 private:
25 bool useCounts_;
26 int useCountNo_;
27 int first_, last_;
28 enum { oneRange, ranges, unset } rangeType_;
29 static verbosities verbosity_;
30 std::map<int,bool> setPages_;
31 };
32
33 #endif