org.davic.media
Class MediaTimePositionChangedEvent

java.lang.Object
  extended by java.util.EventObject
      extended by javax.media.ControllerEvent
          extended by javax.media.TransitionEvent
              extended by javax.media.StopEvent
                  extended by javax.media.RestartingEvent
                      extended by org.davic.media.MediaTimePositionChangedEvent
All Implemented Interfaces:
java.io.Serializable, javax.media.MediaEvent

public class MediaTimePositionChangedEvent
extends javax.media.RestartingEvent

This event is generated whenever the media position is changed (when the invocation of the setMediaPosition resulted in a change in the media position).

See Also:
Serialized Form

Field Summary
 
Fields inherited from class java.util.EventObject
source
 
Constructor Summary
MediaTimePositionChangedEvent(javax.media.Controller source)
          Construct an event.
MediaTimePositionChangedEvent(javax.media.Controller from, int previous, int current, int target, javax.media.Time mediaTime)
          Construct an event.
 
Method Summary
 
Methods inherited from class javax.media.StopEvent
getMediaTime
 
Methods inherited from class javax.media.TransitionEvent
getCurrentState, getPreviousState, getTargetState
 
Methods inherited from class javax.media.ControllerEvent
getSource, getSourceController
 
Methods inherited from class java.util.EventObject
toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

MediaTimePositionChangedEvent

public MediaTimePositionChangedEvent(javax.media.Controller source)
Construct an event.

Parameters:
source - the controller whose media position was changed

MediaTimePositionChangedEvent

public MediaTimePositionChangedEvent(javax.media.Controller from,
                                     int previous,
                                     int current,
                                     int target,
                                     javax.media.Time mediaTime)
Construct an event.

Parameters:
from - the controller whose media position was changed
previous - the state the controller was in before this event
current - the state the controller was in at the time the event was generated
target - the state that the controller is heading to
mediaTime - the media time after the change