de.saar.chorus.ubench.gui
Class JSolvedFormTab

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

public class JSolvedFormTab
extends JGraphTab

A JPanel displaying a JDomGraph which is in solved form and providing several informations on the graph needed by other GUI-classes.

Author:
Alexander Koller, Michaela Regneri
See Also:
JGraphTab, JDomGraphTab, 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
JSolvedFormTab(JDomGraph solvedForm, String name, SolvedFormIterator solv, DomGraph origin, long form, long allForms, String gName, CommandListener lis, NodeLabels labels)
          Constructor for setting up a tab with a solved form.
 
Method Summary
 JGraphTab clone()
          Returns a JGraphTab identic to this one but containing clones of the DomGraph and the JDomGraph
 long getCurrentForm()
           
 JTextField getSolvedForm()
           
 void resetSolvedFormText()
           
 void setCurrentForm(long currentForm)
           
 void setSolvedForm(JTextField solvedForm)
           
 
Methods inherited from class JGraphTab
displayChart, 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

JSolvedFormTab

public JSolvedFormTab(JDomGraph solvedForm,
                      String name,
                      SolvedFormIterator solv,
                      DomGraph origin,
                      long form,
                      long allForms,
                      String gName,
                      CommandListener lis,
                      NodeLabels labels)
Constructor for setting up a tab with a solved form.

Parameters:
solvedForm - the graph
name - the name for the tab
solv - the solvedFormIterator related to the graph
Method Detail

resetSolvedFormText

public void resetSolvedFormText()

getSolvedForm

public JTextField getSolvedForm()
Returns:
Returns the solvedForm.

getCurrentForm

public long getCurrentForm()
Returns:
Returns the currentForm.

setCurrentForm

public void setCurrentForm(long currentForm)
Parameters:
currentForm - The currentForm to set.

setSolvedForm

public void setSolvedForm(JTextField solvedForm)
Parameters:
solvedForm - The solvedForm to set.

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