org.davic.media

Class MediaTimePositionChangedEvent

java.lang.Object

java.util.EventObject

javax.media.ControllerEvent

javax.media.TransitionEvent

javax.media.StopEvent

javax.media.RestartingEvent

org.davic.media.MediaTimePositionChangedEvent

All Implemented Interfaces:

Serializable, MediaEvent

public class MediaTimePositionChangedEvent
extends 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

Constructors

Constructor and Description
MediaTimePositionChangedEvent(Controller source) Construct an event.
MediaTimePositionChangedEvent(Controller from, int previous, int current, int target, Time mediaTime) Construct an event.

Method Summary

Methods inherited from class javax.media.StopEvent

getMediaTime, toString

Methods inherited from class javax.media.TransitionEvent

getCurrentState, getPreviousState, getTargetState

Methods inherited from class javax.media.ControllerEvent

getSource, getSourceController

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

MediaTimePositionChangedEvent

public MediaTimePositionChangedEvent(Controller source)

Construct an event.

Parameters:

source - the controller whose media position was changed

MediaTimePositionChangedEvent

public MediaTimePositionChangedEvent(Controller from,
                             int previous,
                             int current,
                             int target,
                             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