|
\section{RotationCommand Class}
\begin{vdm_al}
class RotationCommand is subclass of Command
operations
public
RotCmdsPresent : () ==> bool
RotCmdsPresent() ==
return (exists a in set dom axesdir & axesdir(a) <> <Zero>);
end RotationCommand
\end{vdm_al}
The test coverage table for the RotationCommand class looks like:
\begin{rtinfo}{vdm.tc}[RotationCommand]
\end{rtinfo}
¤ Dauer der Verarbeitung: 0.27 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
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.
|
