Package models

Class Summary
Clock  
DirectionRequestButtonsOnFloors Tested by JUnit_DirectionRequestButtonsOnFloors and Validation_DirectionRequestButtonsOnFloors
For managing the state of the direction requests on all floors of an elevator (see ElevatorSpecification)
Elevator  
EmergencyController The behaviour of an elevator when there is an emergency to be managed:
the elevator must always stay at the current floor and stop at the next floor if already moving.
FloorButtonsInElevator Tested by JUnit_FloorButtonsInElevator and Validation_FloorButtonsInElevator
For managing the state of the floor requests inside the elevator (see ElevatorSpecification)
ImprovedStupidController The stupid controller ensures that the elevator moves from bottom to top to bottom ...
StupidController The stupid controller ensures that the elevator moves from bottom to top to bottom ...
 

Enum Summary
Direction The directions in which an elevator can move: down, up and stay