blob: ce3c88f8584408cf4f883ccf94cb9b156eef4eab (
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
|
/* This file is part of dvi2bitmap; see README for copyrights and licence */
#ifndef PAGERANGE_HEADER_READ
#define PAGERANGE_HEADER_READ 1
// gcc iostream may somehow omit NULL
#ifndef NULL
#define NULL 0
#endif
//#include <iostream>
#include <map>
#include "verbosity.h"
class PageRange
{
public:
PageRange();
bool addSpec(const char, const char *);
bool isSelected (const int, const int*);
static void verbosity (const verbosities level) { verbosity_ = level; };
private:
bool useCounts_;
int useCountNo_;
int first_, last_;
enum { oneRange, ranges, unset } rangeType_;
static verbosities verbosity_;
std::map<int,bool> setPages_;
};
#endif
|
