Package org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction

Class ProcessExecutionPanel.CustomGraphComponent

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JScrollPane

org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent

org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.ProcessExecutionPanel.CustomGraphComponent

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.awt.print.Printable, java.io.Serializable, javax.accessibility.Accessible, javax.swing.ScrollPaneConstants

Enclosing class:

ProcessExecutionPanel

public static class ProcessExecutionPanel.CustomGraphComponent
extends mxGraphComponent

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent

mxGraphComponent.mxGraphControl, mxGraphComponent.mxMouseRedirector

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

javax.swing.JScrollPane.AccessibleJScrollPane, javax.swing.JScrollPane.ScrollBar

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.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent

antiAlias, autoExtend, autoScroll, backgroundImage, canvas, cellEditor, centerPage, centerZoom, collapsedIcon, components, connectionHandler, DEFAULT_COLLAPSED_ICON, DEFAULT_EXPANDED_ICON, DEFAULT_PAGESCALE, DEFAULT_WARNING_ICON, dragEnabled, enterStopsCellEditing, escapeEnabled, eventSource, expandedIcon, exportEnabled, foldingEnabled, graph, graphControl, graphHandler, GRID_STYLE_CROSS, GRID_STYLE_DASHED, GRID_STYLE_DOT, GRID_STYLE_LINE, gridColor, gridStyle, gridVisible, horizontalPageCount, importEnabled, invokesStopCellEditing, keepSelectionVisibleOnZoom, overlays, pageBackgroundColor, pageBorderColor, pageBreakColor, pageBreaksVisible, pageFormat, pageScale, pageShadowColor, pageVisible, panningHandler, preferPageSize, previewAlpha, repaintHandler, scaleHandler, selectionCellsHandler, showDirtyRectangle, swimlaneSelectionEnabled, textAntiAlias, tolerance, transparentSwimlaneContent, tripleBuffer, tripleBuffered, tripleBufferGraphics, updateHandler, verticalPageCount, viewChangeHandler, warningIcon, ZOOM_POLICY_NONE, ZOOM_POLICY_PAGE, ZOOM_POLICY_WIDTH, zoomFactor, zoomPolicy

Fields inherited from class javax.swing.JScrollPane

columnHeader, horizontalScrollBar, horizontalScrollBarPolicy, lowerLeft, lowerRight, rowHeader, upperLeft, upperRight, verticalScrollBar, verticalScrollBarPolicy, viewport

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

Fields inherited from interface javax.swing.ScrollPaneConstants

COLUMN_HEADER, HORIZONTAL_SCROLLBAR, HORIZONTAL_SCROLLBAR_ALWAYS, HORIZONTAL_SCROLLBAR_AS_NEEDED, HORIZONTAL_SCROLLBAR_NEVER, HORIZONTAL_SCROLLBAR_POLICY, LOWER_LEADING_CORNER, LOWER_LEFT_CORNER, LOWER_RIGHT_CORNER, LOWER_TRAILING_CORNER, ROW_HEADER, UPPER_LEADING_CORNER, UPPER_LEFT_CORNER, UPPER_RIGHT_CORNER, UPPER_TRAILING_CORNER, VERTICAL_SCROLLBAR, VERTICAL_SCROLLBAR_ALWAYS, VERTICAL_SCROLLBAR_AS_NEEDED, VERTICAL_SCROLLBAR_NEVER, VERTICAL_SCROLLBAR_POLICY, VIEWPORT

Constructor Summary

Constructors

Constructor	Description
CustomGraphComponent(mxGraph graph)

Method Summary

Methods inherited from class org.processmining.objectcentricconstraintchecking.algorithms.swing.mxGraphComponent

addCellOverlay, addListener, canExportCell, canImportCell, checkTripleBuffer, clearCellOverlays, clearCellOverlays, createCanvas, createCellEditor, createComponents, createConnectionHandler, createGraphControl, createGraphHandler, createHandler, createHandlers, createPanningHandler, createSelectionCellsHandler, createTransferHandler, createTripleBuffer, destroyTripleBuffer, escape, getBackgroundImage, getCanvas, getCellAt, getCellAt, getCellAt, getCellEditor, getCellOverlays, getCells, getCells, getConnectionHandler, getEditingValue, getExportableCells, getFoldingIcon, getFoldingIconBounds, getGraph, getGraphControl, getGraphHandler, getGridColor, getGridStyle, getHorizontalPageBorder, getHorizontalPageCount, getImportableCells, getLayoutAreaSize, getPageBackgroundColor, getPageBorderColor, getPageBreakColor, getPageFormat, getPageScale, getPageShadowColor, getPageTranslate, getPanningHandler, getPointForEvent, getPointForEvent, getPreferredSizeForPage, getPreviewAlpha, getScaledPreferredSizeForGraph, getSelectionCellsHandler, getTolerance, getTripleBuffer, getVerticalPageBorder, getVerticalPageCount, getZoomFactor, getZoomPolicy, hitFoldingIcon, importCells, insertComponent, installDoubleClickHandler, installFocusHandler, installKeyHandler, installResizeHandler, isAntiAlias, isAutoExtend, isAutoScroll, isCenterPage, isCenterZoom, isCloneEvent, isConnectable, isConstrainedEvent, isDragEnabled, isEditEvent, isEditing, isEnterStopsCellEditing, isEscapeEnabled, isEventsEnabled, isExportEnabled, isFoldingEnabled, isForceMarqueeEvent, isForceTripleBuffered, isGridEnabledEvent, isGridVisible, isImportEnabled, isInvokesStopCellEditing, isKeepSelectionVisibleOnZoom, isPageBreaksVisible, isPageVisible, isPanning, isPanningEvent, isPreferPageSize, isSignificant, isSwimlaneSelectionEnabled, isTextAntiAlias, isToggleEvent, isTripleBuffered, labelChanged, maintainScrollBar, paintBackground, paintBackgroundImage, paintBackgroundPage, paintGrid, print, redraw, refresh, removeAllComponents, removeAllOverlays, removeCellOverlay, removeCellOverlayComponent, removeCellOverlays, removeComponent, removeListener, removeListener, repaintTripleBuffer, scrollCellToVisible, scrollCellToVisible, scrollToCenter, selectCellForEvent, selectCellsForEvent, selectRegion, setAntiAlias, setAutoExtend, setAutoScroll, setBackgroundImage, setCellEditor, setCellWarning, setCellWarning, setCellWarning, setCenterPage, setCenterZoom, setConnectable, setDragEnabled, setEnterStopsCellEditing, setEscapeEnabled, setEventsEnabled, setExportEnabled, setFoldingEnabled, setGraph, setGridColor, setGridStyle, setGridVisible, setHorizontalPageCount, setImportEnabled, setInvokesStopCellEditing, setKeepSelectionVisibleOnZoom, setPageBackgroundColor, setPageBorderColor, setPageBreakColor, setPageBreaksVisible, setPageFormat, setPageScale, setPageShadowColor, setPageVisible, setPanning, setPreferPageSize, setPreviewAlpha, setSwimlaneSelectionEnabled, setTextAntiAlias, setTolerance, setToolTips, setTripleBuffered, setVerticalPageCount, setZoomFactor, setZoomPolicy, snapScaledPoint, snapScaledPoint, startEditing, startEditingAtCell, startEditingAtCell, stopEditing, updateCellOverlayComponent, updateCellOverlays, updateComponent, updateComponents, updateComponents, validateGraph, validateGraph, zoom, zoom, zoomActual, zoomAndCenter, zoomIn, zoomOut, zoomTo

Methods inherited from class javax.swing.JScrollPane

createHorizontalScrollBar, createVerticalScrollBar, createViewport, getAccessibleContext, getColumnHeader, getCorner, getHorizontalScrollBar, getHorizontalScrollBarPolicy, getRowHeader, getUI, getUIClassID, getVerticalScrollBar, getVerticalScrollBarPolicy, getViewport, getViewportBorder, getViewportBorderBounds, isValidateRoot, isWheelScrollingEnabled, paramString, setColumnHeader, setColumnHeaderView, setComponentOrientation, setCorner, setHorizontalScrollBar, setHorizontalScrollBarPolicy, setLayout, setRowHeader, setRowHeaderView, setUI, setVerticalScrollBar, setVerticalScrollBarPolicy, setViewport, setViewportBorder, setViewportView, setWheelScrollingEnabled, 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, paint, paintBorder, paintChildren, paintComponent, 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, 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, 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

CustomGraphComponent

public CustomGraphComponent(mxGraph graph)

Parameters:

graph -