public class ResourceFileFilter extends Object implements FileFilter
IResourceManager.getDataDir() and files with either
Options.JNL or
Options.SEG file extensions.
*
If you define additional files that are stored within the
StoreManager.getDataDir() then you SHOULD subclass
ResourceFileFilter to recognize those files and override
StoreManager.newFileFilter() method to return your
ResourceFileFilter subclass.
| Modifier and Type | Field and Description |
|---|---|
protected static org.apache.log4j.Logger |
log |
| Constructor and Description |
|---|
ResourceFileFilter(StoreManager resourceManager) |
public ResourceFileFilter(StoreManager resourceManager)
resourceManager - protected boolean accept2(File f)
f - A file passed to accept(File)true iff the file should be accepted by the
filter.public final boolean accept(File f)
accept in interface FileFilterCopyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.