tools
Interface HasInvariant

All Known Subinterfaces:
ClockSpecification
All Known Implementing Classes:
Clock, DirectionRequestButtonsOnFloors, FloorButtonsInElevator

public interface HasInvariant

Interface for classes that have invariant method implemented

Version:
1
Author:
J Paul Gibson

Method Summary
 boolean invariant()
           
 

Method Detail

invariant

boolean invariant()
Returns:
if the object is in a safe (meaningful) state