Inhaltsverzeichnis
Dateien lesen/in Dateien 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 |
Spezialisierte Editoren
Für Dateien im Json- und Xml-Format bringt die Online-IDE eigene Editoren mit, die Syntaxfehler anzeigen und beim Bearbeiten der Daten helfen. Zum Parsen von Json-Daten gibt es eigene Hilfsklassen JsonParser und JsonElement, siehe hier.
Anlegen von Datendateien
Textdateien können Sie wie Java-Dateien einfach durch Klick auf den „Neue Datei“-Button anlegen. Die Endung des von Ihnen vergebenen Dateinamens entscheidet darüber, um welchen Typ von Datei es sich handelt (s.o.). Sie können den Dateityp später natürlich jederzeit einfach durch Umbenennen der Datei ändern.