summaryrefslogtreecommitdiff
path: root/src/library/scala/compat/Platform.scala
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2008-04-02 11:02:48 +0000
committermichelou <michelou@epfl.ch>2008-04-02 11:02:48 +0000
commit66515781fa9823e200779e5d53aa244e46e22f02 (patch)
treef3824c1db7d18a44bb9a83b42c11c36998937c81 /src/library/scala/compat/Platform.scala
parent22d46fbdedc7ec93b1dccaa7f1dc85b17b6d549b (diff)
downloadscala-66515781fa9823e200779e5d53aa244e46e22f02.tar.gz
scala-66515781fa9823e200779e5d53aa244e46e22f02.tar.bz2
scala-66515781fa9823e200779e5d53aa244e46e22f02.zip
fixed #713
Diffstat (limited to 'src/library/scala/compat/Platform.scala')
-rw-r--r--src/library/scala/compat/Platform.scala9
1 files changed, 4 insertions, 5 deletions
diff --git a/src/library/scala/compat/Platform.scala b/src/library/scala/compat/Platform.scala
index a0a3fe07ab..03cf1d28e2 100644
--- a/src/library/scala/compat/Platform.scala
+++ b/src/library/scala/compat/Platform.scala
@@ -1,6 +1,6 @@
/* __ *\
** ________ ___ / / ___ Scala API **
-** / __/ __// _ | / / / _ | (c) 2002-2007, LAMP/EPFL **
+** / __/ __// _ | / / / _ | (c) 2002-2008, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
@@ -27,8 +27,9 @@ object Platform {
* @param destPos ..
* @param length ..
*/
- def arraycopy(src: AnyRef, srcPos: Int, dest: AnyRef, destPos: Int, length: Int): Unit =
+ def arraycopy(src: AnyRef, srcPos: Int, dest: AnyRef, destPos: Int, length: Int) {
System.arraycopy(src, srcPos, dest, destPos, length)
+ }
/** Create array of the same type as arrayInstance with the given
* length.
@@ -40,7 +41,7 @@ object Platform {
def createArray(elemClass: Class[_], length: Int): AnyRef =
java.lang.reflect.Array.newInstance(elemClass, length)
- def arrayclear(arr: Array[Int]): Unit = java.util.Arrays.fill(arr, 0)
+ def arrayclear(arr: Array[Int]) { java.util.Arrays.fill(arr, 0) }
def getClassForName(name: String): Class[_] = java.lang.Class.forName(name)
@@ -56,6 +57,4 @@ object Platform {
new OutputStreamWriter(new ByteArrayOutputStream).getEncoding()
}
-
}
-