Fixed some code contract warnings about contract classes needing to be abstract.

10 files changed, 46 insertions, 16 deletions

diff --git a/src/DotNetOpenAuth/Messaging/IChannelBindingElement.cs b/src/DotNetOpenAuth/Messaging/IChannelBindingElement.cs
index db5dd24..f502f17 100644
--- a/src/DotNetOpenAuth/Messaging/IChannelBindingElement.cs
+++ b/src/DotNetOpenAuth/Messaging/IChannelBindingElement.cs
@@ -68,7 +68,13 @@ namespace DotNetOpenAuth.Messaging {
 	/// Code Contract for the <see cref="IChannelBindingElement"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IChannelBindingElement))]
-	internal class IChannelBindingElementContract : IChannelBindingElement {
+	internal abstract class IChannelBindingElementContract : IChannelBindingElement {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="IChannelBindingElementContract"/> class from being created.
+		/// </summary>
+		private IChannelBindingElementContract() {
+		}
+
 		#region IChannelBindingElement Members
 
 		/// <summary>
diff --git a/src/DotNetOpenAuth/Messaging/IMessage.cs b/src/DotNetOpenAuth/Messaging/IMessage.cs
index 031e908..e91a160 100644
--- a/src/DotNetOpenAuth/Messaging/IMessage.cs
+++ b/src/DotNetOpenAuth/Messaging/IMessage.cs
@@ -51,7 +51,13 @@ namespace DotNetOpenAuth.Messaging {
 	/// Code contract for the <see cref="IMessage"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IMessage))]
-	internal sealed class IMessageContract : IMessage {
+	internal abstract class IMessageContract : IMessage {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="IMessageContract"/> class from being created.
+		/// </summary>
+		private IMessageContract() {
+		}
+
 		/// <summary>
 		/// Gets the version of the protocol or extension this message is prepared to implement.
 		/// </summary>
diff --git a/src/DotNetOpenAuth/Messaging/IMessageFactory.cs b/src/DotNetOpenAuth/Messaging/IMessageFactory.cs
index 3718545..f9ddf3d 100644
--- a/src/DotNetOpenAuth/Messaging/IMessageFactory.cs
+++ b/src/DotNetOpenAuth/Messaging/IMessageFactory.cs
@@ -46,7 +46,13 @@ namespace DotNetOpenAuth.Messaging {
 	/// Code contract for the <see cref="IMessageFactory"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IMessageFactory))]
-	internal class IMessageFactoryContract : IMessageFactory {
+	internal abstract class IMessageFactoryContract : IMessageFactory {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="IMessageFactoryContract"/> class from being created.
+		/// </summary>
+		private IMessageFactoryContract() {
+		}
+
 		#region IMessageFactory Members
 
 		/// <summary>
diff --git a/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs b/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs
index f411cf5..55ffb07 100644
--- a/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs
+++ b/src/DotNetOpenAuth/Messaging/IMessageWithBinaryData.cs
@@ -33,7 +33,13 @@ namespace DotNetOpenAuth.Messaging {
 	/// The contract class for the <see cref="IMessageWithBinaryData"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IMessageWithBinaryData))]
-	internal sealed class IMessageWithBinaryDataContract : IMessageWithBinaryData {
+	internal abstract class IMessageWithBinaryDataContract : IMessageWithBinaryData {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="IMessageWithBinaryDataContract"/> class from being created.
+		/// </summary>
+		private IMessageWithBinaryDataContract() {
+		}
+
 		#region IMessageWithBinaryData Members
 
 		/// <summary>
diff --git a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs
index 901e6ae..4bf6df4 100644
--- a/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs
+++ b/src/DotNetOpenAuth/Messaging/IProtocolMessageWithExtensions.cs
@@ -27,7 +27,7 @@ namespace DotNetOpenAuth.Messaging {
 	/// Code contract for the <see cref="IProtocolMessageWithExtensions"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IProtocolMessageWithExtensions))]
-	internal class IProtocolMessageWithExtensionsContract : IProtocolMessageWithExtensions {
+	internal abstract class IProtocolMessageWithExtensionsContract : IProtocolMessageWithExtensions {
 		/// <summary>
 		/// Prevents a default instance of the <see cref="IProtocolMessageWithExtensionsContract"/> class from being created.
 		/// </summary>
diff --git a/src/DotNetOpenAuth/OAuth/ChannelElements/IServiceProviderTokenManager.cs b/src/DotNetOpenAuth/OAuth/ChannelElements/IServiceProviderTokenManager.cs
index ea0e90c..0978a1e 100644
--- a/src/DotNetOpenAuth/OAuth/ChannelElements/IServiceProviderTokenManager.cs
+++ b/src/DotNetOpenAuth/OAuth/ChannelElements/IServiceProviderTokenManager.cs
@@ -84,11 +84,11 @@ namespace DotNetOpenAuth.OAuth.ChannelElements {
 	/// Code contract class for the <see cref="IServiceProviderTokenManager"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IServiceProviderTokenManager))]
-	internal class IServiceProviderTokenManagerContract : IServiceProviderTokenManager {
+	internal abstract class IServiceProviderTokenManagerContract : IServiceProviderTokenManager {
 		/// <summary>
-		/// Initializes a new instance of the <see cref="IServiceProviderTokenManagerContract"/> class.
+		/// Prevents a default instance of the <see cref="IServiceProviderTokenManagerContract"/> class from being created.
 		/// </summary>
-		internal IServiceProviderTokenManagerContract() {
+		private IServiceProviderTokenManagerContract() {
 		}
 
 		#region IServiceProviderTokenManager Members
diff --git a/src/DotNetOpenAuth/OAuth/ChannelElements/ITokenManager.cs b/src/DotNetOpenAuth/OAuth/ChannelElements/ITokenManager.cs
index 532e4b0..459cd28 100644
--- a/src/DotNetOpenAuth/OAuth/ChannelElements/ITokenManager.cs
+++ b/src/DotNetOpenAuth/OAuth/ChannelElements/ITokenManager.cs
@@ -79,11 +79,11 @@ namespace DotNetOpenAuth.OAuth.ChannelElements {
 	/// The code contract class for the <see cref="ITokenManager"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(ITokenManager))]
-	internal class ITokenManagerContract : ITokenManager {
+	internal abstract class ITokenManagerContract : ITokenManager {
 		/// <summary>
-		/// Initializes a new instance of the <see cref="ITokenManagerContract"/> class.
+		/// Prevents a default instance of the <see cref="ITokenManagerContract"/> class from being created.
 		/// </summary>
-		internal ITokenManagerContract() {
+		private ITokenManagerContract() {
 		}
 
 		#region ITokenManager Members
diff --git a/src/DotNetOpenAuth/OpenId/IIdentifierDiscoveryService.cs b/src/DotNetOpenAuth/OpenId/IIdentifierDiscoveryService.cs
index eb2bf98..fcea327 100644
--- a/src/DotNetOpenAuth/OpenId/IIdentifierDiscoveryService.cs
+++ b/src/DotNetOpenAuth/OpenId/IIdentifierDiscoveryService.cs
@@ -37,7 +37,13 @@ namespace DotNetOpenAuth.OpenId {
 	/// Code contract for the <see cref="IIdentifierDiscoveryService"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IIdentifierDiscoveryService))]
-	internal class IIdentifierDiscoveryServiceContract : IIdentifierDiscoveryService {
+	internal abstract class IIdentifierDiscoveryServiceContract : IIdentifierDiscoveryService {
+		/// <summary>
+		/// Prevents a default instance of the <see cref="IIdentifierDiscoveryServiceContract"/> class from being created.
+		/// </summary>
+		private IIdentifierDiscoveryServiceContract() {
+		}
+
 		#region IDiscoveryService Members
 
 		/// <summary>
diff --git a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs
index 57233ac..776f8c5 100644
--- a/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs
+++ b/src/DotNetOpenAuth/OpenId/Messages/IOpenIdMessageExtension.cs
@@ -58,7 +58,7 @@ namespace DotNetOpenAuth.OpenId.Messages {
 	/// Code contract class for the IOpenIdMessageExtension interface.
 	/// </summary>
 	[ContractClassFor(typeof(IOpenIdMessageExtension))]
-	internal class IOpenIdMessageExtensionContract : IOpenIdMessageExtension {
+	internal abstract class IOpenIdMessageExtensionContract : IOpenIdMessageExtension {
 		/// <summary>
 		/// Prevents a default instance of the <see cref="IOpenIdMessageExtensionContract"/> class from being created.
 		/// </summary>
diff --git a/src/DotNetOpenAuth/OpenId/RelyingParty/IRelyingPartyBehavior.cs b/src/DotNetOpenAuth/OpenId/RelyingParty/IRelyingPartyBehavior.cs
index 300a15f..1bfa0db 100644
--- a/src/DotNetOpenAuth/OpenId/RelyingParty/IRelyingPartyBehavior.cs
+++ b/src/DotNetOpenAuth/OpenId/RelyingParty/IRelyingPartyBehavior.cs
@@ -45,11 +45,11 @@ namespace DotNetOpenAuth.OpenId.RelyingParty {
 	/// Contract class for the <see cref="IRelyingPartyBehavior"/> interface.
 	/// </summary>
 	[ContractClassFor(typeof(IRelyingPartyBehavior))]
-	internal class IRelyingPartyBehaviorContract : IRelyingPartyBehavior {
+	internal abstract class IRelyingPartyBehaviorContract : IRelyingPartyBehavior {
 		/// <summary>
-		/// Initializes a new instance of the <see cref="IRelyingPartyBehaviorContract"/> class.
+		/// Prevents a default instance of the <see cref="IRelyingPartyBehaviorContract"/> class from being created.
 		/// </summary>
-		protected IRelyingPartyBehaviorContract() {
+		private IRelyingPartyBehaviorContract() {
 		}
 
 		#region IRelyingPartyBehavior Members