pt.lsts.neptus.graph

Class NeptusGraph<N extends NeptusNodeElement,E extends NeptusEdgeElement>

java.lang.Object

java.awt.Component

java.awt.Container

javax.swing.JComponent

pt.lsts.neptus.graph.NeptusGraph<N,E>

Type Parameters:

N - The allowed Node superclass

E - The allowed Edge superclass

All Implemented Interfaces:

java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.swing.event.UndoableEditListener

Direct Known Subclasses:

IndividualPlanGraph

public class NeptusGraph<N extends NeptusNodeElement,E extends NeptusEdgeElement>
extends javax.swing.JComponent
implements javax.swing.event.UndoableEditListener, java.awt.event.MouseListener, java.awt.event.MouseMotionListener

Author:

zp

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

Modifier and Type	Field and Description
java.awt.geom.Point2D	dragDifference
protected java.util.LinkedHashMap<java.lang.String,E>	edges
protected GraphElementFactory<N,E>	factory
protected int	graphHeight
protected int	graphWidth
protected java.awt.geom.Point2D	lastMousePoint
protected java.util.LinkedHashMap<java.lang.String,N>	nodes
protected java.util.Vector<NeptusGraphElement<?>>	selection

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
NeptusGraph()
NeptusGraph(GraphElementFactory<N,E> factoryInstance) Creates a new NeptusGraph

Method Summary

Modifier and Type	Method and Description
E	addEdge(E edge) Adds an edge to the graph
E	addEdge(java.lang.String src, java.lang.String tgt) Creates an Edge between the given nodes
void	addGraphSelectionListener(GraphSelectionListener listener)
N	addNode() Adds a node at a random position using the GraphElementFactory
void	addNode(N node) Adds a node to this graph
void	addPostRenderPainter(GraphPainter painter)
void	addPreRenderPainter(GraphPainter painter)
NeptusEdgeElement<?>[]	allEdges()
NeptusNodeElement<?>[]	allNodes()
void	autoLayout()
void	clear()
protected void	editSelectionProperties()
NeptusEdgeElement[]	getAllEdges()
NeptusNodeElement[]	getAllNodes()
javax.swing.AbstractAction[]	getClickActions(java.awt.event.MouseEvent evt)
java.awt.geom.AffineTransform	getCurrentTransform()
E	getEdge(java.lang.String id) Returns an existing edge
GraphElementFactory<N,E>	getFactory()
protected N	getFirstNodeUnder(java.awt.geom.Point2D point)
N	getNode(java.lang.String id) Returns an existing node
NeptusEdgeElement<?>[]	getSelectedEdges(boolean includeReferredElements)
NeptusNodeElement[]	getSelectedNodes()
javax.swing.undo.UndoManager	getUndoManager()
javax.swing.undo.UndoableEditSupport	getUndoSupport()
boolean	isCyclingAllowed()
boolean	isEditable()
boolean	isFinalStateRequired()
boolean	isInitialStateRequired()
boolean	isLoopingAllowed()
boolean	isNonDeterminismAllowed()
boolean	isOnlyOneInitialStateAllowed()
static void	main(java.lang.String[] args)
void	mouseClicked(java.awt.event.MouseEvent arg0)
void	mouseDragged(java.awt.event.MouseEvent arg0)
void	mouseEntered(java.awt.event.MouseEvent arg0)
void	mouseExited(java.awt.event.MouseEvent arg0)
void	mouseMoved(java.awt.event.MouseEvent arg0)
void	mousePressed(java.awt.event.MouseEvent arg0)
void	mouseReleased(java.awt.event.MouseEvent arg0)
void	paint(java.awt.Graphics arg0)
void	removeEdge(java.lang.String id) Removes an existing edge
void	removeGraphSelectionListener(GraphSelectionListener listener)
java.util.Vector<NeptusEdgeElement>	removeNode(java.lang.String id) Removes a node from this graph
void	removePostRenderPainter(GraphPainter painter)
void	removePreRenderPainter(GraphPainter painter)
void	setCyclingAllowed(boolean cyclingAllowed)
void	setEditable(boolean editable)
void	setFactory(GraphElementFactory<N,E> factory)
void	setFinalStateRequired(boolean finalStateRequired)
void	setInitialStateRequired(boolean initialStateRequired)
void	setLoopingAllowed(boolean loopingAllowed)
void	setNonDeterminismAllowed(boolean nonDeterminismAllowed)
void	setOnlyOneInitialStateAllowed(boolean onlyOneInitialStateAllowed)
void	undoableEditHappened(javax.swing.event.UndoableEditEvent e)

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

Field Detail

nodes

protected java.util.LinkedHashMap<java.lang.String,N extends NeptusNodeElement> nodes

edges

protected java.util.LinkedHashMap<java.lang.String,E extends NeptusEdgeElement> edges

selection

protected java.util.Vector<NeptusGraphElement<?>> selection

factory

protected GraphElementFactory<N extends NeptusNodeElement,E extends NeptusEdgeElement> factory

graphWidth

protected int graphWidth

graphHeight

protected int graphHeight

lastMousePoint

protected java.awt.geom.Point2D lastMousePoint

dragDifference

public java.awt.geom.Point2D dragDifference

Constructor Detail

NeptusGraph

public NeptusGraph()

NeptusGraph

public NeptusGraph(GraphElementFactory<N,E> factoryInstance)

Creates a new NeptusGraph

Parameters:

factoryInstance - The GraphElementFactory that is used to create new nodes and edges when requested by the user

Method Detail

clear

public void clear()

getNode

public N getNode(java.lang.String id)

Returns an existing node

Parameters:

id - The id of the node to return

Returns:

The requested node or null id the node doesn't exist

getEdge

public E getEdge(java.lang.String id)

Returns an existing edge

Parameters:

id - The id of the edge to return

Returns:

The requested edge or null id the edge doesn't exist

allEdges

public NeptusEdgeElement<?>[] allEdges()

allNodes

public NeptusNodeElement<?>[] allNodes()

addNode

public void addNode(N node)

Adds a node to this graph

Parameters:

node - The node to be added (its position should already be set)

addNode

public N addNode()

Adds a node at a random position using the GraphElementFactory

Returns:

The newly created node

addEdge

public E addEdge(java.lang.String src,
                 java.lang.String tgt)

Creates an Edge between the given nodes

Parameters:

src - The source node's id

tgt - The target node's id

Returns:

The newly created edge

addEdge

public E addEdge(E edge)

Adds an edge to the graph

Parameters:

edge - The edge to be added

paint

public void paint(java.awt.Graphics arg0)

Overrides:

paint in class javax.swing.JComponent

editSelectionProperties

protected void editSelectionProperties()

getClickActions

public javax.swing.AbstractAction[] getClickActions(java.awt.event.MouseEvent evt)

mouseClicked

public void mouseClicked(java.awt.event.MouseEvent arg0)

Specified by:

mouseClicked in interface java.awt.event.MouseListener

getSelectedEdges

public NeptusEdgeElement<?>[] getSelectedEdges(boolean includeReferredElements)

getSelectedNodes

public NeptusNodeElement[] getSelectedNodes()

removeNode

public java.util.Vector<NeptusEdgeElement> removeNode(java.lang.String id)

Removes a node from this graph

Parameters:

id - The id of the node to be removed

removeEdge

public void removeEdge(java.lang.String id)

Removes an existing edge

Parameters:

id - The id of the edge to be removed

mouseDragged

public void mouseDragged(java.awt.event.MouseEvent arg0)

Specified by:

mouseDragged in interface java.awt.event.MouseMotionListener

mouseEntered

public void mouseEntered(java.awt.event.MouseEvent arg0)

Specified by:

mouseEntered in interface java.awt.event.MouseListener

mouseExited

public void mouseExited(java.awt.event.MouseEvent arg0)

Specified by:

mouseExited in interface java.awt.event.MouseListener

mouseMoved

public void mouseMoved(java.awt.event.MouseEvent arg0)

Specified by:

mouseMoved in interface java.awt.event.MouseMotionListener

mousePressed

public void mousePressed(java.awt.event.MouseEvent arg0)

Specified by:

mousePressed in interface java.awt.event.MouseListener

mouseReleased

public void mouseReleased(java.awt.event.MouseEvent arg0)

Specified by:

mouseReleased in interface java.awt.event.MouseListener

getFirstNodeUnder

protected N getFirstNodeUnder(java.awt.geom.Point2D point)

getCurrentTransform

public java.awt.geom.AffineTransform getCurrentTransform()

Returns:

the default affine transform for the current graph state

undoableEditHappened

public void undoableEditHappened(javax.swing.event.UndoableEditEvent e)

Specified by:

undoableEditHappened in interface javax.swing.event.UndoableEditListener

isLoopingAllowed

public boolean isLoopingAllowed()

setLoopingAllowed

public void setLoopingAllowed(boolean loopingAllowed)

isNonDeterminismAllowed

public boolean isNonDeterminismAllowed()

setNonDeterminismAllowed

public void setNonDeterminismAllowed(boolean nonDeterminismAllowed)

isOnlyOneInitialStateAllowed

public boolean isOnlyOneInitialStateAllowed()

setOnlyOneInitialStateAllowed

public void setOnlyOneInitialStateAllowed(boolean onlyOneInitialStateAllowed)

isCyclingAllowed

public boolean isCyclingAllowed()

setCyclingAllowed

public void setCyclingAllowed(boolean cyclingAllowed)

isFinalStateRequired

public boolean isFinalStateRequired()

setFinalStateRequired

public void setFinalStateRequired(boolean finalStateRequired)

isInitialStateRequired

public boolean isInitialStateRequired()

setInitialStateRequired

public void setInitialStateRequired(boolean initialStateRequired)

addGraphSelectionListener

public void addGraphSelectionListener(GraphSelectionListener listener)

removeGraphSelectionListener

public void removeGraphSelectionListener(GraphSelectionListener listener)

getAllNodes

public NeptusNodeElement[] getAllNodes()

getAllEdges

public NeptusEdgeElement[] getAllEdges()

main

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

getUndoManager

public javax.swing.undo.UndoManager getUndoManager()

getUndoSupport

public javax.swing.undo.UndoableEditSupport getUndoSupport()

getFactory

public GraphElementFactory<N,E> getFactory()

setFactory

public void setFactory(GraphElementFactory<N,E> factory)

autoLayout

public void autoLayout()

setEditable

public void setEditable(boolean editable)

isEditable

public boolean isEditable()

addPreRenderPainter

public void addPreRenderPainter(GraphPainter painter)

addPostRenderPainter

public void addPostRenderPainter(GraphPainter painter)

removePreRenderPainter

public void removePreRenderPainter(GraphPainter painter)

removePostRenderPainter

public void removePostRenderPainter(GraphPainter painter)