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