public class WorkspaceManager extends Object
Modifier and Type | Field and Description |
---|---|
protected Date |
lastSaved |
protected Map<String,Workspace> |
workspaces |
Modifier and Type | Method and 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
IOException
public void removeWorkspace(Workspace workspace)
public void updateStorage()
public void storeSettings()
Copyright © 2014. All rights reserved.