Home/ Questions/Q 6190403
In Process

The Archive Base Latest Questions

Editorial Team
  • 0
Asked: 2026-05-24T02:34:59+00:00

Contract.Requires(completeURL.IsUri()); // Error: Contract.Requires(completeURL != null) Can I do this without Contract.Assume()? I mean

  • 0
 Contract.Requires(completeURL.IsUri()); // Error: Contract.Requires(completeURL != null)

Can I do this without Contract.Assume()?
I mean something like this:

    [Pure]
    [DefinitelyNotANullStringAfterThatMethod]
    public static bool IsUri(this string str)
    {
        return Uri.IsWellFormedUriString(str, UriKind.Absolute);
    }
Share

Leave an answer

You must login to add an answer.

Need An Account,

1 Answer

  1. Editorial Team
        [Pure]
    public static bool IsUri(this string str)
    {
        Contract.Ensures(!Contract.Result<bool>() || str != null); // by Dan Bryant
        return Uri.IsWellFormedUriString(str, UriKind.Absolute);
    }

    Maybe?

    • 0