-- -- class definition -- class TemperatureSensor issubclassof Sensor
-- -- instance variables -- instancevariables
finished : bool := false;
-- -- Operations definition section -- operations
public TemperatureSensor: nat * NetworkTypes`nodeType * int ==> TemperatureSensor
TemperatureSensor (id, type, val) ==
(ID := id;
Type := type;
Value := val;
);
public Step: () ==> ()
Step() == --cycles(1E3)
Value := World`env.ReadTemp();
public IsFinished: () ==> ()
IsFinished() == skip;
sync --mutex(PeriodicOp); -- ADDED per IsFinished => finished;
-- -- Thread definition section -- thread
-- period of thread (period, jitter, delay, offset) periodic(1000E6,0,0,0) (Step)
end TemperatureSensor
[ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
]
