protected void ThrowIfDisposed() { if (IsDisposed) { throw SpecFailure.Disposed(GetType().ToString()); } }