public interface StreamSourceID
StreamSourceID
uniquely identifies a stream which was used during a reading process. It
consists of:
Implementors of this interface are required to provide useful hashCode() and equals() methods.
Modifier and Type | Method and Description |
---|---|
String |
getReadID()
Get the read-ID of the read operation during which the page segment was read.
|
int |
getStreamIndex()
Return the source stream's index within the read operation during which the page segment was
read.
|
String getReadID()
Reader
instance used to read the stream.int getStreamIndex()
Reader
maintains a counter of streams that were loaded using the reader.Copyright © 2024 levigo holding gmbh. All rights reserved.