BackendDocumentCatalog class
A ServerDocumentCatalog that asks the backend.
The default of PersistentServerRegistry. A CRDTStorageBackend already
lists the documents it holds, so the server keeps no second list that can
drift from the first. It survives a restart because the backend does.
remove deletes. This catalog is the backend, so forgetting a document here means deleting its changes, its snapshots and its identity — which makes PersistentServerRegistry.removeDocument a delete, not a forget. To get a document out of memory and keep it on disk, call PersistentServerRegistry.releaseDocument instead.
- Implemented types
Constructors
- BackendDocumentCatalog(CRDTStorageBackend backend)
-
Creates a catalog over
backend.const
Properties
- backend → CRDTStorageBackend
-
The backend this catalog reads.
final
-
documentIds
→ Future<
Set< String> > -
Every document id this server knows about.
no setteroverride
- hashCode → int
-
The hash code for this object.
no setterinherited
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
add(
String documentId) → Future< void> -
Remembers
documentId.override -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
remove(
String documentId) → Future< void> -
Forgets
documentId.override -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited