All Packages Class Hierarchy This Package Previous Next Index
Class w3c.jigsaw.upgrade.StoreDirectoryFilter
java.lang.Object
|
+----w3c.jigsaw.upgrade.StoreDirectoryFilter
- public class StoreDirectoryFilter
- extends Object
- implements FilenameFilter
Filters files in a store directory that contains only simple resource
stores.
-
StoreDirectoryFilter()
-
-
accept(File, String)
-
StoreDirectoryFilter
public StoreDirectoryFilter()
accept
public boolean accept(File dir,
String name)
All Packages Class Hierarchy This Package Previous Next Index