TemperatureMeasurement/TemperatureMeasurement.groovy

   1 //Create a class for temperature measurement
   2 package TemperatureMeasurement
   3 import Timer.SimulatedTimer
   4
   5 public class TemperatureMeasurement {
   6         private String id
   7         private String label
   8         private String displayName
   9         private int temperature
  10         private int currentTemperature
  11
  12         TemperatureMeasurement(String id, String label, String displayName, int temperature) {
  13                 this.id = id
  14                 this.label = label
  15                 this.displayName = displayName
  16                 this.temperature = temperature
  17                 this.currentTemperature = temperature
  18         }
  19
  20         //By Model Checker
  21         def setValue(String value) {
  22                 println("the temperature is changed to $value!")
  23                 this.temperature = value.toInteger()
  24                 this.currentTemperature = value.toInteger()
  25         }
  26
  27 }