blob: d6c88c3332187c67fc96bb49c301082f04aa955c [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2005, 2017 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
*******************************************************************************/
package org.eclipse.dltk.core.tests;
import java.io.File;
import java.io.FileInputStream;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;
import java.util.Collections;
import java.util.Set;
public class FileUtil {
public static void copyDirectory(File source, File target)
throws IOException {
copyDirectory(source, target, Collections.<File> emptySet());
}
public static void copyDirectory(File source, File target,
Set<File> excludes) throws IOException {
if (!target.exists()) {
target.mkdirs();
}
final File[] files = source.listFiles();
if (files == null) {
throw new IllegalStateException(
"Source directory " + source + " doesn't exist");
}
for (int i = 0; i < files.length; i++) {
final File sourceChild = files[i];
final String name = sourceChild.getName();
if (name.equals("CVS") || name.equals(".svn"))
continue;
if (excludes.contains(sourceChild))
continue;
final File targetChild = new File(target, name);
if (sourceChild.isDirectory()) {
copyDirectory(sourceChild, targetChild, excludes);
} else {
if (".emptydir".equals(name)) {
continue;
}
copyFile(sourceChild, targetChild);
}
}
}
/**
* Copy file from src (path to the original file) to dest (path to the
* destination file).
*/
public static void copyFile(File src, File dest) throws IOException {
byte[] buffer = new byte[12 * 1024];
int read;
try (InputStream in = new FileInputStream(src);
OutputStream out = new FileOutputStream(dest)) {
while ((read = in.read(buffer)) != -1) {
out.write(buffer, 0, read);
}
}
}
}