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

F

FloorButtonsInElevator - Class in models
Tested by JUnit_FloorButtonsInElevator and Validation_FloorButtonsInElevator
For managing the state of the floor requests inside the elevator (see ElevatorSpecification)
FloorButtonsInElevator(int) - Constructor for class models.FloorButtonsInElevator
Initialises all floor requests (inside the elevator) to be false
floorPressedInElevator(int) - Method in interface interfaces.ElevatorForController
Permits elevator controller to see if there is a request to a particular floor
floorPressedInElevator(int) - Method in interface interfaces.ElevatorForUsers
Permits elevator users inside the elevator to see if there is a request to a particular floor
floorPressedInElevator(int) - Method in class models.Elevator
 
floorPressedInElevator(int) - Method in class models.FloorButtonsInElevator
Tested by JUnit_FloorButtonsInElevator.test_presses_cancels()

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