2009-08-24 04:21:15 +02:00
|
|
|
package xsbti;
|
|
|
|
|
|
2011-03-01 15:44:45 +01:00
|
|
|
import java.io.File;
|
|
|
|
|
|
2009-09-26 08:18:04 +02:00
|
|
|
public interface Launcher
|
2009-08-24 04:21:15 +02:00
|
|
|
{
|
|
|
|
|
public static final int InterfaceVersion = 1;
|
2009-09-26 08:18:04 +02:00
|
|
|
public ScalaProvider getScala(String version);
|
2009-10-10 01:12:14 +02:00
|
|
|
public ClassLoader topLoader();
|
2009-10-15 00:05:53 +02:00
|
|
|
public GlobalLock globalLock();
|
2011-03-01 15:44:45 +01:00
|
|
|
public File bootDirectory();
|
|
|
|
|
// null if none set
|
|
|
|
|
public File cacheDirectory();
|
2009-08-24 04:21:15 +02:00
|
|
|
}
|
