public class WorkspaceManager extends Object
| Modifier and Type | Field | Description |
|---|---|---|
protected Date |
lastSaved |
|
protected Map<String,Workspace> |
workspaces |
| Modifier and Type | Method | Description |
|---|---|---|
Workspace |
createWorkspace() |
|
static WorkspaceManager |
getInstance() |
|
Workspace |
getWorkspace(String workspaceId) |
|
boolean |
hasWorkspace(String workspaceId) |
|
void |
removeWorkspace(Workspace workspace) |
|
void |
storeSettings() |
stores the settings immediately to disk
|
void |
updateStorage() |
Checks if the time for the store cycle exceeded and runs the store process, if necessary
|
protected Date lastSaved
public static final WorkspaceManager getInstance()
public boolean hasWorkspace(String workspaceId)
public Workspace createWorkspace() throws IOException
IOExceptionpublic void removeWorkspace(Workspace workspace)
public void updateStorage()
public void storeSettings()
Copyright © 2018 SEMS project @ University of Rostock. All rights reserved.