liefert Abstraktion für Datei oder Verzeichnis (-Namen):
Pfad = [Präfix] (Dir Sep)* Name
/
A:
\
class File { File (String path); File (File parent, String child); String getName (); File getParentFile (); }