в 17:43, 31 мая 2010

2010-05-31T17:43:48Z

Admin: 1 версия

2010-05-31T14:22:09Z

1 версия

Новая страница

== GZIPInputStream: read(byte[] buf, int off, int len) ==



<source lang="java">
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.util.zip.GZIPInputStream;
public class MainClass {
public static int sChunk = 8192;
public static void main(String[] args) throws Exception {
String zipname = "data.txt.gz";
String source = "data.txt.gz";
GZIPInputStream zipin;
FileInputStream in = new FileInputStream(zipname);
zipin = new GZIPInputStream(in);
byte[] buffer = new byte[sChunk];
// decompress the file
FileOutputStream out = new FileOutputStream(source);
int length;
while ((length = zipin.read(buffer, 0, sChunk)) != -1)
out.write(buffer, 0, length);
out.close();
zipin.close();
}
}

</source>



== new GZIPInputStream(InputStream in) ==



<source lang="java">
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.util.zip.GZIPInputStream;
public class MainClass {
public static int sChunk = 8192;
public static void main(String[] args) throws Exception {
String zipname = "data.txt.gz";
String source = "data.txt.gz";
GZIPInputStream zipin;
FileInputStream in = new FileInputStream(zipname);
zipin = new GZIPInputStream(in);
byte[] buffer = new byte[sChunk];
// decompress the file
FileOutputStream out = new FileOutputStream(source);
int length;
while ((length = zipin.read(buffer, 0, sChunk)) != -1)
out.write(buffer, 0, length);
out.close();
zipin.close();
}
}

</source>

← Предыдущая	Версия 17:43, 31 мая 2010
(нет различий)

Java by API/java.util.zip/GZIPInputStream - История изменений

в 17:43, 31 мая 2010

Admin: 1 версия