|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.radrails.server.core.ServerManager
Manages a collection of all servers. Operations on servers should be called
through this class, because it notifies any listening views of changes to the
server.
The ServerManager
manages all of the servers in the workspace.
It is also the model represented by ServersView
.
When a new Server
has been created, it should be added to
ServerManager
using addServer
method. Similarly, to remove a Server
, use the
removeServer
method.
The ServerManager
also maintains a list of
Observer
objects. These are conceptually the observers of the
ServerManager
, but actually the observers of the
Server
s maintained by the ServerManager
. As
such, the addServerObserver
and
deleteServerObserver
methods should
be used instead of the addObserver
and
deleteObserver
methods on Server
.
Method Summary | |
void |
addServer(Server server)
Adds a Server to the ServerManager . |
void |
addServerObserver(java.util.Observer ob)
Adds an Observer to the list of current server observers. |
void |
deleteServerObserver(java.util.Observer ob)
Deletes an Observer from the list of current server
observers. |
static ServerManager |
getInstance()
|
java.lang.String |
getNextAvailablePort()
|
boolean |
portInUse(java.lang.String port)
Determines if the given port is currently in use by a Server . |
boolean |
projectHasServer(java.lang.String projectName,
java.lang.String type)
Determines if the given project has a Server of the given
type. |
void |
removeServer(Server server)
Removes a Server from the ServerManager . |
void |
resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)
|
static void |
restore(ServerManager manager)
Restores the state of the ServerManager . |
void |
stopAll()
Convenience method to stop all servers in the ServerManager . |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public static ServerManager getInstance()
ServerManager
.public static void restore(ServerManager manager)
ServerManager
. This method
should not be called by clients.
manager
- the ServerManager
to update from.public void stopAll()
ServerManager
.
public java.lang.String getNextAvailablePort()
public boolean portInUse(java.lang.String port)
Server
.
port
- the port to check
public boolean projectHasServer(java.lang.String projectName, java.lang.String type)
Server
of the given
type.
projectName
- the name of the Server
to checktype
- the type of Server
to check for
Server
, false
otherwisepublic void addServer(Server server)
Server
to the ServerManager
.
server
- the Server
to addpublic void removeServer(Server server)
Server
from the ServerManager
.
server
- the Server
to removepublic void addServerObserver(java.util.Observer ob)
Observer
to the list of current server observers.
ob
- the observer to addpublic void deleteServerObserver(java.util.Observer ob)
Observer
from the list of current server
observers.
ob
- the observer to deletepublic void resourceChanged(org.eclipse.core.resources.IResourceChangeEvent event)
resourceChanged
in interface org.eclipse.core.resources.IResourceChangeListener
IResourceChangeListener.resourceChanged(org.eclipse.core.resources.IResourceChangeEvent)
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |