Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 692 → Rev 693

/sun/xmleditor/trunk/src/control/GrammarExtensionFilter.java
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() {