summaryrefslogtreecommitdiffstats
path: root/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs
diff options
context:
space:
mode:
Diffstat (limited to 'src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs')
-rw-r--r--src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs4
1 files changed, 0 insertions, 4 deletions
diff --git a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs
index ff7b45b..ceabab3 100644
--- a/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs
+++ b/src/DotNetOpenAuth.OpenId.Provider/OpenId/Provider/Request.cs
@@ -7,7 +7,6 @@
namespace DotNetOpenAuth.OpenId.Provider {
using System;
using System.Collections.Generic;
- using System.Diagnostics.Contracts;
using System.Linq;
using System.Text;
using DotNetOpenAuth.Messaging;
@@ -19,8 +18,6 @@ namespace DotNetOpenAuth.OpenId.Provider {
/// request messages to an OpenID Provider.
/// </summary>
[Serializable]
- [ContractClass(typeof(RequestContract))]
- [ContractVerification(true)]
internal abstract class Request : IRequest {
/// <summary>
/// The incoming request message.
@@ -101,7 +98,6 @@ namespace DotNetOpenAuth.OpenId.Provider {
internal IProtocolMessage Response {
get {
RequiresEx.ValidState(this.IsResponseReady, OpenIdStrings.ResponseNotReady);
- Contract.Ensures(Contract.Result<IProtocolMessage>() != null);
if (this.responseExtensions.Count > 0) {
var extensibleResponse = this.ResponseMessage as IProtocolMessageWithExtensions;