2,11 → 2,11 |
|
/** This file contains the XMLExtensionFilter class. |
* |
* @author S. McSporran |
* @author S. McSporran |
* |
* @version $Revision: 1.00 |
* @version $Revision: 1.00 |
* |
* Last modification: $Date: 2003/07/11 12:53:05 $ |
* Last modification: $Date: 2003/07/11 13:16:43 $ |
* |
*/ |
|
13,9 → 13,9 |
import java.io.File; |
|
/** The XMLExtensionFilter class is a file filter that does only |
* accept file names with the extension *.xml or *.XML. |
* accept file names with the extension *.xml or *.XML. |
* |
* @author S. McSporran |
* @author S. McSporran |
*/ |
public class XMLExtensionFilter extends javax.swing.filechooser.FileFilter { |
|
23,10 → 23,10 |
|
/** The method accept decides whether a file will be passed by the filter. |
* |
* @author S. McSporran |
* @param f: A representation of a file's name. |
* author S. McSporran |
* @param f: A representation of a file's name. |
* |
* Last revision: 11-Jul-2003 |
* Last revision: 11-Jul-2003 |
*/ |
public boolean accept(File f) { |
|
52,7 → 52,7 |
return false; |
} |
|
/* Implementation of the abstract getDescription method. */ |
/** Implementation of the abstract getDescription method. */ |
public String getDescription() { |
return "XML files (*.xml, *.XML)"; |
} |