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

more work on file names

This commit is contained in:
Julian Dolby 2018-04-17 12:13:20 -04:00 committed by Ben Liblit
parent 380d0027d7
commit 61972810d0
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
com.ibm.wala.cast.js.nodejs/src/com/ibm/wala/cast/js/nodejs/NodejsRequiredCoreModule.java
View File

@ -13,6 +13,7 @@ package com.ibm.wala.cast.js.nodejs;
import java.io.File;
import java.io.IOException;
import java.io.InputStream;
import java.nio.file.Files;
import java.util.Arrays;
import java.util.Map;
import java.util.Set;
@ -58,10 +59,13 @@ public class NodejsRequiredCoreModule extends NodejsRequiredSourceModule {
public static NodejsRequiredCoreModule make(String name) throws IOException {
if (! names.containsKey(name)) {
names.put(name, new File(System.getProperty("java.io.tmpdir") + "/" + name + ".js"));
java.nio.file.Path p = Files.createTempDirectory("nodejs");
File f = new File(p.toFile(), name + ".js");
f.deleteOnExit();
p.toFile().deleteOnExit();
names.put(name, f);
}
File file = names.get(name);
file.deleteOnExit();
TemporaryFile.streamToFile(file, getModule(name));
SourceFileModule sourceFileModule = CAstCallGraphUtil.makeSourceModule(file.toURI().toURL(), file.getName());
return new NodejsRequiredCoreModule(file, sourceFileModule);