2015-11-03 12:00:44 -08:00
|
|
|
// compression/GZIPcompress.java
|
2016-12-30 17:23:13 -08:00
|
|
|
// (c)2017 MindView LLC: see Copyright.txt
|
2015-11-15 15:51:35 -08:00
|
|
|
// We make no guarantees that this code is fit for any purpose.
|
2016-09-23 13:23:35 -06:00
|
|
|
// Visit http://OnJava8.com for more book information.
|
2016-07-28 13:42:03 -06:00
|
|
|
// {java GZIPcompress GZIPcompress.java}
|
2016-07-20 06:32:39 -06:00
|
|
|
// {ValidateByHand}
|
2015-06-15 17:47:35 -07:00
|
|
|
import java.util.zip.*;
|
|
|
|
import java.io.*;
|
|
|
|
|
|
|
|
public class GZIPcompress {
|
2016-01-25 18:05:55 -08:00
|
|
|
public static void
|
|
|
|
main(String[] args) throws IOException {
|
2015-06-15 17:47:35 -07:00
|
|
|
if(args.length == 0) {
|
|
|
|
System.out.println(
|
|
|
|
"Usage: \nGZIPcompress file\n" +
|
|
|
|
"\tUses GZIP compression to compress " +
|
|
|
|
"the file to test.gz");
|
|
|
|
System.exit(1);
|
|
|
|
}
|
2016-09-06 12:32:51 -06:00
|
|
|
try(
|
|
|
|
InputStream in = new BufferedInputStream(
|
|
|
|
new FileInputStream(args[0]));
|
|
|
|
BufferedOutputStream out =
|
|
|
|
new BufferedOutputStream(
|
|
|
|
new GZIPOutputStream(
|
|
|
|
new FileOutputStream("test.gz")))
|
|
|
|
) {
|
2015-06-15 17:47:35 -07:00
|
|
|
System.out.println("Writing file");
|
|
|
|
int c;
|
|
|
|
while((c = in.read()) != -1)
|
2016-01-25 18:05:55 -08:00
|
|
|
out.write(c);
|
2015-06-15 17:47:35 -07:00
|
|
|
}
|
|
|
|
System.out.println("Reading file");
|
2016-09-06 12:32:51 -06:00
|
|
|
try(
|
|
|
|
BufferedReader in2 = new BufferedReader(
|
|
|
|
new InputStreamReader(new GZIPInputStream(
|
|
|
|
new FileInputStream("test.gz"))))
|
|
|
|
) {
|
2015-12-15 11:47:04 -08:00
|
|
|
String s;
|
|
|
|
while((s = in2.readLine()) != null)
|
|
|
|
System.out.println(s);
|
|
|
|
}
|
2015-06-15 17:47:35 -07:00
|
|
|
}
|
2015-09-07 11:44:36 -06:00
|
|
|
}
|