src/io/CompressedTweetReader.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package io;

import java.io.FileInputStream;
import java.io.IOException;
import java.util.zip.GZIPInputStream;

/**
 * Read files from a compressed file.
 *
 * @author Peter Wu
 */
public class CompressedTweetReader extends TweetReader {

    public CompressedTweetReader(String filename) throws IOException {
        super(new GZIPInputStream(new FileInputStream(filename)));
    }

}