INTENTION
This class provides all definitions to describe a door. A door contains three door contacts.
SIGNATURE
| Object | doorClosedContact : DoorContact |
|---|
| Intention | : | This object represents the closed contact of a door. It is true iff the door is completely closed. |
| Object | doorOpenContact : DoorContact |
|---|
| Intention | : | This object represents the open contact of a door. It is true iff the door is open for at least 30 degree. |
| Object | doorLockContact : DoorContact |
|---|
| Intention | : | This object represents the lock contact of a door. It is true iff the door is locked by a key. |