public class BasicGraphPanel
extends javax.swing.JPanel
javax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
Modifier and Type | Field and Description |
---|---|
protected java.lang.String |
appTitle |
protected mxEventSource.mxIEventListener |
changeTracker |
protected org.processmining.framework.plugin.PluginContext |
context
save the model in the workspace
|
protected java.io.File |
currentFile |
protected static java.lang.String |
diamondSymbol |
protected mxGraphComponent |
graphComponent |
protected java.util.Map<mxGraphComponent,java.io.File> |
graphComponentVSFileMap
each graph component corresponds to one file
|
protected mxGraphOutline |
graphOutline |
protected mxKeyboardHandler |
keyboardHandler |
protected javax.swing.JTabbedPane |
libraryPane |
protected boolean |
modified
Flag indicating whether the current graph has been modified
|
static java.text.NumberFormat |
numberFormat |
protected ResultModelView |
resultModelView |
protected mxRubberband |
rubberband |
protected javax.swing.JLabel |
statusBar |
protected EditorToolBar |
toolBar |
protected mxEventSource.mxIEventListener |
undoHandler |
protected mxUndoManager |
undoManager |
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
BasicGraphPanel(java.lang.String appTitle,
ResultModelView resultModelView,
mxGraphComponent component) |
Modifier and Type | Method and 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) |
void |
blackAllLabels() |
javax.swing.JFrame |
createFrame() |
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() |
org.processmining.framework.plugin.PluginContext |
getContext() |
java.io.File |
getCurrentFile() |
mxGraphComponent |
getGraphComponent() |
java.io.File |
getGraphComponentFile(mxGraphComponent graphComponent) |
mxGraphOutline |
getGraphOutline() |
javax.swing.JTabbedPane |
getLibraryPane() |
mxUndoManager |
getUndoManager() |
javax.swing.Action |
graphLayout(java.lang.String key,
boolean animate)
Creates an action that executes the specified layout.
|
EditorPalette |
insertPalette(java.lang.String title) |
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 |
refreshGraph() |
void |
setContext(org.processmining.framework.plugin.PluginContext context) |
void |
setCurrentFile(java.io.File file) |
void |
setGraphComponent(mxGraphComponent graphComponent) |
void |
setGraphComponentFile(mxGraphComponent graphComponent,
java.io.File file) |
void |
setLookAndFeel(java.lang.String clazz) |
void |
setModified(boolean modified) |
protected void |
showOutlinePopupMenu(java.awt.event.MouseEvent e) |
void |
status(java.lang.String msg) |
void |
updateEditor() |
void |
updateTitle() |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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, 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, transferFocusBackward, transferFocusUpCycle
protected static final java.lang.String diamondSymbol
protected org.processmining.framework.plugin.PluginContext context
protected mxGraphComponent graphComponent
protected mxGraphOutline graphOutline
protected javax.swing.JTabbedPane libraryPane
protected mxUndoManager undoManager
protected java.lang.String appTitle
protected javax.swing.JLabel statusBar
protected java.io.File currentFile
protected java.util.Map<mxGraphComponent,java.io.File> graphComponentVSFileMap
protected boolean modified
protected mxRubberband rubberband
protected mxKeyboardHandler keyboardHandler
protected EditorToolBar toolBar
protected ResultModelView resultModelView
public static final java.text.NumberFormat numberFormat
protected mxEventSource.mxIEventListener undoHandler
protected mxEventSource.mxIEventListener changeTracker
public BasicGraphPanel(java.lang.String appTitle, ResultModelView resultModelView, mxGraphComponent component)
protected void addListenersToGraphComponent(mxGraphComponent graphComponent)
public void updateEditor()
public void refreshGraph()
protected mxUndoManager createUndoManager()
protected void installHandlers()
protected javax.swing.JLabel createStatusBar()
protected void installRepaintListener()
public EditorPalette insertPalette(java.lang.String title)
protected void mouseWheelMoved(java.awt.event.MouseWheelEvent e)
protected void showOutlinePopupMenu(java.awt.event.MouseEvent e)
protected void mouseLocationChanged(java.awt.event.MouseEvent e)
protected void installListeners()
public void blackAllLabels()
public void setCurrentFile(java.io.File file)
public java.io.File getCurrentFile()
public void setGraphComponentFile(mxGraphComponent graphComponent, java.io.File file)
public java.io.File getGraphComponentFile(mxGraphComponent graphComponent)
public void setModified(boolean modified)
modified
- public boolean isModified()
public mxGraphComponent getGraphComponent()
public void setGraphComponent(mxGraphComponent graphComponent)
public org.processmining.framework.plugin.PluginContext getContext()
public void setContext(org.processmining.framework.plugin.PluginContext context)
public mxGraphOutline getGraphOutline()
public javax.swing.JTabbedPane getLibraryPane()
public mxUndoManager getUndoManager()
public javax.swing.Action bind(java.lang.String name, javax.swing.Action action)
name
- action
- public javax.swing.Action bind(java.lang.String name, javax.swing.Action action, java.lang.String iconUrl)
name
- action
- public void status(java.lang.String msg)
msg
- public void updateTitle()
public void about()
public void exit()
public void setLookAndFeel(java.lang.String clazz)
public javax.swing.JFrame createFrame()
public javax.swing.Action graphLayout(java.lang.String key, boolean animate)
key
- Key to be used for getting the label from mxResources and also
to create the layout instance for the commercial graph editor example.protected mxIGraphLayout createLayout(java.lang.String ident, boolean animate)
public static void main(java.lang.String[] args) throws java.io.IOException
java.io.IOException