nz.ac.waikato.modeljunit.timing
Interface TimedFsmModel

All Superinterfaces:

FsmModel

All Known Implementing Classes:

AlarmClock, TrafficLight

public interface TimedFsmModel
extends FsmModel

Author:

Scott. Interface for creating Finite State Machines that using the built in ModelJUnit Timing Framework

See Also:

Timeout, Time

Method Summary

int	getNextTimeIncrement() Function used to get the amount of time to move forward the next time that the time is incremented.

Methods inherited from interface nz.ac.waikato.modeljunit.FsmModel

getState, reset

Method Detail

getNextTimeIncrement

int getNextTimeIncrement()

Function used to get the amount of time to move forward the next time that the time is incremented. The framework will check whether this increment would advance the time past any enabled timeout(s) and handles execution of the timeout(s).

Returns:

an integer value greater than zero.