public interface DeviceLoader
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
AvailableDeviceDriver[] |
getAvailableDeviceDrivers()
Returns a list of all available device drivers.
|
void |
removeDevice(java.lang.String name)
Removes a previously added device.
|
AvailableDeviceDriver[] getAvailableDeviceDrivers() throws java.rmi.RemoteException, MicroscopeDriverException
java.rmi.RemoteException
MicroscopeDriverException
void removeDevice(java.lang.String name) throws java.rmi.RemoteException, MicroscopeDriverException, MicroscopeLockedException
name
- Name of the device.java.rmi.RemoteException
MicroscopeDriverException
MicroscopeLockedException