public void Dispose() { if (!_isDisposed) { _enumerator.Dispose(); _isDisposed = true; _view.exitEnumerator(_myId); } }