6,7 → 6,7 |
* |
* @version $Revision: 1.00 |
* |
* Last modification: $Date: 2003/07/11 12:46:06 $ |
* Last modification: $Date: 2003/07/11 12:47:33 $ |
* |
*/ |
|
18,6 → 18,8 |
* @author S. McSporran |
*/ |
public class GrammarExtensionFilter extends javax.swing.filechooser.FileFilter { |
|
ExtExtractor extractor = new ExtExtractor(); |
|
/** The method accept decides whether a file will be passed by the filter. |
* |
34,12 → 36,12 |
} |
|
/* Get the file's extension. */ |
String extension = ExtExtractor.getExtension(f); |
String extension = extractor.getExtension(f); |
|
/* Proceed if there is an extension. */ |
if (extension != null) { |
|
/* Check if the extension matches xml.*/ |
/* Check if the extension matches dtd or xsd.*/ |
if (extension.equals(ExtExtractor.dtd) || |
extension.equals(ExtExtractor.xsd)) { |
return true; |