An instance of this type is returned from the WithExceptionOnFailure<(Of <(TException>)>)()()() method overloads and allow you to specify the exception type that should be thrown on failure.

Entry point methods to start validating pre- and postconditions.

Enables validation of pre- and postconditions. This class isn't used directly by developers. Instead the class should be created by the Requires and Ensures extension methods.

The exception that is thrown when a method's postcondition is not valid.

Extension methods for ConditionValidator<(Of <(T>)>).

This enumeration is used to determine the type of exception the validator should throw.