public class WorkspaceHistory extends Object
Constructor and Description |
---|
WorkspaceHistory() |
WorkspaceHistory(Map<String,String> recentWorkspaces,
String currentWorkspace) |
Modifier and Type | Method and Description |
---|---|
void |
cleanUpHistory()
Removes all not existing workspaces from the history
|
static WorkspaceHistory |
fromCookieJson(String json) |
String |
getCurrentWorkspace() |
Map<String,String> |
getRecentWorkspaces() |
void |
setCurrentWorkspace(String currentWorkspace) |
void |
setRecentWorkspaces(Map<String,String> recentWorkspaces) |
String |
toCookieJson() |
public WorkspaceHistory(Map<String,String> recentWorkspaces, String currentWorkspace)
public WorkspaceHistory()
public String getCurrentWorkspace()
public void setCurrentWorkspace(String currentWorkspace)
public void cleanUpHistory()
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 © 2014. All rights reserved.