| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/AlarmPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 473 B |
|
Quelle alarm.vdmpp Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class Alarm types \end{vdm_al} \begin{vdm_al} types public String = seq of char; instance variables descr : String; reqQuali : Expert`Qualification; \end{vdm_al} \begin{vdm_al} operations public Alarm: Expert`Qualification * String ==> Alarm Alarm(quali,str) == ( descr := str; reqQuali := quali ); \end{vdm_al} \begin{vdm_al} pure public GetReqQuali: () ==> Expert`Qualification GetReqQuali() == return reqQuali; end Alarm \end{vdm_al} ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28