|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
org.processmining.plugins.declareminer.visualizing.GraphPane
public class GraphPane
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 |
---|
protected org.jgraph.JGraph graph
protected org.jgraph.graph.GraphUndoManager undoManager
protected javax.swing.Action undo
protected javax.swing.Action redo
protected javax.swing.Action remove
protected javax.swing.Action group
protected javax.swing.Action ungroup
protected javax.swing.Action tofront
protected javax.swing.Action toback
protected javax.swing.Action cut
protected javax.swing.Action copy
protected javax.swing.Action paste
protected int cellCount
protected GraphPane.EdStatusBar statusBar
Constructor Detail |
---|
public GraphPane(GraphListener aGraphListener, org.jgraph.JGraph aGraph, java.lang.String language)
Method Detail |
---|
protected void populateContentPane()
protected void installListeners(org.jgraph.JGraph graph)
protected void uninstallListeners(org.jgraph.JGraph graph)
protected org.jgraph.graph.BasicMarqueeHandler createMarqueeHandler()
public void insert(java.awt.geom.Point2D point)
public java.util.Map<java.lang.Object,java.lang.Object> createCellAttributes(java.awt.geom.Point2D point)
protected org.jgraph.graph.DefaultGraphCell createDefaultGraphCell()
public void group(java.lang.Object[] cells)
protected org.jgraph.graph.DefaultGraphCell createGroupCell()
protected int getCellCount(org.jgraph.JGraph graph)
public void ungroup(java.lang.Object[] cells)
public boolean isGroup(java.lang.Object cell)
public void toFront(java.lang.Object[] c)
public void toBack(java.lang.Object[] c)
public void undo()
public void redo()
protected void updateHistoryButtons()
public void valueChanged(org.jgraph.event.GraphSelectionEvent e)
valueChanged
in interface org.jgraph.event.GraphSelectionListener
public void keyReleased(java.awt.event.KeyEvent e)
keyReleased
in interface java.awt.event.KeyListener
public void keyTyped(java.awt.event.KeyEvent e)
keyTyped
in interface java.awt.event.KeyListener
public void keyPressed(java.awt.event.KeyEvent e)
keyPressed
in interface java.awt.event.KeyListener
public javax.swing.JPopupMenu createPopupMenu(java.awt.Point pt, java.lang.Object cell)
public javax.swing.JToolBar createToolBar()
public org.jgraph.JGraph getGraph()
public void setGraph(org.jgraph.JGraph graph)
graph
- The graph to set.protected javax.swing.JPanel createStatusBar()
protected java.lang.String getVersion()
public javax.swing.Action getRedo()
public void setRedo(javax.swing.Action redo)
redo
- The redo to set.public javax.swing.Action getUndo()
public void setUndo(javax.swing.Action undo)
undo
- The undo to set.public javax.swing.Action getCopy()
public void setCopy(javax.swing.Action copy)
copy
- The copy to set.public javax.swing.Action getCut()
public void setCut(javax.swing.Action cut)
cut
- The cut to set.public javax.swing.Action getPaste()
public void setPaste(javax.swing.Action paste)
paste
- The paste to set.public javax.swing.Action getToback()
public void setToback(javax.swing.Action toback)
toback
- The toback to set.public javax.swing.Action getTofront()
public void setTofront(javax.swing.Action tofront)
tofront
- The tofront to set.public javax.swing.Action getRemove()
public void setRemove(javax.swing.Action remove)
remove
- The remove to set.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |