FileUtil.java

Go to the documentation of this file.

/*******************************************************************************
 * Copyright (c) 2012 Stefan Profanter. All rights reserved. This program and the accompanying
 * materials are made available under the terms of the GNU Public License v3.0 which accompanies
 * this distribution, and is available at http://www.gnu.org/licenses/gpl.html
 * 
 * Contributors: 
 *                              Stefan Profanter - initial API and implementation, Year: 2012, 
 *                              Andrei Stoica - minor refactor during Google Summer of Code 2014
 ******************************************************************************/
package edu.tum.cs.ias.knowrob.utils;

import java.io.BufferedInputStream;
import java.io.BufferedOutputStream;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.FileReader;
import java.io.IOException;
import java.util.Enumeration;
import java.util.regex.Matcher;
import java.util.zip.ZipEntry;
import java.util.zip.ZipFile;

public class FileUtil {

        public static String getAbsoluteFilePath(String root, String path) {
                File file = new File(path);
                if (file.isAbsolute())
                        return file.getAbsolutePath();

                if (root == null)
                        return null;

                return new File(new File(root), path).getAbsolutePath();
        }

        public static String readTextFile(File file) throws FileNotFoundException, IOException {
                FileReader fr = new FileReader(file);
                char[] cbuf = new char[(int) file.length()];
                fr.read(cbuf);
                String content = new String(cbuf);
                fr.close();
                return content;
        }

        public static String readTextFile(String filename) throws FileNotFoundException, IOException {
                return readTextFile(new File(filename));
        }

        public static boolean Unzip(String zipFile, String outputDirectory) {
                String outDir = outputDirectory;
                if (!outDir.endsWith("/") && !outDir.endsWith("\\"))
                        outDir += File.separator;

                BufferedOutputStream dest = null;
                BufferedInputStream is = null;
                int BUFFER = 2048;
                ZipEntry entry;
                ZipFile zipfile;
                try {
                        zipfile = new ZipFile(zipFile);
                        Enumeration<? extends ZipEntry> e = zipfile.entries();
                        while (e.hasMoreElements()) {
                                entry = e.nextElement();
                                if (entry.isDirectory()) {
                                        (new File(outDir + entry.getName())).mkdir();
                                        continue;
                                }

                                String name;

                                if (File.separator.equals("\\")) {
                                        name = entry.getName()
                                                        .replaceAll("/", Matcher.quoteReplacement(File.separator));
                                } else {
                                        name = entry.getName().replaceAll("\\\\",
                                                        Matcher.quoteReplacement(File.separator));
                                }

                                String filename = outDir + name;
                                String filePath = filename.substring(0, filename.lastIndexOf(File.separator));

                                // Create directory if not existing
                                if (!(new File(filePath)).exists()) {
                                        (new File(filePath)).mkdirs();
                                }
                                is = new BufferedInputStream(zipfile.getInputStream(entry));
                                int count;
                                byte data[] = new byte[BUFFER];
                                FileOutputStream fos = new FileOutputStream(filename);
                                dest = new BufferedOutputStream(fos, BUFFER);
                                while ((count = is.read(data, 0, BUFFER)) != -1) {
                                        dest.write(data, 0, count);
                                }
                                dest.close();
                                is.close();
                        }
                        zipfile.close();
                } catch (IOException e1) {
                        // TODO Auto-generated catch block
                        System.err.println("Couldn't unzip file: " + zipFile);
                        e1.printStackTrace();
                        return false;
                }
                return true;
        }
}