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(String extension,
String description)
accept
public boolean accept(File file)
getDescription
public String getDescription()
Submit a bug report or feature request
Protégé is a trademark of Stanford University.
Copyright (c) 1998-2005 Stanford University.