2009-08-23 22:21:15 -04:00
|
|
|
package xsbti;
|
2009-09-26 02:18:04 -04:00
|
|
|
|
|
|
|
|
import java.io.File;
|
|
|
|
|
|
2009-10-17 09:48:39 -04: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 08:12:43 -04:00
|
|
|
public interface Reboot extends MainResult
|
|
|
|
|
{
|
|
|
|
|
public String[] arguments();
|
2009-09-26 02:18:04 -04:00
|
|
|
public File baseDirectory();
|
|
|
|
|
public String scalaVersion();
|
|
|
|
|
public ApplicationID app();
|
2009-08-21 08:12:43 -04:00
|
|
|
}
|