From 259221ca993b17f77a72e747a3b9cc3f7b905c0e Mon Sep 17 00:00:00 2001
From: paltherr <paltherr@epfl.ch>
Date: Mon, 19 May 2003 16:52:38 +0000
Subject: - Reverted changes to arrays

---
 sources/scala/Array.java           |  5 +++++
 sources/scala/Predef.scala         | 11 -----------
 sources/scala/runtime/RunTime.java | 22 +++++++++++-----------
 3 files changed, 16 insertions(+), 22 deletions(-)

(limited to 'sources')

diff --git a/sources/scala/Array.java b/sources/scala/Array.java
index b8b1ae1c30..657210603e 100644
--- a/sources/scala/Array.java
+++ b/sources/scala/Array.java
@@ -15,6 +15,11 @@ package scala;
  */
 public abstract class Array implements Function1 {
 
+    /** @meta constr (scala.Int);
+     */
+    public Array(int n) {
+    }
+
     public boolean[] asBooleanArray() {
         throw new ClassCastException();
     }
diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala
index 6f69c4453e..6ead2be1c1 100644
--- a/sources/scala/Predef.scala
+++ b/sources/scala/Predef.scala
@@ -15,17 +15,6 @@ object Predef {
   def List[a](x: a*): List[a] = x as List[a];
   val List = scala.List;
 
-  def Array[a <: AnyRef](classname: String)(x: a*): Array[a] = {
-    System.out.println("array1");
-    val xs0: Array[java.lang.Object] = runtime.RunTime.oarray(x.length, classname);
-    val xs: Array[a] = xs0 as Array[a];
-    System.out.println("array2");
-    val elems = x.elements;
-    var i = 0;
-    while (elems.hasNext) { xs(i) = elems.next; System.out.println(xs(i)) }
-    xs
-  }
-
   def error(x: String): All = new java.lang.RuntimeException(x).throw;
 
   def try[a](def block: a): Except[a] =
diff --git a/sources/scala/runtime/RunTime.java b/sources/scala/runtime/RunTime.java
index 9766085243..d9f02392d3 100644
--- a/sources/scala/runtime/RunTime.java
+++ b/sources/scala/runtime/RunTime.java
@@ -351,7 +351,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final boolean[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public boolean[] asBooleanArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Boolean)x).asBoolean(); }
@@ -361,7 +361,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final byte[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public byte[] asByteArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Byte)x).asByte(); }
@@ -371,7 +371,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final short[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public short[] asShortArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Short)x).asShort(); }
@@ -381,7 +381,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final char[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public char[] asCharArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Char)x).asChar(); }
@@ -391,7 +391,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final int[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public int[] asIntArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Int)x).asInt(); }
@@ -401,7 +401,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final long[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public long[] asLongArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Long)x).asLong(); }
@@ -411,7 +411,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final float[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public float[] asFloatArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Float)x).asFloat(); }
@@ -421,7 +421,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final double[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public double[] asDoubleArray() { return xs; }
 	    public Object apply(int i) { return box(xs[i]); }
 	    public void update(int i, Object x) { xs[i] = ((Double)x).asDouble(); }
@@ -431,7 +431,7 @@ public abstract class RunTime {
     }
 
     public static Array box(final Object[] xs) {
-	return new Array() {
+	return new Array(0) {
 	    public Object[] asObjectArray() { return xs; }
 	    public Object apply(int i) { return xs[i]; }
 	    public void update(int i, Object x) { xs[i] = x; }
@@ -472,10 +472,10 @@ public abstract class RunTime {
         return new double[length];
     }
 
-    public static Object[] oarray(int length, String classname) {
+    public static Object oarray(int length, String classname) {
         try {
             Class clasz = Class.forName(classname, false, loader);
-            return (Object[]) java.lang.reflect.Array.newInstance(clasz, length);
+            return java.lang.reflect.Array.newInstance(clasz, length);
         } catch (ClassNotFoundException exception) {
             throw new Error(exception.toString());
         }
-- 
cgit v1.2.3