diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2010-07-03 20:50:41 -0700 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2010-07-03 20:50:41 -0700 |
| commit | d1e9e64563fa330719c0b70be6b81fb5f9fd1ab4 (patch) | |
| tree | 3e432935b3a531d2bc1acc6edc77fcdd0c23c391 /src | |
| parent | 125a32c79e0f55cca245c6f1ebf14d1d3c1cec50 (diff) | |
| download | DotNetOpenAuth-d1e9e64563fa330719c0b70be6b81fb5f9fd1ab4.zip DotNetOpenAuth-d1e9e64563fa330719c0b70be6b81fb5f9fd1ab4.tar.gz DotNetOpenAuth-d1e9e64563fa330719c0b70be6b81fb5f9fd1ab4.tar.bz2 | |
Fixed warnings that show up with new code contracts version.
Diffstat (limited to 'src')
3 files changed, 0 insertions, 6 deletions
diff --git a/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs b/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs index 55ffb07..32ae227 100644 --- a/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs +++ b/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs @@ -73,7 +73,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> Version IMessage.Version { get { - Contract.Ensures(Contract.Result<Version>() != null); return default(Version); // dummy return } } @@ -87,7 +86,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> IDictionary<string, string> IMessage.ExtraData { get { - Contract.Ensures(Contract.Result<IDictionary<string, string>>() != null); return default(IDictionary<string, string>); } } diff --git a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs index 4bf6df4..44c4cbb 100644 --- a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs +++ b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs @@ -79,7 +79,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> Version IMessage.Version { get { - Contract.Ensures(Contract.Result<Version>() != null); throw new NotImplementedException(); } } @@ -92,7 +91,6 @@ namespace DotNetOpenAuth.Messaging { /// </remarks> IDictionary<string, string> IMessage.ExtraData { get { - Contract.Ensures(Contract.Result<IDictionary<string, string>>() != null); throw new NotImplementedException(); } } diff --git a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs index 776f8c5..08e02ba 100644 --- a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs +++ b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs @@ -123,7 +123,6 @@ namespace DotNetOpenAuth.OpenId.Messages { /// </remarks> Version IMessage.Version { get { - Contract.Ensures(Contract.Result<Version>() != null); throw new NotImplementedException(); } } @@ -136,7 +135,6 @@ namespace DotNetOpenAuth.OpenId.Messages { /// </remarks> IDictionary<string, string> IMessage.ExtraData { get { - Contract.Ensures(Contract.Result<IDictionary<string, string>>() != null); throw new NotImplementedException(); } } |