org.processmining.plugins.tracealignment

Class AlignmentFrame

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JInternalFrame

org.processmining.plugins.tracealignment.AlignmentFrame

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible, javax.swing.RootPaneContainer, javax.swing.WindowConstants, AlignmentListener, DisplayPropertiesListener

public class AlignmentFrame
extends javax.swing.JInternalFrame
implements AlignmentListener, DisplayPropertiesListener

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JInternalFrame

javax.swing.JInternalFrame.AccessibleJInternalFrame, javax.swing.JInternalFrame.JDesktopIcon

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
protected boolean	columnFiltering
protected boolean	columnSorting

Fields inherited from class javax.swing.JInternalFrame

closable, CONTENT_PANE_PROPERTY, desktopIcon, FRAME_ICON_PROPERTY, frameIcon, GLASS_PANE_PROPERTY, iconable, IS_CLOSED_PROPERTY, IS_ICON_PROPERTY, IS_MAXIMUM_PROPERTY, IS_SELECTED_PROPERTY, isClosed, isIcon, isMaximum, isSelected, LAYERED_PANE_PROPERTY, maximizable, MENU_BAR_PROPERTY, resizable, ROOT_PANE_PROPERTY, rootPane, rootPaneCheckingEnabled, title, TITLE_PROPERTY

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 javax.swing.WindowConstants

DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_ON_CLOSE, HIDE_ON_CLOSE

Fields inherited from interface java.awt.image.ImageObserver

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

Constructor Summary

Constructors

Constructor and Description
AlignmentFrame(org.processmining.contexts.uitopia.UIPluginContext context, org.deckfour.xes.model.XLog log)

Method Summary

Modifier and Type	Method and Description
void	activityBackgroundChanged(DisplayProperties dp)
void	addColumnFilter(ColumnFilter filter, int column)
void	addColumnSort(ColumnSort columnSort, int column)
void	alignmentNameChanged(Alignment alignment)
void	alignmentSeqActivityChanged(Alignment align, Sequence sequence)
void	alignmentSeqDeleted(Alignment align, int i, Sequence sequence)
void	alignmentSeqInserted(Alignment align, int i)
void	alignmentSeqSwapped(Alignment align, int i, int j)
void	decrementNumColumnSorts()
void	displayAnnViewChanged(DisplayProperties dp, Sequence sequence, boolean show)
void	displayColorSchemeChanged(DisplayProperties dp, ColorScheme old)
void	displayFontChanged(DisplayProperties dp)
void	displayGroupEditingChanged(DisplayProperties dp)
void	displayHighlightsChanged(DisplayProperties dp, Sequence sequence)
void	displayHighlightsChanged(DisplayProperties dp, Sequence[] sequenceArray)
void	displayOverwriteChanged(DisplayProperties dp)
void	displayRenderGapsChanged(DisplayProperties dp)
void	displaySeqSelectChanged(DisplayProperties dp, Sequence sequence, boolean select)
java.util.List<java.lang.String>	getActivityList()
java.util.Map<java.lang.String,java.lang.String>	getCharActivityMap()
java.util.Map<java.lang.String,java.awt.Color>	getEncodedActivityColorMap()
int	getEncodingLength()
int	getMaxPriority()
int	getNextFreePriority()
int	getNumColumnSorts()
java.awt.Dimension	getPreferredSize()
java.awt.Point	getXYForRowColumn(int row, int column)
void	incrementalVerticalScroll(int rowsToScroll)
void	incrementNumColumnSorts()
void	makeRoom(int priority)
void	removeColumnFilter(int column)
void	removeColumnSort(int column)
void	removed(int priority)
void	revalidateAndRepaintAll()
void	scrollTo(int row, int column, float lowerMargin, float upperMargin)
void	scrollTo(int row, int column, float lowerMargin, float upperMargin, boolean forceScroll)
void	setAllSequenceCollapsed(boolean collapsed, boolean repaint)
void	setAllSequencesHidden(boolean hidden)
void	setColumnFiltering(boolean columnFiltering)
void	setColumnFiltering(boolean columnFiltering, boolean setMenu)
void	setColumnSort(int priority, ColumnSort cs)
void	setColumnSorting(boolean columnSorting)
void	setColumnSorting(boolean columnSorting, boolean setMenu)
void	setSequenceCollapsed(int idx, boolean collapsed, boolean repaint)
void	updateCollapsed()
void	updateSort()

Methods inherited from class javax.swing.JInternalFrame

addImpl, addInternalFrameListener, createRootPane, dispose, doDefaultCloseAction, fireInternalFrameEvent, getAccessibleContext, getContentPane, getDefaultCloseOperation, getDesktopIcon, getDesktopPane, getFocusCycleRootAncestor, getFocusOwner, getFrameIcon, getGlassPane, getInternalFrameListeners, getJMenuBar, getLastCursor, getLayer, getLayeredPane, getMenuBar, getMostRecentFocusOwner, getNormalBounds, getRootPane, getTitle, getUI, getUIClassID, getWarningString, hide, isClosable, isClosed, isFocusCycleRoot, isIcon, isIconifiable, isMaximizable, isMaximum, isResizable, isRootPaneCheckingEnabled, isSelected, moveToBack, moveToFront, pack, paintComponent, paramString, remove, removeInternalFrameListener, reshape, restoreSubcomponentFocus, setClosable, setClosed, setContentPane, setCursor, setDefaultCloseOperation, setDesktopIcon, setFocusCycleRoot, setFrameIcon, setGlassPane, setIcon, setIconifiable, setJMenuBar, setLayer, setLayer, setLayeredPane, setLayout, setMaximizable, setMaximum, setMenuBar, setNormalBounds, setResizable, setRootPane, setRootPaneCheckingEnabled, setSelected, setTitle, setUI, show, toBack, toFront, 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, getRegisteredKeyStrokes, getSize, getToolTipLocation, getToolTipText, getToolTipText, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, 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, 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, addPropertyChangeListener, addPropertyChangeListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getComponentZOrder, getContainerListeners, getFocusTraversalKeys, getFocusTraversalPolicy, getLayout, getMousePosition, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, printComponents, processContainerEvent, processEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, 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, 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, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, 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

columnFiltering

protected boolean columnFiltering

columnSorting

protected boolean columnSorting

Constructor Detail

AlignmentFrame

public AlignmentFrame(org.processmining.contexts.uitopia.UIPluginContext context,
                      org.deckfour.xes.model.XLog log)

Method Detail

setColumnFiltering

public void setColumnFiltering(boolean columnFiltering)

setColumnFiltering

public void setColumnFiltering(boolean columnFiltering,
                               boolean setMenu)

setColumnSorting

public void setColumnSorting(boolean columnSorting)

setColumnSorting

public void setColumnSorting(boolean columnSorting,
                             boolean setMenu)

addColumnSort

public void addColumnSort(ColumnSort columnSort,
                          int column)

removeColumnSort

public void removeColumnSort(int column)

updateSort

public void updateSort()

removeColumnFilter

public void removeColumnFilter(int column)

addColumnFilter

public void addColumnFilter(ColumnFilter filter,
                            int column)

updateCollapsed

public void updateCollapsed()

setAllSequenceCollapsed

public void setAllSequenceCollapsed(boolean collapsed,
                                    boolean repaint)

setAllSequencesHidden

public void setAllSequencesHidden(boolean hidden)

setSequenceCollapsed

public void setSequenceCollapsed(int idx,
                                 boolean collapsed,
                                 boolean repaint)

revalidateAndRepaintAll

public void revalidateAndRepaintAll()

getPreferredSize

public java.awt.Dimension getPreferredSize()

Overrides:

getPreferredSize in class javax.swing.JComponent

alignmentNameChanged

public void alignmentNameChanged(Alignment alignment)

Specified by:

alignmentNameChanged in interface AlignmentListener

alignmentSeqInserted

public void alignmentSeqInserted(Alignment align,
                                 int i)

Specified by:

alignmentSeqInserted in interface AlignmentListener

alignmentSeqDeleted

public void alignmentSeqDeleted(Alignment align,
                                int i,
                                Sequence sequence)

Specified by:

alignmentSeqDeleted in interface AlignmentListener

alignmentSeqSwapped

public void alignmentSeqSwapped(Alignment align,
                                int i,
                                int j)

Specified by:

alignmentSeqSwapped in interface AlignmentListener

alignmentSeqActivityChanged

public void alignmentSeqActivityChanged(Alignment align,
                                        Sequence sequence)

Specified by:

alignmentSeqActivityChanged in interface AlignmentListener

displayAnnViewChanged

public void displayAnnViewChanged(DisplayProperties dp,
                                  Sequence sequence,
                                  boolean show)

Specified by:

displayAnnViewChanged in interface DisplayPropertiesListener

displayColorSchemeChanged

public void displayColorSchemeChanged(DisplayProperties dp,
                                      ColorScheme old)

Specified by:

displayColorSchemeChanged in interface DisplayPropertiesListener

displayFontChanged

public void displayFontChanged(DisplayProperties dp)

Specified by:

displayFontChanged in interface DisplayPropertiesListener

displayGroupEditingChanged

public void displayGroupEditingChanged(DisplayProperties dp)

Specified by:

displayGroupEditingChanged in interface DisplayPropertiesListener

displayHighlightsChanged

public void displayHighlightsChanged(DisplayProperties dp,
                                     Sequence sequence)

Specified by:

displayHighlightsChanged in interface DisplayPropertiesListener

displayHighlightsChanged

public void displayHighlightsChanged(DisplayProperties dp,
                                     Sequence[] sequenceArray)

Specified by:

displayHighlightsChanged in interface DisplayPropertiesListener

displayOverwriteChanged

public void displayOverwriteChanged(DisplayProperties dp)

Specified by:

displayOverwriteChanged in interface DisplayPropertiesListener

displayRenderGapsChanged

public void displayRenderGapsChanged(DisplayProperties dp)

Specified by:

displayRenderGapsChanged in interface DisplayPropertiesListener

activityBackgroundChanged

public void activityBackgroundChanged(DisplayProperties dp)

Specified by:

activityBackgroundChanged in interface DisplayPropertiesListener

displaySeqSelectChanged

public void displaySeqSelectChanged(DisplayProperties dp,
                                    Sequence sequence,
                                    boolean select)

Specified by:

displaySeqSelectChanged in interface DisplayPropertiesListener

incrementalVerticalScroll

public void incrementalVerticalScroll(int rowsToScroll)

scrollTo

public void scrollTo(int row,
                     int column,
                     float lowerMargin,
                     float upperMargin)

scrollTo

public void scrollTo(int row,
                     int column,
                     float lowerMargin,
                     float upperMargin,
                     boolean forceScroll)

getXYForRowColumn

public java.awt.Point getXYForRowColumn(int row,
                                        int column)

getActivityList

public java.util.List<java.lang.String> getActivityList()

getCharActivityMap

public java.util.Map<java.lang.String,java.lang.String> getCharActivityMap()

getEncodedActivityColorMap

public java.util.Map<java.lang.String,java.awt.Color> getEncodedActivityColorMap()

getEncodingLength

public int getEncodingLength()

getNumColumnSorts

public int getNumColumnSorts()

getMaxPriority

public int getMaxPriority()

getNextFreePriority

public int getNextFreePriority()

makeRoom

public void makeRoom(int priority)

incrementNumColumnSorts

public void incrementNumColumnSorts()

decrementNumColumnSorts

public void decrementNumColumnSorts()

removed

public void removed(int priority)

setColumnSort

public void setColumnSort(int priority,
                          ColumnSort cs)