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

Class CaseGraph

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.processmining.objectcentricconstraintchecking.algorithms.ocel.extraction.CaseGraph

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class CaseGraph
extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CaseGraph.CustomGraph
static class	CaseGraph.CustomGraphComponent

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

javax.swing.JPanel.AccessibleJPanel

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	Description
protected mxAnalysisGraph	aGraph
protected java.lang.String	appTitle
protected mxEventSource.mxIEventListener	changeTracker
protected java.io.File	currentFile
protected mxGraphComponent	graphComponent
protected mxGraphOutline	graphOutline
protected mxKeyboardHandlerForOCCLEditor	keyboardHandler
protected boolean	modified	Flag indicating whether the current graph has been modified
protected javax.swing.JTabbedPane	processExecutionPane
protected mxRubberband	rubberband
protected java.util.HashSet<java.lang.String>	selectedObjSet
protected int	selectedRow
protected javax.swing.JLabel	statusBar
protected mxEventSource.mxIEventListener	undoHandler
protected mxUndoManager	undoManager
protected javax.swing.JPanel	violationTablePanel

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	Description
CaseGraph()
CaseGraph(org.processmining.contexts.uitopia.UIPluginContext context, java.util.Map<java.lang.String,java.util.Map> leadObjMap, java.util.Map<java.lang.String,java.util.HashSet> nodeMap, java.util.Map<OcelObject,java.util.Map> edgeMap, java.lang.String primaryObj, java.util.HashSet<java.lang.String> supplementaryObjs, java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap, OcelEventLog ocel)

Method Summary

Modifier and Type	Method	Description
void	about()
javax.swing.Action	bind(java.lang.String name, javax.swing.Action action)
javax.swing.Action	bind(java.lang.String name, javax.swing.Action action, java.lang.String iconUrl)
void	configAnalysisGraph(mxGraph graph, mxGraphGenerator generator, java.util.Map<java.lang.String,java.lang.Object> props)
javax.swing.JFrame	createFrame(javax.swing.JMenuBar menuBar)
protected mxIGraphLayout	createLayout(java.lang.String ident, boolean animate)	Creates a layout instance for the given identifier.
protected javax.swing.JLabel	createStatusBar()
protected mxUndoManager	createUndoManager()
void	exit()
static java.util.ArrayList<mxCell>	getActivityPorts()
java.io.File	getCurrentFile()
static void	getDialogForObjType(mxGraph graph, mxCell cell, java.lang.String refObj)
mxGraphComponent	getGraphComponent()
mxGraphOutline	getGraphOutline()
static java.util.ArrayList<mxCell>	getObjTypePorts()
mxUndoManager	getUndoManager()
javax.swing.Action	graphLayout(java.lang.String key, boolean animate)	Creates an action that executes the specified layout.
protected void	installHandlers()
protected void	installListeners()
protected void	installRepaintListener()
boolean	isModified()
static void	main(java.lang.String[] args)
protected void	mouseLocationChanged(java.awt.event.MouseEvent e)
protected void	mouseWheelMoved(java.awt.event.MouseWheelEvent e)
void	setCurrentFile(java.io.File file)
void	setLookAndFeel(java.lang.String clazz)
void	setModified(boolean modified)
protected void	showGraphPopupMenu(java.awt.event.MouseEvent e)
protected void	showOutlinePopupMenu(java.awt.event.MouseEvent e)
static java.util.Map<java.lang.String,java.lang.Integer>	sortMap(java.util.Map<java.lang.String,java.lang.Integer> map)
void	status(java.lang.String msg)
void	updateTitle()

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, 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, isValidateRoot, 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, 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, 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

aGraph

protected mxAnalysisGraph aGraph

graphComponent

protected mxGraphComponent graphComponent

violationTablePanel

protected javax.swing.JPanel violationTablePanel

selectedObjSet

protected java.util.HashSet<java.lang.String> selectedObjSet

graphOutline

protected mxGraphOutline graphOutline

processExecutionPane

protected javax.swing.JTabbedPane processExecutionPane

undoManager

protected mxUndoManager undoManager

appTitle

protected java.lang.String appTitle

statusBar

protected javax.swing.JLabel statusBar

currentFile

protected java.io.File currentFile

modified

protected boolean modified

Flag indicating whether the current graph has been modified

selectedRow

protected int selectedRow

rubberband

protected mxRubberband rubberband

keyboardHandler

protected mxKeyboardHandlerForOCCLEditor keyboardHandler

undoHandler

protected mxEventSource.mxIEventListener undoHandler

changeTracker

protected mxEventSource.mxIEventListener changeTracker

Constructor Detail

CaseGraph

public CaseGraph()

CaseGraph

public CaseGraph(org.processmining.contexts.uitopia.UIPluginContext context,
                 java.util.Map<java.lang.String,java.util.Map> leadObjMap,
                 java.util.Map<java.lang.String,java.util.HashSet> nodeMap,
                 java.util.Map<OcelObject,java.util.Map> edgeMap,
                 java.lang.String primaryObj,
                 java.util.HashSet<java.lang.String> supplementaryObjs,
                 java.util.Map<java.lang.String,java.util.HashMap<OcelEvent,java.util.HashMap<OcelEvent,java.util.HashSet<OcelObject>>>> peMap,
                 OcelEventLog ocel)

Method Detail

sortMap

public static java.util.Map<java.lang.String,java.lang.Integer> sortMap(java.util.Map<java.lang.String,java.lang.Integer> map)

configAnalysisGraph

public void configAnalysisGraph(mxGraph graph,
                                mxGraphGenerator generator,
                                java.util.Map<java.lang.String,java.lang.Object> props)

createUndoManager

protected mxUndoManager createUndoManager()

installHandlers

protected void installHandlers()

createStatusBar

protected javax.swing.JLabel createStatusBar()

installRepaintListener

protected void installRepaintListener()

mouseWheelMoved

protected void mouseWheelMoved(java.awt.event.MouseWheelEvent e)

showOutlinePopupMenu

protected void showOutlinePopupMenu(java.awt.event.MouseEvent e)

mouseLocationChanged

protected void mouseLocationChanged(java.awt.event.MouseEvent e)

installListeners

protected void installListeners()

showGraphPopupMenu

protected void showGraphPopupMenu(java.awt.event.MouseEvent e)

setCurrentFile

public void setCurrentFile(java.io.File file)

getCurrentFile

public java.io.File getCurrentFile()

setModified

public void setModified(boolean modified)

Parameters:

modified -

isModified

public boolean isModified()

Returns:

whether or not the current graph has been modified

getGraphComponent

public mxGraphComponent getGraphComponent()

getGraphOutline

public mxGraphOutline getGraphOutline()

getUndoManager

public mxUndoManager getUndoManager()

bind

public javax.swing.Action bind(java.lang.String name,
                               javax.swing.Action action)

Parameters:

name -

action -

Returns:

a new Action bound to the specified string name

bind

public javax.swing.Action bind(java.lang.String name,
                               javax.swing.Action action,
                               java.lang.String iconUrl)

Parameters:

name -

action -

Returns:

a new Action bound to the specified string name and icon

status

public void status(java.lang.String msg)

Parameters:

msg -

updateTitle

public void updateTitle()

about

public void about()

exit

public void exit()

setLookAndFeel

public void setLookAndFeel(java.lang.String clazz)

createFrame

public javax.swing.JFrame createFrame(javax.swing.JMenuBar menuBar)

graphLayout

public javax.swing.Action graphLayout(java.lang.String key,
                                      boolean animate)

Creates an action that executes the specified layout.

Parameters:

key - Key to be used for getting the label from mxResources and also to create the layout instance for the commercial graph editor example.

Returns:

an action that executes the specified layout

createLayout

protected mxIGraphLayout createLayout(java.lang.String ident,
                                      boolean animate)

Creates a layout instance for the given identifier.

getDialogForObjType

public static void getDialogForObjType(mxGraph graph,
                                       mxCell cell,
                                       java.lang.String refObj)

getActivityPorts

public static java.util.ArrayList<mxCell> getActivityPorts()

getObjTypePorts

public static java.util.ArrayList<mxCell> getObjTypePorts()

main

public static void main(java.lang.String[] args)