edu.stanford.smi.protege.util
Class ExtensionFilter
java.lang.Object
javax.swing.filechooser.FileFilter
edu.stanford.smi.protege.util.ExtensionFilter
public class ExtensionFilter
- extends FileFilter
A file filter the works on a particular extension.
- Author:
- Ray Fergerson
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ExtensionFilter
public ExtensionFilter(Iterator<String> extensions,
String description)
ExtensionFilter
public ExtensionFilter(String extension,
String description)
accept
public boolean accept(File file)
- Specified by:
accept
in class FileFilter
getDescription
public String getDescription()
- Specified by:
getDescription
in class FileFilter
Submit a bug report or feature request
Protégé is a trademark of Stanford University.
Copyright (c) 1998-2009 Stanford University.