| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/SAFERPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 754 B |
|
Quelle ThrusterSelectionTable.vdmpp Sprache: VDM |
|||||||||
|
\section{ThrusterSelection Class}
\begin{vdm_al} class ThrusterSelectionTable types public ThrSelMap = map (Command`Direction * Command`Direction * Command`Direction) to ThrusterControl`ThrSel; instance variables selections : ThrSelMap := {|->}; operations public Lookup : Command`Direction * Command`Direction * Command`Direction ==> ThrusterControl`ThrSel Lookup(dir1, dir2, dir3) == return selections(mk_(dir1, dir2, dir3)); public MakeTable : ThrSelMap ==> () MakeTable(m) == selections:= m; end ThrusterSelectionTable \end{vdm_al} The test coverage table for the ThrusterSelectionTable class looks like: \begin{rtinfo}{vdm.tc}[ThrusterSelectionTable] \end{rtinfo} ¤ Dauer der Verarbeitung: 0.11 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28