Merge branch 'retargeting-contracts'

1 files changed, 3 insertions, 6 deletions

diff --git a/src/DotNetOpenAuth.OpenId/Configuration/OpenIdElement.cs b/src/DotNetOpenAuth.OpenId/Configuration/OpenIdElement.cs
index c43a3ad..6c6ad10 100644
--- a/src/DotNetOpenAuth.OpenId/Configuration/OpenIdElement.cs
+++ b/src/DotNetOpenAuth.OpenId/Configuration/OpenIdElement.cs
@@ -8,14 +8,13 @@ namespace DotNetOpenAuth.Configuration {
 	using System;
 	using System.Collections.Generic;
 	using System.Configuration;
-	using System.Diagnostics.Contracts;
 	using DotNetOpenAuth.OpenId.ChannelElements;
 	using DotNetOpenAuth.OpenId.Messages;
+	using Validation;
 
 	/// <summary>
 	/// Represents the &lt;openid&gt; element in the host's .config file.
 	/// </summary>
-	[ContractVerification(true)]
 	internal class OpenIdElement : ConfigurationSection {
 		/// <summary>
 		/// The name of the section under which this library's settings must be found.
@@ -63,7 +62,6 @@ namespace DotNetOpenAuth.Configuration {
 		/// </summary>
 		public static OpenIdElement Configuration {
 			get {
-				Contract.Ensures(Contract.Result<OpenIdElement>() != null);
 				return (OpenIdElement)ConfigurationManager.GetSection(SectionName) ?? new OpenIdElement();
 			}
 		}
@@ -80,14 +78,13 @@ namespace DotNetOpenAuth.Configuration {
 		[PositiveTimeSpanValidator]
 		internal TimeSpan MaxAuthenticationTime {
 			get {
-				Contract.Ensures(Contract.Result<TimeSpan>() > TimeSpan.Zero);
 				TimeSpan result = (TimeSpan)this[MaxAuthenticationTimePropertyName];
-				Contract.Assume(result > TimeSpan.Zero); // our PositiveTimeSpanValidator should take care of this
+				Assumes.True(result > TimeSpan.Zero); // our PositiveTimeSpanValidator should take care of this
 				return result;
 			}
 
 			set {
-				Requires.InRange(value > TimeSpan.Zero, "value");
+				Requires.Range(value > TimeSpan.Zero, "value");
 				this[MaxAuthenticationTimePropertyName] = value;
 			}
 		}