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

   
Description Class Office

INTENTION

This class provides all definitions specific to all 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_O1 
NonFormal : The control panel should be movable in the offices, like a telephone.


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