public class TransitionSystemPanel
extends javax.swing.JComponent
javax.swing.JComponent.AccessibleJComponent
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
Constructor and Description |
---|
TransitionSystemPanel()
Creates a new TransitionSystemPanel instance.
|
TransitionSystemPanel(java.util.WeakHashMap<java.lang.Object,de.uni_due.inf.ti.visigraph.VxGraph> cache)
Creates a new TransitionSystemPanel instance with a shared visualization
cache.
|
Modifier and Type | Method and Description |
---|---|
void |
clearVisualizationCache()
Clears the cache used to store visualizations of objects.
|
de.uni_due.inf.ti.visigraph.swing.GraphPanel |
getConnectedPanel()
Returns the GraphPanel where selected states and transitions are
displayed.
|
de.uni_due.inf.ti.visigraph.Layouter |
getLayouter()
Returns the layouter object which is used to calculate positions for
the nodes and edges of the visualizations.
|
de.uni_due.inf.ti.visigraph.StyleMap |
getStyleMap()
Returns the style map used by this TransitionSystemPanel.
|
GraphVisualizer |
getVisualizer()
Returns the visualizer objects which is used to generate visualizations
of graphs, transitions and transition systems.
|
void |
setConnectedPanel(de.uni_due.inf.ti.visigraph.swing.GraphPanel panel)
Sets the GraphPanel where selected states and transitions are displayed.
|
void |
setLayouter(de.uni_due.inf.ti.visigraph.Layouter l)
Sets the layouter object which is used to calculate positions for
the nodes and edges of the visualizations.
|
void |
setSystem(ExplicitTransitionSystem system)
Sets the transition system which is displayed by this
TransitionSystemPanel.
|
void |
setVisualization(java.lang.Object o,
de.uni_due.inf.ti.visigraph.VxGraph visi)
Sets the visualization of an object to a custom visualization.
|
void |
setVisualizer(GraphVisualizer vis)
Sets the visualizer objects which is used to generate visualizations
of graph, transitions and transition systems.
|
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, fireVetoableChange, getAccessibleContext, 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, paint, 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
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 TransitionSystemPanel(java.util.WeakHashMap<java.lang.Object,de.uni_due.inf.ti.visigraph.VxGraph> cache)
cache
- cache for visualizations of objects; if null
a new cache
is created, otherwise the given cache is used so that components
can share their visualization cache.public TransitionSystemPanel()
public void clearVisualizationCache()
public void setConnectedPanel(de.uni_due.inf.ti.visigraph.swing.GraphPanel panel)
public de.uni_due.inf.ti.visigraph.swing.GraphPanel getConnectedPanel()
public GraphVisualizer getVisualizer()
public void setVisualizer(GraphVisualizer vis)
vis
- the new visualizer objectjava.lang.NullPointerException
- when vis == null
public de.uni_due.inf.ti.visigraph.Layouter getLayouter()
public void setLayouter(de.uni_due.inf.ti.visigraph.Layouter l)
l
- the new layouter used by this TransitionSystemPaneljava.lang.NullPointerException
- when l
is null
public void setSystem(ExplicitTransitionSystem system)
system
- the transition system which is to be displayed by this panelpublic void setVisualization(java.lang.Object o, de.uni_due.inf.ti.visigraph.VxGraph visi)
o
- object for which the custom visualization is setvisi
- visualization for the object o
java.lang.NullPointerException
- when either o
or visi
is null
public de.uni_due.inf.ti.visigraph.StyleMap getStyleMap()