1 files changed, 90 insertions, 0 deletions
diff --git a/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs b/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs
new file mode 100644
index 0000000..2b3a9ce
--- /dev/null
+++ b/src/DotNetOpenAuth.OAuth2/OAuth2/ChannelElements/IAuthorizationDescription.cs
@@ -0,0 +1,90 @@
+//-----------------------------------------------------------------------
+// <copyright file="IAuthorizationDescription.cs" company="Andrew Arnott">
+//     Copyright (c) Andrew Arnott. All rights reserved.
+// </copyright>
+//-----------------------------------------------------------------------
+
+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.
+		/// </summary>
+		string ClientIdentifier { get; }
+
+		/// <summary>
+		/// Gets the date this authorization was established or the token was issued.
+		/// </summary>
+		/// <value>A date/time expressed in UTC.</value>
+		DateTime UtcIssued { get; }
+
+		/// <summary>
+		/// Gets the name on the account whose data on the resource server is accessible using this authorization.
+		/// </summary>
+		string User { get; }
+
+		/// <summary>
+		/// Gets the scope of operations the client is allowed to invoke.
+		/// </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.
+		/// </summary>
+		string IAuthorizationDescription.User {
+			get {
+				Contract.Ensures(!string.IsNullOrEmpty(Contract.Result<string>()));
+				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();
+			}
+		}
+	}
+}