|
|||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
JUnit_ClockSpecification.test_invariant()
JUnit_DirectionRequestButtonsOnFloors.test_invariant()
JUnit_FloorButtonsInElevator.test_invariant()
InvariantBroken
is raised when the invariant of a class is not true in
the current state of the instance
|
|||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |