package jazz.io;

///////////////////////////////////////////////////////////////////////////////
//
//                               File writers
//
///////////////////////////////////////////////////////////////////////////////

public class FileWriter extends Writer {

  // Opens a new file writer
  public static open(name: String): FileWriter;
  
}

///////////////////////////////////////////////////////////////////////////////
//
//                               Implementation
//
///////////////////////////////////////////////////////////////////////////////

FileWriter.open(name) =
  new FileWriter(writer =
                 native("java.io.FileWriter(java.lang.String)",
                        name));