Class ProMEdgeRenderer
- java.lang.Object
-
- java.awt.Component
-
- java.awt.Container
-
- javax.swing.JComponent
-
- org.jgraph.graph.EdgeRenderer
-
- org.processmining.models.jgraph.renderers.ProMEdgeRenderer
-
- All Implemented Interfaces:
java.awt.image.ImageObserver,java.awt.MenuContainer,java.io.Serializable,org.jgraph.graph.CellViewRenderer,org.processmining.framework.util.Cleanable
public class ProMEdgeRenderer extends org.jgraph.graph.EdgeRenderer implements org.processmining.framework.util.Cleanable- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class org.jgraph.graph.EdgeRenderer
beginDeco, beginFill, beginSize, bezier, borderColor, childrenSelected, dashOffset, defaultBackground, defaultForeground, endDeco, endFill, endSize, extraLabelFont, focus, fontColor, fontGraphics, gradientColor, graph, gridColor, highlightColor, HIT_LABEL_EXACT, isMoveBelowZero, labelBorder, labelsEnabled, labelTransformEnabled, LABELWIDTHBUFFER, lineDash, lineStyle, lockedHandleColor, metrics, opaque, preview, selected, simpleExtraLabels, spline, view
-
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
-
-
Constructor Summary
Constructors Constructor Description ProMEdgeRenderer()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidcleanUp()protected java.awt.ShapecreateLineEnd(int size, int style, java.awt.geom.Point2D src, java.awt.geom.Point2D dst)Paint the current view's direction.protected java.awt.ShapecreateShape()Returns the shape that represents the current edge in the context of the current graph.protected voiddrawLine(java.awt.Graphics2D g2, int c, int j, java.awt.Color color)java.awt.DimensiongetLabelSize(org.jgraph.graph.EdgeView view, java.lang.String label)Returns the label size of the specified view in the given graph.protected voidinstallAttributes(org.jgraph.graph.CellView view)Installs the attributes of specified cell in this renderer instance.protected voidpaintEdge(java.awt.Graphics g)Paints the edge itselfprotected voidpaintLabel(java.awt.Graphics g, java.lang.String label, java.awt.geom.Point2D p, boolean mainLabel)Paint the specified label for the current edgeview.protected voidpaintSelection(java.awt.Graphics g)Paints any selection effect applied to the edge-
Methods inherited from class org.jgraph.graph.EdgeRenderer
afterEdgePaint, beforeEdgePaint, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBounds, getExtraLabelBounds, getExtraLabelPosition, getExtraLabelSize, getGradientColor, getLabelBounds, getLabelBounds, getLabelPosition, getLabelPosition, getPaintBounds, getRendererComponent, intersects, isFillable, paint, paintLabels, paintSelectionBorder, repaint, repaint, revalidate, setGradientColor, translateGraphics, validate
-
Methods inherited from class javax.swing.JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, 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, getUI, getUIClassID, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, hide, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingOrigin, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, paramString, print, printAll, printBorder, printChildren, printComponent, processComponentKeyEvent, processKeyBinding, processKeyEvent, processMouseEvent, processMouseMotionEvent, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, requestDefaultFocus, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resetKeyboardActions, reshape, 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, updateUI
-
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, 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, getAccessibleContext, 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
-
-
-
-
Method Detail
-
cleanUp
public void cleanUp()
- Specified by:
cleanUpin interfaceorg.processmining.framework.util.Cleanable
-
paintLabel
protected void paintLabel(java.awt.Graphics g, java.lang.String label, java.awt.geom.Point2D p, boolean mainLabel)Description copied from class:org.jgraph.graph.EdgeRendererPaint the specified label for the current edgeview.- Overrides:
paintLabelin classorg.jgraph.graph.EdgeRenderer
-
getLabelSize
public java.awt.Dimension getLabelSize(org.jgraph.graph.EdgeView view, java.lang.String label)Returns the label size of the specified view in the given graph.- Overrides:
getLabelSizein classorg.jgraph.graph.EdgeRenderer
-
installAttributes
protected void installAttributes(org.jgraph.graph.CellView view)
Description copied from class:org.jgraph.graph.EdgeRendererInstalls the attributes of specified cell in this renderer instance. This means, retrieve every published key from the cells hashtable and set global variables or superclass properties accordingly.- Overrides:
installAttributesin classorg.jgraph.graph.EdgeRenderer- Parameters:
view- the cell view to retrieve the attribute values from.
-
paintEdge
protected void paintEdge(java.awt.Graphics g)
Description copied from class:org.jgraph.graph.EdgeRendererPaints the edge itself- Overrides:
paintEdgein classorg.jgraph.graph.EdgeRenderer- Parameters:
g- the graphics object being painted to
-
drawLine
protected void drawLine(java.awt.Graphics2D g2, int c, int j, java.awt.Color color)
-
paintSelection
protected void paintSelection(java.awt.Graphics g)
Description copied from class:org.jgraph.graph.EdgeRendererPaints any selection effect applied to the edge- Overrides:
paintSelectionin classorg.jgraph.graph.EdgeRenderer- Parameters:
g- the graphics object being painted to
-
createLineEnd
protected java.awt.Shape createLineEnd(int size, int style, java.awt.geom.Point2D src, java.awt.geom.Point2D dst)Paint the current view's direction. Sets tmpPoint as a side-effect such that the invoking method can use it to determine the connection point to this decoration.- Overrides:
createLineEndin classorg.jgraph.graph.EdgeRenderer- Parameters:
size- intstyle- intsrc- Point2Ddst- Point2D- Returns:
- Shape
-
createShape
protected java.awt.Shape createShape()
Description copied from class:org.jgraph.graph.EdgeRendererReturns the shape that represents the current edge in the context of the current graph. This method sets the global beginShape, lineShape and endShape variables as a side-effect.- Overrides:
createShapein classorg.jgraph.graph.EdgeRenderer
-
-