|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ESServerFactory
Factory for creating ESServer
instances.
Method Summary | |
---|---|
ESServer |
createAndStartLocalServer()
Creates a server with a local name and launches a server process locally. |
ESServer |
createServer(String url,
int port,
String certificate)
Creates a server without a local name. |
ESServer |
createServer(String name,
String url,
int port,
String certificate)
Creates a server with a local name. |
void |
stopLocalServer()
Stop the local server if it has been started. |
Method Detail |
---|
ESServer createServer(String url, int port, String certificate)
ESWorkspace.addServer(ESServer)
in order to
to avoid DanglingHREFException
s upon saving.
url
- the URL of the serverport
- the port of the server where EMFStore is listing oncertificate
- the certificate alias to be used
ESServer
instance representing the remote serverorg.eclipse.emf.emfstore.client.ESWorkspace#addServer(ESServer)}
ESServer createServer(String name, String url, int port, String certificate)
ESWorkspace.addServer(ESServer)
in order to
to avoid DanglingHREFException
s upon saving.
name
- the local name of the serverurl
- the URL of the serverport
- the port of the server where EMFStore is listing oncertificate
- the certificate alias to be used
ESServer
instance representing the remote serverorg.eclipse.emf.emfstore.client.ESWorkspace#addServer(ESServer)}
ESServer createAndStartLocalServer() throws ESServerStartFailedException
ESWorkspace.addServer(ESServer)
in order to
to avoid DanglingHREFException
s upon saving.
ESServer
instance representing the local server on the client side.
ESServerStartFailedException
- if starting the server failsvoid stopLocalServer()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |