public class IntegerMonitor extends IntegerParameter
IntegerParameter
which
cannot be modified in the GUI (if the GUI is in use).valueProperty
Constructor and Description |
---|
IntegerMonitor(int value,
java.lang.String name)
Creates a new instance of this class, assuming the monitor
is not critical.
|
IntegerMonitor(int value,
java.lang.String name,
boolean critical)
Creates a new instance of this class.
|
Modifier and Type | Method and Description |
---|---|
void |
validate(java.lang.Number newValue)
This is a callback method which gets called whenever changes
to parameters (not only its own instance) are made.
|
get
getStatus, isCritical, isMonitor, set, toString, valueProperty
public IntegerMonitor(int value, java.lang.String name)
value
- the initial value for this monitor.name
- the name of this monitor, for GUI display.public IntegerMonitor(int value, java.lang.String name, boolean critical)
value
- the initial value for this monitor.name
- the name of this monitor, for GUI display.critical
- true if the monitor is critical.public void validate(java.lang.Number newValue)
Parameter
status
field according to the
new value, so that the user can be informed if any parameters
are currently set to invalid values.validate
in class IntegerParameter
newValue
- the new value.