Quellcode-Bibliothek Thruster.vdmpp
Interaktion und PortierbarkeitVDM
\section{Thruster Class}
\begin{vdm_al} class Thruster
types public On_Off = <On> | <Off>;
instancevariables state : On_Off := <Off>;
operations public
SetOn : () ==> ()
SetOn() == state := <On>;
public
SetOff : () ==> ()
SetOff() == state := <Off>;
public
GetState : () ==> On_Off
GetState() == returnstate;
end Thruster
\end{vdm_al}
The test coverage table for the Thruster class looks like:
\begin{rtinfo}{vdm.tc}[Thruster]
\end{rtinfo}
¤ Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.0.1Bemerkung:
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
