public class ExtensionFileFilter extends FileFilter
| Constructor and Description |
|---|
ExtensionFileFilter(String description,
String extension)
Constructor
|
ExtensionFileFilter(String description,
String[] extensions)
Constructor
|
public ExtensionFileFilter(String description, String extension)
description - a description of the file filterextension, - the file extension not to filterpublic String getDescription()
getDescription in class FileFilterpublic boolean accept(File file)
accept in class FileFilterCopyright © 2007-2012 Global Information Systems Group, ETH Zurich. All Rights Reserved.