| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/KLVPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 427 B |
|
Quelle MaxSpeedEvent.vdmpp Sprache: VDM |
|||||||||
|
\section{The MaxSpeedEvent Test Class}
The MaxSpeedEvent class implements a test event that does not perform any action, but returns the status of the maximal allowed speed of the train. \begin{vdm_al} class MaxSpeedEvent is subclass of Event operations public execute : KLV ==> Test`TestResult execute (klv) == ( let ms = klv.getMaxSpeed() in return mk_Test`MaxSpeed(ms) ); end MaxSpeedEvent \end{vdm_al} ¤ Dauer der Verarbeitung: 0.23 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28