protected void check_disposed() { if (disposed) throw new ObjectDisposedException (GetType ().Name); }