Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/03520.jsonl.gz/1609

Modul für die Behandlung von Dateinamen-Eingaben.
ReadFileName liest einen Dateinamen mit den übergebenen Ein- und Ausgabe-Prozeduren. len gibt die Anzahl gelesenen Zeichen. Alle Zeichen bis 176C werden akzeptiert.
GetPath löscht die Pfadinformation aus fname und speichert diese in path. len wird entsprechend dem neuen Dateinamen gesetzt.
GetExtension arbeitet ähnlich wie GetPath, ausser dass die Erweiterung gelöscht wird. Als Erweiterung wird angenommen, was hinter dem letzten Punkt steht.
MakeFileName verkettet die 4 übergebenen Zeichenketten aneinander und speichert den gesamten Dateinamen in fname.