cage
Class CombinedGeneratorPanel

java.lang.Object
  java.awt.Component
      java.awt.Container
          javax.swing.JComponent
              javax.swing.JPanel
                  cage.GeneratorPanel
                      cage.CombinedGeneratorPanel

All Implemented Interfaces:

java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable, java.util.EventListener, javax.accessibility.Accessible, javax.swing.event.ChangeListener, WizardAwareComponent

Direct Known Subclasses:

FourRegularPlaneGraphsPanel, HCgenPanel, PlaneTriangulationsPanel, QuadrangulationsPanel, ThreeRegularPlaneGraphsPanel, TriangulationsPanel

public abstract class CombinedGeneratorPanel
extends GeneratorPanel
implements javax.swing.event.ChangeListener

GeneratorPanel that combines several GeneratorPanels on a JTabbedPane.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class javax.swing.JPanel

javax.swing.JPanel.AccessibleJPanel

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.BltBufferStrategy, java.awt.Component.FlipBufferStrategy

Field Summary

protected javax.swing.JTabbedPane

pane

Fields inherited from class javax.swing.JComponent

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

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

CombinedGeneratorPanel()

Method Summary

protected void	addTab(java.lang.String title, GeneratorPanel panel) Adds panel to the tabbed pane, sets a border for it and then calls all of the WizardAwareComponent methods.
GeneratorInfo	getGeneratorInfo() If there currently is a GeneratorPanel selected on the JTabbedPane, calls the getGeneratorInfo() method of this panel and returns that GeneratorInfo.
void	setCancelButton(javax.swing.JButton cancelButton) Set the current cancel button in the wizard.
void	setExitButton(javax.swing.JButton exitButton) Set the current exit button in the wizard.
void	setFinishButton(javax.swing.JButton finishButton) Set the current finish button in the wizard.
void	setNextButton(javax.swing.JButton nextButton) Set the current next button in the wizard.
void	setPreviousButton(javax.swing.JButton previousButton) Set the current previous button in the wizard.
void	showing() If there currently is a GeneratorPanel selected on the JTabbedPane, calls the showing() method of this panel.
void	stateChanged(javax.swing.event.ChangeEvent e)

Methods inherited from class cage.GeneratorPanel

getCancelButton, getExitButton, getFinishButton, getNextButton, getPreviousButton

Methods inherited from class javax.swing.JPanel

getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI

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, 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, isDoubleBuffered, isLightweightComponent, isManagingFocus, isOpaque, isOptimizedDrawingEnabled, 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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

pane

protected javax.swing.JTabbedPane pane

Constructor Detail

CombinedGeneratorPanel

public CombinedGeneratorPanel()

Method Detail

addTab

protected void addTab(java.lang.String title,
                      GeneratorPanel panel)

Adds panel to the tabbed pane, sets a border for it and then calls all of the WizardAwareComponent methods.

Parameters:

title - the title to be displayed in this tab

panel - the component to be displayed when this tab is clicked

setCancelButton

public void setCancelButton(javax.swing.JButton cancelButton)

Description copied from class: GeneratorPanel

Set the current cancel button in the wizard.

Specified by:

setCancelButton in interface WizardAwareComponent

Overrides:

setCancelButton in class GeneratorPanel

Parameters:

cancelButton - The cancel button of the current stage

setExitButton

public void setExitButton(javax.swing.JButton exitButton)

Description copied from class: GeneratorPanel

Set the current exit button in the wizard.

Specified by:

setExitButton in interface WizardAwareComponent

Overrides:

setExitButton in class GeneratorPanel

Parameters:

exitButton - The exit button of the current stage

setFinishButton

public void setFinishButton(javax.swing.JButton finishButton)

Description copied from class: GeneratorPanel

Set the current finish button in the wizard. This button can then be disabled by this panel in case of a non-valid state.

Specified by:

setFinishButton in interface WizardAwareComponent

Overrides:

setFinishButton in class GeneratorPanel

Parameters:

finishButton - The finish button of the current stage

setNextButton

public void setNextButton(javax.swing.JButton nextButton)

Description copied from class: GeneratorPanel

Set the current next button in the wizard. This button can then be disabled by this panel in case of a non-valid state.

Specified by:

setNextButton in interface WizardAwareComponent

Overrides:

setNextButton in class GeneratorPanel

Parameters:

nextButton - The next button of the current stage

setPreviousButton

public void setPreviousButton(javax.swing.JButton previousButton)

Description copied from class: GeneratorPanel

Set the current previous button in the wizard.

Specified by:

setPreviousButton in interface WizardAwareComponent

Overrides:

setPreviousButton in class GeneratorPanel

Parameters:

previousButton - The previous button of the current stage

showing

public void showing()

If there currently is a GeneratorPanel selected on the JTabbedPane, calls the showing() method of this panel.

Specified by:

showing in class GeneratorPanel

getGeneratorInfo

public GeneratorInfo getGeneratorInfo()

If there currently is a GeneratorPanel selected on the JTabbedPane, calls the getGeneratorInfo() method of this panel and returns that GeneratorInfo.

Specified by:

getGeneratorInfo in class GeneratorPanel

Returns:

The GeneratorInfo of the currently selected generator or null if no generator is selected.

stateChanged

public void stateChanged(javax.swing.event.ChangeEvent e)

Specified by:

stateChanged in interface javax.swing.event.ChangeListener