public class TaskViewer extends Stage
Application.
Tasks that are scheduled may be removed from the list by pressing a "cancel" button. Tasks currently running
may also be canceled but (depending on the JstacsTool implementation) may nonetheless run all computations
until the end of the corresponding JstacsTool.run(de.jstacs.parameters.ParameterSet, de.jstacs.tools.Protocol, de.jstacs.tools.ProgressUpdater, int)
method.
Tasks are shown as rows of a TableView with the corresponding JstacsTool name, the date (and time) of starting the task, and
a cancel button.
The task viewer is shown in a separate window.alwaysOnTopProperty, fullScreenExitHintProperty, fullScreenExitKeyProperty, fullScreenProperty, iconifiedProperty, maxHeightProperty, maximizedProperty, maxWidthProperty, minHeightProperty, minWidthProperty, resizableProperty, titlePropertyeventDispatcherProperty, focusedProperty, heightProperty, onCloseRequestProperty, onHiddenProperty, onHidingProperty, onShowingProperty, onShownProperty, opacityProperty, sceneProperty, showingProperty, widthProperty, xProperty, yPropertyimpl_peer, peerListener| Constructor and Description |
|---|
TaskViewer(ObservableList<Task<ResultSetResult>> enqueued,
HashMap<Task<ResultSetResult>,Pair<String,Date>> nameMap)
Creates a new tasks viewer for the list of enqueued tasks and the map from task objects
to corresponding tool names and start dates.
|
alwaysOnTopProperty, close, fullScreenExitHintProperty, fullScreenExitKeyProperty, fullScreenProperty, getFullScreenExitHint, getFullScreenExitKeyCombination, getIcons, getMaxHeight, getMaxWidth, getMinHeight, getMinWidth, getModality, getOwner, getStyle, getTitle, iconifiedProperty, impl_getMXWindowType, impl_setImportant, impl_setPrimary, impl_visibleChanged, impl_visibleChanging, initModality, initOwner, initStyle, isAlwaysOnTop, isFullScreen, isIconified, isMaximized, isResizable, maxHeightProperty, maximizedProperty, maxWidthProperty, minHeightProperty, minWidthProperty, resizableProperty, setAlwaysOnTop, setFullScreen, setFullScreenExitHint, setFullScreenExitKeyCombination, setIconified, setMaxHeight, setMaximized, setMaxWidth, setMinHeight, setMinWidth, setResizable, setScene, setTitle, show, showAndWait, titleProperty, toBack, toFrontaddEventFilter, addEventHandler, buildEventDispatchChain, centerOnScreen, eventDispatcherProperty, fireEvent, focusedProperty, getEventDispatcher, getHeight, getOnCloseRequest, getOnHidden, getOnHiding, getOnShowing, getOnShown, getOpacity, getProperties, getScene, getUserData, getWidth, getX, getY, hasProperties, heightProperty, hide, impl_getPeer, impl_getWindows, isFocused, isShowing, onCloseRequestProperty, onHiddenProperty, onHidingProperty, onShowingProperty, onShownProperty, opacityProperty, removeEventFilter, removeEventHandler, requestFocus, sceneProperty, setEventDispatcher, setEventHandler, setFocused, setHeight, setOnCloseRequest, setOnHidden, setOnHiding, setOnShowing, setOnShown, setOpacity, setUserData, setWidth, setX, setY, showingProperty, sizeToScene, widthProperty, xProperty, yPropertypublic TaskViewer(ObservableList<Task<ResultSetResult>> enqueued, HashMap<Task<ResultSetResult>,Pair<String,Date>> nameMap)
enqueued - the list of enqueued TasksnameMap - the map from tasks to names and start dates