public interface Property
extends java.rmi.Remote
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getDeviceID()
Returns the name of the device where this property belongs to.
|
java.lang.String |
getPropertyID()
Returns the name of the device property.
|
PropertyType |
getType()
Returns the type of this device property.
|
java.lang.String |
getValue()
Returns the current value of the device property as a string.
|
boolean |
isEditable()
Returns true if property is editable and false if not.
|
void |
setValue(java.lang.String value)
Sets the current value of the property.
|
java.lang.String getDeviceID() throws java.rmi.RemoteException
java.rmi.RemoteException
java.lang.String getPropertyID() throws java.rmi.RemoteException
java.rmi.RemoteException
PropertyType getType() throws java.rmi.RemoteException
java.rmi.RemoteException
java.lang.String getValue() throws java.rmi.RemoteException, MicroscopeException, java.lang.InterruptedException
java.rmi.RemoteException
MicroscopeException
java.lang.InterruptedException
void setValue(java.lang.String value) throws java.rmi.RemoteException, MicroscopeException, MicroscopeLockedException, java.lang.InterruptedException, DeviceException
value
- Value to set the property to.java.rmi.RemoteException
MicroscopeException
MicroscopeLockedException
java.lang.InterruptedException
DeviceException
- Thrown if value does not correspond to property type.boolean isEditable() throws java.rmi.RemoteException
java.rmi.RemoteException