public void setFile ( File file ) throws IOException { if ( ! file . isFile ( ) ) throw new IllegalArgumentException ( file + " must be a file." ) ; else { if ( file . getName ( ) . endsWith ( "gz" ) ) initGzReader ( file ) ; else initReader ( file ) ; } }
Read from a specified file . Also supports gzipped files .