Removes more remnants of Code Contracts.

1 files changed, 0 insertions, 75 deletions

diff --git a/src/DotNetOpenAuth.Core/Messaging/IHttpDirectRequestContract.cs b/src/DotNetOpenAuth.Core/Messaging/IHttpDirectRequestContract.cs
deleted file mode 100644
index cfde6cf..0000000
--- a/src/DotNetOpenAuth.Core/Messaging/IHttpDirectRequestContract.cs
+++ /dev/null
@@ -1,75 +0,0 @@
-//-----------------------------------------------------------------------
-// <copyright file="IHttpDirectRequestContract.cs" company="Outercurve Foundation">
-//     Copyright (c) Outercurve Foundation. All rights reserved.
-// </copyright>
-//-----------------------------------------------------------------------
-
-namespace DotNetOpenAuth.Messaging {
-	using System;
-	using System.Collections.Generic;
-	using System.Diagnostics.Contracts;
-	using System.Linq;
-	using System.Net;
-	using System.Text;
-
-	/// <summary>
-	/// Contract class for the <see cref="IHttpDirectRequest"/> interface.
-	/// </summary>
-	[ContractClassFor(typeof(IHttpDirectRequest))]
-	public abstract class IHttpDirectRequestContract : IHttpDirectRequest {
-		#region IHttpDirectRequest Members
-
-		/// <summary>
-		/// Gets the HTTP headers of the request.
-		/// </summary>
-		/// <value>May be an empty collection, but must not be <c>null</c>.</value>
-		WebHeaderCollection IHttpDirectRequest.Headers {
-			get {
-				Contract.Ensures(Contract.Result<WebHeaderCollection>() != null);
-				throw new NotImplementedException();
-			}
-		}
-
-		#endregion
-
-		#region IMessage Members
-
-		/// <summary>
-		/// Gets the version of the protocol or extension this message is prepared to implement.
-		/// </summary>
-		/// <remarks>
-		/// Implementations of this interface should ensure that this property never returns null.
-		/// </remarks>
-		Version IMessage.Version {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Gets the extra, non-standard Protocol parameters included in the message.
-		/// </summary>
-		/// <remarks>
-		/// Implementations of this interface should ensure that this property never returns null.
-		/// </remarks>
-		IDictionary<string, string> IMessage.ExtraData {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Checks the message state for conformity to the protocol specification
-		/// and throws an exception if the message is invalid.
-		/// </summary>
-		/// <remarks>
-		/// <para>Some messages have required fields, or combinations of fields that must relate to each other
-		/// in specialized ways.  After deserializing a message, this method checks the state of the 
-		/// message to see if it conforms to the protocol.</para>
-		/// <para>Note that this property should <i>not</i> check signatures or perform any state checks
-		/// outside this scope of this particular message.</para>
-		/// </remarks>
-		/// <exception cref="ProtocolException">Thrown if the message is invalid.</exception>
-		void IMessage.EnsureValidMessage() {
-			throw new NotImplementedException();
-		}
-
-		#endregion
-	}
-}