INTENTION
This class provides all definitions specific to rooms that are no offices and which are connected by at least one door to a neighbor room. In addition to the definitions of the description class NoOffice the definitions of the description class NeighborRoomConnections are inherited.
| Postreferences | : | lsref Floor : cl422 |
| lsref Floor : cl418 |
FORMAL PARAMETERS
| Function | numDoorHallway  NAT |
|---|
| Intention | : | This parameter represents the number of doors of a room to the hallway. |
| Postreferences | : | lsref NoOfficeNeighbor : NoOffice |
| Function | numDoorNeighbor NAT |
|---|
| Intention | : | This parameter represents the number of doors of a room to neighbor rooms. |
| Postreferences | : | lsref NoOfficeNeighbor : NeighborRoomConnections |
| msref NoOfficeNeighbor : M_NON1 |
BASE CLASSES
| Class | NoOffice(numDoorHallway = numDoorHallway) |
|---|
Intention |
: | All definitions of a description class NoOffice are inherited. |
| Class | NeighborRoomConnections(numDoorNeighbor = numDoorNeighbor) |
|---|
Intention |
: | All definitions of description class NeighborRoomConnections are inherited. |
MACHINE SPECIFICATIONS
| Property | M_NON1 |
|---|
| Formal | : |  ( closedDoorContactNeighborMal 
 n  NAT ( numDoorNeighbor ) :
neighborDoor[n]. doorClosedContact. malSens. malDetMach ) |
| NL | : | A door closed contact of a door to a neighbor room has a malfunction if and only if at least one of these contacts has a malfunction. |