2009-08-24 04:21:15 +02:00
|
|
|
package xsbti;
|
2009-09-26 08:18:04 +02:00
|
|
|
|
|
|
|
|
import java.io.File;
|
|
|
|
|
|
2009-10-17 15:48:39 +02:00
|
|
|
/** A launched application returns an instance of this class in order to communicate to the launcher
|
|
|
|
|
* that the application should be restarted. Different versions of the application and Scala can be used.
|
|
|
|
|
* The application can be given different arguments and a new working directory as well.*/
|
2009-08-21 14:12:43 +02:00
|
|
|
public interface Reboot extends MainResult
|
|
|
|
|
{
|
|
|
|
|
public String[] arguments();
|
2009-09-26 08:18:04 +02:00
|
|
|
public File baseDirectory();
|
|
|
|
|
public String scalaVersion();
|
|
|
|
|
public ApplicationID app();
|
2009-08-21 14:12:43 +02:00
|
|
|
}
|