Uses of Interface
tools.HasInvariant

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)