org.gstreamer.media.event
public class PositionChangedEvent extends MediaEvent
Modifier and Type | Field and Description |
---|---|
int |
percent |
ClockTime |
position |
source
Constructor and Description |
---|
PositionChangedEvent(MediaPlayer player,
ClockTime position,
int percent) |
Modifier and Type | Method and Description |
---|---|
int |
getPercent() |
ClockTime |
getPosition() |
String |
toString() |
getSource
public final ClockTime position
public final int percent
public PositionChangedEvent(MediaPlayer player, ClockTime position, int percent)
public int getPercent()
public ClockTime getPosition()
public String toString()
toString
in class MediaEvent
Copyright © 2014. All rights reserved.