public class CatalogFilenameFilter
extends java.lang.Object
implements java.io.FilenameFilter
Constructor and Description |
---|
CatalogFilenameFilter(java.lang.String extension) |
Modifier and Type | Method and Description |
---|---|
boolean |
accept(java.io.File dir,
java.lang.String name) |
Copyright © 2010-2019 Planetary Data System. All Rights Reserved.