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
Generated on Mon Jan 12 2015 16:13:22 for dvi2bitmap by
1.8.4