Merge branch 'retargeting-contracts'

1 files changed, 0 insertions, 75 deletions

diff --git a/src/DotNetOpenAuth.OpenId/OpenId/IProviderEndpoint.cs b/src/DotNetOpenAuth.OpenId/OpenId/IProviderEndpoint.cs
index b2b231a..b5c1c03 100644
--- a/src/DotNetOpenAuth.OpenId/OpenId/IProviderEndpoint.cs
+++ b/src/DotNetOpenAuth.OpenId/OpenId/IProviderEndpoint.cs
@@ -8,7 +8,6 @@ namespace DotNetOpenAuth.OpenId.RelyingParty {
 	using System;
 	using System.Collections.ObjectModel;
 	using System.Diagnostics.CodeAnalysis;
-	using System.Diagnostics.Contracts;
 	using System.Globalization;
 	using DotNetOpenAuth.Messaging;
 	using DotNetOpenAuth.OpenId.Messages;
@@ -21,7 +20,6 @@ namespace DotNetOpenAuth.OpenId.RelyingParty {
 	/// Because information provided by this interface is suppplied by a 
 	/// user's individually published documents, it may be incomplete or inaccurate.
 	/// </remarks>
-	[ContractClass(typeof(IProviderEndpointContract))]
 	public interface IProviderEndpoint {
 		/// <summary>
 		/// Gets the detected version of OpenID implemented by the Provider.
@@ -67,77 +65,4 @@ namespace DotNetOpenAuth.OpenId.RelyingParty {
 		[Obsolete("Use IAuthenticationRequest.DiscoveryResult.IsExtensionSupported instead.")]
 		bool IsExtensionSupported(Type extensionType);
 	}
-
-	/// <summary>
-	/// Code contract for the <see cref="IProviderEndpoint"/> type.
-	/// </summary>
-	[ContractClassFor(typeof(IProviderEndpoint))]
-	internal abstract class IProviderEndpointContract : IProviderEndpoint {
-		/// <summary>
-		/// Prevents a default instance of the <see cref="IProviderEndpointContract"/> class from being created.
-		/// </summary>
-		private IProviderEndpointContract() {
-		}
-
-		#region IProviderEndpoint Members
-
-		/// <summary>
-		/// Gets the detected version of OpenID implemented by the Provider.
-		/// </summary>
-		Version IProviderEndpoint.Version {
-			get {
-				Contract.Ensures(Contract.Result<Version>() != null);
-				throw new System.NotImplementedException();
-			}
-		}
-
-		/// <summary>
-		/// Gets the URL that the OpenID Provider receives authentication requests at.
-		/// </summary>
-		Uri IProviderEndpoint.Uri {
-			get {
-				Contract.Ensures(Contract.Result<Uri>() != null);
-				throw new System.NotImplementedException();
-			}
-		}
-
-		/// <summary>
-		/// Checks whether the OpenId Identifier claims support for a given extension.
-		/// </summary>
-		/// <typeparam name="T">The extension whose support is being queried.</typeparam>
-		/// <returns>
-		/// True if support for the extension is advertised.  False otherwise.
-		/// </returns>
-		/// <remarks>
-		/// Note that a true or false return value is no guarantee of a Provider's
-		/// support for or lack of support for an extension.  The return value is
-		/// determined by how the authenticating user filled out his/her XRDS document only.
-		/// The only way to be sure of support for a given extension is to include
-		/// the extension in the request and see if a response comes back for that extension.
-		/// </remarks>
-		bool IProviderEndpoint.IsExtensionSupported<T>() {
-			throw new NotImplementedException();
-		}
-
-		/// <summary>
-		/// Checks whether the OpenId Identifier claims support for a given extension.
-		/// </summary>
-		/// <param name="extensionType">The extension whose support is being queried.</param>
-		/// <returns>
-		/// True if support for the extension is advertised.  False otherwise.
-		/// </returns>
-		/// <remarks>
-		/// Note that a true or false return value is no guarantee of a Provider's
-		/// support for or lack of support for an extension.  The return value is
-		/// determined by how the authenticating user filled out his/her XRDS document only.
-		/// The only way to be sure of support for a given extension is to include
-		/// the extension in the request and see if a response comes back for that extension.
-		/// </remarks>
-		bool IProviderEndpoint.IsExtensionSupported(Type extensionType) {
-			Requires.NotNullSubtype<IOpenIdMessageExtension>(extensionType, "extensionType");
-			throw new NotImplementedException();
-		}
-
-		#endregion
-	}
 }