Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
SYSTEM-HW-thermistor.vdmpp
Sprache: VDM
|
class Thermistor
instance variables
realworld_liquid : Liquid;
operations
public
Setup: RealWorld1 | RealWorld2 ==> ()
Setup(realworld) ==
realworld_liquid := realworld.liquid;
public
GetTemperature: () ==> real
GetTemperature() ==
return realworld_liquid.GetTemperature();
end Thermistor
[ Dauer der Verarbeitung: 0.1 Sekunden
(vorverarbeitet)
]
|
