TextDocumentManager.getOrFromFilesystem

Tries to get a document from a URI, returns Document.init if it is not in the in-memory cache / not sent by the client.

struct TextDocumentManager
ref
getOrFromFilesystem
(
string uri
)

Throws

FileException in case the file doesn't exist or other file system errors. In this case no new document should have been inserted yet.

Meta