Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/PVS/TRS/ (Beweissystem der NASA Version 6.0.9^©) Datei vom 28.9.2014 mit Größe 852 B

Quelle HomeAutomation.vdmpp Sprache: unbekannt

--The HA Class

-----------------------------------------------
-- Author: Sune Wolf - 20022462
-- Created: 20/4 - 2008
-- Updated:
-- Description: System class in the HomeAutomation project
-----------------------------------------------

--
-- class definition
--
class HA

--
-- instance variables
--
instance variables

public static Host : HostController := new HostController(22, 75);
public static TempNode : TemperatureSensor := new TemperatureSensor(1, <TEMPSENSOR>, 0);
public static HumidNode : HumidSensor := new HumidSensor(2, <HUMIDSENSOR>, 0);
public static ThermNode : Thermostat := new Thermostat(3, <THERMOSTAT>);
public static WinNode : Window := new Window(4, <WINDOW>);

--
-- Types definition section
--
types

--
-- Operations definition section
--
operations

public HA: () ==> HA
HA() ==
  (Host.AddNode(TempNode.GetID(), TempNode.GetType());
  Host.AddNode(HumidNode.GetID(), HumidNode.GetType());
  Host.AddNode(ThermNode.GetID(), ThermNode.GetType());
  Host.AddNode(WinNode.GetID(), WinNode.GetType());
  );

--
-- Functions definition section
--
functions

--
-- Values definition section
--
values

end HA

quality76%