private void CheckUpdating() { if (updates_==null) { throw new InvalidOperationException("BeginUpdate has not been called"); } }