org.processmining.plugins.declareminer.visualizing
Class GraphPane

java.lang.Object
  extended by java.awt.Component
      extended by java.awt.Container
          extended by javax.swing.JComponent
              extended by javax.swing.JPanel
                  extended by org.processmining.plugins.declareminer.visualizing.GraphPane
All Implemented Interfaces:
java.awt.event.KeyListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, org.jgraph.event.GraphSelectionListener

public class GraphPane
extends javax.swing.JPanel
implements org.jgraph.event.GraphSelectionListener, java.awt.event.KeyListener

See Also:
Serialized Form

Nested Class Summary
 class GraphPane.EdStatusBar
           
 class GraphPane.EventRedirector
           
static class GraphPane.MyEdgeHandle
           
 class GraphPane.MyMarqueeHandler
           
static class GraphPane.MyModel
           
 
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
protected  int cellCount
           
protected  javax.swing.Action copy
           
protected  javax.swing.Action cut
           
protected  org.jgraph.JGraph graph
           
protected  javax.swing.Action group
           
protected  javax.swing.Action paste
           
protected  javax.swing.Action redo
           
protected  javax.swing.Action remove
           
protected  GraphPane.EdStatusBar statusBar
           
protected  javax.swing.Action toback
           
protected  javax.swing.Action tofront
           
protected  javax.swing.Action undo
           
protected  org.jgraph.graph.GraphUndoManager undoManager
           
protected  javax.swing.Action ungroup
           
 
Fields inherited from class javax.swing.JComponent
accessibleContext, 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
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
GraphPane(GraphListener aGraphListener, org.jgraph.JGraph aGraph, java.lang.String language)
           
 
Method Summary
 java.util.Map<java.lang.Object,java.lang.Object> createCellAttributes(java.awt.geom.Point2D point)
           
protected  org.jgraph.graph.DefaultGraphCell createDefaultGraphCell()
           
protected  org.jgraph.graph.DefaultGraphCell createGroupCell()
           
protected  org.jgraph.graph.BasicMarqueeHandler createMarqueeHandler()
           
 javax.swing.JPopupMenu createPopupMenu(java.awt.Point pt, java.lang.Object cell)
           
protected  javax.swing.JPanel createStatusBar()
          Create a status bar
 javax.swing.JToolBar createToolBar()
           
protected  int getCellCount(org.jgraph.JGraph graph)
           
 javax.swing.Action getCopy()
           
 javax.swing.Action getCut()
           
 org.jgraph.JGraph getGraph()
           
 javax.swing.Action getPaste()
           
 javax.swing.Action getRedo()
           
 javax.swing.Action getRemove()
           
 javax.swing.Action getToback()
           
 javax.swing.Action getTofront()
           
 javax.swing.Action getUndo()
           
protected  java.lang.String getVersion()
           
 void group(java.lang.Object[] cells)
           
 void insert(java.awt.geom.Point2D point)
           
protected  void installListeners(org.jgraph.JGraph graph)
           
 boolean isGroup(java.lang.Object cell)
           
 void keyPressed(java.awt.event.KeyEvent e)
           
 void keyReleased(java.awt.event.KeyEvent e)
           
 void keyTyped(java.awt.event.KeyEvent e)
           
protected  void populateContentPane()
           
 void redo()
           
 void setCopy(javax.swing.Action copy)
           
 void setCut(javax.swing.Action cut)
           
 void setGraph(org.jgraph.JGraph graph)
           
 void setPaste(javax.swing.Action paste)
           
 void setRedo(javax.swing.Action redo)
           
 void setRemove(javax.swing.Action remove)
           
 void setToback(javax.swing.Action toback)
           
 void setTofront(javax.swing.Action tofront)
           
 void setUndo(javax.swing.Action undo)
           
 void toBack(java.lang.Object[] c)
           
 void toFront(java.lang.Object[] c)
           
 void undo()
           
 void ungroup(java.lang.Object[] cells)
           
protected  void uninstallListeners(org.jgraph.JGraph graph)
           
protected  void updateHistoryButtons()
           
 void valueChanged(org.jgraph.event.GraphSelectionEvent e)
           
 
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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, 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, transferFocusBackward, 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, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getToolkit, getTreeLock, gotFocus, handleEvent, hasFocus, hide, 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, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

graph

protected org.jgraph.JGraph graph

undoManager

protected org.jgraph.graph.GraphUndoManager undoManager

undo

protected javax.swing.Action undo

redo

protected javax.swing.Action redo

remove

protected javax.swing.Action remove

group

protected javax.swing.Action group

ungroup

protected javax.swing.Action ungroup

tofront

protected javax.swing.Action tofront

toback

protected javax.swing.Action toback

cut

protected javax.swing.Action cut

copy

protected javax.swing.Action copy

paste

protected javax.swing.Action paste

cellCount

protected int cellCount

statusBar

protected GraphPane.EdStatusBar statusBar
Constructor Detail

GraphPane

public GraphPane(GraphListener aGraphListener,
                 org.jgraph.JGraph aGraph,
                 java.lang.String language)
Method Detail

populateContentPane

protected void populateContentPane()

installListeners

protected void installListeners(org.jgraph.JGraph graph)

uninstallListeners

protected void uninstallListeners(org.jgraph.JGraph graph)

createMarqueeHandler

protected org.jgraph.graph.BasicMarqueeHandler createMarqueeHandler()

insert

public void insert(java.awt.geom.Point2D point)

createCellAttributes

public java.util.Map<java.lang.Object,java.lang.Object> createCellAttributes(java.awt.geom.Point2D point)

createDefaultGraphCell

protected org.jgraph.graph.DefaultGraphCell createDefaultGraphCell()

group

public void group(java.lang.Object[] cells)

createGroupCell

protected org.jgraph.graph.DefaultGraphCell createGroupCell()

getCellCount

protected int getCellCount(org.jgraph.JGraph graph)

ungroup

public void ungroup(java.lang.Object[] cells)

isGroup

public boolean isGroup(java.lang.Object cell)

toFront

public void toFront(java.lang.Object[] c)

toBack

public void toBack(java.lang.Object[] c)

undo

public void undo()

redo

public void redo()

updateHistoryButtons

protected void updateHistoryButtons()

valueChanged

public void valueChanged(org.jgraph.event.GraphSelectionEvent e)
Specified by:
valueChanged in interface org.jgraph.event.GraphSelectionListener

keyReleased

public void keyReleased(java.awt.event.KeyEvent e)
Specified by:
keyReleased in interface java.awt.event.KeyListener

keyTyped

public void keyTyped(java.awt.event.KeyEvent e)
Specified by:
keyTyped in interface java.awt.event.KeyListener

keyPressed

public void keyPressed(java.awt.event.KeyEvent e)
Specified by:
keyPressed in interface java.awt.event.KeyListener

createPopupMenu

public javax.swing.JPopupMenu createPopupMenu(java.awt.Point pt,
                                              java.lang.Object cell)

createToolBar

public javax.swing.JToolBar createToolBar()

getGraph

public org.jgraph.JGraph getGraph()
Returns:
Returns the graph.

setGraph

public void setGraph(org.jgraph.JGraph graph)
Parameters:
graph - The graph to set.

createStatusBar

protected javax.swing.JPanel createStatusBar()
Create a status bar

Returns:
JPanel

getVersion

protected java.lang.String getVersion()
Returns:
a String representing the version of this application

getRedo

public javax.swing.Action getRedo()
Returns:
Returns the redo.

setRedo

public void setRedo(javax.swing.Action redo)
Parameters:
redo - The redo to set.

getUndo

public javax.swing.Action getUndo()
Returns:
Returns the undo.

setUndo

public void setUndo(javax.swing.Action undo)
Parameters:
undo - The undo to set.

getCopy

public javax.swing.Action getCopy()
Returns:
Returns the copy.

setCopy

public void setCopy(javax.swing.Action copy)
Parameters:
copy - The copy to set.

getCut

public javax.swing.Action getCut()
Returns:
Returns the cut.

setCut

public void setCut(javax.swing.Action cut)
Parameters:
cut - The cut to set.

getPaste

public javax.swing.Action getPaste()
Returns:
Returns the paste.

setPaste

public void setPaste(javax.swing.Action paste)
Parameters:
paste - The paste to set.

getToback

public javax.swing.Action getToback()
Returns:
Returns the toback.

setToback

public void setToback(javax.swing.Action toback)
Parameters:
toback - The toback to set.

getTofront

public javax.swing.Action getTofront()
Returns:
Returns the tofront.

setTofront

public void setTofront(javax.swing.Action tofront)
Parameters:
tofront - The tofront to set.

getRemove

public javax.swing.Action getRemove()
Returns:
Returns the remove.

setRemove

public void setRemove(javax.swing.Action remove)
Parameters:
remove - The remove to set.