Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/lebesgue/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 28.9.2014 mit Größe 249 kB image not shown  

Quellcode-Bibliothek alarm.vdmpp   Sprache: unbekannt

 
class Alarm

types

public String = seq of char;

instance variables 

descr    : String;
reqQuali : Expert`Qualification;

operations

public Alarm: Expert`Qualification * String ==> Alarm
Alarm(quali,str) ==
( descr := str;
  reqQuali := quali;
  return 7
);

pure public GetReqQuali: () ==> Expert`Qualification
GetReqQuali() ==
  return reqQuali;
  
end Alarm

96%


[ 0.13Quellennavigators  Projekt   ]