public class StateGraphPanel
extends javax.swing.JPanel
implements java.util.Observer
StateGraphMousePlugin
,
Serialized Formjavax.swing.JPanel.AccessibleJPanel
javax.swing.JComponent.AccessibleJComponent
listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
StateGraphPanel(OptionModelController controller)
This is the default constructor
|
Modifier and Type | Method and Description |
---|---|
State |
addState(java.awt.geom.Point2D position)
Adds a StateVisNode .
|
void |
addStateTransition(StateTransition stateTransition,
State sourceState)
Adds a new edge between two operating state.
|
void |
addStateTransition(StateVisNode sourceNode,
StateVisNode destinNode)
Adds a new StateVisTransition between a source and a destination StateVisNode.
|
void |
clearGraph()
Clears the graph.
|
void |
exportAsImage()
Export the current graph as image by using a file selection dialog.
|
java.awt.geom.Rectangle2D |
getGraphSpreadDimension(java.util.Collection<StateVisNode> graphNodes)
Gets the vertices spread dimension.
|
java.awt.geom.Rectangle2D |
getGraphSpreadDimension(edu.uci.ics.jung.graph.Graph<StateVisNode,StateVisTransition> graph)
Gets the graph spread as Rectangle.
|
java.util.Set<StateVisTransition> |
getPickedEdges()
Gets the Set
|
java.util.Set<StateVisNode> |
getPickedNodes()
Gets the Set
|
StateVisTransition |
getPickedSingleEdge()
Returns the edge which is picked.
|
StateVisNode |
getPickedSingleNode()
Returns the node which is picked.
|
edu.uci.ics.jung.visualization.control.PluggableGraphMouse |
getPluggableGraphMouse()
Gets the PluggableGraphMouse.
|
State |
getState(StateVisNode stateVisNode)
Returns the state form the specified StateVisNode.
|
StateGraphTools |
getStateGraphTools()
Gets the StateGraphTools.
|
StateTransition |
getStateTransition(StateVisTransition edge)
Gets the StateTransition for the specified StateVisTransition.
|
java.util.HashMap<StateTransition,StateVisTransition> |
getStateTransitionHash()
Gets the transition state hash.
|
StateVisNode |
getStateVisNode(State state)
Returns the StateVisNode from the specified State.
|
StateGraphVisViewer<StateVisNode,StateVisTransition> |
getVisView()
Gets the VisualizationViewer
|
void |
handleObjectDoubleClick(java.lang.Object pickedObject)
Invoked when a graph node or edge is double clicked (left or right)
|
void |
handleObjectLeftClick(java.lang.Object pickedObject)
This method notifies the observers about a graph object selection
|
void |
handleObjectRightClick(java.lang.Object pickedObject)
Notifies the observers that this object is right clicked
|
void |
setGraphMousePicking()
Sets the graph mouse picking.
|
void |
setGraphMouseTransforming()
Sets the graph mouse transforming.
|
void |
setPickedObjects(java.util.Vector<StateVisElement> objects)
Marks a group of objects as picked
|
void |
setStatePosition(StateVisNode stateVisNode,
java.awt.geom.Point2D newPosition)
Sets the state position in the graph.
|
void |
setStateTransitionHash(java.util.HashMap<StateTransition,StateVisTransition> transitionStateHash)
Sets the transition state hash.
|
void |
update(java.util.Observable observable,
java.lang.Object updateObject) |
void |
zoomFit2Window()
Zoom - fits to window.
|
void |
zoomIn()
Zoom in.
|
void |
zoomOneToOne()
Zoom one to one and move the focus, so that the elements are visible.
|
void |
zoomOut()
Zoom out.
|
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI
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
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
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, repaint, resize, resize, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setFocusable, setFocusTraversalKeysEnabled, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, show, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle
public StateGraphPanel(OptionModelController controller)
controller
- The Graph Environment controllerpublic StateGraphTools getStateGraphTools()
public StateGraphVisViewer<StateVisNode,StateVisTransition> getVisView()
public edu.uci.ics.jung.visualization.control.PluggableGraphMouse getPluggableGraphMouse()
public void setGraphMousePicking()
public void setGraphMouseTransforming()
public void handleObjectLeftClick(java.lang.Object pickedObject)
pickedObject
- The selected objectpublic void handleObjectRightClick(java.lang.Object pickedObject)
pickedObject
- the selected objectpublic void handleObjectDoubleClick(java.lang.Object pickedObject)
pickedObject
- public void setPickedObjects(java.util.Vector<StateVisElement> objects)
objects
- The objectspublic StateVisNode getPickedSingleNode()
public java.util.Set<StateVisNode> getPickedNodes()
public StateVisTransition getPickedSingleEdge()
public java.util.Set<StateVisTransition> getPickedEdges()
public void exportAsImage()
public void zoomIn()
public void zoomOut()
public void zoomOneToOne()
public void zoomFit2Window()
public java.awt.geom.Rectangle2D getGraphSpreadDimension(edu.uci.ics.jung.graph.Graph<StateVisNode,StateVisTransition> graph)
graph
- the graphpublic java.awt.geom.Rectangle2D getGraphSpreadDimension(java.util.Collection<StateVisNode> graphNodes)
graphNodes
- the graph nodespublic StateVisNode getStateVisNode(State state)
state
- the statepublic State getState(StateVisNode stateVisNode)
stateVisNode
- the state vis nodepublic State addState(java.awt.geom.Point2D position)
position
- the desired position for the StateVisNodepublic void setStatePosition(StateVisNode stateVisNode, java.awt.geom.Point2D newPosition)
stateVisNode
- the StateVisNodenewPosition
- the new positionpublic void addStateTransition(StateVisNode sourceNode, StateVisNode destinNode)
sourceNode
- the source StateVisNodedestinNode
- the destination StateVisNodepublic void addStateTransition(StateTransition stateTransition, State sourceState)
stateTransition
- the state transitionsourceState
- the source statepublic StateTransition getStateTransition(StateVisTransition edge)
edge
- the StateVisTransitionpublic void clearGraph()
public void setStateTransitionHash(java.util.HashMap<StateTransition,StateVisTransition> transitionStateHash)
transitionStateHash
- the transition state hashpublic java.util.HashMap<StateTransition,StateVisTransition> getStateTransitionHash()
public void update(java.util.Observable observable, java.lang.Object updateObject)
update
in interface java.util.Observer