org.echarts
Class TimedTransition

java.lang.Object
  extended by org.echarts.Transition
      extended by org.echarts.MessageTransition
          extended by org.echarts.TimedTransition
All Implemented Interfaces:
java.io.Serializable

public final class TimedTransition
extends MessageTransition

Class implementing a timed transition. Currently only a relative delay is supported where the lower bound on the delay duration is specified by a long int representing the delay in milliseconds. When the machine interpreter arrives in a state and a timed transition is defined with the same start state and the transition's guard condition evalutates to true, then an internal timer is started that counts down from the delay value specified for the transition. If the delay expires and another transition hasn't already fired from the current state then the transition will be enabled (fireable). If another non-timed message transition is also enabled then the machine interpreter non-deterministically chooses which transition to fire. When the machine interpreter arrives in a state via a transition from a deep/shallow history state, then the semantics of timed transitions are slightly different than described above. In the case of a deep history state, then the count down on timed transitions proceeds without being reset since the last time the state was visited. In the case of a shallow history state, the count down proceeds for any transitions that were active the last time the state was visited, and the count down is initiated for any newly activated transitions.

See Also:
Serialized Form

Field Summary
 
Fields inherited from class org.echarts.MessageTransition
portEvaluator
 
Fields inherited from class org.echarts.Transition
serialVersionUID
 
Constructor Summary
TimedTransition(PortMethod transitionTimerPortEvaluator, TransitionSource source, TransitionTarget target)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TimedTransition

public TimedTransition(PortMethod transitionTimerPortEvaluator,
                       TransitionSource source,
                       TransitionTarget target)