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 FileFilter
Copyright © 2006–2019 SYSTAP, LLC DBA Blazegraph. All rights reserved.