| products/Sources/formale Sprachen/VDM/VDMPP/KLVPP/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: Sprache: VDMUntersuchung 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} ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.13Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.Entwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
