public class WorkspaceHistory extends Object
Constructor and Description |
---|
WorkspaceHistory() |
WorkspaceHistory(List<Workspace> recentWorkspaces) |
WorkspaceHistory(List<Workspace> recentWorkspaces,
String currentWorkspace) |
Modifier and Type | Method and Description |
---|---|
void |
cleanUpHistory()
Removes all not existing workspaces from the history
|
boolean |
containsWorkspace(String workspaceId) |
static WorkspaceHistory |
fromCookieJson(String json) |
String |
getCurrentWorkspace() |
List<Workspace> |
getRecentWorkspaces() |
Workspace |
getWorkspace(String workspaceId) |
void |
removeWorkspaceFromHistory(String workspaceId) |
void |
setCurrentWorkspace(String currentWorkspace) |
String |
toCookieJson() |
public String getCurrentWorkspace()
public void setCurrentWorkspace(String currentWorkspace)
public void cleanUpHistory()
public boolean containsWorkspace(String workspaceId)
public Workspace getWorkspace(String workspaceId) throws CombineArchiveWebException
CombineArchiveWebException
public void removeWorkspaceFromHistory(String workspaceId)
public String toCookieJson() throws com.fasterxml.jackson.core.JsonProcessingException
com.fasterxml.jackson.core.JsonProcessingException
public static WorkspaceHistory fromCookieJson(String json) throws com.fasterxml.jackson.core.JsonParseException, com.fasterxml.jackson.databind.JsonMappingException, IOException
com.fasterxml.jackson.core.JsonParseException
com.fasterxml.jackson.databind.JsonMappingException
IOException
Copyright © 2015. All Rights Reserved.