dvi2bitmap  dvi2bitmap1.0
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