public class FrameController extends java.lang.Object implements Controller, GUISourced
Modifier and Type | Field and Description |
---|---|
(package private) DataExtractor |
dataExtractor |
(package private) DataviewController |
dataviewController |
(package private) java.lang.String |
displayPath |
(package private) java.lang.String[] |
displayValues |
(package private) FramePlayer |
framePlayer |
(package private) DruSlider |
frameSlider |
(package private) int[] |
indexes |
(package private) boolean |
isPaused |
(package private) DruButton |
pauseButton |
(package private) int |
shownFrame |
(package private) java.lang.String |
sourcePath |
(package private) double |
speed |
Constructor and Description |
---|
FrameController(java.lang.String src,
java.lang.String dply) |
Modifier and Type | Method and Description |
---|---|
void |
advance() |
void |
applyData() |
void |
attached() |
boolean |
canAdvance() |
void |
dePause() |
void |
faster() |
java.lang.String |
getGUISources() |
java.lang.String |
getGUITargets() |
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 |
markNeeded() |
void |
miniRecord() |
void |
pause() |
void |
play() |
void |
record() |
private void |
rePause() |
void |
rewind() |
void |
setDataSource(DataExtractor dex) |
void |
setDataviewController(DataviewController dvc) |
void |
setPauseButton(DruButton db) |
void |
setSlider(DruSlider dfs) |
void |
show(java.lang.Object obj) |
void |
showFrame(int iframein) |
void |
sliderMoved() |
void |
slower() |
private void |
start() |
void |
stop() |
DruSlider frameSlider
java.lang.String sourcePath
java.lang.String displayPath
int[] indexes
java.lang.String[] displayValues
DataviewController dataviewController
DataExtractor dataExtractor
double speed
int shownFrame
FramePlayer framePlayer
boolean isPaused
DruButton pauseButton
public FrameController(java.lang.String src, java.lang.String dply)
public void setDataviewController(DataviewController dvc)
public void setDataSource(DataExtractor dex)
public void attached()
attached
in interface Controller
public void markNeeded()
public void applyData()
public void showFrame(int iframein)
public java.lang.String getGUITargets()
public java.lang.String getGUISources()
getGUISources
in interface GUISourced
public void show(java.lang.Object obj)
public void setSlider(DruSlider dfs)
public void setPauseButton(DruButton db)
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)
Copyright © 2013. All Rights Reserved.