org.jboss.as.console.client.widgets.pages

Class Pages

java.lang.Object

com.google.gwt.user.client.ui.UIObject

com.google.gwt.user.client.ui.Widget

com.google.gwt.user.client.ui.Composite

org.jboss.as.console.client.widgets.pages.Pages

All Implemented Interfaces:

com.google.gwt.event.logical.shared.HasAttachHandlers, com.google.gwt.event.shared.HasHandlers, com.google.gwt.user.client.EventListener, com.google.gwt.user.client.ui.HasVisibility, com.google.gwt.user.client.ui.HasWidgets, com.google.gwt.user.client.ui.IndexedPanel, com.google.gwt.user.client.ui.IsRenderable, com.google.gwt.user.client.ui.IsWidget, com.google.gwt.user.client.ui.SourcesTabEvents, com.google.gwt.user.client.ui.TabListener, Iterable<com.google.gwt.user.client.ui.Widget>

public class Pages
extends com.google.gwt.user.client.ui.Composite
implements com.google.gwt.user.client.ui.TabListener, com.google.gwt.user.client.ui.SourcesTabEvents, com.google.gwt.user.client.ui.HasWidgets, com.google.gwt.user.client.ui.IndexedPanel

Nested Class Summary

Nested classes/interfaces inherited from class com.google.gwt.user.client.ui.UIObject

com.google.gwt.user.client.ui.UIObject.DebugIdImpl, com.google.gwt.user.client.ui.UIObject.DebugIdImplEnabled

Nested classes/interfaces inherited from interface com.google.gwt.user.client.ui.HasWidgets

com.google.gwt.user.client.ui.HasWidgets.ForIsWidget

Nested classes/interfaces inherited from interface com.google.gwt.user.client.ui.IndexedPanel

com.google.gwt.user.client.ui.IndexedPanel.ForIsWidget

Field Summary

Fields inherited from class com.google.gwt.user.client.ui.UIObject

DEBUG_ID_PREFIX

Constructor Summary

Constructors

Constructor and Description
Pages() Creates an empty tab panel.

Method Summary

Methods

Modifier and Type	Method and Description
void	add(com.google.gwt.user.client.ui.Widget w)
void	add(com.google.gwt.user.client.ui.Widget w, String tabText) Adds a widget to the tab panel.
void	add(com.google.gwt.user.client.ui.Widget w, String tabText, boolean asHTML) Adds a widget to the tab panel.
void	add(com.google.gwt.user.client.ui.Widget w, com.google.gwt.user.client.ui.Widget tabWidget) Adds a widget to the tab panel.
void	addBeforeSelectionHandler(com.google.gwt.event.logical.shared.BeforeSelectionHandler<Integer> beforeSelectionHandler)
void	addTabListener(com.google.gwt.user.client.ui.TabListener listener)
void	clear()
com.google.gwt.user.client.ui.DeckPanel	getDeckPanel() Gets the deck panel within this tab panel.
com.google.gwt.user.client.ui.TabBar	getTabBar() Gets the tab bar within this tab panel.
com.google.gwt.user.client.ui.Widget	getWidget(int index)
int	getWidgetCount()
int	getWidgetIndex(com.google.gwt.user.client.ui.Widget widget)
void	insert(com.google.gwt.user.client.ui.Widget widget, String tabText, boolean asHTML, int beforeIndex) Inserts a widget into the tab panel.
void	insert(com.google.gwt.user.client.ui.Widget widget, String tabText, int beforeIndex) Inserts a widget into the tab panel.
void	insert(com.google.gwt.user.client.ui.Widget widget, com.google.gwt.user.client.ui.Widget tabWidget, int beforeIndex) Inserts a widget into the tab panel.
Iterator	iterator()
boolean	onBeforeTabSelected(com.google.gwt.user.client.ui.SourcesTabEvents sender, int tabIndex)
void	onTabSelected(com.google.gwt.user.client.ui.SourcesTabEvents sender, int tabIndex)
boolean	remove(int index)
boolean	remove(com.google.gwt.user.client.ui.Widget widget) Removes the given widget, and its associated tab.
void	removeTabListener(com.google.gwt.user.client.ui.TabListener listener)
void	selectTab(int index, boolean b) Programmatically selects the specified tab.

Methods inherited from class com.google.gwt.user.client.ui.Composite

claimElement, getWidget, initializeClaimedElement, initWidget, isAttached, onAttach, onBrowserEvent, onDetach, render, render, resolvePotentialElement, setWidget

Methods inherited from class com.google.gwt.user.client.ui.Widget

addAttachHandler, addBitlessDomHandler, addDomHandler, addHandler, asWidget, asWidgetOrNull, createHandlerManager, delegateEvent, doAttachChildren, doDetachChildren, fireEvent, getHandlerCount, getLayoutData, getParent, isOrWasAttached, onLoad, onUnload, removeFromParent, setLayoutData, sinkEvents, unsinkEvents

Methods inherited from class com.google.gwt.user.client.ui.UIObject

addStyleDependentName, addStyleName, ensureDebugId, ensureDebugId, ensureDebugId, getAbsoluteLeft, getAbsoluteTop, getElement, getOffsetHeight, getOffsetWidth, getStyleElement, getStyleName, getStyleName, getStylePrimaryName, getStylePrimaryName, getTitle, isVisible, isVisible, onEnsureDebugId, removeStyleDependentName, removeStyleName, setElement, setElement, setHeight, setPixelSize, setSize, setStyleDependentName, setStyleName, setStyleName, setStyleName, setStyleName, setStylePrimaryName, setStylePrimaryName, setTitle, setVisible, setVisible, setWidth, sinkBitlessEvent, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Pages

public Pages()

Creates an empty tab panel.

Method Detail

addBeforeSelectionHandler

public void addBeforeSelectionHandler(com.google.gwt.event.logical.shared.BeforeSelectionHandler<Integer> beforeSelectionHandler)

add

public void add(com.google.gwt.user.client.ui.Widget w)

Specified by:

add in interface com.google.gwt.user.client.ui.HasWidgets

add

public void add(com.google.gwt.user.client.ui.Widget w,
       String tabText)

Adds a widget to the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the right-most index.

Parameters:

w - the widget to be added

tabText - the text to be shown on its tab

add

public void add(com.google.gwt.user.client.ui.Widget w,
       String tabText,
       boolean asHTML)

Adds a widget to the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the right-most index.

Parameters:

w - the widget to be added

tabText - the text to be shown on its tab

asHTML - true to treat the specified text as HTML

add

public void add(com.google.gwt.user.client.ui.Widget w,
       com.google.gwt.user.client.ui.Widget tabWidget)

Adds a widget to the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the right-most index.

Parameters:

w - the widget to be added

tabWidget - the widget to be shown in the tab

addTabListener

public void addTabListener(com.google.gwt.user.client.ui.TabListener listener)

Specified by:

addTabListener in interface com.google.gwt.user.client.ui.SourcesTabEvents

clear

public void clear()

Specified by:

clear in interface com.google.gwt.user.client.ui.HasWidgets

getDeckPanel

public com.google.gwt.user.client.ui.DeckPanel getDeckPanel()

Gets the deck panel within this tab panel. Adding or removing Widgets from the DeckPanel is not supported and will throw UnsupportedOperationExceptions.

Returns:

the deck panel

getTabBar

public com.google.gwt.user.client.ui.TabBar getTabBar()

Gets the tab bar within this tab panel. Adding or removing tabs from from the TabBar is not supported and will throw UnsupportedOperationExceptions.

Returns:

the tab bar

getWidget

public com.google.gwt.user.client.ui.Widget getWidget(int index)

Specified by:

getWidget in interface com.google.gwt.user.client.ui.IndexedPanel

getWidgetCount

public int getWidgetCount()

Specified by:

getWidgetCount in interface com.google.gwt.user.client.ui.IndexedPanel

getWidgetIndex

public int getWidgetIndex(com.google.gwt.user.client.ui.Widget widget)

Specified by:

getWidgetIndex in interface com.google.gwt.user.client.ui.IndexedPanel

insert

public void insert(com.google.gwt.user.client.ui.Widget widget,
          String tabText,
          boolean asHTML,
          int beforeIndex)

Inserts a widget into the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the requested index.

Parameters:

widget - the widget to be inserted

tabText - the text to be shown on its tab

asHTML - true to treat the specified text as HTML

beforeIndex - the index before which it will be inserted

insert

public void insert(com.google.gwt.user.client.ui.Widget widget,
          com.google.gwt.user.client.ui.Widget tabWidget,
          int beforeIndex)

Inserts a widget into the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the requested index.

Parameters:

widget - the widget to be inserted.

tabWidget - the widget to be shown on its tab.

beforeIndex - the index before which it will be inserted.

insert

public void insert(com.google.gwt.user.client.ui.Widget widget,
          String tabText,
          int beforeIndex)

Inserts a widget into the tab panel. If the Widget is already attached to the TabPanel, it will be moved to the requested index.

Parameters:

widget - the widget to be inserted

tabText - the text to be shown on its tab

beforeIndex - the index before which it will be inserted

iterator

public Iterator iterator()

Specified by:

iterator in interface com.google.gwt.user.client.ui.HasWidgets

Specified by:

iterator in interface Iterable<com.google.gwt.user.client.ui.Widget>

onBeforeTabSelected

public boolean onBeforeTabSelected(com.google.gwt.user.client.ui.SourcesTabEvents sender,
                          int tabIndex)

Specified by:

onBeforeTabSelected in interface com.google.gwt.user.client.ui.TabListener

onTabSelected

public void onTabSelected(com.google.gwt.user.client.ui.SourcesTabEvents sender,
                 int tabIndex)

Specified by:

onTabSelected in interface com.google.gwt.user.client.ui.TabListener

remove

public boolean remove(int index)

Specified by:

remove in interface com.google.gwt.user.client.ui.IndexedPanel

remove

public boolean remove(com.google.gwt.user.client.ui.Widget widget)

Removes the given widget, and its associated tab.

Specified by:

remove in interface com.google.gwt.user.client.ui.HasWidgets

Parameters:

widget - the widget to be removed

removeTabListener

public void removeTabListener(com.google.gwt.user.client.ui.TabListener listener)

Specified by:

removeTabListener in interface com.google.gwt.user.client.ui.SourcesTabEvents

selectTab

public void selectTab(int index,
             boolean b)

Programmatically selects the specified tab.

Parameters:

index - the index of the tab to be selected

b - fire events