Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: Options.pas.~90~ 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.1Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤

Druckansicht unsichere Verbindung
Druckansicht Hier finden Sie eine Liste der Produkte des Unternehmens
Mittel

Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig

Ziele

Entwicklung einer Software für die statische Quellcodeanalyse