aboutsummaryrefslogtreecommitdiffstats
path: root/src/jcgp/backend/parameters/monitors/IntegerMonitor.java
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.
		 *  
		 */
	}
}