Package org.processmining.framework.util.ui.widgets.traceview

Class ProMTraceView

  • All Implemented Interfaces:
    java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable
    public class ProMTraceView
extends javax.swing.JComponent
    Displays a ProMTraceView.Trace of ProMTraceView.Events as a sequence of wedges. This implementation is similar to the class TraceView in the LogDialog package, but it neither allows nor relies on MouseListener, so it may be used as a rubber stamp in a ListCellRenderer of JList.
    Author:
    F. Mannhardt
    See Also:
    Serialized Form

    • Field Summary

      Fields 
      Modifier and Type Field Description
      static java.lang.String EMPTY_LABEL  

      • 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      float getAttenuationFactor()  
      int getCollapsedLabelLength()  
      java.awt.Font getDefaultFont()  
      int getFixedInfoWidth()  
      int getFixedWedgeWidth()  
      java.awt.Dimension getMaximumSize()  
      int getMaxInfoWidth()  
      int getMaxWedgeWidth()  
      java.awt.Dimension getMinimumSize()  
      java.awt.Dimension getPreferredSize()  
      ProMTraceView.Trace<? extends ProMTraceView.Event> getTrace()  
      ProMTraceList.WedgeBuilder getWedgeBuilder()  
      int getWedgeGap()  
      java.awt.Stroke getWedgeStroke()  
      boolean isFixedInfoWidth()  
      boolean isFixedWedgeWidth()  
      boolean isOpaque()  
      boolean isSelected()  
      protected void paintBorder​(java.awt.Graphics g)  
      protected void paintChildren​(java.awt.Graphics g)  
      protected void paintComponent​(java.awt.Graphics g)  
      protected void printComponent​(java.awt.Graphics g)  
      void setAttenuationFactor​(float attenuationFactor)  
      void setCollapsedLabelLength​(int collapsedLabelLength)  
      void setFixedInfoWidth​(int fixedInfoWidth)  
      void setFixedWedgeWidth​(int fixedWedgeWidth)  
      void setMaxInfoWidth​(int maxInfoWidth)  
      void setMaxWedgeWidth​(int maxWedgeWidth)  
      void setSelected​(boolean isSelected)
      Updates the selection status of the currently displayed trace
      void setTrace​(ProMTraceView.Trace<? extends ProMTraceView.Event> trace)
      Updates the currently displayed trace
      void setWedgeBuilder​(ProMTraceList.WedgeBuilder colorBuilder)  
      void setWedgeGap​(int wedgeGap)  
      void setWedgeStroke​(java.awt.Stroke wedgeStroke)  
      protected int translateToDetailedEventIndex​(java.awt.Point point)  
      protected int translateToEventIndex​(java.awt.Point point)  
      void updatePreferredSize()  
      void updatePreferredSize​(java.awt.Dimension size)  

      • 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, getNextFocusableComponent, getPopupLocation, getRegisteredKeyStrokes, getRootPane, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getUI, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintImmediately, paintImmediately, paramString, print, printAll, printBorder, printChildren, 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, updateUI

      • 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, getAccessibleContext, 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

    • Field Detail

      • EMPTY_LABEL

        public static final java.lang.String EMPTY_LABEL

    • Constructor Detail

      • ProMTraceView

        public ProMTraceView()
        Creates a new instance of ProMTraceView that paints a ProMTraceView.Trace consisting of ProMTraceView.Event's. You need to call the method #setTrace(Trace, boolean) to actually display something. That is because this class is used together with JList and, therefore, the displayed ProMTraceView.Trace needs to be changeable.

      • ProMTraceView

        public ProMTraceView​(java.awt.Font font)

      • ProMTraceView

        public ProMTraceView​(java.awt.Font font,
                     boolean hasLabels)
        Creates a new instance of ProMTraceView that paints a ProMTraceView.Trace consisting of ProMTraceView.Event's. You need to call the method #setTrace(Trace, boolean) to actually display something. That is because this class is used together with JList and, therefore, the displayed ProMTraceView.Trace needs to be changeable.
        Parameters:
        colorBuilder -
        font - the font to be used
        hasLabels - whether the wedge has labels

    • Method Detail

      • isOpaque

        public boolean isOpaque()
        Overrides:
        isOpaque in class javax.swing.JComponent

      • setSelected

        public void setSelected​(boolean isSelected)
        Updates the selection status of the currently displayed trace
        Parameters:
        isSelected -

      • isSelected

        public boolean isSelected()

      • updatePreferredSize

        public void updatePreferredSize()

      • updatePreferredSize

        public void updatePreferredSize​(java.awt.Dimension size)

      • paintChildren

        protected void paintChildren​(java.awt.Graphics g)
        Overrides:
        paintChildren in class javax.swing.JComponent

      • paintBorder

        protected void paintBorder​(java.awt.Graphics g)
        Overrides:
        paintBorder in class javax.swing.JComponent

      • printComponent

        protected void printComponent​(java.awt.Graphics g)
        Overrides:
        printComponent in class javax.swing.JComponent

      • paintComponent

        protected void paintComponent​(java.awt.Graphics g)
        Overrides:
        paintComponent in class javax.swing.JComponent

      • translateToEventIndex

        protected final int translateToEventIndex​(java.awt.Point point)

      • translateToDetailedEventIndex

        protected final int translateToDetailedEventIndex​(java.awt.Point point)
        Parameters:
        point -
        Returns:
        positive: event index; -1: out of trace; -2: name of trace

      • getMaximumSize

        public java.awt.Dimension getMaximumSize()
        Overrides:
        getMaximumSize in class javax.swing.JComponent

      • getMinimumSize

        public java.awt.Dimension getMinimumSize()
        Overrides:
        getMinimumSize in class javax.swing.JComponent

      • getPreferredSize

        public java.awt.Dimension getPreferredSize()
        Overrides:
        getPreferredSize in class javax.swing.JComponent

      • getAttenuationFactor

        public float getAttenuationFactor()

      • setAttenuationFactor

        public void setAttenuationFactor​(float attenuationFactor)

      • getDefaultFont

        public java.awt.Font getDefaultFont()

      • getMaxWedgeWidth

        public int getMaxWedgeWidth()

      • setMaxWedgeWidth

        public void setMaxWedgeWidth​(int maxWedgeWidth)

      • getCollapsedLabelLength

        public int getCollapsedLabelLength()

      • setCollapsedLabelLength

        public void setCollapsedLabelLength​(int collapsedLabelLength)

      • getWedgeStroke

        public java.awt.Stroke getWedgeStroke()

      • setWedgeStroke

        public void setWedgeStroke​(java.awt.Stroke wedgeStroke)

      • getWedgeGap

        public int getWedgeGap()

      • setWedgeGap

        public void setWedgeGap​(int wedgeGap)

      • isFixedWedgeWidth

        public boolean isFixedWedgeWidth()

      • setFixedWedgeWidth

        public void setFixedWedgeWidth​(int fixedWedgeWidth)

      • getFixedWedgeWidth

        public int getFixedWedgeWidth()

      • getMaxInfoWidth

        public int getMaxInfoWidth()

      • setMaxInfoWidth

        public void setMaxInfoWidth​(int maxInfoWidth)

      • isFixedInfoWidth

        public boolean isFixedInfoWidth()

      • getFixedInfoWidth

        public int getFixedInfoWidth()

      • setFixedInfoWidth

        public void setFixedInfoWidth​(int fixedInfoWidth)