products/Sources/formale Sprachen/VDM/VDMPP/CashDispenserPP/test/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

Eine gültige URL mit maximaler Größe von 2000 Bytes

Datei:   Sprache: VDM

Untersuchung 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 : System ==> Test`TestResult
  execute(system) ==
    is subclass responsibility;

end Event
\end{vdm_al}

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.17Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff