| 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 |
| */ |