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