next up previous contents index
Next: Zerlegung von Strömen in Up: Ein-/Ausgabe Previous: Random Access Dateien

Datei- und Verzeichnis-Namen

 

Die Klasse File bietet nützliche Methoden, um Datei- und Verzeichnisnamen zu manipulieren.

Außerdem erlauben viele der Konstruktoren der IO-Klassen ein File-Argument:

   File ipf = new File("input.dat");
   FileInputStream fis = 
         new FileInputStream(ipf);

Einige nützliche Methoden

tex2html_wrap2164

boolean delete()

boolean exists()

boolean isDirectory()

boolean isFile()

long length()

String[] list()

String [] list(FilenameFilter) (z.B.: Seite gif)

boolean mkdir()

boolean renameTo(File)

Beispiel: Löschen von Dateien

import java.io.*;
public class Delete // Lösche eine Datei
{ public static void main(String[] args) 
  { try { delete(args[0]);}
    catch (IllegalArgumentException e) 
    { System.err.println(
        e.getMessage() +": " + args[0]); 
    }
  }     
  public static void delete(String name) 
  { File f = new File(name);
    if (!f.exists()) 
      fail("No such file or directory");
    if (!f.canWrite()) 
      fail("Write protected");
    if (f.isDirectory()) 
    { String[] files = f.list();
      if (files.length > 0) 
        fail("Directory not empty");
    }
    if (!f.delete())  // jetzt endlich
       fail("Deletion failed");
  }
  protected static void fail(String msg) 
  throws IllegalArgumentException 
  { throw new IllegalArgumentException(msg);
  }
}


next up previous contents index
Next: Zerlegung von Strömen in Up: Ein-/Ausgabe Previous: Random Access Dateien

Peter Pfahler, 1997