//Create a class for temperature measurement
package TemperatureMeasurement
import Timer.SimulatedTimer

public class TemperatureMeasurement {
	private String id
	private String label
	private String displayName
	private int temperature

	TemperatureMeasurement(String id, String label, String displayName, int temperature) {
		this.id = id
		this.label = label
		this.displayName = displayName
		this.temperature = temperature
	}

	//By Model Checker
	def setValue(String value) {
		println("the temperature is changed to $value!")
		this.temperature = value.toInteger()
	}

}