org.jboss.hal.ballroom

Class Pages

java.lang.Object

org.jboss.hal.ballroom.Pages

All Implemented Interfaces:

org.jboss.gwt.elemento.core.IsElement

public class Pages
extends Object
implements org.jboss.gwt.elemento.core.IsElement

A structural element to manage a main and any number of nested page elements. The nested page elements provide a breadcrumb to navigate back and forth.

Use this element when you need additional levels of navigation which cannot be provided by a vertical navigation.

Constructor Summary

Constructors

Constructor and Description
Pages(String id, String mainId, elemental2.dom.HTMLElement element) Create a new instance with the main page id and element.
Pages(String id, String mainId, org.jboss.gwt.elemento.core.IsElement element) Create a new instance with the main page id and element.

Method Summary

Modifier and Type	Method and Description
void	addPage(String parentId, String id, Supplier<String> parentTitle, Supplier<String> title, elemental2.dom.HTMLElement element) Adds a nested page.
void	addPage(String parentId, String id, Supplier<String> parentTitle, Supplier<String> title, org.jboss.gwt.elemento.core.IsElement element) Adds a nested page.
elemental2.dom.HTMLElement	asElement()
String	getCurrentId()
void	showPage(String id) Shows the specified main / nested page and updates the breadcrumb.

Methods inherited from class java.lang.Object

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

Constructor Detail

Pages

public Pages(String id,
             String mainId,
             org.jboss.gwt.elemento.core.IsElement element)

Create a new instance with the main page id and element.

Pages

public Pages(String id,
             String mainId,
             elemental2.dom.HTMLElement element)

Create a new instance with the main page id and element.

Method Detail

addPage

public void addPage(String parentId,
                    String id,
                    Supplier<String> parentTitle,
                    Supplier<String> title,
                    org.jboss.gwt.elemento.core.IsElement element)

Adds a nested page.

Parameters:

parentId - the parent id

id - the id of the page being added

parentTitle - the title of the parent or main page

title - the title of the page being added

element - the page element

addPage

public void addPage(String parentId,
                    String id,
                    Supplier<String> parentTitle,
                    Supplier<String> title,
                    elemental2.dom.HTMLElement element)

Adds a nested page.

Parameters:

parentId - the parent id

id - the id of the page being added

parentTitle - the title of the parent or main page

title - the title of the page being added

element - the page element

showPage

public void showPage(String id)

Shows the specified main / nested page and updates the breadcrumb.

Parameters:

id - the page id

getCurrentId

public String getCurrentId()

asElement

public elemental2.dom.HTMLElement asElement()

Specified by:

asElement in interface org.jboss.gwt.elemento.core.IsElement