| Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/VDM/VDMPP/MetroInterlockingPP/ (Wiener Entwicklungsmethode ©) |
|
SSL expert.vdmpp Sprache: VDM |
|||||||||
|
\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.17 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28