An interface for a document provider.
Acquire a lock. Returns a Promise that resolves to the lock number.
Destroy the provider.
Put the initialized state.
Release a lock.
The lock to release.
Resolves to true if the initial content has been initialized on the server. false otherwise.
This should be called by the docregistry when the file has been renamed to update the websocket connection url
Generated using TypeDoc