package xsbti;

import java.io.File;

/** 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.*/
public interface Reboot extends MainResult
{
	public String[] arguments();
	public File baseDirectory();
	public String scalaVersion();
	public ApplicationID app();
}