org.ballerinalang.langserver.compiler.workspace

Class WorkspaceDocumentManagerImpl

java.lang.Object

org.ballerinalang.langserver.compiler.workspace.WorkspaceDocumentManagerImpl

All Implemented Interfaces:

WorkspaceDocumentManager

Direct Known Subclasses:

ExtendedWorkspaceDocumentManagerImpl

public class WorkspaceDocumentManagerImpl
extends Object
implements WorkspaceDocumentManager

An in-memory document manager that keeps dirty files in-memory and will match the collection of files currently open in tool's workspace.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	WorkspaceDocumentManagerImpl()

Method Summary

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.
static WorkspaceDocumentManagerImpl	getInstance()
boolean	isFileOpen(Path filePath) Checks whether the given file is open in workspace.
Optional<Lock>	lockFile(Path filePath) Acquire a file lock.
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WorkspaceDocumentManagerImpl

protected WorkspaceDocumentManagerImpl()

Method Detail

getInstance

public static WorkspaceDocumentManagerImpl getInstance()

isFileOpen

public boolean isFileOpen(Path filePath)

Description copied from interface: WorkspaceDocumentManager

Checks whether the given file is open in workspace.

Specified by:

isFileOpen in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

Returns:

True if the given file is open

openFile

public void openFile(Path filePath,
                     String content)

Description copied from interface: WorkspaceDocumentManager

Opens the given file in document manager.

Specified by:

openFile in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

content - Content of the file

updateFile

public void updateFile(Path filePath,
                       String updatedContent)

Description copied from interface: WorkspaceDocumentManager

Updates given file in document manager with new content.

Specified by:

updateFile in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

updatedContent - New content of the file

closeFile

public void closeFile(Path filePath)

Description copied from interface: WorkspaceDocumentManager

Close the given file in document manager.

Specified by:

closeFile in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

getFileContent

public String getFileContent(Path filePath)

Description copied from interface: WorkspaceDocumentManager

Gets uptodate content of the file.

Specified by:

getFileContent in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

Returns:

Content of the file

lockFile

public Optional<Lock> lockFile(Path filePath)

Description copied from interface: WorkspaceDocumentManager

Acquire a file lock.

Specified by:

lockFile in interface WorkspaceDocumentManager

Parameters:

filePath - Path of the file

Returns:

lock or null