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) |
disposevoid reset(java.nio.charset.Charset charset)
java.lang.String getCharsetName()
long getPagesAmount()
throws java.io.IOException
java.io.IOExceptionint getPageSize()
Page getPage_wait(long pageNumber) throws java.io.IOException
java.io.IOExceptionboolean hasBOM()
java.lang.String getFileName()
FileDataProviderForSearch getFileDataProviderForSearch()
void requestReadPage(long pageNumber,
ReadingPageResultHandler readingPageResultHandler)
void addFileChangeListener(FileChangeListener listener)