35 |
|
|
36 |
DeltaSpace deltaSpace; |
DeltaSpace deltaSpace; |
37 |
|
|
38 |
/** Create a new mirror. |
/** Create a new mirror through RMI. |
39 |
* @param rmiName The name to give to java.rmi.Naming for |
* @param rmiName The name to give to java.rmi.Naming for |
40 |
* the Master object. |
* the Master object. |
41 |
* @param deltaSpace The empty deltaSpace object |
* @param deltaSpace The empty deltaSpace object |
46 |
tap = master.getTap(); |
tap = master.getTap(); |
47 |
update(); |
update(); |
48 |
} |
} |
49 |
|
|
50 |
|
/** Create a new mirror, to a given Master interface. |
51 |
|
*/ |
52 |
|
public Mirror(Master master, DeltaSpace deltaSpace) throws Exception { |
53 |
|
this.deltaSpace = deltaSpace; |
54 |
|
tap = master.getTap(); |
55 |
|
update(); |
56 |
|
} |
57 |
|
|
58 |
public Space getSpace() { |
public Space getSpace() { |
59 |
return deltaSpace; |
return deltaSpace; |