public static class WorkspaceDocumentManagerImpl.DocumentPair extends Object
Constructor and Description |
---|
DocumentPair(WorkspaceDocument document) |
Modifier and Type | Method and Description |
---|---|
Optional<WorkspaceDocument> |
getDocument()
Returns the workspace document.
|
Lock |
getLock()
Returns the associated lock for the file.
|
void |
setDocument(WorkspaceDocument document)
Set workspace document.
|
public DocumentPair(WorkspaceDocument document)
public Optional<WorkspaceDocument> getDocument()
WorkspaceDocumentManager
public void setDocument(WorkspaceDocument document)
document
- WorkspaceDocument
Copyright © 2019 WSO2. All rights reserved.