public interface PixelSizeManager
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
PixelSize |
addPixelSize(java.lang.String pixelSizeID)
Adds a new pixel size setting with the given ID.
|
PixelSize |
getPixelSize(java.lang.String pixelSizeID)
Returns the pixel size with the given ID.
|
PixelSize[] |
getPixelSizes()
Returns a list of all available pixel sizes.
|
void |
removePixelSize(java.lang.String pixelSizeID)
Removes the pixel size setting with the given ID.
|
PixelSize[] getPixelSizes() throws java.rmi.RemoteException
java.rmi.RemoteException
PixelSize getPixelSize(java.lang.String pixelSizeID) throws SettingException, java.rmi.RemoteException
pixelSizeID
- The ID of the pixel size setting.SettingException
java.rmi.RemoteException
PixelSize addPixelSize(java.lang.String pixelSizeID) throws MicroscopeLockedException, SettingException, java.rmi.RemoteException
pixelSizeID
- The ID of the pixel size setting which should be defined/re-defined.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 removePixelSize(java.lang.String pixelSizeID) throws MicroscopeLockedException, SettingException, java.rmi.RemoteException
pixelSizeID
- The ID of the pixel size setting which should be removed.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