public ensureOpen() as Void:
Rejects operations after the owning manager has closed.
state.ensureOpen()