| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/CMConcPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1 kB |
|
Quelle fighteraircraft.vdmpp Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class CM instance variables -- maintain a link to the detector public static detector : MissileDetector := new MissileDetector(nil); public static sensor0 : Sensor := new Sensor(detector,0); public static sensor1 : Sensor := new Sensor(detector,90); public static sensor2 : Sensor := new Sensor(detector,180); public static sensor3 : Sensor := new Sensor(detector,270); public static controller0 : FlareController := new FlareController(0, nil); public static controller1 : FlareController := new FlareController(120, nil); public static controller2 : FlareController := new FlareController(240, nil); public static dispenser0 : FlareDispenser := new FlareDispenser(0, nil); public static dispenser1 : FlareDispenser := new FlareDispenser(30, nil); public static dispenser2 : FlareDispenser := new FlareDispenser(60, nil); public static dispenser3 : FlareDispenser := new FlareDispenser(90, nil); public static dispenser4 : FlareDispenser := new FlareDispenser(0, nil); public static dispenser5 : FlareDispenser := new FlareDispenser(30, nil); public static dispenser6 : FlareDispenser := new FlareDispenser(60, nil); public static dispenser7 : FlareDispenser := new FlareDispenser(90, nil); public static dispenser8 : FlareDispenser := new FlareDispenser(0, nil); public static dispenser9 : FlareDispenser := new FlareDispenser(30, nil); public static dispenser10 : FlareDispenser := new FlareDispenser(60, nil); public static dispenser11 : FlareDispenser := new FlareDispenser(90, nil); end CM \end{vdm_al} ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28