Die Klasse File

liefert Abstraktion für Datei/Verzeichnis-Namen:

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

• Unix: Präfix = /, Sep = /
• Windows: Präfix = A: usw., Sep = \

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