|
\section{TranslationCommand Class}
\begin{vdm_al}
class TranslationCommand is subclass of Command
operations
public
Prioritize : () ==> ()
Prioritize() ==
axesdir := if axesdir(X) <> <Zero>
then axesdir ++ {Y |-> <Zero>, Z |-> <Zero>}
elseif axesdir(Y) <> <Zero>
then axesdir ++ {Z |-> <Zero>}
else axesdir;
end TranslationCommand
\end{vdm_al}
The test coverage table for the TranslationCommand class looks like:
\begin{rtinfo}{vdm.tc}[TranslationCommand]
\end{rtinfo}
¤ Dauer der Verarbeitung: 0.14 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.
|
