/sun/xmleditor/trunk/src/control/ExtExtractor.java |
---|
6,7 → 6,7 |
* |
* @version $Revision: 1.00 |
* |
* Last modification: $Date: 2003/07/11 12:20:03 $ |
* Last modification: $Date: 2003/07/11 12:46:00 $ |
* |
*/ |
25,6 → 25,10 |
public final static String dtd = "dtd"; |
/* Empty constructor. */ |
ExtExtractor () { |
} |
/** This method scans a filename and returns it's extension if |
* existent. |
* |
33,7 → 37,7 |
* |
* Last revision: 11-Jul-2003 |
*/ |
public static String getExtension(File f) { |
public String getExtension(File f) { |
String extension; |