|
JSR-927 (Maintenance Release) | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object java.util.EventObject javax.media.ControllerEvent javax.media.MediaTimeSetEvent
A MediaTimeSetEvent
is posted by a Controller
when its
media-time has been set with the setMediaTime
method.
Controller
,
ControllerListener
,
Serialized FormField Summary |
Fields inherited from class java.util.EventObject |
source |
Constructor Summary | |
MediaTimeSetEvent(Controller from,
Time newMediaTime)
|
Method Summary | |
Time |
getMediaTime()
Get the new media time of the Controller that
generated this event. |
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 |
public MediaTimeSetEvent(Controller from, Time newMediaTime)
Method Detail |
public Time getMediaTime()
Controller
that
generated this event.
Controller's
new media time.
|
JSR-927 (Maintenance Release) | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |