/* * @(#)MediaTimeSetEvent.java 1.2 02/08/21 * * Copyright (c) 1996-2002 Sun Microsystems, Inc. All rights reserved. */ package javax.media; /** * A <code>MediaTimeSetEvent</code> is posted by a <code>Controller</code> when its * media-time has been set with the <code>setMediaTime</code> method. * * * @see Controller * @see ControllerListener * @version 1.2, MediaTimeSetEvent.java. */ public class MediaTimeSetEvent extends ControllerEvent { Time mediaTime; public MediaTimeSetEvent(Controller from, Time newMediaTime) { super(from); mediaTime = newMediaTime; } /** * Get the new media time of the <code>Controller</code> that * generated this event. * * @return The <code>Controller's</code> new media time. */ public Time getMediaTime() { return mediaTime; } /** * Returns the String representation of this event's values. */ public String toString() { return getClass().getName() + "[source=" + eventSrc + ",mediaTime=" + mediaTime + "]"; } }