public interface MicroscopeConfigurationListener
extends java.util.EventListener, java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
void |
deviceRemoved(java.lang.String deviceID)
Called when a previously defined device was removed.
|
void |
labelChanged(DeviceSetting oldLabel,
DeviceSetting newLabel)
Called when a label of a state device changed its name.
|
void |
microscopeUninitialized()
Called when the microscope is uninitialized.
|
void microscopeUninitialized() throws java.rmi.RemoteException
java.rmi.RemoteException
void deviceRemoved(java.lang.String deviceID) throws java.rmi.RemoteException
deviceID
- The ID of the removed device.java.rmi.RemoteException
void labelChanged(DeviceSetting oldLabel, DeviceSetting newLabel) throws java.rmi.RemoteException
oldLabel
- Setting containing the old label.newLabel
- Setting containing the new label.java.rmi.RemoteException