public interface RmiParameterClustering extends Remote
| Modifier and Type | Method and Description |
|---|---|
void |
rmiAddParameter(URL resource)
Adds a parameter that is loadable from the given resource.
|
Object |
rmiGet(String name)
Returns the value of the parameter with the given name.
|
Set<String> |
rmiGetAllParameterNames()
Returns a set of all parameters monitored by this parameter cluster.
|
void |
rmiRemoveParameter(String name)
Removes the parameter with the given name.
|
Object |
rmiSet(String name,
Object to)
Sets the value of the parameter of the given name to the specified value.
|
Object rmiGet(String name) throws RemoteException
RemoteExceptionObject rmiSet(String name, Object to) throws RemoteException
RemoteExceptionSet<String> rmiGetAllParameterNames() throws RemoteException
RemoteExceptionvoid rmiAddParameter(URL resource) throws RemoteException
RemoteExceptionvoid rmiRemoveParameter(String name) throws RemoteException
RemoteException