diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2009-11-08 17:46:18 -0800 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2009-11-08 17:46:18 -0800 |
| commit | 387b1a2fcbf44cae899e535d83ed4d433aef5e54 (patch) | |
| tree | 6426efcc43fe023fb05a4965d8363a7f07ed6017 | |
| parent | 51cc8a751285832a508ec7eeae836c4fd04ee0bd (diff) | |
| download | DotNetOpenAuth-387b1a2fcbf44cae899e535d83ed4d433aef5e54.zip DotNetOpenAuth-387b1a2fcbf44cae899e535d83ed4d433aef5e54.tar.gz DotNetOpenAuth-387b1a2fcbf44cae899e535d83ed4d433aef5e54.tar.bz2 | |
Added code contract.
| -rw-r--r-- | src/DotNetOpenAuth/Messaging/Bindings/ExpiredMessageException.cs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/DotNetOpenAuth/Messaging/Bindings/ExpiredMessageException.cs b/src/DotNetOpenAuth/Messaging/Bindings/ExpiredMessageException.cs index 417c98e..73ce289 100644 --- a/src/DotNetOpenAuth/Messaging/Bindings/ExpiredMessageException.cs +++ b/src/DotNetOpenAuth/Messaging/Bindings/ExpiredMessageException.cs @@ -6,6 +6,7 @@ namespace DotNetOpenAuth.Messaging.Bindings { using System; + using System.Diagnostics.Contracts; using System.Globalization; /// <summary> @@ -20,6 +21,7 @@ namespace DotNetOpenAuth.Messaging.Bindings { /// <param name="faultedMessage">The expired message.</param> public ExpiredMessageException(DateTime utcExpirationDate, IProtocolMessage faultedMessage) : base(string.Format(CultureInfo.CurrentCulture, MessagingStrings.ExpiredMessage, utcExpirationDate.ToLocalTime(), DateTime.Now), faultedMessage) { + Contract.Requires<ArgumentException>(utcExpirationDate.Kind == DateTimeKind.Utc); } /// <summary> |