| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/HomeAutomationRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 738 B |
|
Quelle Sensor.vdmrt Sprache: VDM |
|||||||||
|
-----------------------------------------------
-- 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 : int; -- -- Operations definition section -- operations public GetID: () ==> nat GetID() == return ID; public GetType: () ==> NetworkTypes`nodeType GetType() == return Type; public ReadValue: () ==> int ReadValue() == --cycles (1E3) return Value; public Step: () ==> () Step() == is subclass responsibility end Sensor ¤ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28