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

I

ImprovedStupidController - Class in models
The stupid controller ensures that the elevator moves from bottom to top to bottom ...
ImprovedStupidController(ElevatorForController) - Constructor for class models.ImprovedStupidController
 
installController(ControllerForElevator) - Method in interface interfaces.ElevatorSpecification
Update the lift controller component - intended to be done by an engineer
installController(ControllerForElevator) - Method in class models.Elevator
 
interfaces - package interfaces
 
invariant() - Method in interface interfaces.ClockSpecification
Tested by JUnit_ClockSpecification.test_invariant()
invariant() - Method in class models.Clock
 
invariant() - Method in class models.DirectionRequestButtonsOnFloors
The following safety conditions are required: number of floors must be at least 2 the number of up/down buttons is the same as the number of floors the down button on the bottom floor is disabled the up button on the top floor is disabled Tested by JUnit_DirectionRequestButtonsOnFloors.test_invariant()
invariant() - Method in class models.FloorButtonsInElevator
The following safety conditions are required: number of floors must be at least 2 the number of floor buttons is the same as the number of floors Tested by JUnit_FloorButtonsInElevator.test_invariant()
invariant() - Method in interface tools.HasInvariant
 
InvariantBroken - Exception in tools
InvariantBroken is raised when the invariant of a class is not true in the current state of the instance
InvariantBroken(String) - Constructor for exception tools.InvariantBroken
Constructor of the exception raised when invariants are broken

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