blob: 9b00c8c1dba514bcc36a19cb97a12ef2850fcd9e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2008, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | http://scala-lang.org/ **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id: RemoteCharRef.scala 18398 2009-07-28 14:26:36Z michelou $
package scala.runtime.remoting
import java.rmi.server.{UnicastRemoteObject, Unreferenced}
import scala.runtime.{CharRef, RemoteRef}
/**
* The trait Remote<code>RemoteCharRef</code> provides a remote interface
* for manipulating character references.
*
* @author Stephane Micheloud
* @version 1.0
*/
@remote
trait RemoteCharRef {
def elem_=(value: Char)
def elem: Char
}
/**
* The class <code>RemoteCharRefImpl</code> implements a remote (global)
* character reference by inheriting from the class
* <code>UnicastRemoteObject</code>.
*
* In particular, it forwards method invocations to the <code>elem</code>
* accessors of class <code>runtime.CharRef</code> and implements the
* <code>java.rmi.server.Unreferenced</code> interface to automatically
* remove the no more referenced binding from the registry.
*
* @author Stephane Micheloud
* @version 1.0
*/
class RemoteCharRefImpl(name: String, x: CharRef)
extends UnicastRemoteObject with RemoteCharRef with Unreferenced {
def elem_=(value: Char) { x.elem = value }
def elem: Char = x.elem
override def toString() = x.elem.toString
def unreferenced() {
Debug.info("[RemoteCharRefImpl] unreferenced: "+this)
RemoteRef.unbind(name)
}
}
|