public class WorkspaceHistory extends Object
| Constructor | Description |
|---|---|
WorkspaceHistory() |
|
WorkspaceHistory(List<Workspace> recentWorkspaces) |
|
WorkspaceHistory(List<Workspace> recentWorkspaces,
String currentWorkspace) |
| Modifier and Type | Method | 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 WorkspaceHistory(List<Workspace> recentWorkspaces, String currentWorkspace)
public WorkspaceHistory()
public String getCurrentWorkspace()
public void setCurrentWorkspace(String currentWorkspace)
public void cleanUpHistory()
public boolean containsWorkspace(String workspaceId)
public Workspace getWorkspace(String workspaceId) throws CombineArchiveWebException
CombineArchiveWebExceptionpublic void removeWorkspaceFromHistory(String workspaceId)
public String toCookieJson() throws com.fasterxml.jackson.core.JsonProcessingException
com.fasterxml.jackson.core.JsonProcessingExceptionpublic static WorkspaceHistory fromCookieJson(String json) throws com.fasterxml.jackson.core.JsonParseException, com.fasterxml.jackson.databind.JsonMappingException, IOException
com.fasterxml.jackson.core.JsonParseExceptioncom.fasterxml.jackson.databind.JsonMappingExceptionIOExceptionCopyright © 2018 SEMS project @ University of Rostock. All rights reserved.