diff options
Diffstat (limited to 'src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs')
| -rw-r--r-- | src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs b/src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs index cfde838..aaff82b 100644 --- a/src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs +++ b/src/DotNetOpenAuth.InfoCard/InfoCardErrorUtilities.cs @@ -11,6 +11,7 @@ namespace DotNetOpenAuth { using System.Globalization; using System.Linq; using System.Text; + using Validation; /// <summary> /// Error reporting methods specific to InfoCard validation. @@ -27,9 +28,7 @@ namespace DotNetOpenAuth { [Pure] internal static void VerifyInfoCard(bool condition, string errorMessage, params object[] args) { Requires.NotNull(args, "args"); - Contract.Ensures(condition); - Contract.EnsuresOnThrow<InfoCard.InformationCardException>(!condition); - Contract.Assume(errorMessage != null); + Assumes.True(errorMessage != null); if (!condition) { errorMessage = string.Format(CultureInfo.CurrentCulture, errorMessage, args); throw new InfoCard.InformationCardException(errorMessage); |