products/sources/formale Sprachen/VDM/VDMPP/KLVPP image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Event.vdmpp   Sprache: VDM

Original von: VDM©

\section{The Event Class}

The Event class is the abstract super class of the class hierarchy of
test events. Each class implementing this event class must define an
execute operation.

\begin{vdm_al}
class Event

operations

  public
  execute : KLV ==> Test`TestResult
  execute (-) ==
    is subclass responsibility;

end Event
\end{vdm_al}

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤





Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff