private class UsageMap.InlineHandler extends UsageMap.Handler
| Modifier and Type | Field and Description |
|---|---|
private boolean |
_assumeOutOfRangeBitsOn |
private int |
_maxInlinePages |
| Modifier | Constructor and Description |
|---|---|
private |
InlineHandler(boolean assumeOutOfRangeBitsOn) |
| Modifier and Type | Method and Description |
|---|---|
void |
addOrRemovePageNumber(int pageNumber,
boolean add,
boolean force) |
boolean |
containsPageNumber(int pageNumber) |
private int |
getInlineDataEnd() |
private int |
getInlineDataStart() |
private int |
getMaxInlinePages() |
private void |
moveToNewStartPage(int newStartPage,
int newPageNumber)
Shifts the inline usage map so that it now starts with the given page.
|
private void |
moveToNewStartPageForRemove(int firstPage,
int newPageNumber)
Shifts the inline usage map so that it now starts with the given
firstPage (if valid), otherwise the newPageNumber.
|
private void |
setInlinePageRange(int startPage)
Sets the page range for an inline usage map starting from the given
page.
|
private final boolean _assumeOutOfRangeBitsOn
private final int _maxInlinePages
private InlineHandler(boolean assumeOutOfRangeBitsOn)
throws java.io.IOException
java.io.IOExceptionprivate int getMaxInlinePages()
private int getInlineDataStart()
private int getInlineDataEnd()
private void setInlinePageRange(int startPage)
public boolean containsPageNumber(int pageNumber)
containsPageNumber in class UsageMap.Handlerpublic void addOrRemovePageNumber(int pageNumber,
boolean add,
boolean force)
throws java.io.IOException
addOrRemovePageNumber in class UsageMap.HandlerpageNumber - Page number to add or remove from this mapadd - True to add it, false to remove itforce - true to force add/remove and ignore certain inconsistenciesjava.io.IOExceptionprivate void moveToNewStartPage(int newStartPage,
int newPageNumber)
throws java.io.IOException
newStartPage - new page at which to startnewPageNumber - optional page number to add once the map has been
shifted to the new start pagejava.io.IOExceptionprivate void moveToNewStartPageForRemove(int firstPage,
int newPageNumber)
throws java.io.IOException
firstPage - current first used pagenewPageNumber - page number to remove once the map has been
shifted to the new start pagejava.io.IOException