| 2,11 → 2,11 |
|---|
| |
| /** This file contains the GrammarExtensionFilter class. |
| * |
| * @author S. McSporran |
| * @author S. McSporran |
| * |
| * @version $Revision: 1.00 |
| * @version $Revision: 1.00 |
| * |
| * Last modification: $Date: 2003/07/11 12:56:03 $ |
| * Last modification: $Date: 2003/07/11 13:16:38 $ |
| * |
| */ |
| |
| 13,9 → 13,9 |
|---|
| import java.io.File; |
| |
| /** The GrammarExtensionFilter class is a file filter that does only |
| * accept file names with the extension *.xsd, *.XSD, *.dtd or *.DTD. |
| * accept file names with the extension *.xsd, *.XSD, *.dtd or *.DTD. |
| * |
| * @author S. McSporran |
| * @author S. McSporran |
| */ |
| public class GrammarExtensionFilter 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) { |
| |
| 55,7 → 55,7 |
|---|
| return false; |
| } |
| |
| /* Implementation of the abstract getDescription method. */ |
| /** Implementation of the abstract getDescription method. */ |
| public String getDescription() { |
| return "XML grammar files (*.dtd, *.DTD, *.xsd, *.XSD)"; |
| } |