@Internal public final class PAPFormattedDiskPage extends FormattedDiskPage
_crun, _fkp, _offset| Constructor and Description |
|---|
PAPFormattedDiskPage() |
PAPFormattedDiskPage(byte[] dataStream)
Deprecated.
Use
PAPFormattedDiskPage() instead |
PAPFormattedDiskPage(byte[] documentStream,
byte[] dataStream,
int offset,
CharIndexTranslator translator)
Creates a PAPFormattedDiskPage from a 512 byte array
|
PAPFormattedDiskPage(byte[] documentStream,
byte[] dataStream,
int offset,
int fcMin,
TextPieceTable tpt)
Deprecated.
|
| 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, sizepublic PAPFormattedDiskPage(byte[] dataStream)
PAPFormattedDiskPage() insteadpublic PAPFormattedDiskPage()
public PAPFormattedDiskPage(byte[] documentStream,
byte[] dataStream,
int offset,
int fcMin,
TextPieceTable tpt)
PAPFormattedDiskPage(byte[], byte[], int, CharIndexTranslator)
insteadpublic 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 FormattedDiskPageindex - 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 2018 The Apache Software Foundation or its licensors, as applicable.