Class WorkspaceHistory


  • public class WorkspaceHistory
    extends Object
    • Constructor Detail

      • WorkspaceHistory

        public WorkspaceHistory​(List<Workspace> recentWorkspaces,
                                String currentWorkspace)
      • WorkspaceHistory

        public WorkspaceHistory()
      • WorkspaceHistory

        public WorkspaceHistory​(List<Workspace> recentWorkspaces)
    • Method Detail

      • getCurrentWorkspace

        public String getCurrentWorkspace()
      • setCurrentWorkspace

        public void setCurrentWorkspace​(String currentWorkspace)
      • getRecentWorkspaces

        public List<Workspace> getRecentWorkspaces()
      • cleanUpHistory

        public void cleanUpHistory()
        Removes all not existing workspaces from the history
      • containsWorkspace

        public boolean containsWorkspace​(String workspaceId)
      • removeWorkspaceFromHistory

        public void removeWorkspaceFromHistory​(String workspaceId)
      • toCookieJson

        public String toCookieJson()
                            throws com.fasterxml.jackson.core.JsonProcessingException
        Throws:
        com.fasterxml.jackson.core.JsonProcessingException
      • fromCookieJson

        public static WorkspaceHistory fromCookieJson​(String json)
                                               throws com.fasterxml.jackson.core.JsonParseException,
                                                      com.fasterxml.jackson.databind.JsonMappingException,
                                                      IOException
        Throws:
        com.fasterxml.jackson.core.JsonParseException
        com.fasterxml.jackson.databind.JsonMappingException
        IOException