private class UsageMap.ReferenceHandler extends UsageMap.Handler
| Modifier and Type | Field and Description |
|---|---|
private TempPageHolder |
_mapPageHolder
Buffer that contains the current reference map page
|
| Modifier | Constructor and Description |
|---|---|
private |
ReferenceHandler() |
| Modifier and Type | Method and Description |
|---|---|
void |
addOrRemovePageNumber(int pageNumber,
boolean add,
boolean force) |
private int |
calculateMapPagePointerOffset(int pageIndex) |
private java.nio.ByteBuffer |
createNewUsageMapPage(int pageIndex)
Create a new usage map page and update the map declaration with a
pointer to it.
|
private int |
getMaxPagesPerUsagePage() |
containsPageNumberprivate final TempPageHolder _mapPageHolder
private ReferenceHandler()
throws java.io.IOException
java.io.IOExceptionprivate int getMaxPagesPerUsagePage()
public 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 java.nio.ByteBuffer createNewUsageMapPage(int pageIndex)
throws java.io.IOException
pageIndex - Index of the page reference within the map declarationjava.io.IOExceptionprivate int calculateMapPagePointerOffset(int pageIndex)