Fix DynamothCodeGenesis

Signed-off-by: André Silva <andre15andre@hotmail.com>
SpoonLabs · Mar 22, 2021 · bad1f95 · bad1f95
1 parent 7bf9366
commit bad1f95
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 6 deletions.
diff --git a/nopol/src/main/java/fr/inria/lille/repair/synthesis/DynamothCodeGenesisImpl.java b/nopol/src/main/java/fr/inria/lille/repair/synthesis/DynamothCodeGenesisImpl.java
@@ -103,7 +103,7 @@ public DynamothCodeGenesisImpl(File[] projectRoots, SourceLocation location, URL
  this.classes = new ArrayList<>();
  ClassLoader cl = ClassLoader.getSystemClassLoader();
 
- URL[] urls = ((URLClassLoader) cl).getURLs();
+ String[] pathElements = System.getProperty("java.class.path").split(System.getProperty("path.separator"));
  ArrayList<URL> liClasspath = new ArrayList<>();
  for (int i = 0; i < classpath.length; i++) {
  URL url = classpath[i];
@@ -112,11 +112,14 @@ public DynamothCodeGenesisImpl(File[] projectRoots, SourceLocation location, URL
  liClasspath.add(url);
  }
  }
- for (int i = 0; i < urls.length; i++) {
- URL url = urls[i];
- File file = new File(url.getFile());
- if (file.exists()) {
- liClasspath.add(url);
+ for (int i = 0; i < pathElements.length; i++) {
+ try {
+ File file = new File(pathElements[i]);
+ if (file.exists()) {
+ liClasspath.add(file.toURI().toURL());
+ }
+ } catch (Exception e) {
+ throw new RuntimeException(e);
  }
  }
  this.classpath = liClasspath.toArray(new URL[0]);

diff --git a/nopol/src/test/java/fr/inria/lille/repair/synthesis/DynamothCodeGenesisTest.java b/nopol/src/test/java/fr/inria/lille/repair/synthesis/DynamothCodeGenesisTest.java
@@ -1,5 +1,6 @@
 package fr.inria.lille.repair.synthesis;
 
+import ca.cgjennings.jvm.JarLoader;
 import fr.inria.lille.repair.TestUtility;
 import fr.inria.lille.repair.common.config.NopolContext;
 import fr.inria.lille.repair.nopol.SourceLocation;