Package dev.engine_room.flywheel.backend.engine.indirect

Class ObjectStorage.Mapping

java.lang.Object

dev.engine_room.flywheel.backend.engine.indirect.ObjectStorage.Mapping

Enclosing class:

ObjectStorage

public class ObjectStorage.Mapping
extends Object

Maps serial object indices to pages, and manages the allocation of pages.

Constructor Summary

Constructors

Constructor	Description
Mapping()

Method Summary

Modifier and Type	Method	Description
void	delete()
void	holePunch(int index)	Free a page on the inside of the mapping, maintaining the same virtual mapping size.
int	objectIndex2GlobalIndex(int objectIndex)
long	page2ByteOffset(int index)
int	pageCount()
void	updateCount(int newLength)
void	updatePage(int index, int modelIndex, int validBits)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Mapping

public Mapping()

Method Details

updatePage

public void updatePage(int index,
 int modelIndex,
 int validBits)

holePunch

public void holePunch(int index)

Free a page on the inside of the mapping, maintaining the same virtual mapping size.

Parameters:

index - The index of the page to free.

updateCount

public void updateCount(int newLength)

pageCount

public int pageCount()

page2ByteOffset

public long page2ByteOffset(int index)

delete

public void delete()

objectIndex2GlobalIndex

public int objectIndex2GlobalIndex(int objectIndex)