Dateiendung aus File

[Ishildur]

Hallo zusammen
Ich möchte die Dateiendung aus einem File herauslesen, habe aber hierfür keine Method gefunden! Gibts denn sowas in Java, oder muss ich das selbst machen?

Lg Ishildur

 

[The_S]

System.out.println(file.getName().substring(0, file.getName.lastIndexOf('.')));

 

[Ishildur]

@Hobbit_Im_Blutrausch
Hmm, OK, coole Idee! ;-)

Noch eine Frage: Wie kann ich herausfinden, was für ein Image eine bestimmte Datei beinhaltet, ob ein BMP,JPG,GIF oder JPEG? Ich gehe mal davon aus, dass es sich aus einem BufferedImage nicht mehr herauslesen lässt, aber lässt es sich vielleicht mit Hilfe der ImageIO Klasse ermitteln?

 

[The_S]

Über die Dateiendung, oder über einen entsprechenden Header/Footer (falls vorhanden).

 

[Niki]

String endung = file.getName().substring(0, file.getName.lastIndexOf('.'));
if(endung.equalsIgnoreCase("BMP")){

} else if(endung.equalsIgnoreCase("JPG")){

}....

Eine andere Möglichkeit gibt es eigentlich nicht.

 

[SlaterB]

Leute, von 0 bis zum . ist NICHT die Endung

 

[Niki]

Aja, danke, ich hab nur copy/paste gemacht
Vertrauen ist gut, Kontrolle ...
Also:

String endung = file.getName().substring(file.getName().lastIndexOf('.')+1);
if(endung.equalsIgnoreCase("BMP")){

} else if(endung.equalsIgnoreCase("JPG")){

}

 

[Maeher]

Wenn nun aber der Dateinname mit einem "." aufhört, dürfte es eine IndexOutOfBoundsException geben (siehe API).

 

[Niki]

So, jetzt zufrieden?

		String name = file.getName();

		int index = name.lastIndexOf(".");
		String endung = null;		
		if (index > -1 && index < name.length() - 1) {
			endung = name.substring(index+ 1);
			if (endung.equalsIgnoreCase("BMP")) {

			} else if (endung.equalsIgnoreCase("JPG")) {

			}
		}

 

[The_S]

... ich schiebs mal auf ... nunja ... Mittagsmüdigkeit