| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/Test-Suite/SQL P/xts/ Datei vom 4.1.2008 mit Größe 52 kB |
|
Quelle EmergencyBreak.vdmpp Sprache: VDM |
|||||||||
|
\section{The EmergencyBreak Class}
The EmergencyBreak class models the emergency break of a train. The instance variable maintains the state of the emergency break. There are operations for setting and unsetting the emergency break, and for getting the status of it. \begin{vdm_al} class EmergencyBreak instance variables emergencybreak : bool := false; operations public setEmergencyBreak : () ==> () setEmergencyBreak () == emergencybreak := true; public unsetEmergencyBreak : () ==> () unsetEmergencyBreak () == emergencybreak := false; pure public getEmergencyBreak : () ==> bool getEmergencyBreak () == return emergencybreak; end EmergencyBreak \end{vdm_al} ¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28