diff options
Diffstat (limited to 'src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs')
| -rw-r--r-- | src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs b/src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs index 7f7774f..699ed07 100644 --- a/src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs +++ b/src/DotNetOpenAuth/Messaging/HttpRequestInfo.cs @@ -8,6 +8,7 @@ namespace DotNetOpenAuth.Messaging { using System; using System.Collections.Specialized; using System.Diagnostics; + using System.Diagnostics.Contracts; using System.IO; using System.Net; using System.ServiceModel.Channels; @@ -174,6 +175,7 @@ namespace DotNetOpenAuth.Messaging { /// </summary> internal NameValueCollection Form { get { + Contract.Ensures(Contract.Result<NameValueCollection>() != null); if (this.form == null) { if (this.HttpMethod == "POST" && this.Headers[HttpRequestHeader.ContentType] == "application/x-www-form-urlencoded") { StreamReader reader = new StreamReader(this.InputStream); |