Interface WorkspaceMgr

    • Method Detail

      • save

        default void save​(URI uri,
                          String content)
                   throws Exception
        Save uri in server workspace
        Parameters:
        uri - Uri of file sent by VSC
        content - File content
        Throws:
        Exception
      • load

        default String load​(URI uri)
                     throws Exception
        Load document from server workspace
        Parameters:
        uri - Uri of file sent by VSC
        Returns:
        The document content
        Throws:
        Exception
      • getDocumentChanges

        default List<Object> getDocumentChanges​(URI uri)
                                         throws Exception
        Get a document changes. Used to syncronize client with the server
        Throws:
        Exception
      • resolveUri

        default URI resolveUri​(URI userUri)