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() |
long |
getTotalSize()
Retuns the total size in bytes from all workspaces or 0L if it fails.
|
Workspace |
getWorkspace(String workspaceId) |
boolean |
hasWorkspace(String workspaceId) |
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 long getTotalSize()
public Workspace createWorkspace() throws IOException
IOException
public void updateStorage()
public void storeSettings()
Copyright © 2014. All rights reserved.