|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |
java.lang.Objectjava.lang.Enum<NavigationTreeTab>
p3j.gui.misc.NavigationTreeTab
public enum NavigationTreeTab
The available tabs for the navigation tree on the left-hand side of the GUI.
Enum Constant Summary | |
---|---|
DB_OVERVIEW
The overview on all projections in the database. |
|
PROJECTION_OVERVIEW
The overview on the elements of the projection. |
|
RESULTS_OVERVIEW
The overview on the results associated with the projection. |
Method Summary | |
---|---|
int |
getTabIndex()
Gets the tab index. |
static NavigationTreeTab |
valueOf(String name)
Returns the enum constant of this type with the specified name. |
static NavigationTreeTab[] |
values()
Returns an array containing the constants of this enum type, in the order they are declared. |
Methods inherited from class java.lang.Enum |
---|
clone, compareTo, equals, finalize, getDeclaringClass, hashCode, name, ordinal, toString, valueOf |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Enum Constant Detail |
---|
public static final NavigationTreeTab DB_OVERVIEW
public static final NavigationTreeTab PROJECTION_OVERVIEW
public static final NavigationTreeTab RESULTS_OVERVIEW
Method Detail |
---|
public static NavigationTreeTab[] values()
for (NavigationTreeTab c : NavigationTreeTab.values()) System.out.println(c);
public static NavigationTreeTab valueOf(String name)
name
- the name of the enum constant to be returned.
IllegalArgumentException
- if this enum type has no constant
with the specified name
NullPointerException
- if the argument is nullpublic int getTabIndex()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | ENUM CONSTANTS | FIELD | METHOD | DETAIL: ENUM CONSTANTS | FIELD | METHOD |