org.jext.misc

Class Workspaces.WorkspaceElement

java.lang.Object

org.jext.misc.Workspaces.WorkspaceElement

Enclosing class:

Workspaces

public static class Workspaces.WorkspaceElement
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
java.util.ArrayList	contents

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getName()
int	getSelectedIndex()
void	setSelectedIndex(int index)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

contents

public java.util.ArrayList contents

Method Detail

getSelectedIndex

public int getSelectedIndex()

getName

public java.lang.String getName()

setSelectedIndex

public void setSelectedIndex(int index)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object