Extension d'un fichier

Bonjour à toutes et à tous,

Je tourne en rond et ne trouve pas ...

Suite à la fermeture d'une boîte de choix de fichier (appelons la "choix"), je souhaite ajouter au nom du fichier choisi l'extension choisie dans la boîte de dialogue. Je ne trouve pas de méthode permettant de la faire. Tout ce que j'ai trouvé est :

Code:

---

1 2	choix.getFileFilter() // cela me retourne un objet choix.getFileFilter().getDescription() // qui me retourne par exemple : "images GIF"

---

Je souhaiterais avoir :

Code:

---

choix.getFileFilter().getName() // qui me retournerait par exemple ".gif"

---

mais cette méthode n'existe pas.

Comment faites-vous.

Merci de votre aide.

Pierre

Si tu veus récuperer juste l'extension de ton fichier utilise la fonction getFile() de la classe URL, tu fais un split(".") sur le string que tu viens de récupérer et tu récupères la deuxième partie.

Dans mon cas, l'extension que je veux placer n'est pas dans le nom du fichier, son type m'est fourni par la boîte de sélection des extensions de la boîte de dialogue de choix de fichiers.

Cordialement.

Pierre