FileDocCategorySizeDatePackage
MediaTimeSetEvent.javaAPI DocJMF 2.1.1e1058Mon May 12 12:20:38 BST 2003javax.media

MediaTimeSetEvent

public class MediaTimeSetEvent extends ControllerEvent
A MediaTimeSetEvent is posted by a Controller when its media-time has been set with the setMediaTime method.
see
Controller
see
ControllerListener
version
1.2, MediaTimeSetEvent.java.

Fields Summary
Time
mediaTime
Constructors Summary
public MediaTimeSetEvent(Controller from, Time newMediaTime)

	super(from);
	mediaTime = newMediaTime;
    
Methods Summary
public javax.media.TimegetMediaTime()
Get the new media time of the Controller that generated this event.

return
The Controller's new media time.

	return mediaTime;
    
public java.lang.StringtoString()
Returns the String representation of this event's values.

	return getClass().getName() + "[source=" + eventSrc + 
	    ",mediaTime=" + mediaTime + "]";