public class InductiveVisualMinerAnimationPanel
extends org.processmining.plugins.graphviz.visualisation.DotPanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected boolean |
animationEnabled |
static java.lang.String |
animationGlobalEnabledFalse |
static java.lang.String |
animationGlobalEnabledTrue |
static int |
popupEmptyRowHeight |
static int |
popupHistogramHeight |
static int |
popupHistogramYPadding |
static int |
popupPadding |
static int |
popupRightMargin |
static int |
popupRowHeight |
protected RenderingThread |
renderingThread |
animationControls, controlsPlayPause, controlsTimeScale, dash1, helperControlsButtonFont, helperControlsButtonString, helperControlsExplanations, helperControlsFont, helperControlsShortcuts, helperControlsWidth, image, image2user, isDraggingAnimation, isDraggingImage, isDraggingTimeScale, navigationImageBorderColor, navigationImageOutlineStroke, navigationImageWidthInPartOfPanel
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
InductiveVisualMinerAnimationPanel(org.processmining.framework.plugin.ProMCanceller canceller,
boolean animationGlobalEnabled) |
Modifier and Type | Method and Description |
---|---|
void |
addAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener) |
void |
addLogPopupListener(LogPopupListener logPopupListener)
The log popup will only show if there are listeners registered.
|
protected void |
drawAnimation(java.awt.Graphics2D g)
Draw the animation.
|
double |
getAnimationMaximumTime()
Needs to be overridden by a subclass.
|
double |
getAnimationMinimumTime()
Needs to be overridden by a subclass.
|
double |
getAnimationTime()
Needs to be overridden by a subclass.
|
AnimationTimeChangedListener |
getAnimationTimeChangedListener() |
java.util.List<org.processmining.plugins.graphviz.visualisation.export.Exporter> |
getExporters() |
GetExporters |
getGetExporters() |
static org.processmining.plugins.graphviz.dot.Dot |
getSplashScreen() |
double |
getTimeScale()
Needs to be overridden by a subclass.
|
boolean |
isAnimationEnabled()
Needs to be overridden by a subclass.
|
boolean |
isAnimationPlaying()
Needs to be overridden by a subclass.
|
boolean |
isInLogPopupButton(java.awt.Point pointInUserCoordinates) |
boolean |
isMouseInLogPopupButton() |
boolean |
isShowPopup() |
protected void |
paintComponent(java.awt.Graphics g)
Paints the panel and its image at the current zoom level, location, and
interpolation method dependent on the image scale.
|
void |
paintGlobalHistogram(java.awt.Graphics2D g) |
void |
paintImage(java.awt.Graphics2D g) |
void |
paintLogPopupCircle(java.awt.Graphics2D g) |
void |
paintPopup(java.awt.Graphics2D g) |
void |
paintPopupHistogram(java.awt.Graphics2D g,
int offsetX,
int offsetY) |
void |
pause()
Request the animation to pause.
|
void |
pauseResume()
Request the animation to pause or resume.
|
protected boolean |
processMouseMove(java.awt.event.MouseEvent e)
Process a mouse move.
|
void |
renderOneFrame()
Request one frame of the animation to be rendered.
|
void |
resume()
Resume the animation from pausing.
|
void |
seek(double time)
Request the next animation frame to be rendered at the given time.
|
void |
setAnimationEnabled(boolean enabled)
Sets whether the animation is rendered and controls are displayed.
|
void |
setAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener)
Sets a callback that is called whenever the user changes the animation
enabled-ness.
|
void |
setAnimationExtremeTimes(double animationMinUserTime,
double animationMaxUserTime)
Set the extreme times of the animation, in user times.
|
void |
setAnimationTimeChangedListener(AnimationTimeChangedListener listener)
Sets a callback that is called whenever the time is updated.
|
void |
setFilteredLog(IvMLogFilteredImpl ivMLogFiltered) |
void |
setGetExporters(GetExporters getExporters) |
void |
setHistogramData(HistogramData histogramData) |
void |
setPopupActivity(java.util.List<java.lang.String> popup,
int popupHistogramUnode) |
void |
setPopupLogMove(java.util.List<java.lang.String> popup,
LogMovePosition position) |
void |
setPopupStartEnd(java.util.List<java.lang.String> popup) |
void |
setShowPopup(boolean showPopup,
int width) |
void |
setTimeScale(double timeScale)
Request the time scale to be set.
|
void |
setTokens(GraphVizTokens animationGraphVizTokens)
Sets the tokens to be rendered.
|
void |
setTraceColourMap(TraceColourMap trace2colour) |
addGraphChangedListener, addMouseInElementsChangedListener, addSelectionChangedListener, changeDot, changeDot, dot2svg, getAttributeOf, getDot, getEdges, getMouseInElements, getNodes, getSelectedElements, getSVG, getSVGElementOf, getUserSettings, processMouseClick, processMouseDrag, processMouseExit, processMouseRelease, select, setCSSAttributeOf, setCSSAttributeOf, setCSSAttributeOf, setDirection
centerImageAround, drawSVG, exportView, getControlsProgressLine, getHelperControlsExplanations, getHelperControlsShortcuts, getImage, getImageBoundingBoxInUserCoordinates, getVisibleImageBoundingBoxInUserCoordinates, isAnimationControlsShowing, isImageCompletelyInPanel, isInAnimationControls, isInHelperControls, isInImage, isInNavigation, print, processMousePress, resetView, setHelperControlsExplanations, setHelperControlsShortcuts, setImage, setImageTransformationChangedListener, setTransformation, setupListeners, transformImage2User, transformImageToNavigation, transformNavigationToImage, transformUser2Image
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBaseline, getBaselineResizeBehavior, getBorder, getBounds, getClientProperty, getComponentGraphics, getComponentPopupMenu, getConditionForKeyStroke, getDebugGraphicsOptions, getDefaultLocale, getFontMetrics, getGraphics, getHeight, getInheritsPopupMenu, getInputMap, getInputMap, getInputVerifier, getInsets, getInsets, getListeners, getLocation, getMaximumSize, getMinimumSize, getNextFocusableComponent, getPopupLocation, getPreferredSize, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, paintImmediately, paintImmediately, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, revalidate, scrollRectToVisible, setActionMap, setAlignmentX, setAlignmentY, setAutoscrolls, setBackground, setBorder, setComponentPopupMenu, setDebugGraphicsOptions, setDefaultLocale, setDoubleBuffered, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
add, add, add, add, add, addContainerListener, addImpl, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusDownCycle, validate, validateTree
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, createImage, createImage, createVolatileImage, createVolatileImage, disableEvents, dispatchEvent, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusCycleRootAncestor, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getForeground, getGraphicsConfiguration, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputContext, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocale, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public static final int popupRowHeight
public static final int popupEmptyRowHeight
public static final int popupPadding
public static final int popupRightMargin
public static final int popupHistogramHeight
public static final int popupHistogramYPadding
protected boolean animationEnabled
protected RenderingThread renderingThread
public static final java.lang.String animationGlobalEnabledTrue
public static final java.lang.String animationGlobalEnabledFalse
public InductiveVisualMinerAnimationPanel(org.processmining.framework.plugin.ProMCanceller canceller, boolean animationGlobalEnabled)
protected void paintComponent(java.awt.Graphics g)
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
paintComponent
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
g
- the Graphics
context for paintingprotected void drawAnimation(java.awt.Graphics2D g)
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
drawAnimation
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void paintImage(java.awt.Graphics2D g)
paintImage
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void paintLogPopupCircle(java.awt.Graphics2D g)
public void paintPopup(java.awt.Graphics2D g)
public void paintPopupHistogram(java.awt.Graphics2D g, int offsetX, int offsetY)
public void paintGlobalHistogram(java.awt.Graphics2D g)
public boolean isInLogPopupButton(java.awt.Point pointInUserCoordinates)
protected boolean processMouseMove(java.awt.event.MouseEvent e)
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
processMouseMove
in class org.processmining.plugins.graphviz.visualisation.DotPanel
public void setPopupActivity(java.util.List<java.lang.String> popup, int popupHistogramUnode)
public void setPopupLogMove(java.util.List<java.lang.String> popup, LogMovePosition position)
public void setPopupStartEnd(java.util.List<java.lang.String> popup)
public boolean isShowPopup()
public void setShowPopup(boolean showPopup, int width)
public static org.processmining.plugins.graphviz.dot.Dot getSplashScreen()
public AnimationTimeChangedListener getAnimationTimeChangedListener()
public void setAnimationTimeChangedListener(AnimationTimeChangedListener listener)
timeStepCallback
- public void setAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener)
animationEnabledChangedListener
- public void setAnimationEnabled(boolean enabled)
public void setTokens(GraphVizTokens animationGraphVizTokens)
animationGraphVizTokens
- public boolean isAnimationEnabled()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
isAnimationEnabled
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void setAnimationExtremeTimes(double animationMinUserTime, double animationMaxUserTime)
animationMinUserTime
- animationMaxUserTime
- public void setFilteredLog(IvMLogFilteredImpl ivMLogFiltered)
public void setTraceColourMap(TraceColourMap trace2colour)
public void setHistogramData(HistogramData histogramData)
public void pause()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
pause
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void resume()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
resume
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void seek(double time)
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
seek
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void pauseResume()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
pauseResume
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public boolean isAnimationPlaying()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
isAnimationPlaying
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public double getAnimationTime()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
getAnimationTime
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public double getAnimationMinimumTime()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
getAnimationMinimumTime
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public double getAnimationMaximumTime()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
getAnimationMaximumTime
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void renderOneFrame()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
renderOneFrame
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public void setTimeScale(double timeScale)
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
setTimeScale
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public double getTimeScale()
org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
getTimeScale
in class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel
public java.util.List<org.processmining.plugins.graphviz.visualisation.export.Exporter> getExporters()
getExporters
in class org.processmining.plugins.graphviz.visualisation.DotPanel
public void addAnimationEnabledChangedListener(AnimationEnabledChangedListener animationEnabledChangedListener)
public GetExporters getGetExporters()
public void setGetExporters(GetExporters getExporters)
public boolean isMouseInLogPopupButton()
public void addLogPopupListener(LogPopupListener logPopupListener)
logPopupListener
-