Sets the media time at which you want the Player
to stop.
The Player
will stop when its media time
reaches the stop-time.
A STOPPED_AT_TIME
event
will be delivered through the PlayerListener
.
The Player
is guaranteed
to stop within one second past the preset stop-time
(i.e. stop-time <= current-media-time <= stop-time + 1 sec.
);
unless the current media time is already passed the preset stop time
when the stop time is set.
If the current media time is already past the stop time set,
the Player
will stop immediately. A
STOPPED_AT_TIME
event will be delivered.
After the Player
stops due to the stop-time set,
the previously set stop-time will be cleared automatically.
Alternatively, the stop time can be explicitly removed by
setting it to: RESET
.
You can always call setStopTime
on a stopped
Player
.
To avoid a potential race condition, it is illegal to
call setStopTime
on a started Player
if a
media stop-time has already been set.