public class PageSet
extends java.lang.Object
Note: This is not a mathematical set.
Modifier and Type | Field and Description |
---|---|
static int |
e_all
Page set filter that includes all pages in the range.
|
static int |
e_even
Page set filter that includes even numbers in the range (discards odd numbers).
|
static int |
e_odd
Page set filter that includes odd numbers in the range (discards even numbers).
|
Constructor and Description |
---|
PageSet()
Default constructor.
|
PageSet(int one_page)
Construct a set of pages with just one number.
|
PageSet(int range_start,
int range_end)
Construct a range of pages.
|
PageSet(int range_start,
int range_end,
int filter)
Construct a filtered range of pages.
|
Modifier and Type | Method and Description |
---|---|
long |
__GetHandle() |
void |
addPage(int one_page)
Adds a page number to the sequence.
|
void |
addRange(int range_start,
int range_end)
Adds a range of values to the sequence.
|
void |
addRange(int range_start,
int range_end,
int filter)
Adds a range of values to the sequence.
|
void |
destroy()
Frees the native memory of the object.
|
public static final int e_all
public static final int e_odd
public static final int e_even
public PageSet()
public PageSet(int one_page)
See also addPage(int)
.
one_page
- a valid page numberpublic PageSet(int range_start, int range_end)
See also addRange(int, int)
.
range_start
- the start page number of the rangerange_end
- the end page number of the rangepublic PageSet(int range_start, int range_end, int filter)
See also addRange(int, int, int)
.
range_start
- the start page number of the rangerange_end
- the end page number of the rangefilter
- page set filter.public void destroy() throws PDFNetException
PDFNetException
public void addPage(int one_page)
one_page
- the page number being addedpublic void addRange(int range_start, int range_end)
range_start
- the low value in the rangerange_end
- the high value in the rangepublic void addRange(int range_start, int range_end, int filter)
range_start
- the low value in the rangerange_end
- the high value in the rangefilter
- page set filter.public long __GetHandle()