| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/CyberRailRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 440 B |
|
Quelle strategy.vdmrt Sprache: VDM |
|||||||||
|
\section{Strategy class}
\begin{vdm_al} class Strategy types operations protected strategyInit : () ==> () strategyInit() == is subclass responsibility; protected strategyNotify : () ==> () strategyNotify() == is subclass responsibility; protected strategyEnd : () ==> () strategyEnd() == is subclass responsibility; protected handleEvents : () ==> () handleEvents() == is subclass responsibility; end Strategy \end{vdm_al} ¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28