1 files changed, 48 insertions, 0 deletions
diff --git a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs
new file mode 100644
index 0000000..ae7104c
--- /dev/null
+++ b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/RequestContract.cs
@@ -0,0 +1,48 @@
+//-----------------------------------------------------------------------
+// <copyright file="RequestContract.cs" company="Andrew Arnott">
+//     Copyright (c) Andrew Arnott. All rights reserved.
+// </copyright>
+//-----------------------------------------------------------------------
+
+namespace DotNetOpenAuth.OpenId.Provider {
+	using System;
+	using System.Collections.Generic;
+	using System.Diagnostics.Contracts;
+	using System.Linq;
+	using System.Text;
+	using DotNetOpenAuth.Messaging;
+
+	/// <summary>
+	/// Code contract for the <see cref="Request"/> class.
+	/// </summary>
+	[ContractClassFor(typeof(Request))]
+	internal abstract class RequestContract : Request {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="RequestContract"/> class from being created.
+		/// </summary>
+		private RequestContract() : base((Version)null, null) {
+		}
+
+		/// <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>
+		public override bool IsResponseReady {
+			get { throw new NotImplementedException(); }
+		}
+
+		/// <summary>
+		/// Gets the response message, once <see cref="IsResponseReady"/> is <c>true</c>.
+		/// </summary>
+		protected override IProtocolMessage ResponseMessage {
+			get {
+				Requires.ValidState(this.IsResponseReady);
+				Contract.Ensures(Contract.Result<IProtocolMessage>() != null);
+				throw new NotImplementedException();
+			}
+		}
+	}
+}