1 files changed, 152 insertions, 0 deletions
diff --git a/src/library/scalax/runtime/ScalaRunTime.scala b/src/library/scalax/runtime/ScalaRunTime.scala
new file mode 100755
index 0000000000..0c8416be89
--- /dev/null
+++ b/src/library/scalax/runtime/ScalaRunTime.scala
@@ -0,0 +1,152 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2009, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+
+// $Id: ScalaRunTime.scala 17000 2009-01-29 13:05:53Z odersky $
+
+
+package scalax.runtime
+
+/* The object <code>ScalaRunTime</code> provides ...
+ */
+object ScalaRunTime {
+
+  def isArray(x: AnyRef): Boolean = (x != null && x.getClass.isArray) || (x != null && x.isInstanceOf[BoxedArray[_]])
+  def isValueClass(clazz: Class[_]) = clazz.isPrimitive()
+
+  def forceBoxedArray[A <: Any](xs: Seq[A]): Array[A] = {
+    val array = new Array[A](xs.length)
+    var i = 0
+    for (x <- xs.elements) { array(i) = x; i += 1 }
+    array
+  }
+
+  def checkInitialized[T <: AnyRef](x: T): T =
+    if (x == null) throw new UninitializedError else x
+
+  abstract class Try[a] {
+    def Catch[b >: a](handler: PartialFunction[Throwable, b]): b
+    def Finally(handler: Unit): a
+  }
+
+  def Try[a](block: => a): Try[a] = new Try[a] with Runnable {
+    var result: a = _
+    var exception: Throwable = scala.runtime.ExceptionHandling.tryCatch(this)
+
+    def run(): Unit = result = block
+
+    def Catch[b >: a](handler: PartialFunction[Throwable, b]): b =
+      if (exception eq null)
+        result.asInstanceOf[b]
+      // !!! else if (exception is LocalReturn)
+      // !!!   // ...
+      else if (handler isDefinedAt exception)
+        handler(exception)
+      else
+        throw exception
+
+    def Finally(handler: Unit): a =
+      if (exception eq null)
+        result.asInstanceOf[a]
+      else
+        throw exception
+  }
+
+  def caseFields(x: Product): List[Any] = {
+    val arity = x.productArity
+    def fields(from: Int): List[Any] =
+      if (from == arity) List()
+      else x.productElement(from) :: fields(from + 1)
+    fields(0)
+  }
+
+  def _toString(x: Product): String =
+    caseFields(x).mkString(x.productPrefix + "(", ",", ")")
+
+  def _hashCode(x: Product): Int = {
+    var code = x.getClass().hashCode()
+    val arr =  x.productArity
+    var i = 0
+    while (i < arr) {
+      val elem = x.productElement(i)
+      code = code * 41 + (if (elem == null) 0 else elem.hashCode())
+      i += 1
+    }
+    code
+  }
+
+  def _equals(x: Product, y: Any): Boolean = y match {
+    case y1: Product if x.productArity == y1.productArity =>
+      val arity = x.productArity
+      var i = 0
+      while (i < arity && x.productElement(i) == y1.productElement(i))
+        i += 1
+      i == arity
+    case _ =>
+      false
+  }
+
+  def _equalsWithVarArgs(x: Product, y: Any): Boolean = y match {
+    case y1: Product if x.productArity == y1.productArity =>
+      val arity = x.productArity
+      var i = 0
+      while (i < arity - 1 && x.productElement(i) == y1.productElement(i))
+        i += 1
+      i == arity - 1 && {
+        x.productElement(i) match {
+          case xs: Seq[_] =>
+            y1.productElement(i) match {
+              case ys: Seq[_] => xs sameElements ys
+            }
+        }
+      }
+    case _ =>
+      false
+  }
+
+  //def checkDefined[T >: Null](x: T): T =
+  //  if (x == null) throw new UndefinedException else x
+
+  def Seq[a](xs: a*): Seq[a] = null // interpreted specially by new backend.
+
+  def arrayValue[A](x: BoxedArray[A], elemClass: Class[_]): AnyRef =
+    if (x eq null) null else x.unbox(elemClass)
+
+  def boxArray(value: AnyRef): BoxedArray[_] = value match {
+    case x: Array[Byte] => new BoxedByteArray(x)
+/*
+    case x: Array[Short] => new BoxedShortArray(x)
+    case x: Array[Char] => new BoxedCharArray(x)
+    case x: Array[Int] => new BoxedIntArray(x)
+    case x: Array[Long] => new BoxedLongArray(x)
+    case x: Array[Float] => new BoxedFloatArray(x)
+    case x: Array[Double] => new BoxedDoubleArray(x)
+    case x: Array[Boolean] => new BoxedBooleanArray(x)
+    case x: Array[AnyRef] => new BoxedObjectArray(x)
+*/
+    case x: BoxedArray[_] => x
+  }
+
+  /** Given any Scala value, convert it to a String.
+   *
+   * The primary motivation for this method is to provide a means for
+   * correctly obtaining a String representation of a value, while
+   * avoiding the pitfalls of naïvely calling toString on said value.
+   * In particular, it addresses the fact that (a) toString cannot be
+   * called on null and (b) depending on the apparent type of an
+   * array, toString may or may not print it in a human-readable form.
+   *
+   * @param arg the value to stringify
+   * @return a string representation of <code>arg</code>
+   *
+   */
+  def stringOf(arg : Any): String = arg match {
+    case null => "null"
+    case (arg : AnyRef) if isArray(arg) => boxArray(arg).deepToString
+    case arg => arg.toString
+  }
+}