cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer
Class PluggableVisualizer<T>

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  edu.uci.ics.jung.visualization.BasicVisualizationServer<V,E>
                      edu.uci.ics.jung.visualization.VisualizationViewer<State<T>,Step<T>>
                          cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.Visualizer<T>
                              cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.PluggableVisualizer<T>

All Implemented Interfaces:

edu.uci.ics.jung.visualization.util.ChangeEventSupport, edu.uci.ics.jung.visualization.VisualizationServer<State<T>,Step<T>>, ImageObserver, MenuContainer, Serializable, EventListener, Accessible, ChangeListener

Direct Known Subclasses:

StatePickingVisualizer, StatesPickingVisualizer

public class PluggableVisualizer<T>
extends Visualizer<T>

Extension of Visualizer that provides an easy way of adding JUNG graph mouse plugins.

See Also:

GraphMousePlugin, Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class edu.uci.ics.jung.visualization.VisualizationViewer

edu.uci.ics.jung.visualization.VisualizationViewer.GraphMouse

Nested classes/interfaces inherited from class edu.uci.ics.jung.visualization.BasicVisualizationServer

edu.uci.ics.jung.visualization.BasicVisualizationServer.VisualizationListener

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

JPanel.AccessibleJPanel

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

Nested classes/interfaces inherited from interface edu.uci.ics.jung.visualization.VisualizationServer

edu.uci.ics.jung.visualization.VisualizationServer.Paintable

Field Summary

Fields inherited from class edu.uci.ics.jung.visualization.VisualizationViewer

edgeToolTipTransformer, graphMouse, mouseEventToolTipTransformer, requestFocusListener, vertexToolTipTransformer

Fields inherited from class edu.uci.ics.jung.visualization.BasicVisualizationServer

changeSupport, doubleBuffered, model, offscreen, offscreenG2d, pickedEdgeState, pickedVertexState, pickEventListener, postRenderers, preRenderers, renderContext, renderer, renderingHints

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

PluggableVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout)
Constructs instance with specified Layout, default graph mouse plugins and ToStringLabellers as vertex and edge label Transformers.

Method Summary

void	addGraphMousePlugin(edu.uci.ics.jung.visualization.control.GraphMousePlugin graphMousePlugin) Adds graph mouse plugin.
Set<edu.uci.ics.jung.visualization.control.GraphMousePlugin>	getGraphMousePlugins() Retrieves all used graph mouse plugins.
void	removeGraphMousePlugin(edu.uci.ics.jung.visualization.control.GraphMousePlugin graphMousePlugin) Removes graph mouse plugin.
void	replaceEdgeLabelTransformer(org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer) Replaces edge label transformer.
void	replaceVertexLabelTransformer(org.apache.commons.collections15.Transformer<State<T>,String> vertexLabelTransformer) Replaces vertex label transformer.

Methods inherited from class cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.Visualizer

getSupportedImageFormatNames, saveImage

Methods inherited from class edu.uci.ics.jung.visualization.VisualizationViewer

addGraphMouseListener, addKeyListener, getGraphMouse, getToolTipText, setEdgeToolTipTransformer, setGraphMouse, setMouseEventToolTipTransformer, setVertexToolTipTransformer

Methods inherited from class edu.uci.ics.jung.visualization.BasicVisualizationServer

addChangeListener, addPostRenderPaintable, addPreRenderPaintable, checkOffscreenImage, fireStateChanged, getCenter, getChangeListeners, getGraphLayout, getModel, getPickedEdgeState, getPickedVertexState, getPickSupport, getRenderContext, getRenderer, getRenderingHints, getSize, isDoubleBuffered, paintComponent, prependPostRenderPaintable, prependPreRenderPaintable, removeChangeListener, removePostRenderPaintable, removePreRenderPaintable, renderGraph, scaleToLayout, setDoubleBuffered, setGraphLayout, setModel, setPickedEdgeState, setPickedVertexState, setPickSupport, setRenderContext, setRenderer, setRenderingHints, setVisible, stateChanged

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, getTopLevelAncestor, getTransferHandler, getVerifyInputWhenFocusTarget, getVetoableChangeListeners, getVisibleRect, getWidth, getX, getY, grabFocus, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingForPrint, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintBorder, paintChildren, 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, setEnabled, setFocusTraversalKeys, setFont, setForeground, setInheritsPopupMenu, setInputMap, setInputVerifier, setMaximumSize, setMinimumSize, setNextFocusableComponent, setOpaque, setPreferredSize, setRequestFocusEnabled, setToolTipText, setTransferHandler, setUI, setVerifyInputWhenFocusTarget, 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, validate, validateTree

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, 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, 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, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

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

Methods inherited from interface edu.uci.ics.jung.visualization.VisualizationServer

repaint

Constructor Detail

PluggableVisualizer

public PluggableVisualizer(edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> layout)

Constructs instance with specified Layout, default graph mouse plugins and ToStringLabellers as vertex and edge label Transformers.

Parameters:

layout - Layout instance.

Method Detail

addGraphMousePlugin

public void addGraphMousePlugin(edu.uci.ics.jung.visualization.control.GraphMousePlugin graphMousePlugin)

Adds graph mouse plugin.

Parameters:

graphMousePlugin -

removeGraphMousePlugin

public void removeGraphMousePlugin(edu.uci.ics.jung.visualization.control.GraphMousePlugin graphMousePlugin)

Removes graph mouse plugin.

Parameters:

graphMousePlugin -

getGraphMousePlugins

public Set<edu.uci.ics.jung.visualization.control.GraphMousePlugin> getGraphMousePlugins()

Retrieves all used graph mouse plugins.

Returns:

Active graph mouse plugins.

replaceVertexLabelTransformer

public void replaceVertexLabelTransformer(org.apache.commons.collections15.Transformer<State<T>,String> vertexLabelTransformer)

Replaces vertex label transformer.

Parameters:

vertexLabelTransformer -

replaceEdgeLabelTransformer

public void replaceEdgeLabelTransformer(org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)

Replaces edge label transformer.

Parameters:

edgeLabelTransformer -