// 

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