public String getExtension ( File f ) { if ( f != null ) { String filename = f . getName ( ) ; int i = filename . lastIndexOf ( ' ' ) ; if ( i > 0 && i < filename . length ( ) - 1 ) { return filename . substring ( i + 1 ) . toLowerCase ( ) ; } } return null ; }
Retourne l extention du nom du fichier .