// <pre>

import java.io.*;

public class RepertoireEcriture extends Repertoire{
   public RepertoireEcriture(String s) throws IOException
   {super(s);
   if (!this.exists() ||  !this.isDirectory())
     throw new IOException( this.getName() + ": repertoire inexistant.");
    if (!this.canWrite())
      throw new IOException( this.getName() + ": repertoire non modifiable."); 
   }
}