Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
flarecontroller.vdmpp
Sprache: SML
class IActuatorReal
operations
-- set actuator value
public SetValue: real ==> ()
SetValue(v) ==
is subclass responsibility;
end IActuatorReal
[ Verzeichnis aufwärts0.14unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
|