Interface RecordNumbers
-
- All Superinterfaces:
Iterable<RecordNumbers.Entry>
public interface RecordNumbers extends Iterable<RecordNumbers.Entry>
A table to translate record numbers to offsets.
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static interface
RecordNumbers.Entry
Represents an entry in the record table.
-
Field Summary
Fields Modifier and Type Field Description static RecordNumbers
EMPTY_RECORD_NUMBERS
An always emptyRecordNumber
table.
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Modifier and Type Method Description static @NotNull RecordNumbers
fromSegmentData(@NotNull SegmentData data)
Read the serialized table mapping record numbers to offsets.int
getOffset(int recordNumber)
Translate a record number to an offset.-
Methods inherited from interface java.lang.Iterable
forEach, iterator, spliterator
-
-
-
-
Field Detail
-
EMPTY_RECORD_NUMBERS
static final RecordNumbers EMPTY_RECORD_NUMBERS
An always emptyRecordNumber
table.
-
-
Method Detail
-
fromSegmentData
@NotNull static @NotNull RecordNumbers fromSegmentData(@NotNull @NotNull SegmentData data)
Read the serialized table mapping record numbers to offsets.- Returns:
- An instance of
RecordNumbers
-
getOffset
int getOffset(int recordNumber)
Translate a record number to an offset.- Parameters:
recordNumber
- A record number.- Returns:
- the offset corresponding to the record number, or
-1
if no offset is associated to the record number.
-
-