Uses of Class
tools.InvariantBroken

Packages that use InvariantBroken
models   
 

Uses of InvariantBroken in models
 

Methods in models that throw InvariantBroken
 void DirectionRequestButtonsOnFloors.cancelDownRequest(int floor)
          Cancel the down request at the specified floor
Tested by JUnit_DirectionRequestButtonsOnFloors.test_Down_presses_cancels()
 void DirectionRequestButtonsOnFloors.cancelUpRequest(int floor)
          Cancel the up request at the specified floor
Tested by JUnit_DirectionRequestButtonsOnFloors.test_Up_presses_cancels()
 void DirectionRequestButtonsOnFloors.pressDown(int floor)
          Update the down button request except if it is made on bottom floor
Tested by JUnit_DirectionRequestButtonsOnFloors.test_Down_presses_cancels()
 void DirectionRequestButtonsOnFloors.pressUp(int floor)
          Update the up button request except if it is made on top floor
Tested by JUnit_DirectionRequestButtonsOnFloors.test_Up_presses_cancels()
 

Constructors in models that throw InvariantBroken
DirectionRequestButtonsOnFloors(int numberOfFloors)
          Initialises all direction requests (up and down, on each floor) to be false