Removes more remnants of Code Contracts.

1 files changed, 0 insertions, 54 deletions

diff --git a/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs b/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs
index 1ad0422..949fc94 100644
--- a/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs
+++ b/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs
@@ -7,14 +7,12 @@
 namespace DotNetOpenAuth.OAuth2.ChannelElements {
 	using System;
 	using System.Collections.Generic;
-	using System.Diagnostics.Contracts;
 	using System.Linq;
 	using System.Text;
 
 	/// <summary>
 	/// Describes a delegated authorization between a resource server, a client, and a user.
 	/// </summary>
-	[ContractClass(typeof(IAuthorizationDescriptionContract))]
 	public interface IAuthorizationDescription {
 		/// <summary>
 		/// Gets the identifier of the client authorized to access protected data.
@@ -37,56 +35,4 @@ namespace DotNetOpenAuth.OAuth2.ChannelElements {
 		/// </summary>
 		HashSet<string> Scope { get; }
 	}
-
-	/// <summary>
-	/// Code contract for the <see cref="IAuthorizationDescription"/> interface.
-	/// </summary>
-	[ContractClassFor(typeof(IAuthorizationDescription))]
-	internal abstract class IAuthorizationDescriptionContract : IAuthorizationDescription {
-		/// <summary>
-		/// Prevents a default instance of the <see cref="IAuthorizationDescriptionContract"/> class from being created.
-		/// </summary>
-		private IAuthorizationDescriptionContract() {
-		}
-
-		/// <summary>
-		/// Gets the identifier of the client authorized to access protected data.
-		/// </summary>
-		string IAuthorizationDescription.ClientIdentifier {
-			get {
-				Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
-				throw new NotImplementedException();
-			}
-		}
-
-		/// <summary>
-		/// Gets the date this authorization was established or the token was issued.
-		/// </summary>
-		/// <value>A date/time expressed in UTC.</value>
-		DateTime IAuthorizationDescription.UtcIssued {
-			get { throw new NotImplementedException(); }
-		}
-
-		/// <summary>
-		/// Gets the name on the account whose data on the resource server is accessible using this authorization, if applicable.
-		/// </summary>
-		/// <value>A username, or <c>null</c> if the authorization is to access the client's own data (not a distinct resource owner's data).</value>
-		string IAuthorizationDescription.User {
-			get {
-				// Null and non-empty are allowed, but not empty.
-				Contract.Ensures(Contract.Result<string>() != string.Empty);
-				throw new NotImplementedException();
-			}
-		}
-
-		/// <summary>
-		/// Gets the scope of operations the client is allowed to invoke.
-		/// </summary>
-		HashSet<string> IAuthorizationDescription.Scope {
-			get {
-				Contract.Ensures(Contract.Result<HashSet<string>>() != null);
-				throw new NotImplementedException();
-			}
-		}
-	}
 }