@Internal public final class PAPFormattedDiskPage extends FormattedDiskPage
_crun, _fkp, _offset
Constructor and Description |
---|
PAPFormattedDiskPage() |
PAPFormattedDiskPage(byte[] documentStream,
byte[] dataStream,
int offset,
CharIndexTranslator translator)
Creates a PAPFormattedDiskPage from a 512 byte array
|
Modifier and Type | Method and Description |
---|---|
void |
fill(java.util.List<PAPX> filler)
Fills the queue for writing.
|
protected byte[] |
getGrpprl(int index)
Gets the papx grpprl for the paragraph at index in this fkp.
|
PAPX |
getPAPX(int index)
Gets the PAPX at index.
|
java.util.List<PAPX> |
getPAPXs() |
protected byte[] |
toByteArray(java.io.ByteArrayOutputStream dataStream,
CharIndexTranslator translator)
Creates a byte array representation of this data structure.
|
getEnd, getStart, size
public PAPFormattedDiskPage()
public PAPFormattedDiskPage(byte[] documentStream, byte[] dataStream, int offset, CharIndexTranslator translator)
public void fill(java.util.List<PAPX> filler)
filler
- a List of PAPXspublic PAPX getPAPX(int index)
index
- The index to get the PAPX for.public java.util.List<PAPX> getPAPXs()
protected byte[] getGrpprl(int index)
getGrpprl
in class FormattedDiskPage
index
- The index of the papx to get.protected byte[] toByteArray(java.io.ByteArrayOutputStream dataStream, CharIndexTranslator translator) throws java.io.IOException
dataStream
- required if PAPX is too big to fit in FKPjava.io.IOException
- if an I/O error occurs.Copyright 2021 The Apache Software Foundation or its licensors, as applicable.