Add updateClassPath + reset rootctx

Author: aherlihy

compiler/src/dotty/tools/dotc/config/JavaPlatform.scala

@@ -27,6 +27,12 @@ class JavaPlatform extends Platform {
       case _ => false
     })
 
+  def addToClassPath(cPath: ClassPath): Unit = currentClassPath.get match {
+    case AggregateClassPath(entries) =>
+      currentClassPath = Some(AggregateClassPath(entries :+ cPath))
+    case cp: ClassPath =>
+      currentClassPath = Some(AggregateClassPath(cp :: cPath :: Nil))
+  }
   /** Update classpath with a substituted subentry */
   def updateClassPath(subst: Map[ClassPath, ClassPath]): Unit = currentClassPath.get match {
     case AggregateClassPath(entries) =>

compiler/src/dotty/tools/dotc/config/Platform.scala

@@ -20,6 +20,7 @@ abstract class Platform {
 
   /** Update classpath with a substitution that maps entries to entries */
   def updateClassPath(subst: Map[ClassPath, ClassPath]): Unit
+  def addToClassPath(cPath: ClassPath): Unit
 
   /** Any platform-specific phases. */
   //def platformPhases: List[SubComponent]

compiler/src/dotty/tools/repl/ReplDriver.scala

@@ -1,17 +1,16 @@
 package dotty.tools.repl
 
 import scala.language.unsafeNulls
-
-import java.io.{File => JFile, PrintStream}
+import java.io.{PrintStream, File as JFile}
 import java.nio.charset.StandardCharsets
-
 import dotty.tools.dotc.ast.Trees.*
 import dotty.tools.dotc.ast.{tpd, untpd}
+import dotty.tools.dotc.classpath.{AggregateClassPath, ClassPathFactory, ZipAndJarClassPathFactory}
 import dotty.tools.dotc.config.CommandLineParser.tokenize
 import dotty.tools.dotc.config.Properties.{javaVersion, javaVmName, simpleVersionString}
 import dotty.tools.dotc.core.Contexts.*
 import dotty.tools.dotc.core.Decorators.*
-import dotty.tools.dotc.core.Phases.{unfusedPhases, typerPhase}
+import dotty.tools.dotc.core.Phases.{typerPhase, unfusedPhases}
 import dotty.tools.dotc.core.Denotations.Denotation
 import dotty.tools.dotc.core.Flags.*
 import dotty.tools.dotc.core.Mode
@@ -529,24 +528,36 @@ class ReplDriver(settings: Array[String],
           }
         }
 
-        // TODO: no idea how to access and reload the class paths
-        val newClassPath = state.context.platform.classPath(using state.context).asURLs :+ f.toURI.toURL
-        println(s"new class path=${newClassPath.mkString(", ")}")
-        val clsl = rendering.classLoader()(using state.context)
-        val newClsl = fromURLsParallelCapable(newClassPath, clsl)
-        println(s"newClsl getResource=${newClsl.getURLs.toList}")
-        newClsl.asContext(state.context)
-
-//        Scala 2:
-//        def alreadyDefined(clsName: String) = classLoader.tryToLoadClass(clsName).isDefined
-//        val existingClass = entries.filter(_.ext.isClass).map(classNameOf).find(alreadyDefined)
-
-//        if (existingClass.nonEmpty) out.println(s"The path '$f' cannot be loaded, it contains a classfile that already exists on the classpath: ${existingClass.get}")
-//        else {
-//          intp.addUrlsToClassPath(f.toURI.toURL)
+        def alreadyDefined(clsName: String) = state.context.platform.classPath(using state.context).findClassFile(clsName).isDefined
+        val existingClass = entries.filter(_.ext.isClass).map(classNameOf).find(alreadyDefined)
+        if (existingClass.nonEmpty)
+          out.println(s"The path '$f' cannot be loaded, it contains a classfile that already exists on the classpath: ${existingClass.get}")
+        else
+//          val cp = state.context.platform.classPath(using state.context).asClassPathString
+//          println(s"CURRENT CP STRING: $cp")
+//          val newCP = s"$cp${JFile.pathSeparator}$path"
+//          println(s"UPDATED CP: $newCP")
+
+          // add to compiler class path
+          println(s"INIT state classPath = ${state.context.platform.classPath(using state.context).asClassPathString}")
+          val cpCP = ClassPathFactory.newClassPath(jarFile)(using state.context)
+          state.context.platform.addToClassPath(cpCP)
+          println(s"classPath after add = ${state.context.platform.classPath(using state.context).asClassPathString}")
+
+          // create initial context
+          rootCtx = setupRootCtx(Array(), rootCtx)
+          state.copy(context = rootCtx)
+
+
+          // new class loader
+//          val newClassPath = state.context.platform.classPath(using state.context).asURLs :+ f.toURI.toURL
+//          val oldCL = rendering.classLoader()(using state.context)
+//          val newCL = fromURLsParallelCapable(newClassPath, oldCL)
+//          println(s"new CL class path = ${newCL.getURLs.toList}")
+//          println(s"\nclass name = ${cpCP.className}")
+//          rendering.myClassLoader = new AbstractFileClassLoader(state.context.settings.outputDir.default, newCL)
 //          out.println(s"Added '$path' to classpath.")
-//          out.println("Added '%s'. Your new classpath is:\n\"%s\"".format(f.path, intp.classPathString))
-//        }
+          println(s"after setupRootCtx classPath = ${state.context.platform.classPath(using state.context).asClassPathString}")
         state
 
     case TypeOf(expr) =>