public interface Control
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
Coordinator |
get_coordinator()
get Coordinator.
|
Terminator |
get_terminator()
get Terminator.
|
Terminator get_terminator() throws java.rmi.RemoteException
java.rmi.RemoteException
- if a remote exception occursCoordinator get_coordinator() throws java.rmi.RemoteException
java.rmi.RemoteException
- if a remote exception occurs