public class FramePlayerController extends java.lang.Object implements Controller
Modifier and Type | Field and Description |
---|---|
(package private) java.lang.String |
displayPath |
(package private) java.lang.String[] |
displayValues |
(package private) FrameDisplay |
frameDisplay |
(package private) FramePlayer |
framePlayer |
DruSlider |
frameSlider |
(package private) int[] |
indexes |
(package private) boolean |
isPaused |
DruButton |
pauseButton |
(package private) int |
shownFrame |
(package private) java.lang.String |
sourcePath |
(package private) double |
speed |
Constructor and Description |
---|
FramePlayerController() |
Modifier and Type | Method and Description |
---|---|
void |
advance() |
void |
applyData(double[] dat) |
void |
attached() |
boolean |
canAdvance() |
void |
dePause() |
void |
faster() |
double |
getSpeed() |
void |
makeAnimatedGif(java.io.File f) |
void |
makeMiniAnimatedGif(java.io.File f,
int wsclin,
int hsclin) |
void |
makeMovie(java.io.File f) |
void |
makeThumbnailMovie(java.io.File f) |
void |
miniRecord() |
void |
pause() |
void |
play() |
void |
record() |
private void |
rePause() |
void |
rewind() |
void |
setFrameDisplay(FrameDisplay fd) |
void |
show(java.lang.Object obj) |
void |
showFrame(int iframein) |
void |
sliderMoved() |
void |
slower() |
private void |
start() |
void |
stop() |
public DruSlider frameSlider
public DruButton pauseButton
java.lang.String sourcePath
java.lang.String displayPath
int[] indexes
java.lang.String[] displayValues
double speed
int shownFrame
FramePlayer framePlayer
boolean isPaused
FrameDisplay frameDisplay
public void attached()
attached
in interface Controller
public void applyData(double[] dat)
public void showFrame(int iframein)
public void show(java.lang.Object obj)
public void sliderMoved()
public void rewind()
public void pause()
public void dePause()
private void rePause()
public void play()
private void start()
public void stop()
public void faster()
public void slower()
public boolean canAdvance()
public void advance()
public double getSpeed()
public void record()
public void miniRecord()
public void makeMovie(java.io.File f)
public void makeThumbnailMovie(java.io.File f)
public void makeAnimatedGif(java.io.File f)
public void makeMiniAnimatedGif(java.io.File f, int wsclin, int hsclin)
public void setFrameDisplay(FrameDisplay fd)
Copyright © 2013. All Rights Reserved.