Description Class Room

INTENTION

This class extends the description class BasicRoom with the definitions concerning those objects of which in each room at least one instantiation is installed but where the concrete number of instantions can vary from room to room.

In addition to the objects introduced in description class BasicRoom each room is equipped with

• numDoorHallway many doors to the hallway

FORMAL PARAMETERS

Function	numDoorHallway  NAT

Intention

:

This parameter represents the number of doors of a room to the hallway.

BASE CLASSES

Class	BasicRoom

Intention

:

All definitions of description class BasicRoom are also provided here.

SIGNATURE

Object	hallwayDoor  :  Door[ numDoorHallway]

Intention

:

Each object represents one door of a room to the hallway.