| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMRT/ChessWayRT/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 411 B |
|
Quelle Sensor.vdmrtSprache: VDM |
|||||||||||||||
|
class Sensor is subclass of ISensorReal instance variables -- sensor value value: real; operations -- constructor for Sensor public Sensor: real ==> Sensor Sensor(v) == value := v; -- default constructor for Sensor public Sensor: () ==> Sensor Sensor() == Sensor(0.0); -- get sensor value public GetValue: () ==> real GetValue() == ( IO`printf("GetValue = %s\n", [value]); return value ); end Sensor
¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet am 2026-04-28) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-05-26