//
import java.io.*;
public class FichierEcriture extends Fichier{
public FichierEcriture(String s) throws IOException {
super(s);
if (this.exists()){
if (this.isFile()){
if (!this.canWrite())
throw new IOException( this.getName() + ": n'est pas modifiable.");
}
else
throw new IOException( this.getName() + ": n'est pas un fichier.");
}
else // le fichier n'existe pas
{ // il faut tester le droit en ecriture dans le repertoire
File Dir=new File(this.repertoireDe());
if (!Dir.exists())
throw new IOException( Dir.getName() + ": n'est pas un repertoire");
if (!Dir.canWrite())
throw new IOException( Dir.getName() + ": n'est pas modifiable.");
}
}
}