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/01 23:12] – [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. Für die Arbeit mit JSon-Dateien gibt es noch eigene Hilfsklassen, siehe hier. TODO!
+</WRAP>
+===== Lesen aus einer Datei =====
 <HTML>
@@ Zeile 22: / Zeile 39: @@
 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>