sigmasternchen/xtext-core
1
0
Fork 0
mirror of https://github.com/sigmasternchen/xtext-core synced 2025-03-16 00:38:56 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added logging a la Friese

Browse source
This commit is contained in:
jkohnlein 2008-07-30 08:41:43 +00:00
parent 24731a976f
commit 26a41f09e4
1 changed files with 48 additions and 26 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

74
plugins/org.eclipse.xtext.util/src/org/eclipse/xtext/util/Files.java
View file

@ -9,6 +9,7 @@
package org.eclipse.xtext.util;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
@ -24,30 +25,51 @@ public class Files {
private static Logger log = Logger.getLogger(Files.class);
public static void copyFiles(String sourceDir, String targetDir, List<String> files) {
File target = new File(targetDir);
if (!target.exists()) {
target.mkdir();
}
for (String file : files) {
File copy = new File(target.getAbsolutePath() + File.separatorChar + file);
if (!copy.exists()) {
try {
ClassLoader contextClassLoader = Thread.currentThread().getContextClassLoader();
String uri = sourceDir + "/" + file;
InputStream is = contextClassLoader.getResourceAsStream(uri);
copy.createNewFile();
FileOutputStream fwr = new FileOutputStream(copy);
byte[] buff = new byte[1024];
int read;
while ((read = is.read(buff)) != -1) {
fwr.write(buff, 0, read);
}
log.debug("Copied " + copy);
} catch (IOException e) {
log.error(e);
}
}
}
}
public static void copyFiles(String sourceDir, String targetDir, List<String> files) {
File target = new File(targetDir);
if (!target.exists()) {
target.mkdir();
}
for (String file : files) {
File copy = new File(target.getAbsolutePath() + File.separatorChar + file);
if (!copy.exists()) {
try {
ClassLoader contextClassLoader = Thread.currentThread().getContextClassLoader();
String uri = sourceDir + "/" + file;
InputStream is = contextClassLoader.getResourceAsStream(uri);
copy.createNewFile();
FileOutputStream fwr = new FileOutputStream(copy);
byte[] buff = new byte[1024];
int read;
while ((read = is.read(buff)) != -1) {
fwr.write(buff, 0, read);
}
log.debug("Copied " + copy);
}
catch (IOException e) {
log.error(e);
}
}
}
}
public static void cleanFolder(File f) throws FileNotFoundException {
if (!f.exists()) {
throw new FileNotFoundException(f.getAbsolutePath());
}
log.info("Cleaning folder " + f.toString());
final File[] contents = f.listFiles();
for (int j = 0; j < contents.length; j++) {
final File file = contents[j];
if (file.isDirectory()) {
cleanFolder(file);
}
else {
if (!file.delete()) {
log.error("Couldn't delete " + file.getAbsolutePath());
}
}
}
f.delete();
}
}