grph.gui

Class GraphvizComponent

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

javax.swing.JPanel

grph.gui.GraphvizComponent

All Implemented Interfaces:

PropertyListener, TopologyListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, javax.accessibility.Accessible

public class GraphvizComponent
extends javax.swing.JPanel
implements TopologyListener, PropertyListener

See Also:

Serialized Form

Nested Class Summary

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

javax.swing.JPanel.AccessibleJPanel

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 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
GraphvizComponent(Grph g)

Method Summary

Modifier and Type	Method and Description
void	directedHyperEdgeAdded(Grph graph, int edge)
void	directedHyperEdgeRemoved(Grph graph, int edge, it.unimi.dsi.fastutil.ints.IntSet src, it.unimi.dsi.fastutil.ints.IntSet dest)
void	directedSimpleEdgeAdded(Grph Grph, int edge, int src, int dest)
void	directedSimpleEdgeRemoved(Grph Grph, int edge, int a, int b)
static void	main(java.lang.String[] args)
void	repaint()
void	undirectedHyperEdgeAdded(Grph graph, int edge)
void	undirectedHyperEdgeRemoved(Grph graph, int edge, it.unimi.dsi.fastutil.ints.IntSet incidentVertices)
void	undirectedSimpleEdgeAdded(Grph Grph, int edge, int a, int b)
void	undirectedSimpleEdgeRemoved(Grph Grph, int edge, int a, int b)
void	update()
void	valueChanged(Property g, int id)
void	vertexAdded(Grph graph, int vertex)
void	vertexAddedToDirectedHyperEdgeHead(Grph Grph, int e, int v)
void	vertexAddedToDirectedHyperEdgeTail(Grph Grph, int e, int v)
void	vertexAddedToUndirectedSimpleEdge(Grph Grph, int edge, int vertex)
void	vertexRemoved(Grph graph, int vertex)
void	vertexRemovedFromDirectedHyperEdgeHead(Grph g, int e, int v)
void	vertexRemovedFromDirectedHyperEdgeTail(Grph g, int e, int v)
void	vertexRemovedFromUndirectedHyperEdge(Grph g, int edge, int vertex)

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

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

GraphvizComponent

public GraphvizComponent(Grph g)

Method Detail

vertexAdded

public void vertexAdded(Grph graph,
                        int vertex)

Specified by:

vertexAdded in interface TopologyListener

update

public void update()

repaint

public void repaint()

Overrides:

repaint in class java.awt.Component

vertexRemoved

public void vertexRemoved(Grph graph,
                          int vertex)

Specified by:

vertexRemoved in interface TopologyListener

main

public static void main(java.lang.String[] args)

valueChanged

public void valueChanged(Property g,
                         int id)

Specified by:

valueChanged in interface PropertyListener

directedSimpleEdgeAdded

public void directedSimpleEdgeAdded(Grph Grph,
                                    int edge,
                                    int src,
                                    int dest)

Specified by:

directedSimpleEdgeAdded in interface TopologyListener

undirectedSimpleEdgeAdded

public void undirectedSimpleEdgeAdded(Grph Grph,
                                      int edge,
                                      int a,
                                      int b)

Specified by:

undirectedSimpleEdgeAdded in interface TopologyListener

undirectedHyperEdgeAdded

public void undirectedHyperEdgeAdded(Grph graph,
                                     int edge)

Specified by:

undirectedHyperEdgeAdded in interface TopologyListener

directedHyperEdgeAdded

public void directedHyperEdgeAdded(Grph graph,
                                   int edge)

Specified by:

directedHyperEdgeAdded in interface TopologyListener

directedSimpleEdgeRemoved

public void directedSimpleEdgeRemoved(Grph Grph,
                                      int edge,
                                      int a,
                                      int b)

Specified by:

directedSimpleEdgeRemoved in interface TopologyListener

undirectedSimpleEdgeRemoved

public void undirectedSimpleEdgeRemoved(Grph Grph,
                                        int edge,
                                        int a,
                                        int b)

Specified by:

undirectedSimpleEdgeRemoved in interface TopologyListener

undirectedHyperEdgeRemoved

public void undirectedHyperEdgeRemoved(Grph graph,
                                       int edge,
                                       it.unimi.dsi.fastutil.ints.IntSet incidentVertices)

Specified by:

undirectedHyperEdgeRemoved in interface TopologyListener

directedHyperEdgeRemoved

public void directedHyperEdgeRemoved(Grph graph,
                                     int edge,
                                     it.unimi.dsi.fastutil.ints.IntSet src,
                                     it.unimi.dsi.fastutil.ints.IntSet dest)

Specified by:

directedHyperEdgeRemoved in interface TopologyListener

vertexAddedToDirectedHyperEdgeTail

public void vertexAddedToDirectedHyperEdgeTail(Grph Grph,
                                               int e,
                                               int v)

Specified by:

vertexAddedToDirectedHyperEdgeTail in interface TopologyListener

vertexAddedToDirectedHyperEdgeHead

public void vertexAddedToDirectedHyperEdgeHead(Grph Grph,
                                               int e,
                                               int v)

Specified by:

vertexAddedToDirectedHyperEdgeHead in interface TopologyListener

vertexAddedToUndirectedSimpleEdge

public void vertexAddedToUndirectedSimpleEdge(Grph Grph,
                                              int edge,
                                              int vertex)

Specified by:

vertexAddedToUndirectedSimpleEdge in interface TopologyListener

vertexRemovedFromUndirectedHyperEdge

public void vertexRemovedFromUndirectedHyperEdge(Grph g,
                                                 int edge,
                                                 int vertex)

Specified by:

vertexRemovedFromUndirectedHyperEdge in interface TopologyListener

vertexRemovedFromDirectedHyperEdgeTail

public void vertexRemovedFromDirectedHyperEdgeTail(Grph g,
                                                   int e,
                                                   int v)

Specified by:

vertexRemovedFromDirectedHyperEdgeTail in interface TopologyListener

vertexRemovedFromDirectedHyperEdgeHead

public void vertexRemovedFromDirectedHyperEdgeHead(Grph g,
                                                   int e,
                                                   int v)

Specified by:

vertexRemovedFromDirectedHyperEdgeHead in interface TopologyListener