| 4,9 → 4,9 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.34 $ |
| * @version $Revision: 1.7 $ |
| * |
| * Last modification: $Date: 2003/07/13 14:57:49 $ |
| * Last modification: $Date: 2003/07/13 15:28:22 $ |
| */ |
| |
| package src.control; |
| 14,7 → 14,7 |
|---|
| import java.io.File; |
| |
| /** |
| * The GrammarExtensionFilter class is a file filter that does only |
| * 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. |
| * |
| * @author S. McSporran |
| 24,7 → 24,7 |
|---|
| ExtExtractor extractor = new ExtExtractor(); |
| |
| /** |
| * The method accept decides whether a file will be passed by the filter. |
| * 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. |
| 59,7 → 59,7 |
|---|
| } |
| |
| /** |
| * Implementation of the abstract getDescription method. |
| * Implementation of the abstract <code>getDescription</code> method. |
| */ |
| public String getDescription() { |
| return "XML grammar files (*.dtd, *.DTD, *.xsd, *.XSD)"; |