| 1,23 → 1,24 |
|---|
| package src.control; |
| |
| /** This file contains the ExtensionFilter class. |
| /* |
| * This file contains the ExtExtractor class. |
| * |
| * @author S. McSporran |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.00 |
| * @version $Revision: 1.34 $ |
| * |
| * Last modification: $Date: 2003/07/12 10:32:44 $ |
| * |
| * Last modification: $Date: 2003/07/13 14:57:49 $ |
| */ |
| |
| package src.control; |
| |
| import java.io.File; |
| |
| /** The ExtensionFilter class provides a method to get the |
| * extension of a file |
| /** |
| * The ExtensionFilter class provides a method to get the |
| * extension of a file |
| * |
| * @author S. McSporran |
| * @author S. McSporran |
| */ |
| |
| public class ExtExtractor { |
| |
| /* String constants for the extensions the program knows. */ |
| 25,18 → 26,21 |
|---|
| public final static String xsd = "xsd"; |
| public final static String dtd = "dtd"; |
| |
| /** Empty constructor. */ |
| /** |
| * Empty constructor. |
| */ |
| ExtExtractor () { |
| } |
| |
| /** This method scans a filename and returns it's extension (if |
| * one exists) as lower case characters. |
| /** |
| * This method scans a filename and returns it's extension (if |
| * one exists) as lower case characters. |
| * |
| * author S. McSporran |
| * @param f: A representation of a file's name. |
| * @return The file's extension as String |
| * author S. McSporran |
| * @param f: A representation of a file's name. |
| * @return The file's extension as String |
| * |
| * Last revision: 11-Jul-2003 |
| * Last revision: 11-Jul-2003 |
| */ |
| public String getExtension(File f) { |
| |