public interface ESWorkspace
| Modifier and Type | Method and Description |
|---|---|
ESServer |
addServer(ESServer server)
Adds a server to the workspace.
|
ESLocalProject |
createLocalProject(String projectName)
Creates a new local project that is not shared with the server yet.
|
ESLocalProject |
getLocalProject(org.eclipse.emf.ecore.EObject modelElement)
Returns the
ESLocalProject the given model element is contained in. |
Set<ESLocalProject> |
getLocalProjectByName(String projectName)
Returns all projects whose name matches the supplied project name ignoring
any case.
|
List<ESLocalProject> |
getLocalProjects()
Returns all local projects.
|
List<ESServer> |
getServers()
Returns all available servers.
|
void |
removeServer(ESServer server)
Removes a server from the workspace.
|
List<ESLocalProject> getLocalProjects()
ESLocalProject createLocalProject(String projectName)
projectName - the project's nameESLocalProject getLocalProject(org.eclipse.emf.ecore.EObject modelElement)
ESLocalProject the given model element is contained in.modelElement - the model element whose project should be returnedSet<ESLocalProject> getLocalProjectByName(String projectName)
projectName - the project nameESLocalProjects that match the given name. If no such
project has been found, an empty set is returnedESServer addServer(ESServer server)
server - the server to be added to the workspacevoid removeServer(ESServer server) throws ESServerNotFoundException
server - the server to be removed from the workspaceESServerNotFoundException - in case the server couldn't be found in the workspaceCopyright © 2017. All rights reserved.