B C D E F G H I M N P R S T U V

D

DateHeader - Class in tools
Simple utility code to provide a header for (random) test files
DateHeader() - Constructor for class tools.DateHeader
 
dateString() - Static method in class tools.DateHeader
 
Direction - Enum in models
The directions in which an elevator can move: down, up and stay
DirectionRequestButtonsOnFloors - Class in models
Tested by JUnit_DirectionRequestButtonsOnFloors and Validation_DirectionRequestButtonsOnFloors
For managing the state of the direction requests on all floors of an elevator (see ElevatorSpecification)
DirectionRequestButtonsOnFloors(int) - Constructor for class models.DirectionRequestButtonsOnFloors
Initialises all direction requests (up and down, on each floor) to be false
downPressedAtFloor(int) - Method in interface interfaces.ElevatorForController
Permits elevator controller to see if a request to go down has been made at a specified floor
downPressedAtFloor(int) - Method in interface interfaces.ElevatorForUsers
Permits elevator users to see if a request to go down has been made at a specified floor
downPressedAtFloor(int) - Method in class models.DirectionRequestButtonsOnFloors
Tested by JUnit_DirectionRequestButtonsOnFloors.test_Up_presses_cancels()
downPressedAtFloor(int) - Method in class models.Elevator
 

B C D E F G H I M N P R S T U V