|
\begin{vdm_al}
class Expert
instance variables
quali : set1 of Qualification;
\end{vdm_al}
\begin{vdm_al}
types
public Qualification = <Mech> | <Chem> | <Bio> | <Elec>;
\end{vdm_al}
\begin{vdm_al}
operations
public Expert: set1 of Qualification ==> Expert
Expert(qs) ==
quali := qs;
\end{vdm_al}
\begin{vdm_al}
pure public GetQuali: () ==> set of Qualification
GetQuali() ==
return quali;
end Expert
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.18 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.
|
