|
\section{Strategy class}
\begin{vdm_al}
class Strategy
types
operations
protected strategyInit : () ==> ()
strategyInit() ==
is subclass responsibility;
protected strategyNotify : () ==> ()
strategyNotify() ==
is subclass responsibility;
protected strategyEnd : () ==> ()
strategyEnd() ==
is subclass responsibility;
protected handleEvents : () ==> ()
handleEvents() ==
is subclass responsibility;
end Strategy
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.21 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.
|
