blob: 81e7747bdbbda191858669631bce688d845983ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
package io;
import java.util.*;
import java.util.zip.GZIPInputStream;
import java.util.zip.GZIPOutputStream;
import java.io.*;
public class FileUtil
{
public static BufferedReader reader(File file) throws FileNotFoundException, IOException
{
if (file.getName().endsWith(".gz"))
return new BufferedReader(new InputStreamReader(new GZIPInputStream(new FileInputStream(file))));
else
return new BufferedReader(new FileReader(file));
}
public static PrintStream printstream(File file) throws FileNotFoundException, IOException
{
if (file.getName().endsWith(".gz"))
return new PrintStream(new GZIPOutputStream(new FileOutputStream(file)));
else
return new PrintStream(new FileOutputStream(file));
}
public static Scanner openInFile(String filename){
Scanner localsc=null;
try
{
localsc=new Scanner (new FileInputStream(filename));
}catch(IOException ioe){
System.out.println(ioe.getMessage());
}
return localsc;
}
public static FileInputStream openInputStream(String infilename){
FileInputStream fis=null;
try {
fis =(new FileInputStream(infilename));
} catch (IOException ioe) {
System.out.println(ioe.getMessage());
}
return fis;
}
}
|
