sbt/launch/LaunchConfiguration.scala

package xsbt.boot

import java.io.File

final case class LaunchConfiguration(scalaVersion: Version, app: Application, repositories: Seq[Repository], boot: BootSetup, logging: Logging) extends NotNull
{
	def getScalaVersion = Version.get(scalaVersion)
	def withScalaVersion(newScalaVersion: String) = LaunchConfiguration(Version.Explicit(newScalaVersion), app, repositories, boot, logging)
	def withApp(app: Application) = LaunchConfiguration(scalaVersion, app, repositories, boot, logging)
	def withAppVersion(newAppVersion: String) = LaunchConfiguration(scalaVersion, app.withVersion(Version.Explicit(newAppVersion)), repositories, boot, logging)
	def withVersions(newScalaVersion: String, newAppVersion: String) = LaunchConfiguration(Version.Explicit(newScalaVersion), app.withVersion(Version.Explicit(newAppVersion)), repositories, boot, logging)
}

sealed trait Version extends NotNull
object Version
{
	final case class Explicit(value: String) extends Version
	final case class Implicit(tpe: Implicit.Value, default: Option[String]) extends Version
	{
		require(default.isEmpty || !default.get.isEmpty, "Default cannot be empty")
	}

	object Implicit extends RichEnum
	{
		val Read = Value("read")
		val Prompt = Value("prompt")
		val ReadOrPrompt = Value("read-or-prompt")
		def apply(s: String, default: Option[String]): Either[String, Implicit] = fromString(s).right.map(t =>Implicit(t, default))
	}
	def get(v: Version) = v  match { case Version.Explicit(v) => v; case _ => throw new BootException("Unresolved version: " + v) }
	def default = Implicit(Implicit.ReadOrPrompt, None)
}

trait RichEnum extends Enumeration
{
	def fromString(s: String): Either[String, Value] = valueOf(s).toRight("Expected one of " + elements.mkString(","))
}

final case class Application(groupID: String, name: String, version: Version, main: String, components: Seq[String], crossVersioned: Boolean) extends NotNull
{
	def getVersion = Version.get(version)
	def withVersion(newVersion: Version) = Application(groupID, name, newVersion, main, components, crossVersioned)
	def toID = AppID(groupID, name, getVersion, main, components.toArray, crossVersioned)
}
case class AppID(groupID: String, name: String, version: String, mainClass: String, mainComponents: Array[String], crossVersioned: Boolean) extends xsbti.ApplicationID

object Application
{
	def apply(id: xsbti.ApplicationID): Application =
	{
		import id._
		Application(groupID, name, Version.Explicit(version), mainClass, mainComponents, crossVersioned)
	}
}

sealed trait Repository extends NotNull
object Repository
{
	final case class Maven(id: String, url: String) extends Repository
	final case class Ivy(id: String, url: String, pattern: String) extends Repository
	final case class Predefined(id: Predefined.Value) extends Repository

	object Predefined extends RichEnum
	{
		val Local = Value("local")
		val MavenLocal = Value("maven-local")
		val MavenCentral = Value("maven-central")
		val ScalaToolsReleases = Value("scala-tools-releases")
		val ScalaToolsSnapshots = Value("scala-tools-snapshot")
		def apply(s: String): Either[String, Predefined] = fromString(s).right.map(t => Predefined(t))
	}

	def defaults: Seq[Repository] = Predefined.elements.map(Predefined.apply).toList
}

final case class BootSetup(directory: File, properties: File) extends NotNull
final case class Logging(level: LogLevel.Value) extends NotNull
object LogLevel extends RichEnum
{
	val Debug = Value("debug")
	val Info = Value("info")
	val Warn = Value("warn")
	val Error = Value("error")
	def apply(s: String): Either[String, Logging] = fromString(s).right.map(t => Logging(t))
}

class AppConfiguration(val arguments: Array[String], val baseDirectory: File, val provider: xsbti.AppProvider) extends xsbti.AppConfiguration
// The exception to use when an error occurs at the launcher level (and not a nested exception).
// This indicates overrides toString because the exception class name is not needed to understand
// the error message.
class BootException(override val toString: String) extends RuntimeException