diff options
-rw-r--r-- | sources/scala/runtime/RunTime.java | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sources/scala/runtime/RunTime.java b/sources/scala/runtime/RunTime.java index d32a1fed8a..f5bfe0bf5f 100644 --- a/sources/scala/runtime/RunTime.java +++ b/sources/scala/runtime/RunTime.java @@ -336,6 +336,14 @@ public abstract class RunTime { public static void oarray_set(Object [] xs, int i, Object x) { xs[i] = x;} //######################################################################## + // Public Functions - Synchronization primitives + + /** @meta method [?T](scala.AnyRef,?T) ?T; */ + public static Object synchronised(Object lock, Object body) { + return body; + } + + //######################################################################## } // These classes may not be defined in class RunTime because inner |