diff options
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(); } } |