Dies ist eine alte Version des Dokuments!
Inhaltsverzeichnis
Dateien lesen/schreiben
Mit den statischen Methoden
Files.read(String filename)
,Files.write(String filename, String textToWrite)
undFiles.append(String filename, String textToAppend)
kann auf einfach Art auf Dateien im Workspace lesend und schreibend zugegriffen werden. Bei Verwendung der Embedded-IDE (wie hier) werden die Änderungen in der Indexed-DB des Browsers gespeichert, bei Verwendung der Online-IDE werden sie alle 20 s automatisch (sowie in jedem Fall beim Ausloggen) serverseitig in einer Datenbank gespeichert.
Ob es sich bei einer Datei um Java-Quelltext handelt oder um eine Datendatei, wird durch die Endung ihres Dateinamens festgelegt. Folgende Endungen kennt die Online-IDE:
Endung | Dateityp |
---|---|
keine Endung | Java-Datei (für Abwärtskompatibilität) |
.txt | Textdatei ohne besonderes Format |
.json | Textdatei im Json-Format |
.xml | Textdatei im XML-Format |
Für Dateien im Json- und Xml-Format bringt die Online-IDE eigene Editoren mit, die Syntaxfehler anzeigen und beim Bearbeiten der Daten helfen. Für die Arbeit mit JSon-Dateien gibt es noch eigene Hilfsklassen, siehe hier. TODO!