public interface ProjectionManager
| Modifier and Type | Field and Description |
|---|---|
static int |
QUALITY_BEST |
static int |
QUALITY_DEFAULT |
static int |
QUALITY_FAST |
static int |
QUALITY_FASTEST |
static int |
QUALITY_GOOD |
static int |
RANK_TYPE_MAX |
static int |
RANK_TYPE_MEDIAN |
static int |
RANK_TYPE_MIN |
static int |
ROTATION_AXIS_X |
static int |
ROTATION_AXIS_Y |
static int |
ROTATION_AXIS_Z |
static int |
VIDEO_FORMAT_AVI_DIB |
static int |
VIDEO_FORMAT_AVI_MJPG |
static int |
VIDEO_FORMAT_AVI_PNG |
static int |
VIDEO_FORMAT_QUICKTIME_ANIMATION |
static int |
VIDEO_FORMAT_QUICKTIME_JPEG |
static int |
VIDEO_FORMAT_QUICKTIME_PNG |
static int |
VIDEO_FORMAT_QUICKTIME_RAW |
static int |
VIDEO_QUALITY_BEST |
static int |
VIDEO_QUALITY_FASTEST |
static int |
VIDEO_QUALITY_GOOD |
| Modifier and Type | Method and Description |
|---|---|
void |
captureSnapshot(String saveLocation)
Save a snapshot of the projection viewer to the specified location.
|
void |
captureVideoStart(String saveLocation,
int videoFormat,
int videoQuality,
int fps,
boolean animate)
Starts saving a captured video to the specified file location.
|
void |
captureVideoStop()
Stops the video capture.
|
JFrame |
getFrame()
Returns the parent window of the projection.
|
void |
pauseScriptForUserInput()
Pauses execution of a running script.
|
void |
selectMenuOption(String name)
Selects menu options.
|
void |
setMenuOption(String name,
boolean value)
Sets menu items (typically checkboxes).
|
void |
setOptions(String colorTable,
double thresholdMin,
double thresholdMax)
Sets projection options.
|
static final int QUALITY_BEST
static final int QUALITY_DEFAULT
static final int QUALITY_FAST
static final int QUALITY_FASTEST
static final int QUALITY_GOOD
static final int RANK_TYPE_MAX
static final int RANK_TYPE_MEDIAN
static final int RANK_TYPE_MIN
static final int ROTATION_AXIS_X
static final int ROTATION_AXIS_Y
static final int ROTATION_AXIS_Z
static final int VIDEO_FORMAT_AVI_DIB
static final int VIDEO_FORMAT_AVI_MJPG
static final int VIDEO_FORMAT_AVI_PNG
static final int VIDEO_FORMAT_QUICKTIME_ANIMATION
static final int VIDEO_FORMAT_QUICKTIME_JPEG
static final int VIDEO_FORMAT_QUICKTIME_PNG
static final int VIDEO_FORMAT_QUICKTIME_RAW
static final int VIDEO_QUALITY_BEST
static final int VIDEO_QUALITY_FASTEST
static final int VIDEO_QUALITY_GOOD
void captureSnapshot(String saveLocation)
saveLocation - the location to save the snapshot filevoid captureVideoStart(String saveLocation, int videoFormat, int videoQuality, int fps, boolean animate)
saveLocation - the location to save the video filevideoFormat - the video format code (see constants)videoQuality - the video quality code (see constants)fps - the frames per secondanimate - true to automatically animate the projection, false otherwisevoid captureVideoStop()
JFrame getFrame()
void pauseScriptForUserInput()
void selectMenuOption(String name)
name - the menu item namevoid setOptions(String colorTable, double thresholdMin, double thresholdMax)
colorTable - the projection color table namethresholdMin - the projection color table minimumthresholdMax - the projection color table maximumvoid setMenuOption(String name, boolean value)
name - the menu item namevalue - the menu item value