4,9 → 4,9 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.10 $ |
* @version $Revision: 1.11 $ |
* |
* Last modification: $Date: 2003/07/15 18:52:06 $ |
* Last modification: $Date: 2003/07/16 18:20:00 $ |
*/ |
|
package src.control; |
17,9 → 17,11 |
* The <b><code>GrammarExtensionFilter</code></b> class is a file filter that does only |
* accept file names with the extension *.xsd, *.XSD, *.dtd or *.DTD. |
* |
* @see javax.swing.filechooser.FileFilter |
* |
* @author S. McSporran |
* |
* @version $Revision: 1.10 $ Last modification: $Date: 2003/07/15 18:52:06 $ |
* @version $Revision: 1.11 $ Last modification: $Date: 2003/07/16 18:20:00 $ |
*/ |
public class GrammarExtensionFilter extends javax.swing.filechooser.FileFilter { |
|
28,9 → 30,12 |
/** |
* The method <code>accept</code> decides whether a file will be passed by the filter. |
* |
* author S. McSporran |
* @param f: A representation of a file's name. |
* |
* @see javax.swing.filechooser.FileFilter#accept |
* |
* author S. McSporran |
* |
* Last revision: 11-Jul-2003 by S. McSporran |
*/ |
public boolean accept(File f) { |
64,6 → 69,8 |
* Implementation of the abstract <code>getDescription</code> method. This method |
* returns a <code>String</code> with a description, what files will be passed |
* through the class' filter. |
* |
* @see javax.swing.filechooser.FileFilter#getDescription |
*/ |
public String getDescription() { |
|