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

more detail in assertion

This commit is contained in:
Julian Dolby 2014-01-03 10:07:52 -05:00 committed by Michael Heilmann
parent a6315f8a62
commit c4a04d7eec
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
com.ibm.wala.ide.jsdt/source/com/ibm/wala/ide/util/JavaScriptEclipseProjectPath.java
View File

@ -72,6 +72,7 @@ public class JavaScriptEclipseProjectPath extends EclipseProjectPath<IIncludePat
Collection<Module> s = modules.get(JSLoader.JAVASCRIPT);
for(Pair<String,Plugin> model : models) {
URL modelFile = JsdtUtil.getProlgueFile(model.fst, model.snd);
assert modelFile != null : "cannot find file for " + model;
s.add(new SourceURLModule(modelFile) {
@Override
public String getName() {