|
|||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use HasInvariant | |
---|---|
interfaces | |
models |
Uses of HasInvariant in interfaces |
---|
Subinterfaces of HasInvariant in interfaces | |
---|---|
interface |
ClockSpecification
A clock used to count time increments Tested by JUnit_ClockSpecification |
Uses of HasInvariant in models |
---|
Classes in models that implement HasInvariant | |
---|---|
class |
Clock
|
class |
DirectionRequestButtonsOnFloors
Tested by JUnit_DirectionRequestButtonsOnFloors
and Validation_DirectionRequestButtonsOnFloors For managing the state of the direction requests on all floors of an elevator (see ElevatorSpecification ) |
class |
FloorButtonsInElevator
Tested by JUnit_FloorButtonsInElevator
and Validation_FloorButtonsInElevator For managing the state of the floor requests inside the elevator (see ElevatorSpecification ) |
|
|||||||||
PREV NEXT | FRAMES NO FRAMES |