Package org.processmining.objectcentricconstraintchecking.algorithms.editor

Class BasicGraphEditor

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

org.processmining.objectcentricconstraintchecking.algorithms.editor.BasicGraphEditor

All Implemented Interfaces:

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

Direct Known Subclasses:

GraphEditor, GraphEditor

public class BasicGraphEditor
extends javax.swing.JPanel

See Also:

Serialized Form

Nested Class Summary

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 javax.swing.JTabbedPane	actPane
protected java.lang.String	appTitle
protected mxEventSource.mxIEventListener	changeTracker
protected java.io.File	currentFile
protected mxGraphComponent	graphComponent
protected mxGraphOutline	graphOutline
protected mxKeyboardHandler	keyboardHandler
protected boolean	modified	Flag indicating whether the current graph has been modified
protected javax.swing.JTabbedPane	objPane
protected mxRubberband	rubberband
protected javax.swing.JLabel	statusBar
protected EditorToolBar	toolBar
protected mxEventSource.mxIEventListener	undoHandler
protected mxUndoManager	undoManager

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
BasicGraphEditor(java.lang.String appTitle, mxGraphComponent component)

Method Summary

Modifier and Type	Method	Description
void	about()
protected void	addListenersToGraphComponent(mxGraphComponent graphComponent)
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)
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()
javax.swing.JTabbedPane	getActPane()
java.io.File	getCurrentFile()
mxGraphComponent	getGraphComponent()
mxGraphOutline	getGraphOutline()
javax.swing.JTabbedPane	getObjPane()
EditorToolBar	getToolBar()
mxUndoManager	getUndoManager()
javax.swing.Action	graphLayout(java.lang.String key, boolean animate)	Creates an action that executes the specified layout.
ActEditorPalette	insertActPalette(java.lang.String title, java.lang.Integer actNum)
objEditorPalette	insertObjPalette(java.lang.String title, java.lang.Integer objNum)
protected void	installHandlers()
protected void	installListeners()
protected void	installRepaintListener()
protected void	installToolBar()
boolean	isModified()
protected void	mouseLocationChanged(java.awt.event.MouseEvent e)
protected void	mouseWheelMoved(java.awt.event.MouseWheelEvent e)
void	setCurrentFile(java.io.File file)
void	setGraphComponent(mxGraphComponent graphComponent)
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)
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

toolBar

protected EditorToolBar toolBar

graphComponent

protected mxGraphComponent graphComponent

graphOutline

protected mxGraphOutline graphOutline

objPane

protected javax.swing.JTabbedPane objPane

actPane

protected javax.swing.JTabbedPane actPane

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

rubberband

protected mxRubberband rubberband

keyboardHandler

protected mxKeyboardHandler keyboardHandler

undoHandler

protected mxEventSource.mxIEventListener undoHandler

changeTracker

protected mxEventSource.mxIEventListener changeTracker

Constructor Detail

BasicGraphEditor

public BasicGraphEditor(java.lang.String appTitle,
                        mxGraphComponent component)

Method Detail

addListenersToGraphComponent

protected void addListenersToGraphComponent(mxGraphComponent graphComponent)

createUndoManager

protected mxUndoManager createUndoManager()

installHandlers

protected void installHandlers()

installToolBar

protected void installToolBar()

createStatusBar

protected javax.swing.JLabel createStatusBar()

installRepaintListener

protected void installRepaintListener()

insertObjPalette

public objEditorPalette insertObjPalette(java.lang.String title,
                                         java.lang.Integer objNum)

insertActPalette

public ActEditorPalette insertActPalette(java.lang.String title,
                                         java.lang.Integer actNum)

mouseWheelMoved

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

showOutlinePopupMenu

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

showGraphPopupMenu

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

mouseLocationChanged

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

installListeners

protected void installListeners()

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

getObjPane

public javax.swing.JTabbedPane getObjPane()

getActPane

public javax.swing.JTabbedPane getActPane()

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.

getToolBar

public EditorToolBar getToolBar()

setGraphComponent

public void setGraphComponent(mxGraphComponent graphComponent)