Merge branch 'retargeting-contracts'

1 files changed, 1 insertions, 80 deletions

diff --git a/src/DotNetOpenAuth.OpenId/OpenId/Provider/IRequest.cs b/src/DotNetOpenAuth.OpenId/OpenId/Provider/IRequest.cs
index 0e29792..791237f 100644
--- a/src/DotNetOpenAuth.OpenId/OpenId/Provider/IRequest.cs
+++ b/src/DotNetOpenAuth.OpenId/OpenId/Provider/IRequest.cs
@@ -8,10 +8,10 @@ namespace DotNetOpenAuth.OpenId.Provider {
 	using System;
 	using System.Collections.Generic;
 	using System.Diagnostics.CodeAnalysis;
-	using System.Diagnostics.Contracts;
 	using System.Text;
 	using DotNetOpenAuth.Messaging;
 	using DotNetOpenAuth.OpenId.Messages;
+	using Validation;
 
 	/// <summary>
 	/// Represents an incoming OpenId authentication request.
@@ -21,7 +21,6 @@ namespace DotNetOpenAuth.OpenId.Provider {
 	/// be authentication requests where the Provider site has to make decisions based
 	/// on its own user database and policies.
 	/// </remarks>
-	[ContractClass(typeof(IRequestContract))]
 	public interface IRequest {
 		/// <summary>
 		/// Gets a value indicating whether the response is ready to be sent to the user agent.
@@ -68,82 +67,4 @@ namespace DotNetOpenAuth.OpenId.Provider {
 		/// <returns>An instance of the extension initialized with values passed in with the request.</returns>
 		IOpenIdMessageExtension GetExtension(Type extensionType);
 	}
-
-	/// <summary>
-	/// Code contract for the <see cref="IRequest"/> interface.
-	/// </summary>
-	[ContractClassFor(typeof(IRequest))]
-	internal abstract class IRequestContract : IRequest {
-		/// <summary>
-		/// Prevents a default instance of the <see cref="IRequestContract"/> class from being created.
-		/// </summary>
-		private IRequestContract() {
-		}
-
-		#region IRequest Members
-
-		/// <summary>
-		/// Gets or sets the security settings that apply to this request.
-		/// </summary>
-		/// <value>Defaults to the OpenIdProvider.SecuritySettings on the OpenIdProvider.</value>
-		ProviderSecuritySettings IRequest.SecuritySettings {
-			get { throw new NotImplementedException(); }
-			set { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Gets a value indicating whether the response is ready to be sent to the user agent.
-		/// </summary>
-		/// <remarks>
-		/// This property returns false if there are properties that must be set on this
-		/// request instance before the response can be sent.
-		/// </remarks>
-		bool IRequest.IsResponseReady {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Adds an extension to the response to send to the relying party.
-		/// </summary>
-		/// <param name="extension">The extension to add to the response message.</param>
-		void IRequest.AddResponseExtension(IOpenIdMessageExtension extension) {
-			Requires.NotNull(extension, "extension");
-			throw new NotImplementedException();
-		}
-
-		/// <summary>
-		/// Removes any response extensions previously added using <see cref="IRequest.AddResponseExtension"/>.
-		/// </summary>
-		/// <remarks>
-		/// This should be called before sending a negative response back to the relying party
-		/// if extensions were already added, since negative responses cannot carry extensions.
-		/// </remarks>
-		void IRequest.ClearResponseExtensions() {
-		}
-
-		/// <summary>
-		/// Gets an extension sent from the relying party.
-		/// </summary>
-		/// <typeparam name="T">The type of the extension.</typeparam>
-		/// <returns>
-		/// An instance of the extension initialized with values passed in with the request.
-		/// </returns>
-		T IRequest.GetExtension<T>() {
-			throw new NotImplementedException();
-		}
-
-		/// <summary>
-		/// Gets an extension sent from the relying party.
-		/// </summary>
-		/// <param name="extensionType">The type of the extension.</param>
-		/// <returns>
-		/// An instance of the extension initialized with values passed in with the request.
-		/// </returns>
-		IOpenIdMessageExtension IRequest.GetExtension(Type extensionType) {
-			Requires.NotNull(extensionType, "extensionType");
-			throw new NotImplementedException();
-		}
-
-		#endregion
-	}
 }