-- -- class definition -- class HumidSensor issubclassof Sensor
-- -- instance variables -- instancevariables
finished : bool := false;
-- -- Operations definition section -- operations
public HumidSensor: nat * NetworkTypes`nodeType * nat ==> HumidSensor
HumidSensor (id, type, val) ==
(ID := id;
Type := type;
Value := val;
);
public Step: () ==> ()
Step () == --cycles(1E3)
Value := World`env.ReadHumid();
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 HumidSensor
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
