public interface WorkspaceDocumentManager
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.
|
boolean isFileOpen(Path filePath)
filePath
- Path of the filevoid openFile(Path filePath, String content)
filePath
- Path of the filecontent
- Content of the filevoid updateFile(Path filePath, String updatedContent)
filePath
- Path of the fileupdatedContent
- New content of the filevoid closeFile(Path filePath)
filePath
- Path of the fileCopyright © 2018 WSO2. All rights reserved.