2009-08-24 04:21:15 +02:00
|
|
|
package xsbti;
|
2009-08-21 14:12:43 +02:00
|
|
|
|
|
|
|
|
import java.io.File;
|
|
|
|
|
|
2009-10-16 00:09:15 +02:00
|
|
|
/** Provides access to the jars and classes for a particular version of Scala.*/
|
2009-08-21 14:12:43 +02:00
|
|
|
public interface ScalaProvider
|
|
|
|
|
{
|
2009-09-26 08:18:04 +02:00
|
|
|
public Launcher launcher();
|
2009-10-16 00:09:15 +02:00
|
|
|
/** The version of Scala this instance provides.*/
|
2009-09-26 08:18:04 +02:00
|
|
|
public String version();
|
|
|
|
|
|
2009-10-16 00:09:15 +02:00
|
|
|
/** A ClassLoader that loads the classes from scala-library.jar and scala-compiler.jar.*/
|
2009-09-26 08:18:04 +02:00
|
|
|
public ClassLoader loader();
|
2009-10-16 00:09:15 +02:00
|
|
|
/** Returns the scala-library.jar and scala-compiler.jar for this version of Scala. */
|
2009-09-26 08:18:04 +02:00
|
|
|
public File[] jars();
|
2009-09-27 20:39:26 +02:00
|
|
|
public File libraryJar();
|
|
|
|
|
public File compilerJar();
|
2009-10-16 00:09:15 +02:00
|
|
|
/** Creates an application provider that will use 'loader()' as the parent ClassLoader for
|
|
|
|
|
* the application given by 'id'.*/
|
2009-09-26 08:18:04 +02:00
|
|
|
public AppProvider app(ApplicationID id);
|
2009-08-21 14:12:43 +02:00
|
|
|
}
|