INTENTION
This class provides all definitions that has to be added to the definitions of a room which is connected by a door to at least one neighbor room. Such rooms are equipped additionally with
Note that this description class is not derived from the description class Room in order to be able to combine this description class with each kind of room no matter whether it is an office or not.
Postreferences | : | lsref OfficeNeighbor : NeighborRoomConnections |
lsref NoOfficeNeighbor : NeighborRoomConnections |
FORMAL PARAMETERS
Function | numDoorNeighbor NAT |
---|
Intention | : | This parameter represents the number of doors of a room to neighbor rooms. |
Postreferences | : | lsref NeighborRoomConnections : neighborDoor |
dkref NeighborRoomConnections : D_NRC1 |
SIGNATURE
Object | neighborDoor : Door[ numDoorNeighbor] |
---|
Intention | : | Each object represents one door of a room to a neighbor room. |
Prereferences | : | akref BD_7 |
Postreferences | : | dkref Floor : D_F1 |
dkref Floor : D_F2 | ||
dkref Floor : D_F3 | ||
dkref Floor : D_F4 | ||
dkref Floor : D_F5 | ||
dkref Floor : D_F6 | ||
msref OfficeNeighbor : M_ON1 | ||
msref NoOfficeNeighbor : M_NON1 |
Property | D_NRC1 |
---|
Formal | : | ( numDoorNeighbor 2 ) |
NL | : | There are always at most two doors leading to a neighbor room. |
Prereferences | : | akref BD_7 |