blob: 5c1a83e95d061859a7d2e6840cf620638f3bbc53 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
package jcgp.backend.parameters.monitors;
import jcgp.backend.parameters.IntegerParameter;
/**
* This is a special type of {@code IntegerParameter} which
* cannot be modified in the GUI (if the GUI is in use).
*
* @author Eduardo Pedroni
*
*/
public class IntegerMonitor extends IntegerParameter {
/**
* Creates a new instance of this class, assuming the monitor
* is not critical.
*
* @param value the initial value for this monitor.
* @param name the name of this monitor, for GUI display.
*/
public IntegerMonitor(int value, String name) {
super(value, name, true, false);
}
/**
* Creates a new instance of this class.
*
* @param value the initial value for this monitor.
* @param name the name of this monitor, for GUI display.
* @param critical true if the monitor is critical.
*/
public IntegerMonitor(int value, String name, boolean critical) {
super(value, name, true, critical);
}
@Override
public void validate(Number newValue) {
/*
* Blank by default.
* Instances should override this as necessary.
*
*/
}
}
|
