| 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; |