| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/iiossRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 672 B |
|
Quelle Sensor.vdmrt Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class Sensor is subclass of IIOSSTYPES instance variables private stableController : StableController; private pigs: set of PigId := {}; operations public Sensor: StableController ==> Sensor Sensor(controller) == ( stableController := controller; return self; ); async public trip : EventType * PigId * [Position] ==> () trip(eventType,pigId, position) == ( if (eventType = <PIG_NEW>) then ( stableController.AddPig(pigId, self, position); ) elseif (eventType = <PIG_MOVED>) then ( stableController.RemovePig(pigId); ); ); end Sensor \end{vdm_al} \begin{rtinfo} [TotalxCoverage]{vdm.tc}[Sensor] \end{rtinfo} ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28