Quelle  HumidSensor.vdmpp

--The HumidSensor Class

-----------------------------------------------
-- Author: Sune Wolff - 20022462
-- Created: 21/4 - 2008
-- Updated:
-- Description:  Humiditor sensor class for HomeAutomation project
-----------------------------------------------

--
-- class definition
--
class HumidSensor is subclass of Sensor

--
-- Operations definition section
--
operations

public HumidSensor: nat * NetworkTypes`nodeType * nat ==> HumidSensor
 HumidSensor (id, type, val) ==
  (ID := id;
  Type := type;
  Value := val;
  );

public Step: () ==> ()
 Step() ==
  (Value := World`env.ReadHumid();
  );

end HumidSensor