Uses of Class
org.peace_tools.workspace.ServerList

Packages that use ServerList

org.peace_tools.workspace

Contains the classes that provide persistent storage of work space configuration.

Uses of ServerList in org.peace_tools.workspace

Fields in org.peace_tools.workspace declared as ServerList

private ServerList

Workspace.serverList The list of Server classes that have been configured for use in this work space.

Methods in org.peace_tools.workspace that return ServerList

static ServerList	ServerList.create(org.w3c.dom.Element serverNode) Helper method to utilize data from a DOM tree to create a suitable ServerList entry.
ServerList	Workspace.getServerList() Obtain the ServerList that encapsulates the list of Servers that have been configured in this workspace.