2,11 → 2,11 |
|
/** This file contains the ExtensionFilter class. |
* |
* @author S. McSporran |
* @author S. McSporran |
* |
* @version $Revision: 1.00 |
* @version $Revision: 1.00 |
* |
* Last modification: $Date: 2003/07/11 12:52:54 $ |
* Last modification: $Date: 2003/07/12 10:32:44 $ |
* |
*/ |
|
13,9 → 13,9 |
import java.io.File; |
|
/** The ExtensionFilter class provides a method to get the |
* extension of a file |
* extension of a file |
* |
* @author S. McSporran |
* @author S. McSporran |
*/ |
|
public class ExtExtractor { |
25,8 → 25,7 |
public final static String xsd = "xsd"; |
public final static String dtd = "dtd"; |
|
|
/* Empty constructor. */ |
/** Empty constructor. */ |
ExtExtractor () { |
} |
|
33,11 → 32,11 |
/** 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) { |
|