6,7 → 6,7 |
* |
* @version $Revision: 1.00 |
* |
* Last modification: $Date: 2003/07/11 12:46:00 $ |
* Last modification: $Date: 2003/07/11 12:52:54 $ |
* |
*/ |
|
20,6 → 20,7 |
|
public class ExtExtractor { |
|
/* String constants for the extensions the program knows. */ |
public final static String xml = "xml"; |
public final static String xsd = "xsd"; |
public final static String dtd = "dtd"; |
29,11 → 30,12 |
ExtExtractor () { |
} |
|
/** This method scans a filename and returns it's extension if |
* existent. |
/** 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 |
* |
* Last revision: 11-Jul-2003 |
*/ |