// Classes nécessaires
import java.net.URI;
import java.net.URL;
/**
* Obtenir l'extension à partir d'un objet de type URL ou URI.
* @return String : null en cas d'échec, l'extension dans le cas contraire.
*/
String getExtensionFromURLorURI (Object o) {
if (o instanceof URL || o instanceof URI) {
URL url = null;
if (o instanceof URI) {
URI uri = (URI)o;
url = uri.toURL ();
}
else
url (URL)o;
String filename = url.toFile ().getName ();
int index = filename.lastIndexOf ('.');
if (index == -1)
return null;
return filename.substring (index + 1);
}
else
return null;
}