de.saar.chorus.ubench.gui
Class JDomGraphTab

Object
  extended by Component
      extended by Container
          extended by JComponent
              extended by JPanel
                  extended by JScrollableJGraph
                      extended by JGraphTab
                          extended by JDomGraphTab
All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible

public class JDomGraphTab
extends JGraphTab

A JPanel displaying a JDomGraph, providing several informations on the graph needed by other GUI-classes.

Author:
Alexander Koller, Michaela Regneri
See Also:
JGraphTab, JSolvedFormTab, Serialized Form

Nested Class Summary
 
Nested classes/interfaces inherited from class JComponent
JComponent.AccessibleJComponent
 
Field Summary
 
Fields inherited from class JComponent
TOOL_TIP_TEXT_KEY, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW
 
Fields inherited from class Component
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT
 
Fields inherited from interface ImageObserver
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH
 
Constructor Summary
JDomGraphTab(JDomGraph theGraph, DomGraph origin, String name, boolean paintNow, CommandListener lis, NodeLabels labels)
          Constructor to set up a tab with a dominance graph.
 
Method Summary
 JGraphTab clone()
          Returns a JGraphTab identic to this one but containing clones of the DomGraph and the JDomGraph
 JSolvedFormTab createFirstSolvedForm()
          Creates a tab displaying the first solved form of this dominance graph.
 void displayChart()
           
 Chart getChart()
           
 DomGraph getCompactGraph()
           
 boolean isSolvable()
           
 boolean isSolvedYet()
           
 void setSolvable(boolean solvable)
           
 void setSolvedYet(boolean isSolvedYet)
           
 void solve()
          Solve this tab's graph if it isn't solved yet.
 
Methods inherited from class JGraphTab
fitGraph, focusChart, getBarCode, getChartViewer, getCloneOfGraph, getDefaultName, getDomGraph, getGraph, getGraphName, getGraphScale, getListener, getNodeLabels, getRecentLayout, getSolvedFormIterator, getSolvedForms, getStatusBar, hasVisibleChartViewer, isEmpty, numGraphNodes, repaintIfNecessary, resetLayout, setBarCode, setDefaultName, setDomGraph, setGraph, setGraphName, setGraphScale, setListener, setNodeLabels, setRecentLayout, setSolvedFormIterator, setSolvedForms, setStatusBar, updateRecentLayout
 
Methods inherited from class JScrollableJGraph
resetSlider
 
Methods inherited from class JPanel
getAccessibleContext, getUI, getUIClassID, setUI, updateUI
 
Methods inherited from class JComponent
addAncestorListener, addNotify, addVetoableChangeListener, computeVisibleRect, contains, createToolTip, disable, enable, firePropertyChange, firePropertyChange, firePropertyChange, getActionForKeyStroke, getActionMap, getAlignmentX, getAlignmentY, getAncestorListeners, getAutoscrolls, getBorder, getBounds, getClientProperty, 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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, isPaintingTile, isRequestFocusEnabled, isValidateRoot, paint, paintImmediately, paintImmediately, print, printAll, putClientProperty, registerKeyboardAction, registerKeyboardAction, removeAncestorListener, removeNotify, removeVetoableChangeListener, repaint, repaint, requestDefaultFocus, requestFocus, requestFocus, 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, setVerifyInputWhenFocusTarget, setVisible, unregisterKeyboardAction, update
 
Methods inherited from class Container
add, add, add, add, add, addContainerListener, 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, remove, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusCycleRoot, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setLayout, transferFocusBackward, transferFocusDownCycle, validate
 
Methods inherited from class Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, contains, createImage, createImage, createVolatileImage, createVolatileImage, dispatchEvent, enable, enableInputMethods, 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, 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, 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, transferFocusUpCycle
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JDomGraphTab

public JDomGraphTab(JDomGraph theGraph,
                    DomGraph origin,
                    String name,
                    boolean paintNow,
                    CommandListener lis,
                    NodeLabels labels)
Constructor to set up a tab with a dominance graph. The graph is solved if necessary.

Parameters:
theGraph - the graph
name - the name for the tab
paintNow - if set to true, the graph is layoutet at once
Method Detail

solve

public void solve()
Solve this tab's graph if it isn't solved yet.


isSolvable

public boolean isSolvable()
Returns:
true if the graph is solvable

setSolvable

public void setSolvable(boolean solvable)
Parameters:
solvable - The solvable to set.

isSolvedYet

public boolean isSolvedYet()
Returns:
true if the graph has been solved yet.

setSolvedYet

public void setSolvedYet(boolean isSolvedYet)
Parameters:
isSolvedYet - The isSolvedYet to set.

displayChart

public void displayChart()
Overrides:
displayChart in class JGraphTab

clone

public JGraphTab clone()
Returns a JGraphTab identic to this one but containing clones of the DomGraph and the JDomGraph

Specified by:
clone in class JGraphTab

createFirstSolvedForm

public JSolvedFormTab createFirstSolvedForm()
Creates a tab displaying the first solved form of this dominance graph.

Returns:
the complete tab with the first solved form.

getChart

public Chart getChart()

getCompactGraph

public DomGraph getCompactGraph()