|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
public interface ScalaProvider
Provides access to the jars and classes for a particular version of Scala.
| Method Summary | |
|---|---|
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. |
| Method Detail |
|---|
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)
|
||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||