Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
InterruptEvent.vdmrt
Sprache: VDM
|
\begin{vdm_al}
class InterruptEvent is subclass of Event
operations
public InterruptEvent: nat ==> InterruptEvent
InterruptEvent (pne) == Event(pne)
end InterruptEvent
\end{vdm_al}
[ zur Elbe Produktseite wechseln0.15Quellennavigators
Analyse erneut starten
]
|
