diff options
-rw-r--r-- | config/list/library.lst | 2 | ||||
-rw-r--r-- | sources/scala/runtime/NativeMonitor.java | 34 |
2 files changed, 1 insertions, 35 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 2e2cebf101..0b42bc06cd 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -124,7 +124,7 @@ concurrent/NameServer.scala runtime/InterpreterSupport.java runtime/NativeLoop.java -runtime/NativeMonitor.java +# runtime/NativeMonitor.java runtime/ResultOrException.java runtime/RunTime.java runtime/ScalaRunTime.scala diff --git a/sources/scala/runtime/NativeMonitor.java b/sources/scala/runtime/NativeMonitor.java deleted file mode 100644 index 0afda00674..0000000000 --- a/sources/scala/runtime/NativeMonitor.java +++ /dev/null @@ -1,34 +0,0 @@ -/* __ *\ -** ________ ___ / / ___ Scala API ** -** / __/ __// _ | / / / _ | (c) 2003, LAMP/EPFL ** -** __\ \/ /__/ __ |/ /__/ __ | ** -** /____/\___/_/ |_/____/_/ | | ** -** |/ ** -** $Id$ -\* */ - -package scala.runtime; - - -public class NativeMonitor { - - /** @meta method [?A] (def ?A) ?A; - */ - public java.lang.Object synchronised(scala.Function0 p) { - java.lang.Object result; - synchronized(this) { - result = p.apply(); - } - return result; - } - - /** @meta method [?A] (scala.AnyRef, def ?A) ?A; - */ - public static java.lang.Object synchronised(java.lang.Object any, scala.Function0 p) { - java.lang.Object result; - synchronized(any) { - result = p.apply(); - } - return result; - } -} |