namespace System { public class ObjectDisposedException : InvalidOperationException { public string ObjectName { get; } protected ObjectDisposedException(SerializationInfo info, StreamingContext context); public ObjectDisposedException(string objectName); public ObjectDisposedException(string message, Exception innerException); public ObjectDisposedException(string objectName, string message); } }