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

Class ProMTraceView

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

org.processmining.framework.util.ui.widgets.traceview.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

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ProMTraceView.AbstractEvent An abstract implementation of ProMTraceView.Event that returns an empty event.
static class	ProMTraceView.AbstractExtendedEvent
static class	ProMTraceView.AbstractSplittedEvent Abstract base class for ProMTraceView.SplittedEvent.
static class	ProMTraceView.AbstractTrace<T extends ProMTraceView.Event> An abstract implementation of the ProMTraceView.Trace interface.
static class	ProMTraceView.DefaultEvent A default implementation of the ProMTraceView.Event interface.
static class	ProMTraceView.DefaultSplittedEvent Default implementation of ProMTraceView.SplittedEvent.
static class	ProMTraceView.DefaultTrace<T extends ProMTraceView.Event> A default implementation of the ProMTraceView.Trace interface.
static interface	ProMTraceView.Event An Event with labels and colors.
static interface	ProMTraceView.ExtendedEvent
static interface	ProMTraceView.SplittedEvent
static interface	ProMTraceView.Trace<T extends ProMTraceView.Event> A Trace is just a sequence of events.

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

Modifier and Type	Field and 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

Constructor Summary

Constructors

Constructor and Description
ProMTraceView() Creates a new instance of ProMTraceView that paints a ProMTraceView.Trace consisting of ProMTraceView.Event's.
ProMTraceView(java.awt.Font font)
ProMTraceView(java.awt.Font font, boolean hasLabels) Creates a new instance of ProMTraceView that paints a ProMTraceView.Trace consisting of ProMTraceView.Event's.

Method Summary

Modifier and Type	Method and 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, 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, 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

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

setTrace

public void setTrace(ProMTraceView.Trace<? extends ProMTraceView.Event> trace)

Updates the currently displayed trace

Parameters:

trace -

setSelected

public void setSelected(boolean isSelected)

Updates the selection status of the currently displayed trace

Parameters:

isSelected -

isSelected

public boolean isSelected()

getTrace

public ProMTraceView.Trace<? extends ProMTraceView.Event> getTrace()

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()

getWedgeBuilder

public ProMTraceList.WedgeBuilder getWedgeBuilder()

setWedgeBuilder

public void setWedgeBuilder(ProMTraceList.WedgeBuilder colorBuilder)

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)