Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
SYSTEM-HW-liquid-level-sensor.vdmpp
Sprache: VDM
|
class LiquidLevelSensor
instance variables
realworld_liquid : Liquid;
operations
public
Setup: RealWorld1 | RealWorld2 ==> ()
Setup(realworld) ==
realworld_liquid := realworld.liquid;
pure public
IsOn: () ==> bool
IsOn() ==
return realworld_liquid.GetAmount() > 0;
end LiquidLevelSensor
[ zur Elbe Produktseite wechseln0.13Quellennavigators
Analyse erneut starten
]
|
