Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

--- api:documentation:files:start [2023/04/01 22:57] – Martin Pabst
+++ api:documentation:files:start [2023/04/02 14:35] (aktuell) – [Dateien lesen/in Dateien schreiben] Martin Pabst
@@ Zeile 1: / Zeile 1: @@
-====== Dateien lesen/schreiben ======
+====== Dateien lesen/in Dateien schreiben ======
+<WRAP center round info 80%>
+Mit den statischen Methoden
+  * ''Files.read(String filename)'',
+  * ''Files.write(String filename, String textToWrite)'' und
+  * ''Files.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 [[https://www.online-ide.de|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'', [[:api:documentation:http:start#aufbereiten_der_json-daten_jsonparser|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.
+</WRAP>
+===== Lesen aus einer Datei =====
 <HTML>
@@ Zeile 22: / Zeile 42: @@
 Karlsson vom Dach
 Ferien auf Saltkrokan
+</script>
+</div>
+</HTML>
+===== Schreiben in eine Datei =====
+<HTML>
+<div class="java-online" style="height: 500px; width: 100%" data-java-online="{'withBottomPanel': true, 'id': 'filetest2'}">
+<script type="text/plain" title="File-Test.java">
+// Schauen Sie sich den Inhalt der Datei Test.txt vor dem Starten dieses Programms an!
+Files.write("Test.txt", "");  // Datei leeren
+for (int i = 0; i < 20; i++) {
+   for (int j = 0; j < 20; j++) {
+      String t = "x";
+      if((i + j) % 2 == 0) {
+         t = " ";
+      }
+      Files.append("Test.txt", t);
+   }
+   Files.append("Test.txt", "\n");
+}</script>
+<script type="text/plain" title="Test.txt">
 </script>