public interface PixelSize
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
void |
addPixelSizeSetting(DeviceSetting setting)
Adds a setting to the list of settings.
|
double |
getPixelSize()
Returns the pixel size in micro meters.
|
java.lang.String |
getPixelSizeID()
Returns the ID of the pixel size setting.
|
DeviceSetting[] |
getPixelSizeSettings()
Returns all device settings corresponding to this pixel size.
|
void |
setPixelSize(double pixelSize)
Sets the pixel size in micro meters.
|
void |
setPixelSizeSettings(DeviceSetting[] newSettings)
Sets all device settings corresponding to this pixel size.
|
java.lang.String getPixelSizeID() throws java.rmi.RemoteException
java.rmi.RemoteException
DeviceSetting[] getPixelSizeSettings() throws java.rmi.RemoteException
java.rmi.RemoteException
void setPixelSizeSettings(DeviceSetting[] newSettings) throws MicroscopeLockedException, SettingException, java.rmi.RemoteException
newSettings
- device settings which have to be active for this pixel size setting to be actual.accessID
- The access ID of the current microscope object. If the microscope is locked with a different accessID, a MicroscopeLockedException is thrown.MicroscopeLockedException
SettingException
java.rmi.RemoteException
void addPixelSizeSetting(DeviceSetting setting) throws MicroscopeLockedException, SettingException, java.rmi.RemoteException
setting
- Setting to add.accessID
- The access ID of the current microscope object. If the microscope is locked with a different accessID, a MicroscopeLockedException is thrown.MicroscopeLockedException
SettingException
java.rmi.RemoteException
double getPixelSize() throws java.rmi.RemoteException
java.rmi.RemoteException
void setPixelSize(double pixelSize) throws MicroscopeLockedException, SettingException, java.rmi.RemoteException
pixelSize
- Pixel size in mico meters.accessID
- The access ID of the current microscope object. If the microscope is locked with a different accessID, a MicroscopeLockedException is thrown.MicroscopeLockedException
SettingException
java.rmi.RemoteException