org.processmining.models.jgraph.renderers

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

Nested Class Summary

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

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 and Description
ProMEdgeRenderer()

Method Summary

Modifier and Type	Method and Description
void	cleanUp()
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.
protected java.awt.Shape	createShape() Returns the shape that represents the current edge in the context of the current graph.
protected void	drawLine(java.awt.Graphics2D g2, int c, int j, java.awt.Color color)
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.
protected void	installAttributes(org.jgraph.graph.CellView view) Installs the attributes of specified cell in this renderer instance.
protected void	paintEdge(java.awt.Graphics g) Paints the edge itself
protected void	paintLabel(java.awt.Graphics g, java.lang.String label, java.awt.geom.Point2D p, boolean mainLabel) Paint the specified label for the current edgeview.
protected void	paintSelection(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, 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, 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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProMEdgeRenderer

public ProMEdgeRenderer()

Method Detail

cleanUp

public void cleanUp()

Specified by:

cleanUp in interface org.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.EdgeRenderer

Paint the specified label for the current edgeview.

Overrides:

paintLabel in class org.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:

getLabelSize in class org.jgraph.graph.EdgeRenderer

installAttributes

protected void installAttributes(org.jgraph.graph.CellView view)

Description copied from class: org.jgraph.graph.EdgeRenderer

Installs 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:

installAttributes in class org.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.EdgeRenderer

Paints the edge itself

Overrides:

paintEdge in class org.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.EdgeRenderer

Paints any selection effect applied to the edge

Overrides:

paintSelection in class org.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:

createLineEnd in class org.jgraph.graph.EdgeRenderer

Parameters:

size - int

style - int

src - Point2D

dst - Point2D

Returns:

Shape

createShape

protected java.awt.Shape createShape()

Description copied from class: org.jgraph.graph.EdgeRenderer

Returns 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:

createShape in class org.jgraph.graph.EdgeRenderer