Die Klasse File

liefert Abstraktion für Datei/Verzeichnis-Namen:

Pfad = [Präfix] (Dir Sep)* Name

class File {
    File (String path);
    File (File parent, String child);
    String getName ();
    File getParentFile ();
}



Johannes Waldmann 2008-04-08