| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/HomeAutomationConcPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 936 B |
|
Quelle Surroundings.vdmpp Sprache: VDM |
|||||||||
|
class Surroundings
instance variables private envTemp : nat; private envHumid : nat; operations public Surroundings: () ==> Surroundings Surroundings() == (envTemp := 20; envHumid := 75; ); public SetTemp: nat ==> () SetTemp(t) == envTemp := t; public SetHumid: nat ==> () SetHumid(h) == envHumid := h; pure public ReadTemp: () ==> nat ReadTemp() == return envTemp; public IncTemp: () ==> () IncTemp() == envTemp := envTemp + 1; public DecTemp: () ==> () DecTemp() == envTemp := envTemp - 1; pure public ReadHumid: () ==> nat ReadHumid() == return envHumid; public IncHumid: () ==> () IncHumid() == envHumid := envHumid + 1; public DecHumid: () ==> () DecHumid() == envHumid := envHumid - 1; sync mutex(IncTemp); mutex(DecTemp); mutex(SetTemp); mutex(IncTemp, DecTemp, SetTemp); mutex(IncHumid); mutex(DecHumid); mutex(SetHumid); mutex(IncHumid, DecHumid, SetHumid); end Surroundings ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28