products/sources/formale Sprachen/Coq/doc/sphinx image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: alarm.vdmpp   Sprache: Unknown

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

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]