4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.8 $ |
* @version $Revision: 1.9 $ |
* |
* Last modification: $Date: 2003/07/15 18:21:31 $ |
* $Id: ExtExtractor.java,v 1.8 2003/07/15 18:21:31 smcsporr Exp $ |
* Last modification: $Date: 2003/07/15 18:51:56 $ |
* $Id: ExtExtractor.java,v 1.9 2003/07/15 18:51:56 smcsporr Exp $ |
*/ |
|
package src.control; |
15,12 → 15,12 |
import java.io.File; |
|
/** |
* The <b><code>ExtensionFilter</code></b> class provides a method to get the |
* The <b><code>ExtExtractor</code></b> class provides functionality to get the |
* extension of a file. |
* |
* @author S. McSporran |
* |
* @version $Revision: 1.58 $ Last modification: $Date: 2003/07/15 18:31:37 $ |
* @version $Revision: 1.9 $ Last modification: $Date: 2003/07/15 18:51:56 $ |
*/ |
public class ExtExtractor { |
|
43,7 → 43,7 |
* @param f: A representation of a file's name. |
* @return The file's extension as <code>String</code>. |
* |
* Last revision: 11-Jul-2003 |
* Last revision: 11-Jul-2003 by S. McSporran |
*/ |
public String getExtension(File f) { |
|