DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Attempt to fix weird Windows bug with TemporaryFile 

Also remove the walaUtil.jar output, which no one uses
This commit is contained in:
Manu Sridharan 2017-04-13 20:19:31 -07:00
parent 52c7a4b649
commit bec0387850
2 changed files with 11 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
com.ibm.wala.util/build.properties
View File

@ -1,7 +1,5 @@
bin.includes = META-INF/,\
.,\
walaUtil.jar
source.walaUtil.jar = src/
.
jars.compile.order = .
source.. = src/
output.. = bin/

21
com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
View File

@ -15,25 +15,24 @@ import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.net.URL;
import java.nio.file.Files;
import java.nio.file.Path;
public class TemporaryFile {
private final static String outputDir;
private final static Path outputDir;
static {
String dir = System.getProperty("java.io.tmpdir");
while (dir.endsWith(File.separator))
dir = dir.substring(0, dir.length()-1);
dir = dir + File.separator;
outputDir = dir;
try {
outputDir = Files.createTempDirectory("wala");
} catch (IOException e) {
throw new RuntimeException(e);
}
}
public static File urlToFile(String fileName, URL input) throws IOException {
File F = new File(outputDir + File.separator + fileName);
return urlToFile(F , input);
Path filePath = outputDir.resolve(fileName);
return urlToFile(filePath.toFile(), input);
}
public static File urlToFile(File F, URL input) throws IOException {