org.processmining.plugins.tracealignmentwithguidetree.visualization

Class AlignmentFrame

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JInternalFrame

org.processmining.plugins.tracealignmentwithguidetree.visualization.AlignmentFrame

All Implemented Interfaces:

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

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

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
static int	MaxPriority

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(AlignmentTree tree)
AlignmentFrame(AlignmentTree tree, java.util.Map<java.lang.String,java.awt.Color> activityColorMap)

Method Summary

Modifier and Type	Method and Description
void	activityBackgroundChanged(DisplayProperties displayProperties)
void	activityColorChanged(java.lang.String encodedActivity, java.awt.Color color)
void	activityColorMappingChanged(java.awt.Color color)
void	addColumnFilter(ColumnFilter filter, int column)
void	addColumnSort(ColumnSort columnSort, int column)
void	alignmentNameChanged(Alignment alignment)
void	alignmentSeqActivityChanged(Alignment alignment, Sequence sequence)
void	alignmentSeqDeleted(Alignment alignment, int i, Sequence sequence)
void	alignmentSeqSwapped(Alignment alignment, int i, int j)
void	displayAnnViewChanged(DisplayProperties displayProperties, Sequence sequence, boolean show)
void	displayFontChanged(DisplayProperties displayProperties)
void	displayGroupEditingChanged(DisplayProperties displayProperties)
void	displayHighlightsChanged(DisplayProperties displayProperties, Sequence sequence)
void	displayHighlightsChanged(DisplayProperties displayProperties, Sequence[] sequenceArray)
void	displayOverwriteChanged(DisplayProperties displayProperties)
void	displayRenderGapsChanged(DisplayProperties displayProperties)
void	displaySeqSelectChanged(DisplayProperties displayProperties, Sequence sequence, boolean select)
java.util.Map<java.lang.String,java.lang.String>	getCharActivityMap()
java.util.Map<java.lang.String,java.awt.Color>	getEncodedActivityColorMap()
int	getEncodingLength()
int	getNextFreePriority()
int	getNoColumnSorts()
boolean	hasAnyActivities(java.lang.String s)
void	incrementColumnSorts()
boolean	isValidEncodedActivity(java.lang.String encodedActivity)
void	removeColumnFilter(int column)
void	removeColumnSort(int column)
void	removed(int priority)
void	revalidateAndRepaintAll()
void	setAllSequenceCollapsed(boolean collapsed, boolean repaint)
void	setAllSequencesHidden(boolean hidden)
void	setColumnFiltering(boolean columnFiltering)
void	setColumnFiltering(boolean columnFiltering, boolean setMenu)
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, getPreferredSize, 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

MaxPriority

public static final int MaxPriority

See Also:

Constant Field Values

Constructor Detail

AlignmentFrame

public AlignmentFrame(AlignmentTree tree,
                      java.util.Map<java.lang.String,java.awt.Color> activityColorMap)

AlignmentFrame

public AlignmentFrame(AlignmentTree tree)

Method Detail

getEncodedActivityColorMap

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

incrementColumnSorts

public void incrementColumnSorts()

getNextFreePriority

public int getNextFreePriority()

removed

public void removed(int priority)

getNoColumnSorts

public int getNoColumnSorts()

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

revalidateAndRepaintAll

public void revalidateAndRepaintAll()

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)

setAllSequenceCollapsed

public void setAllSequenceCollapsed(boolean collapsed,
                                    boolean repaint)

setAllSequencesHidden

public void setAllSequencesHidden(boolean hidden)

setSequenceCollapsed

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

displayAnnViewChanged

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

Specified by:

displayAnnViewChanged in interface DisplayPropertiesListener

displaySeqSelectChanged

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

Specified by:

displaySeqSelectChanged in interface DisplayPropertiesListener

displayFontChanged

public void displayFontChanged(DisplayProperties displayProperties)

Specified by:

displayFontChanged in interface DisplayPropertiesListener

displayRenderGapsChanged

public void displayRenderGapsChanged(DisplayProperties displayProperties)

Specified by:

displayRenderGapsChanged in interface DisplayPropertiesListener

displayGroupEditingChanged

public void displayGroupEditingChanged(DisplayProperties displayProperties)

Specified by:

displayGroupEditingChanged in interface DisplayPropertiesListener

displayOverwriteChanged

public void displayOverwriteChanged(DisplayProperties displayProperties)

Specified by:

displayOverwriteChanged in interface DisplayPropertiesListener

displayHighlightsChanged

public void displayHighlightsChanged(DisplayProperties displayProperties,
                                     Sequence sequence)

Specified by:

displayHighlightsChanged in interface DisplayPropertiesListener

displayHighlightsChanged

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

Specified by:

displayHighlightsChanged in interface DisplayPropertiesListener

activityBackgroundChanged

public void activityBackgroundChanged(DisplayProperties displayProperties)

Specified by:

activityBackgroundChanged in interface DisplayPropertiesListener

alignmentNameChanged

public void alignmentNameChanged(Alignment alignment)

Specified by:

alignmentNameChanged in interface AlignmentListener

alignmentSeqDeleted

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

Specified by:

alignmentSeqDeleted in interface AlignmentListener

alignmentSeqSwapped

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

Specified by:

alignmentSeqSwapped in interface AlignmentListener

alignmentSeqActivityChanged

public void alignmentSeqActivityChanged(Alignment alignment,
                                        Sequence sequence)

Specified by:

alignmentSeqActivityChanged in interface AlignmentListener

activityColorMappingChanged

public void activityColorMappingChanged(java.awt.Color color)

Specified by:

activityColorMappingChanged in interface ActivityColorListener

activityColorChanged

public void activityColorChanged(java.lang.String encodedActivity,
                                 java.awt.Color color)

Specified by:

activityColorChanged in interface ActivityColorListener

isValidEncodedActivity

public boolean isValidEncodedActivity(java.lang.String encodedActivity)

getEncodingLength

public int getEncodingLength()

hasAnyActivities

public boolean hasAnyActivities(java.lang.String s)

getCharActivityMap

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