Uses of Package
interfaces

Packages that use interfaces
interfaces   
models   
 

Classes in interfaces used by interfaces
ControllerForElevator
          The interface defining the methods offered by the controller to the elevator (see ElevatorSpecification)
ElevatorForController
          The interface provided by the Elevator to the Controller allowing it to read the current state of the elevator system (see ElevatorSpecification)
ElevatorForUsers
          The interface offered by the elevator to the users (see ElevatorSpecification)
 

Classes in interfaces used by models
ClockSpecification
          A clock used to count time increments
Tested by JUnit_ClockSpecification
ControllerForElevator
          The interface defining the methods offered by the controller to the elevator (see ElevatorSpecification)
ElevatorForController
          The interface provided by the Elevator to the Controller allowing it to read the current state of the elevator system (see ElevatorSpecification)
ElevatorForUsers
          The interface offered by the elevator to the users (see ElevatorSpecification)
ElevatorSpecification
          The Elevator code was developed as a sample solution to a lift problem given to the MSc SAI students in module CSC7003 - Basics of Software Engineering
The elevator must offer 2 interfaces: To the controller (specified by ElevatorForController) To the users (specified by ElevatorForUsers) It also provides a means of changing the logic controller