package jazz.io;

///////////////////////////////////////////////////////////////////////////////
//
//                               File readers
//
///////////////////////////////////////////////////////////////////////////////

public class FileReader extends Reader {

  // Opens a new file reader
  public static open(name: String): FileReader;
  
}

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

FileReader.open(name) =
  new FileReader(reader =
                 native("java.io.FileReader(java.lang.String)",
                        name));