public class FormatedFileHistory extends FileHistory
FileHistory is a fixed-size array for the pathes of files opened/saved by a user. If a new file is added
and the file history is full, the list of registered files is shifted so that the oldest file path is beeing
skipped..| Constructor and Description |
|---|
FormatedFileHistory(FileHistory history,
ProductReaderPlugIn readerPlugIn) |
FormatedFileHistory(int maxNumEntries,
String propertyKey,
ProductReaderPlugIn readerPlugIn) |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
isValidItem(String item) |
copyInto, getEntries, getMaxNumEntries, getNumEntries, getPropertyKey, initBy, push, setMaxNumEntriespublic FormatedFileHistory(FileHistory history, ProductReaderPlugIn readerPlugIn)
public FormatedFileHistory(int maxNumEntries,
String propertyKey,
ProductReaderPlugIn readerPlugIn)
protected boolean isValidItem(String item)
isValidItem in class FileHistoryCopyright © 2014–2019 European Space Agency (ESA). All rights reserved.