public interface LargeFileManager extends Disposable
Disposable.Parent
Modifier and Type | Method and Description |
---|---|
void |
addFileChangeListener(FileChangeListener listener) |
java.lang.String |
getCharsetName() |
FileDataProviderForSearch |
getFileDataProviderForSearch() |
java.lang.String |
getFileName() |
Page |
getPage_wait(long pageNumber) |
long |
getPagesAmount() |
int |
getPageSize() |
boolean |
hasBOM() |
void |
requestReadPage(long pageNumber,
ReadingPageResultHandler readingPageResultHandler) |
void |
reset(java.nio.charset.Charset charset) |
dispose
void reset(java.nio.charset.Charset charset)
java.lang.String getCharsetName()
long getPagesAmount() throws java.io.IOException
java.io.IOException
int getPageSize()
Page getPage_wait(long pageNumber) throws java.io.IOException
java.io.IOException
boolean hasBOM()
java.lang.String getFileName()
FileDataProviderForSearch getFileDataProviderForSearch()
void requestReadPage(long pageNumber, ReadingPageResultHandler readingPageResultHandler)
void addFileChangeListener(FileChangeListener listener)