diff options
| author | Andrew Arnott <andrewarnott@gmail.com> | 2009-12-28 21:13:59 -0800 |
|---|---|---|
| committer | Andrew Arnott <andrewarnott@gmail.com> | 2009-12-28 21:27:44 -0800 |
| commit | 3f37385b653be0c753d61819b6ce8e50b8d06ec4 (patch) | |
| tree | bb27d846e456ebc301030f5e804ad9c8ba06c6a1 | |
| parent | e8454fabc97cbc7fe3488b966e0cc7de42631369 (diff) | |
| download | DotNetOpenAuth-3f37385b653be0c753d61819b6ce8e50b8d06ec4.zip DotNetOpenAuth-3f37385b653be0c753d61819b6ce8e50b8d06ec4.tar.gz DotNetOpenAuth-3f37385b653be0c753d61819b6ce8e50b8d06ec4.tar.bz2 | |
Removed Code Contracts in a generator method.
| -rw-r--r-- | src/DotNetOpenAuth/OpenId/OpenIdXrdsHelper.cs | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/DotNetOpenAuth/OpenId/OpenIdXrdsHelper.cs b/src/DotNetOpenAuth/OpenId/OpenIdXrdsHelper.cs index 75b4efd..00468ed 100644 --- a/src/DotNetOpenAuth/OpenId/OpenIdXrdsHelper.cs +++ b/src/DotNetOpenAuth/OpenId/OpenIdXrdsHelper.cs @@ -143,8 +143,10 @@ namespace DotNetOpenAuth.OpenId { /// <param name="userSuppliedIdentifier">The i-name supplied by the user.</param> /// <returns>A sequence of the providers that can assert ownership of the given identifier.</returns> private static IEnumerable<IdentifierDiscoveryResult> GenerateClaimedIdentifierServiceEndpoints(this IEnumerable<XrdElement> xrds, XriIdentifier userSuppliedIdentifier) { - Contract.Requires<ArgumentNullException>(xrds != null); - Contract.Ensures(Contract.Result<IEnumerable<IdentifierDiscoveryResult>>() != null); + // Cannot use code contracts because this method uses yield return. + ////Contract.Requires<ArgumentNullException>(xrds != null); + ////Contract.Ensures(Contract.Result<IEnumerable<IdentifierDiscoveryResult>>() != null); + ErrorUtilities.VerifyArgumentNotNull(xrds, "xrds"); foreach (var service in xrds.FindClaimedIdentifierServices()) { foreach (var uri in service.UriElements) { |