websphinx.util
Class TabPanel

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Panel
                    |
                    +--websphinx.util.TabPanel

All Implemented Interfaces:

javax.accessibility.Accessible, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable

Direct Known Subclasses:

WorkbenchTabPanel, WorkbenchVizPanel

public class TabPanel

extends java.awt.Panel

See Also:

Serialized Form

Inner classes inherited from class java.awt.Panel

java.awt.Panel.AccessibleAWTPanel

Inner classes inherited from class java.awt.Container

java.awt.Container.AccessibleAWTContainer

Inner classes inherited from class java.awt.Component

java.awt.Component.AccessibleAWTComponent, java.awt.Component.AWTTreeLock

Field Summary

(package private) int[]	arrBeg
(package private) int[]	arrEnd
(package private) java.lang.String[]	arrName
(package private) java.awt.Font	boldFont
(package private) static int	BUTTON_GUTTER
(package private) java.awt.Component[]	cards
(package private) java.awt.FontMetrics	fmBoldFont
(package private) int	H
(package private) static int	horRound
(package private) static int	internalMargin
(package private) java.awt.Color	light
(package private) static int	lineWidth
(package private) static int	MAX_TABS
(package private) boolean	mustRecalculate
(package private) int	nbTab
(package private) java.awt.Font	plainFont
(package private) int	selected
(package private) static int	selUpper
(package private) java.awt.Color	shadow
(package private) java.awt.CardLayout	tabLayout
(package private) java.awt.Panel	tabPanel
(package private) static int	verRound
(package private) int	W
(package private) static int	xTabOffset
(package private) static int	XTitle
(package private) static int	YTitle
(package private) int	Z

Fields inherited from class java.awt.Panel

base, nameCounter, serialVersionUID

Fields inherited from class java.awt.Container

component, containerListener, containerSerializedDataVersion, dbg, dispatcher, layoutMgr, listeningBoundsChildren, listeningChildren, maxSize, ncomponents, printing, printingThreads

Fields inherited from class java.awt.Component

accessibleContext, actionListenerK, adjustmentListenerK, appContext, background, BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, changeSupport, componentListener, componentListenerK, componentOrientation, componentSerializedDataVersion, containerListenerK, cursor, dropTarget, enabled, eventMask, focusListener, focusListenerK, font, foreground, graphicsConfig, hasFocus, height, hierarchyBoundsListener, hierarchyBoundsListenerK, hierarchyListener, hierarchyListenerK, incRate, inputMethodListener, inputMethodListenerK, isInc, isPacked, itemListenerK, keyListener, keyListenerK, LEFT_ALIGNMENT, locale, LOCK, metrics, minSize, mouseListener, mouseListenerK, mouseMotionListener, mouseMotionListenerK, name, nameExplicitlySet, newEventsOnly, ownedWindowK, parent, peer, peerFont, popups, prefSize, privateKey, RIGHT_ALIGNMENT, textListenerK, TOP_ALIGNMENT, valid, visible, width, windowClosingException, windowListenerK, x, y

Fields inherited from interface java.awt.image.ImageObserver

ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH

Constructor Summary

TabPanel()

Method Summary

void	addTabPanel(java.lang.String name, boolean enabled, java.awt.Component c)
(package private) void	clickTab(int x, int y)
int	countTabs()
java.lang.String[]	getPanelLabels()
java.awt.Component	getSelectedComponent()
void	layout()
java.awt.Dimension	minimumSize()
boolean	mouseDown(java.awt.Event event, int x, int y)
void	paint(java.awt.Graphics g)
java.awt.Dimension	preferredSize()
(package private) void	recalculate()
void	removeAllTabPanels()
void	removeTabPanel(java.awt.Component c)
void	removeTabPanel(int i)
void	renameTab(java.lang.String oldName, java.lang.String newName)
void	select(int num)
void	update(java.awt.Graphics g)

Methods inherited from class java.awt.Panel

, addNotify, constructComponentName, getAccessibleContext

Methods inherited from class java.awt.Container

add, add, add, add, add, addContainerListener, addImpl, adjustListeningChildren, applyOrientation, checkGD, countComponents, createChildHierarchyEvents, createHierarchyEvents, deliverEvent, dispatchEventImpl, dispatchEventToSelf, doLayout, eventEnabled, findComponentAt, findComponentAt, findComponentAt, getAccessibleAt, getAccessibleChild, getAccessibleChildrenCount, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents_NoClientCode, getComponents, getInsets, getLayout, getListeners, getMaximumSize, getMinimumSize, getMouseEventTarget, getPreferredSize, getWindow, initIDs, insets, invalidate, invalidateTree, isAncestorOf, lightweightPaint, lightweightPrint, list, list, locate, nextFocus, numListening, paintComponents, paintHeavyweightComponents, paramString, postProcessKeyEvent, postsOldMouseEvents, preProcessKeyEvent, print, printComponents, printHeavyweightComponents, processContainerEvent, processEvent, proxyEnableEvents, proxyRequestFocus, readObject, remove, remove, removeAll, removeContainerListener, removeNotify, setFocusOwner, setFont, setLayout, transferFocus, validate, validateTree, writeObject

Methods inherited from class java.awt.Component

action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addPropertyChangeListener, addPropertyChangeListener, areInputMethodsEnabled, bounds, checkImage, checkImage, checkWindowClosingException, coalesceEvents, contains, contains, createImage, createImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, getAccessibleIndexInParent, getAccessibleStateSet, getBackground, getBounds, getBounds, getColorModel, getComponentOrientation, getCursor, getDropTarget, getFont_NoClientCode, getFont, getFontMetrics, getForeground, getGraphics, getGraphicsConfiguration, getHeight, getInputContext, getInputMethodRequests, getLocale, getLocation, getLocation, getLocationOnScreen_NoTreeLock, getLocationOnScreen, getName, getNativeContainer, getParent_NoClientCode, getParent, getPeer, getSize, getSize, getToolkit, getToolkitImpl, getTreeLock, getWidth, getWindowForObject, getX, getY, gotFocus, handleEvent, hasFocus, hide, imageUpdate, inside, isDisplayable, isDoubleBuffered, isEnabled, isEnabledImpl, isFocusTraversable, isLightweight, isOpaque, isRecursivelyVisible, isShowing, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, postEvent, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, resetGC, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setCursor, setDropTarget, setEnabled, setForeground, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, show, size, toString, transferFocus

Methods inherited from class java.lang.Object

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

Field Detail

MAX_TABS

static final int MAX_TABS

selUpper

static final int selUpper

lineWidth

static final int lineWidth

horRound

static final int horRound

verRound

static final int verRound

internalMargin

static final int internalMargin

xTabOffset

static final int xTabOffset

XTitle

static final int XTitle

YTitle

static final int YTitle

plainFont

java.awt.Font plainFont

boldFont

java.awt.Font boldFont

fmBoldFont

java.awt.FontMetrics fmBoldFont

light

final java.awt.Color light

shadow

final java.awt.Color shadow

tabLayout

java.awt.CardLayout tabLayout

tabPanel

java.awt.Panel tabPanel

mustRecalculate

boolean mustRecalculate

Z

int Z

W

int W

H

int H

cards

java.awt.Component[] cards

arrName

java.lang.String[] arrName

arrEnd

int[] arrEnd

arrBeg

int[] arrBeg

nbTab

int nbTab

selected

int selected

BUTTON_GUTTER

static final int BUTTON_GUTTER

Constructor Detail

TabPanel

public TabPanel()

Method Detail

recalculate

void recalculate()

layout

public void layout()

Overrides:

layout in class java.awt.Container

preferredSize

public java.awt.Dimension preferredSize()

Overrides:

preferredSize in class java.awt.Container

minimumSize

public java.awt.Dimension minimumSize()

Overrides:

minimumSize in class java.awt.Container

addTabPanel

public void addTabPanel(java.lang.String name,
                        boolean enabled,
                        java.awt.Component c)

getPanelLabels

public java.lang.String[] getPanelLabels()

removeAllTabPanels

public void removeAllTabPanels()

removeTabPanel

public void removeTabPanel(java.awt.Component c)

removeTabPanel

public void removeTabPanel(int i)

countTabs

public int countTabs()

renameTab

public void renameTab(java.lang.String oldName,
                      java.lang.String newName)

select

public void select(int num)

getSelectedComponent

public java.awt.Component getSelectedComponent()

update

public void update(java.awt.Graphics g)

Overrides:

update in class java.awt.Container

paint

public void paint(java.awt.Graphics g)

Overrides:

paint in class java.awt.Container

clickTab

void clickTab(int x,
              int y)

mouseDown

public boolean mouseDown(java.awt.Event event,
                         int x,
                         int y)

Overrides:

mouseDown in class java.awt.Component