public class PageList
extends java.lang.Object
implements java.io.Serializable
FrameworkConfigReader
,
which reads from a config file for a particular framework (e.g., "adn"). The
PageList is used to build the menu of pages within the metadata editor, as
well as to aid in navigation within the SchemEdit controllers.NOTE: this class belongs in the config package.
Modifier and Type | Class and Description |
---|---|
class |
PageList.Page
Information about the pages/form in an editor.
|
Constructor and Description |
---|
PageList()
Constructor for the PageList object
|
PageList(java.lang.String[][] pageData)
Constructor for the PageList object
|
Modifier and Type | Method and Description |
---|---|
void |
addPage(PageList.Page page)
Adds a feature to the Page attribute of the PageList object
|
void |
addPage(java.lang.String[] vals)
Adds a feature to the Page attribute of the PageList object
|
void |
addPage(java.lang.String mapping,
java.lang.String name)
Adds a feature to the Page attribute of the PageList object
|
java.lang.String |
getFirstPage()
Gets the firstPage attribute of the PageList object
|
java.lang.String |
getHomePage()
Gets the homePage attribute of the PageList object
|
java.util.ArrayList |
getPages()
Gets the pages attribute of the PageList object
|
void |
setFirstPage(java.lang.String page)
Sets the firstPage attribute of the PageList object
|
void |
setHomePage(java.lang.String page)
Sets the homePage attribute of the PageList object
|
java.lang.String |
toString()
Description of the Method
|
public PageList()
public PageList(java.lang.String[][] pageData)
pageData
- Description of the Parameterpublic void addPage(PageList.Page page)
page
- The feature to be added to the Page attributepublic void addPage(java.lang.String[] vals)
vals
- The feature to be added to the Page attributepublic void addPage(java.lang.String mapping, java.lang.String name)
mapping
- The feature to be added to the Page attributename
- The feature to be added to the Page attributepublic void setFirstPage(java.lang.String page)
page
- The new firstPage valuepublic java.lang.String getFirstPage()
public void setHomePage(java.lang.String page)
page
- The new homePage valuepublic java.lang.String getHomePage()
public java.util.ArrayList getPages()
public java.lang.String toString()
toString
in class java.lang.Object