next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class BlindedOfficeNeighb Up: No Title Previous: Description Class OfficeNeighb

   
Description Class BlindedOffice

INTENTION

This class provides all definitions specific to all offices with sun blinds and which are not connected by a door to a neighbour room. In addition to the definitions of the description class Room only the installation of the control panel is considered here.

FORMAL PARAMETERS

Function  numRad  NAT 
Intention : This parameter represents the number of radiators that belong to a room.

Function  numSunBlinds  NAT 
Intention : This parameter represents the number of sun blinds that belong to a room and which can be controlled by the machine.

Function  numDoorHallway  NAT 
Intention : This parameter represents the number of doors of a room to the hallway.

BASE CLASSES

Class   BlindedRoom(numRad  =  numRad, numSunBlinds  =  numSunBlinds, numDoorHallway  =  numDoorHallway)

Intention

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

REQUIREMENT SPECIFICATIONS

Property  R_BO1 
NonFormal : The control panel should be installed movable like a telephone in an office.


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