| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/HomeautomationSeqPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 764 B |
|
Quelle Sensor.vdmpp Sprache: VDM |
|||||||||
|
--The Sensor Class
----------------------------------------------- -- Author: Sune Wolff - 20022462 -- Created: 20/4 - 2008 -- Updated: -- Description: Sensor superclass for HomeAutomation project ----------------------------------------------- -- -- class definition -- class Sensor -- -- instance variables -- instance variables protected ID : nat; protected Type : NetworkTypes`nodeType; protected Value : nat; protected Env : Environment; -- -- Operations definition section -- operations public GetID: () ==> nat GetID() == return ID; public GetType: () ==> NetworkTypes`nodeType GetType() == return Type; public ReadValue: () ==> nat ReadValue() == return Value; public Step: () ==> () Step() == is subclass responsibility end Sensor ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28