ExtendedScalaProvider
public interface ScalaProvider
Modifier and Type | Method | Description |
---|---|---|
AppProvider |
app(ApplicationID id) |
Creates an application provider that will use 'loader()' as the parent ClassLoader for
the application given by 'id'.
|
java.io.File |
compilerJar() |
Deprecated.
Only `jars` can be reliably provided for modularized Scala. (Since 0.13.0)
|
java.io.File[] |
jars() |
Returns the scala-library.jar and scala-compiler.jar for this version of Scala.
|
Launcher |
launcher() |
|
java.io.File |
libraryJar() |
Deprecated.
Only `jars` can be reliably provided for modularized Scala. (Since 0.13.0)
|
java.lang.ClassLoader |
loader() |
A ClassLoader that loads the classes from scala-library.jar and scala-compiler.jar.
|
java.lang.String |
version() |
The version of Scala this instance provides.
|
Launcher launcher()
java.lang.String version()
java.lang.ClassLoader loader()
java.io.File[] jars()
@Deprecated java.io.File libraryJar()
@Deprecated java.io.File compilerJar()
AppProvider app(ApplicationID id)