public interface SourceID extends StreamSourceID
SourceID
uniquely identifies a page using a tuple of information collected during the
reading process:
Page
object.
Implementors of this interface are required to provide useful hashCode() and equals() methods.
Modifier and Type | Method and Description |
---|---|
int |
getStreamPageIndex()
Get the index of the page within the stream from which the page segment was read.
|
getReadID, getStreamIndex
Copyright © 2024 levigo holding gmbh. All rights reserved.