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) { |
|