next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group BasicHumanMachineInterface Up: No Title Previous: Description Class LightScene

   
Description Class LightSceneOffice

INTENTION

This Class contains all the entities concerning a light scene for an office. In addition to the entities belonging to the basic class LightScene this class also contains the following entities.

Note that it is not possible for the machine to control the task light. Therefore, it is not considered here!

BASE CLASSES

Class   LightScene

Intention

: All definitions of description class LightScene are also provided here.

SIGNATURE

Timed Function  firstDeskLighting   LightScene:: LAMPS
Intention : This function represents the first lamp that should be used to reach the desired desk light of a room.
Scope : mh
Postreferences : msref LightSceneOffice : M_LSO1

Timed Function  secondDeskLighting   LightScene:: LAMPS
Intention : This function represents the second lamp that should be used to reach the desired desk light of a room.
Scope : mh
Postreferences : msref LightSceneOffice : M_LSO1
MACHINE SPECIFICATIONS

Property  M_LSO1 
Formal : ( (  firstDeskLighting =  secondDeskLighting ) )
NL : The first lamp that should be used to reach the desired desk light and the second lamp that should be used to reach the desired desk light are always different.


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group BasicHumanMachineInterface Up: No Title Previous: Description Class LightScene
Forest-System
1999-06-10