//
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.");
}
}
}