| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL P/xop/ Datei vom 4.1.2008 mit Größe 11 kB |
|
Quelle Thermostat.vdmpp Sprache: VDM |
|||||||||
|
--The Thermostat Class
----------------------------------------------- -- Author: Sune Wolff - 20022462 -- Created: 21/4 - 2008 -- Updated: -- Description: Thermostat sub class ----------------------------------------------- -- -- class definition -- class Thermostat is subclass of Actuator -- -- Operations definition section -- operations public Thermostat: nat * NetworkTypes`nodeType ==> Thermostat Thermostat (id, type) == (ID := id; Type := type; Corr := <NONE>; ); public Step: () ==> () Step() == (if (Corr = <INC>) then World`env.IncTemp() elseif (Corr = <DEC>) then World`env.DecTemp(); ); public SetCorrection: NetworkTypes`correction ==> () SetCorrection(cor) == Corr := cor pre (cor = <INC>) or (cor = <DEC>) or (cor = <NONE>); public GetCorrection: () ==> NetworkTypes`correction GetCorrection() == return Corr; end Thermostat ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28