Removes more remnants of Code Contracts.

1 files changed, 0 insertions, 82 deletions

diff --git a/src/DotNetOpenAuth.Core/Messaging/IChannelBindingElement.cs b/src/DotNetOpenAuth.Core/Messaging/IChannelBindingElement.cs
index d52e1d5..fca46a0 100644
--- a/src/DotNetOpenAuth.Core/Messaging/IChannelBindingElement.cs
+++ b/src/DotNetOpenAuth.Core/Messaging/IChannelBindingElement.cs
@@ -6,14 +6,12 @@
 
 namespace DotNetOpenAuth.Messaging {
 	using System;
-	using System.Diagnostics.Contracts;
 	using Validation;
 
 	/// <summary>
 	/// An interface that must be implemented by message transforms/validators in order
 	/// to be included in the channel stack.
 	/// </summary>
-	[ContractClass(typeof(IChannelBindingElementContract))]
 	public interface IChannelBindingElement {
 		/// <summary>
 		/// Gets or sets the channel that this binding element belongs to.
@@ -64,84 +62,4 @@ namespace DotNetOpenAuth.Messaging {
 		/// </remarks>
 		MessageProtections? ProcessIncomingMessage(IProtocolMessage message);
 	}
-
-	/// <summary>
-	/// Code Contract for the <see cref="IChannelBindingElement"/> interface.
-	/// </summary>
-	[ContractClassFor(typeof(IChannelBindingElement))]
-	internal abstract class IChannelBindingElementContract : IChannelBindingElement {
-		/// <summary>
-		/// Prevents a default instance of the <see cref="IChannelBindingElementContract"/> class from being created.
-		/// </summary>
-		private IChannelBindingElementContract() {
-		}
-
-		#region IChannelBindingElement Members
-
-		/// <summary>
-		/// Gets or sets the channel that this binding element belongs to.
-		/// </summary>
-		/// <value></value>
-		/// <remarks>
-		/// This property is set by the channel when it is first constructed.
-		/// </remarks>
-		Channel IChannelBindingElement.Channel {
-			get { throw new NotImplementedException(); }
-			set { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Gets the protection commonly offered (if any) by this binding element.
-		/// </summary>
-		/// <value></value>
-		/// <remarks>
-		/// This value is used to assist in sorting binding elements in the channel stack.
-		/// </remarks>
-		MessageProtections IChannelBindingElement.Protection {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Prepares a message for sending based on the rules of this channel binding element.
-		/// </summary>
-		/// <param name="message">The message to prepare for sending.</param>
-		/// <returns>
-		/// The protections (if any) that this binding element applied to the message.
-		/// Null if this binding element did not even apply to this binding element.
-		/// </returns>
-		/// <remarks>
-		/// Implementations that provide message protection must honor the
-		/// <see cref="MessagePartAttribute.RequiredProtection"/> properties where applicable.
-		/// </remarks>
-		MessageProtections? IChannelBindingElement.ProcessOutgoingMessage(IProtocolMessage message) {
-			Requires.NotNull(message, "message");
-			Assumes.True(((IChannelBindingElement)this).Channel != null);
-			throw new NotImplementedException();
-		}
-
-		/// <summary>
-		/// Performs any transformation on an incoming message that may be necessary and/or
-		/// validates an incoming message based on the rules of this channel binding element.
-		/// </summary>
-		/// <param name="message">The incoming message to process.</param>
-		/// <returns>
-		/// The protections (if any) that this binding element applied to the message.
-		/// Null if this binding element did not even apply to this binding element.
-		/// </returns>
-		/// <exception cref="ProtocolException">
-		/// Thrown when the binding element rules indicate that this message is invalid and should
-		/// NOT be processed.
-		/// </exception>
-		/// <remarks>
-		/// Implementations that provide message protection must honor the
-		/// <see cref="MessagePartAttribute.RequiredProtection"/> properties where applicable.
-		/// </remarks>
-		MessageProtections? IChannelBindingElement.ProcessIncomingMessage(IProtocolMessage message) {
-			Requires.NotNull(message, "message");
-			RequiresEx.ValidState(((IChannelBindingElement)this).Channel != null);
-			throw new NotImplementedException();
-		}
-
-		#endregion
-	}
 }