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

   
Description Class NoOffice

INTENTION

This class provides all definitions specific to rooms that are no offices. In addition to the definitions of the description class Room only the installation of the control panel is considered here.

FORMAL PARAMETERS

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

BASE CLASSES

Class   Room(numDoorHallway  =  numDoorHallway)

Intention

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

REQUIREMENT SPECIFICATIONS

Property  R_NO1 
NonFormal : The control panel should be installed near a door to the hallway.


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