|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |