Fix NPE in EclipseSourceFileModule ctor (#1261)

* Fix NPE in EclipseSourceFileModule ctor The `getLocation()` API is returning `null`, resulting in an NPE. Use `getFullPath()` instead, which seems to work.
wala · Apr 11, 2023 · d15ca9b · d15ca9b
1 parent 0e6fadb
commit d15ca9b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ide/src/main/java/com/ibm/wala/ide/classloader/EclipseSourceFileModule.java b/ide/src/main/java/com/ibm/wala/ide/classloader/EclipseSourceFileModule.java
@@ -27,7 +27,7 @@ public static EclipseSourceFileModule createEclipseSourceFileModule(IFile f) {
   }
 
   private EclipseSourceFileModule(IFile f) {
-    super(new File(f.getLocation().toOSString()), f.getLocation().lastSegment(), null);
+    super(new File(f.getFullPath().toOSString()), f.getName(), null);
     this.f = f;
   }