Copia di files su files

Nel seguente esempio copiamo il contenuto di un file fileSrc.txt in un file fileDest.txt.
Se il file fileDest.txt non esiste viene creato, altrimenti viene perso il contenuto originale.
Per controllare che il file da copiare e' finito usiamo il meccanismo delle eccezioni e in particolare lo schema try-catch. Questo serve a gestire localmente un'eccezione o situazione di errore (nel nostro caso la fine del file) rilevata all'interno di un blocco di istruzioni (nel nostro caso la lettura del file).
Il blocco di istruzioni segue la parola chiave try, mentre catch precede il gestore dell'eccezione che e' un'istanza di una classe predefinita nel package java.IO (nel nostro caso EOFException).

Esempio: FiletoFile

import java.io.*;
import javagently.*;

public class FiletoFile {
public static void main(String[] args) throws IOException {
     BufferedReader in = Text.open("fileSrc.txt");
     PrintWriter out = Text.create("fileDest.txt");
     String s;
     try {
        do
          {
            s = Text.readString(in);
            out.print(s + " ");
           } while (true);
     } catch (EOFException e) {
             System.out.println("Ho finito.");
       }
     in.close();
     out.close();
   }
}