Ergaenzungen an Writer

ulrich

14 hours ago 93965f1be1ae1c9563dadfeb12ba6c1477ccbf84

Ergaenzungen an Writer

 src/de/uhilger/fm/Writer.java

@@ -26,8 +26,7 @@
import java.util.logging.Logger;

/**
 * Dateien und Ordner anlegen. 
 * Ggf. deren Inhalt schreiben.
 * Dateien und Ordner anlegen sowie gegebenenfalls den Inhalt von Dateien speichern.
 * 
 * @author Ulrich Hilger
 * @version 0.1, 07.11.2024
@@ -50,19 +49,21 @@
  }
  
  /**
   * Datei speichern. Eine existierende Datei gleichen Namens wird 
   * zuvor geloescht (= Ueberschreiben). 
   * Datei speichern. 
   * 
   * Wenn Aenderungen in eine schon existierende Datei gespeichert werden 
   * <p>Eine existierende Datei gleichen Namens wird 
   * zuvor geloescht (= Ueberschreiben).</p> 
   * 
   * <p>Wenn Aenderungen in eine schon existierende Datei gespeichert werden 
   * sollen, ist es noetig, die existierende Datei mit dem neuen Inhalt zu 
   * ueberschreiben, so, wie es diese Methode ausfuehrt.
   * ueberschreiben, so, wie es diese Methode ausfuehrt.</p>
   * 
   * Soll statdessen eine Datei neu erstellt werden und wird dabei also unterstellt, dass 
   * <p>Soll statdessen eine Datei neu erstellt werden und wird dabei also unterstellt, dass 
   * unter ihrem Namen am Ablageort noch keine Datei gleichen Namens existiert, muss 
   * vor der Verwendung dieser Methode sichergestellt werden, dass es so ist.
   * vor der Verwendung dieser Methode sichergestellt werden, dass es so ist.</p>
   * 
   * @param file
   * @param content
   * @param file die Datei, in die gespeichert werden soll
   * @param content  der zu speichernde Inhalt
   * @return 0, wenn erfolgreich, sonst -1
   */
  public int speichern(File file, String content) {