public class WorkspaceDocumentManagerImpl extends Object implements WorkspaceDocumentManager
Constructor and Description |
---|
WorkspaceDocumentManagerImpl() |
Modifier and Type | Method and Description |
---|---|
void |
closeFile(Path filePath)
Close the given file in document manager.
|
String |
getFileContent(Path filePath)
Gets uptodate content of the file.
|
boolean |
isFileOpen(Path filePath)
Checks whether the given file is open in workspace.
|
void |
openFile(Path filePath,
String content)
Opens the given file in document manager.
|
void |
updateFile(Path filePath,
String updatedContent)
Updates given file in document manager with new content.
|
public boolean isFileOpen(Path filePath)
WorkspaceDocumentManager
isFileOpen
in interface WorkspaceDocumentManager
filePath
- Path of the filepublic void openFile(Path filePath, String content)
WorkspaceDocumentManager
openFile
in interface WorkspaceDocumentManager
filePath
- Path of the filecontent
- Content of the filepublic void updateFile(Path filePath, String updatedContent)
WorkspaceDocumentManager
updateFile
in interface WorkspaceDocumentManager
filePath
- Path of the fileupdatedContent
- New content of the filepublic void closeFile(Path filePath)
WorkspaceDocumentManager
closeFile
in interface WorkspaceDocumentManager
filePath
- Path of the filepublic String getFileContent(Path filePath)
WorkspaceDocumentManager
getFileContent
in interface WorkspaceDocumentManager
filePath
- Path of the fileCopyright © 2018 WSO2. All rights reserved.