Initial code for the loader.

launch/interface/src/main/java/xsbti/boot/Exit.java

@@ -0,0 +1,5 @@
+package xsbti.boot;
+public interface Exit extends MainResult
+{
+	public int code();
+}

launch/interface/src/main/java/xsbti/boot/Launcher.java

@@ -0,0 +1,19 @@
+package xsbti.boot;
+
+import java.io.File;
+
+public interface Launcher extends ScalaProvider
+{
+	public static final int InterfaceVersion = 1;
+	
+	public void boot(String[] args);
+	public MainResult checkAndLoad(String[] args);
+	public MainResult load(String[] args);
+	public MainResult run(ClassLoader sbtLoader, SbtConfiguration configuration);
+	
+	public File ProjectDirectory();
+	public File BootDirectory();
+	public File PropertiesFile();
+	
+	public Launcher launcher(File base, String mainClassName);
+}

launch/interface/src/main/java/xsbti/boot/MainResult.java

@@ -0,0 +1,4 @@
+package xsbti.boot;
+
+public interface MainResult {}
+

launch/interface/src/main/java/xsbti/boot/Reboot.java

@@ -0,0 +1,5 @@
+package xsbti.boot;
+public interface Reboot extends MainResult
+{
+	public String[] arguments();
+}

launch/interface/src/main/java/xsbti/boot/SbtConfiguration.java

@@ -0,0 +1,9 @@
+package xsbti.boot;
+
+public interface SbtConfiguration
+{
+	public String[] arguments();
+	public String scalaVersion();
+	public String sbtVersion();
+	public Launcher launcher();
+}

launch/interface/src/main/java/xsbti/boot/SbtMain.java

@@ -0,0 +1,6 @@
+package xsbti.boot;
+
+public interface SbtMain
+{
+	public MainResult run(SbtConfiguration configuration);
+}

launch/interface/src/main/java/xsbti/boot/ScalaProvider.java

@@ -0,0 +1,9 @@
+package xsbti.boot;
+
+import java.io.File;
+
+public interface ScalaProvider
+{
+	public ClassLoader getScalaLoader(String scalaVersion);
+	public File getScalaHome(String scalaVersion);
+}