Package org.processmining.trafficlightcc.visualization.graphviz

Class DotPanelNodePictures

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, javax.accessibility.Accessible
    public class DotPanelNodePictures
extends org.processmining.plugins.graphviz.visualisation.DotPanel
    Extends the DotPanel by functionality to add SVG elements to existing dot elements.
    Author:
    brockhoff
    See Also:
    Serialized Form

    • Nested Class Summary

      • Nested classes/interfaces inherited from class javax.swing.JPanel

        javax.swing.JPanel.AccessibleJPanel

      • Nested classes/interfaces inherited from class javax.swing.JComponent

        javax.swing.JComponent.AccessibleJComponent

      • Nested classes/interfaces inherited from class java.awt.Container

        java.awt.Container.AccessibleAWTContainer

      • Nested classes/interfaces inherited from class java.awt.Component

        java.awt.Component.AccessibleAWTComponent, java.awt.Component.BaselineResizeBehavior, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

    • Field Summary

      • Fields inherited from class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel

        animationControls, controlsPlayPause, controlsTimeScale, dash1, helperControlsButtonFont, helperControlsButtonString, helperControlsExplanations, helperControlsFont, helperControlsShortcuts, helperControlsWidth, image, image2user, isDraggingAnimation, isDraggingImage, isDraggingTimeScale, navigationImageBorderColor, navigationImageOutlineStroke, navigationImageWidthInPartOfPanel

      • Fields inherited from class javax.swing.JComponent

        listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW

      • Fields inherited from class java.awt.Component

        accessibleContext, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT

      • Fields inherited from interface java.awt.image.ImageObserver

        ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

      • Fields inherited from interface java.awt.print.Printable

        NO_SUCH_PAGE, PAGE_EXISTS

    • Constructor Summary

      Constructors 
      Constructor Description
      DotPanelNodePictures​(org.processmining.plugins.graphviz.dot.Dot dot, java.util.Map<org.processmining.plugins.graphviz.dot.DotElement,​SVGElementManipulator<com.kitfox.svg.Group>> dotElementManipulations)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void changeContent​(org.processmining.plugins.graphviz.dot.Dot dot, java.util.Map<org.processmining.plugins.graphviz.dot.DotElement,​SVGElementManipulator<com.kitfox.svg.Group>> dotElementManipulations)  
      void changeDot​(org.processmining.plugins.graphviz.dot.Dot dot, com.kitfox.svg.SVGDiagram diagram, boolean resetView)
      Sets a new precomputed image.

      • Methods inherited from class org.processmining.plugins.graphviz.visualisation.DotPanel

        addGraphChangedListener, addMouseInElementsChangedListener, addSelectionChangedListener, changeDot, dot2svg, getAttributeOf, getDot, getEdges, getExporters, getMouseInElements, getNodes, getSelectedElements, getSVG, getSVGElementOf, getUserSettings, processMouseClick, processMouseDrag, processMouseExit, processMouseMove, processMouseRelease, select, setCSSAttributeOf, setCSSAttributeOf, setCSSAttributeOf, setDirection

      • Methods inherited from class org.processmining.plugins.graphviz.visualisation.NavigableSVGPanel

        centerImageAround, drawAnimation, drawSVG, exportView, getAnimationMaximumTime, getAnimationMinimumTime, getAnimationTime, getControlsProgressLine, getHelperControlsExplanations, getHelperControlsShortcuts, getImage, getImageBoundingBoxInUserCoordinates, getTimeScale, getVisibleImageBoundingBoxInUserCoordinates, isAnimationControlsShowing, isAnimationEnabled, isAnimationPlaying, isImageCompletelyInPanel, isInAnimationControls, isInHelperControls, isInImage, isInNavigation, paintComponent, paintImage, pause, pauseResume, print, processMousePress, renderOneFrame, resetView, resume, seek, setHelperControlsExplanations, setHelperControlsShortcuts, setImage, setImageTransformationChangedListener, setTimeScale, setTransformation, setupListeners, transformElement2Image, transformImage2User, transformImageToNavigation, transformNavigationToImage, transformUser2Image

      • Methods inherited from class javax.swing.JPanel

        getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

      • Methods inherited from class javax.swing.JComponent

        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

      • Methods inherited from class java.awt.Container

        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

      • Methods inherited from class java.awt.Component

        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, 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, requestFocus, requestFocus, requestFocusInWindow, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setMixingCutoutShape, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Constructor Detail

      • DotPanelNodePictures

        public DotPanelNodePictures​(org.processmining.plugins.graphviz.dot.Dot dot,
                            java.util.Map<org.processmining.plugins.graphviz.dot.DotElement,​SVGElementManipulator<com.kitfox.svg.Group>> dotElementManipulations)

    • Method Detail

      • changeDot

        public void changeDot​(org.processmining.plugins.graphviz.dot.Dot dot,
                      com.kitfox.svg.SVGDiagram diagram,
                      boolean resetView)
        Description copied from class: org.processmining.plugins.graphviz.visualisation.DotPanel
        Sets a new precomputed image. Assumptions are made about the dot & the diagram, so do not provide arbitrary ones.
        Overrides:
        changeDot in class org.processmining.plugins.graphviz.visualisation.DotPanel
        Parameters:
        dot - ; set dot to this
        diagram - ; use this SVG image
        resetView - ; whether reset the view to centered+fitting

      • changeContent

        public void changeContent​(org.processmining.plugins.graphviz.dot.Dot dot,
                          java.util.Map<org.processmining.plugins.graphviz.dot.DotElement,​SVGElementManipulator<com.kitfox.svg.Group>> dotElementManipulations)