Package org.processmining.contexts.util.jgraph

Class PortLabelVertexView.PortLabelVertexRenderer

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JLabel

org.jgraph.graph.VertexRenderer

org.processmining.contexts.util.jgraph.PortLabelVertexView.PortLabelVertexRenderer

All Implemented Interfaces:

ImageObserver, MenuContainer, Serializable, Accessible, SwingConstants, org.jgraph.graph.CellViewRenderer

Enclosing class:

PortLabelVertexView

public static class PortLabelVertexView.PortLabelVertexRenderer
extends org.jgraph.graph.VertexRenderer

The renderer class for instance view.

See Also:

• Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JLabel

JLabel.AccessibleJLabel

Nested classes/interfaces inherited from class javax.swing.JComponent

JComponent.AccessibleJComponent

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field	Description
static int	COLORHEIGHTBUFFER	The vertical distance added to the label height to make the color backdrop extend beyond the label text
protected FontMetrics	fontMetrics
static int	MAXLABELWIDTH	The maximum width of a label, any label more than this value in width
static int	MINIMUMHORIZONTALSPACING
static int	MINIMUMVERTICALSPACING
static int	PORTLABELSPACING
protected org.jgraph.graph.CellView[]	ports

Fields inherited from class org.jgraph.graph.VertexRenderer

bordercolor, borderWidth, childrenSelected, defaultBackground, defaultForeground, gradientColor, gridColor, hasFocus, highlightColor, isDoubleBuffered, labelEnabled, lockedHandleColor, preview, selected, view

Fields inherited from class javax.swing.JLabel

labelFor

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

Fields inherited from interface javax.swing.SwingConstants

BOTTOM, CENTER, EAST, HORIZONTAL, LEADING, LEFT, NEXT, NORTH, NORTH_EAST, NORTH_WEST, PREVIOUS, RIGHT, SOUTH, SOUTH_EAST, SOUTH_WEST, TOP, TRAILING, VERTICAL, WEST

Constructor Summary

Constructors

Constructor	Description
PortLabelVertexRenderer()

Method Summary

Modifier and Type	Method	Description
static void	drawPortLabel(Graphics g, String labelValue, double x, double y, Color background, boolean isLeftLabel)	Draws a String.
Dimension	getPreferredSize()
Component	getRendererComponent(org.jgraph.JGraph graph, org.jgraph.graph.CellView view, boolean sel, boolean focus, boolean preview)	Configure and return the renderer component based on the passed in cell.
protected void	installAttributes(org.jgraph.graph.CellView view)	Install the attributes of specified cell in this renderer instance.
void	paint(Graphics g)	Paint the renderer.
void	paintPortLabels(Graphics g)	Paints port labels the view.

Methods inherited from class org.jgraph.graph.VertexRenderer

firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getGradientColor, getPerimeterPoint, paintSelectionBorder, repaint, repaint, resetAttributes, revalidate, setGradientColor, validate

Methods inherited from class javax.swing.JLabel

checkHorizontalKey, checkVerticalKey, getAccessibleContext, getDisabledIcon, getDisplayedMnemonic, getDisplayedMnemonicIndex, getHorizontalAlignment, getHorizontalTextPosition, getIcon, getIconTextGap, getLabelFor, getText, getUI, getUIClassID, getVerticalAlignment, getVerticalTextPosition, imageUpdate, paramString, setDisabledIcon, setDisplayedMnemonic, setDisplayedMnemonic, setDisplayedMnemonicIndex, setHorizontalAlignment, setHorizontalTextPosition, setIcon, setIconTextGap, setLabelFor, setText, setUI, setVerticalAlignment, setVerticalTextPosition, updateUI

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, 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, paintBorder, paintChildren, paintComponent, paintImmediately, paintImmediately, 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

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

Methods inherited from class java.lang.Object

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

Field Details

ports

protected org.jgraph.graph.CellView[] ports

fontMetrics

protected FontMetrics fontMetrics

PORTLABELSPACING

public static transient int PORTLABELSPACING

MINIMUMHORIZONTALSPACING

public static transient int MINIMUMHORIZONTALSPACING

MINIMUMVERTICALSPACING

public static transient int MINIMUMVERTICALSPACING

COLORHEIGHTBUFFER

public static transient int COLORHEIGHTBUFFER

The vertical distance added to the label height to make the color backdrop extend beyond the label text

MAXLABELWIDTH

public static transient int MAXLABELWIDTH

The maximum width of a label, any label more than this value in width

Constructor Details

PortLabelVertexRenderer

public PortLabelVertexRenderer()

Method Details

paint

public void paint(Graphics g)

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

Paint the renderer. Overrides superclass paint to add specific painting.

Overrides:

paint in class org.jgraph.graph.VertexRenderer

getRendererComponent

public Component getRendererComponent(org.jgraph.JGraph graph,
 org.jgraph.graph.CellView view,
 boolean sel,
 boolean focus,
 boolean preview)

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

Configure and return the renderer component based on the passed in cell. The value is typically set from messaging the graph with convertValueToString. We recommend you check the value's class and throw an illegal argument exception if it's not correct.

Specified by:

getRendererComponent in interface org.jgraph.graph.CellViewRenderer

Overrides:

getRendererComponent in class org.jgraph.graph.VertexRenderer

Parameters:

graph - the graph that that defines the rendering context.

view - the cell view that should be rendered.

sel - whether the object is selected.

focus - whether the object has the focus.

preview - whether we are drawing a preview.

Returns:

the component used to render the value.

installAttributes

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

Install 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.VertexRenderer

Parameters:

view - the cell view to retrieve the attribute values from.

drawPortLabel

public static void drawPortLabel(Graphics g,
 String labelValue,
 double x,
 double y,
 Color background,
 boolean isLeftLabel)

Draws a String. Its horizontal position x is given and its vertical position is centered on given y.

Parameters:

g - a Graphics2D to draw with

label - a String to draw

x - an offset to left edge of the bounding box of vertex

y - an offset to center of the string

background - the background color, if any, behind the text

isLeftLabel - whether or not this label is on the left-hand side of the vertex

paintPortLabels

public void paintPortLabels(Graphics g)

Paints port labels the view.

Parameters:

g - a Graphics2D to draw with

getPreferredSize

public Dimension getPreferredSize()

Overrides:

getPreferredSize in class JComponent