requireDocument method
The document documentId holds, or throws ArgumentError when this
registry does not serve it.
Implementation
@protected
Future<CRDTDocument> requireDocument(String documentId) async {
final document = await getDocument(documentId);
if (document == null) {
throw ArgumentError.value(documentId, 'documentId', 'no such document');
}
return document;
}