1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
|
/*Dateiendung*/
public class Dateiendung
{
public static void main (String[]args)
{
String string = args[0]; // Was genau bedeutet dieses args? (String[]args)
int dot = string.indexOf("."); // Hier wird geschaut, wo der 1. Punkt vorkommt?
String extension = string.substring(dot+1, string.length()); // substring liefert Teilstring, der bei dot+1 beginnt
//und nach der Länge des Wortes endet?
if (!extension.equals("txt")) // SOlange das Wort aus extension ungleich txt ist, kommt die Fehlermeldung keine Textdatei?
{
System.out.println ("Achtung, keine Textdatei");
}
}
}
|