java.beans.PropertyChangeListener
, java.util.EventListener
, Drawable
, Interactive
, Measurable
, DrawableImage
, InteractiveImage
, Playable
, Trackable
, Video
public class GifVideo extends VideoAdapter
Modifier and Type | Field | Description |
---|---|---|
protected GifDecoder |
decoder |
|
protected int[] |
startTimes |
aspects, bufferedImage, clearRaster, coords, endFrameNumber, filteredImage, filterStack, frameCount, frameNumber, isMeasured, isValidFilteredImage, isValidImage, isValidMeasure, looping, maxX, maxY, minX, minY, mouseEnabled, playing, properties, rate, rawImage, size, startFrameNumber, support, visible, widthDominates
Constructor | Description |
---|---|
GifVideo(java.lang.String gifName) |
Creates a GifVideo and loads a gif image specified by name
|
Modifier and Type | Method | Description |
---|---|---|
void |
draw(DrawingPanel panel,
java.awt.Graphics g) |
Draws the video image on the panel.
|
protected void |
finalize() |
Called by the garbage collector when this video is no longer in use.
|
double |
getDuration() |
Gets the duration of the video.
|
double |
getEndTime() |
Gets the end time in milliseconds.
|
double |
getFrameTime(int n) |
Gets the start time of the specified frame in milliseconds.
|
static XML.ObjectLoader |
getLoader() |
Returns an XML.ObjectLoader to save and load GifVideo data.
|
double |
getStartTime() |
Gets the start time in milliseconds.
|
double |
getTime() |
Gets the current video time in milliseconds.
|
protected void |
load(java.lang.String gifName) |
Loads a gif image specified by name.
|
void |
play() |
Plays the video at the current rate.
|
void |
setEndTime(double millis) |
Sets the end time in milliseconds.
|
void |
setFrameNumber(int n) |
Overrides ImageVideo setFrameNumber method.
|
void |
setStartTime(double millis) |
Sets the start time in milliseconds.
|
void |
setTime(double millis) |
Sets the video time in milliseconds.
|
void |
stop() |
Stops the video.
|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
addPropertyChangeListener, addPropertyChangeListener, back, dispose, findInteractive, findMinMaxValues, firePropertyChange, getAngle, getCoords, getEndFrameNumber, getFilterStack, getFrameCount, getFrameDuration, getFrameNumber, getHeight, getImage, getProperty, getPropertyNames, getRate, getRelativeAspect, getStartFrameNumber, getWidth, getX, getXMax, getXMin, getY, getYMax, getYMin, goToEnd, goToStart, initialize, isEnabled, isLooping, isMeasured, isPlaying, isVisible, propertyChange, refreshBufferedImage, removePropertyChangeListener, removePropertyChangeListener, reset, setAngle, setCoords, setEnabled, setEndFrameNumber, setFilterStack, setFrameAngle, setFrameHeight, setFrameRelativeAspect, setFrameWidth, setFrameX, setFrameXY, setFrameY, setHeight, setLooping, setPlaying, setProperty, setRate, setRelativeAspect, setStartFrameNumber, setVisible, setWidth, setX, setXY, setY, step
protected GifDecoder decoder
protected int[] startTimes
public GifVideo(java.lang.String gifName) throws java.io.IOException
gifName
- the name of the image filejava.io.IOException
public void draw(DrawingPanel panel, java.awt.Graphics g)
draw
in interface Drawable
draw
in class VideoAdapter
panel
- the drawing panel requesting the drawingg
- the graphics context on which to drawprotected void finalize()
finalize
in class VideoAdapter
public void play()
play
in interface Playable
play
in class VideoAdapter
public void stop()
stop
in interface Playable
stop
in class VideoAdapter
public void setFrameNumber(int n)
setFrameNumber
in interface Video
setFrameNumber
in class VideoAdapter
n
- the desired frame numberVideo.getStartFrameNumber()
,
Video.getEndFrameNumber()
public double getFrameTime(int n)
getFrameTime
in interface Video
getFrameTime
in class VideoAdapter
n
- the frame numberpublic double getTime()
getTime
in interface Playable
getTime
in class VideoAdapter
public void setTime(double millis)
setTime
in interface Playable
setTime
in class VideoAdapter
millis
- the desired time in millisecondspublic double getStartTime()
getStartTime
in interface Playable
getStartTime
in class VideoAdapter
public void setStartTime(double millis)
setStartTime
in interface Playable
setStartTime
in class VideoAdapter
millis
- the desired start time in millisecondspublic double getEndTime()
getEndTime
in interface Playable
getEndTime
in class VideoAdapter
public void setEndTime(double millis)
setEndTime
in interface Playable
setEndTime
in class VideoAdapter
millis
- the desired end time in millisecondspublic double getDuration()
getDuration
in interface Playable
getDuration
in class VideoAdapter
protected void load(java.lang.String gifName) throws java.io.IOException
gifName
- the gif image namejava.io.IOException
public static XML.ObjectLoader getLoader()