Manage a new document under this service.
Creates a new document with the given URI and text content. The new document is automatically added to this service and can be retrieved using getDocument.
Creates a new document with the given URI and text content asynchronously. The process can be interrupted with a cancellation token. The new document is automatically added to this service and can be retrieved using getDocument.
Remove the document with the given URI, if present, and mark it as Changed
, meaning
that its content is no longer valid. The next call to getOrCreateDocument
with the same
URI will create a new document instance.
the affected LangiumDocument if existing for convenience
Retrieve the document with the given URI, if present. Otherwise returns undefined
.
Retrieve the document with the given URI. If not present, a new one will be created using the file system access. The new document will be added to the list of documents managed under this service.
Optional
cancellationToken: CancellationTokenReturns true
if a document with the given URI is managed under this service.
Flag the document with the given URI as Changed
, if present, meaning that its content
is no longer valid. The content (parseResult) stays untouched, while internal data may
be dropped to reduce memory footprint.
the affected LangiumDocument if existing for convenience
Shared service for managing Langium documents.