| products/Sources/formale Sprachen/VDM/VDMRT/oldcarradioRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 1012 B |
|
Quelle Logger.vdmrt Sprache: VDM |
|||||||||
|
\begin{vdm_al}
class Logger instance variables -- using the VDMTools standard IO library to create a trace file static io : IO := new IO(); static mode : <start> | <append> := <start> operations -- printNetworkEvent writes a time trace to the file mytrace.txt -- this file can be used for application specific post analysis public printNetworkEvent: seq of char * seq of char * nat ==> () printNetworkEvent (psrc, pdest, pid) == def - = io.fwriteval[seq of (seq of char | nat)] ("mytrace.txt", ["network", psrc, pdest, pid, time], mode) in mode := <append>; -- printInterruptEvent writes a time trace to the file mytrace.txt -- this file can be used for application specific post analysis public printInterruptEvent: seq of char * seq of char * nat ==> () printInterruptEvent (psrc, pdest, pid) == def - = io.fwriteval[seq of (seq of char | nat)] ("mytrace.txt", ["interrupt", psrc, pdest, pid, time], mode) in mode := <append>; end Logger \end{vdm_al} ¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28