public class FileExtension
extends java.lang.Object
implements java.io.FilenameFilter
Constructor and Description |
---|
FileExtension(java.lang.String ext)
Constructor taking a file extension as argument.
|
Modifier and Type | Method and Description |
---|---|
boolean |
accept(java.io.File dir,
java.lang.String name)
Accept file name if it has the stored extension.
|
Copyright (C) BBNT Solutions LLC; See http://openmap.bbn.com/ for details